lib/External/isl/imath/imdrover.h

/*
  Name:     imdrover.h
  Purpose:  Keeper of the hordes of testing code.
  Author:   M. J. Fromberger

  Copyright (C) 2002-2007 Michael J. Fromberger, All Rights Reserved.

  Permission is hereby granted, free of charge, to any person obtaining a copy
  of this software and associated documentation files (the "Software"), to deal
  in the Software without restriction, including without limitation the rights
  to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  copies of the Software, and to permit persons to whom the Software is
  furnished to do so, subject to the following conditions:

  The above copyright notice and this permission notice shall be included in
  all copies or substantial portions of the Software.

  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  SOFTWARE.
 */

#ifndef IMDROVER_H_
#define IMDROVER_H_

#include <stdbool.h>
#include <stdio.h>

typedef struct {
  int    line;
  char  *file;
  char  *code;
  int    num_inputs;
  char **input;
  int    num_outputs;
  char **output;
} testspec_t;

typedef bool (*test_f)(testspec_t *, FILE *);

/* Call this once at the outset to set up test registers */
void init_testing(void);
void reset_registers(void);

/* Integer tests, and general */
bool test_init(testspec_t* t, FILE* ofp);
bool test_set(testspec_t* t, FILE* ofp);
bool test_neg(testspec_t* t, FILE* ofp);
bool test_abs(testspec_t* t, FILE* ofp);
bool test_add(testspec_t* t, FILE* ofp);
bool test_sub(testspec_t* t, FILE* ofp);
bool test_mul(testspec_t* t, FILE* ofp);
bool test_mulp2(testspec_t* t, FILE* ofp);
bool test_mulv(testspec_t* t, FILE* ofp);
bool test_sqr(testspec_t* t, FILE* ofp);
bool test_div(testspec_t* t, FILE* ofp);
bool test_divp2(testspec_t* t, FILE* ofp);
bool test_divv(testspec_t* t, FILE* ofp);
bool test_expt(testspec_t* t, FILE* ofp);
bool test_exptv(testspec_t* t, FILE* ofp);
bool test_exptf(testspec_t* t, FILE* ofp);
bool test_mod(testspec_t* t, FILE* ofp);
bool test_gcd(testspec_t* t, FILE* ofp);
bool test_egcd(testspec_t* t, FILE* ofp);
bool test_lcm(testspec_t* t, FILE* ofp);
bool test_sqrt(testspec_t* t, FILE* ofp);
bool test_root(testspec_t* t, FILE* ofp);
bool test_invmod(testspec_t* t, FILE* ofp);
bool test_exptmod(testspec_t* t, FILE* ofp);
bool test_exptmod_ev(testspec_t* t, FILE* ofp);
bool test_exptmod_bv(testspec_t* t, FILE* ofp);
bool test_comp(testspec_t* t, FILE* ofp);
bool test_ucomp(testspec_t* t, FILE* ofp);
bool test_zcomp(testspec_t* t, FILE* ofp);
bool test_vcomp(testspec_t* t, FILE* ofp);
bool test_uvcomp(testspec_t* t, FILE* ofp);
bool test_tostr(testspec_t* t, FILE* ofp);
bool test_tobin(testspec_t* t, FILE* ofp);
bool test_to_int(testspec_t* t, FILE* ofp);
bool test_to_uint(testspec_t* t, FILE* ofp);
bool test_read_binary(testspec_t* t, FILE* ofp);
bool test_to_uns(testspec_t* t, FILE* ofp);
bool test_read_uns(testspec_t* t, FILE* ofp);
bool test_meta(testspec_t* t, FILE* ofp);

/* Rational tests */
bool test_qneg(testspec_t* t, FILE* ofp);
bool test_qrecip(testspec_t* t, FILE* ofp);
bool test_qabs(testspec_t* t, FILE* ofp);
bool test_qadd(testspec_t* t, FILE* ofp);
bool test_qsub(testspec_t* t, FILE* ofp);
bool test_qmul(testspec_t* t, FILE* ofp);
bool test_qdiv(testspec_t* t, FILE* ofp);
bool test_qdiv(testspec_t* t, FILE* ofp);
bool test_qaddz(testspec_t* t, FILE* ofp);
bool test_qsubz(testspec_t* t, FILE* ofp);
bool test_qmulz(testspec_t* t, FILE* ofp);
bool test_qdivz(testspec_t* t, FILE* ofp);
bool test_qexpt(testspec_t* t, FILE* ofp);
bool test_qtostr(testspec_t* t, FILE* ofp);
bool test_qtodec(testspec_t* t, FILE* ofp);
bool test_qrdec(testspec_t* t, FILE* ofp);

/* Primality testing tests */
bool test_is_prime(testspec_t* t, FILE *ofp);

#endif /* IMDROVER_H_ */