29 #define CHECK1(Type,a,fun) \  argument
30   ASSERT_ALWAYS(fun((Type)(a))==fun(a))
33 #define CHECK_G(Type,a,b,op) \  argument
34   CHECK(Type,Type,a,b,op)
35 #define CHECK_UI(Type,a,b,op) \  argument
36   CHECK(Type,unsigned long,a,b,op); \
37   CHECK(unsigned long,Type,a,b,op)
38 #define CHECK_SI(Type,a,b,op) \  argument
39   CHECK(Type,long,a,b,op); \
40   CHECK(long,Type,a,b,op)
41 #define CHECK_D(Type,a,b,op) \  argument
42   CHECK(Type,double,a,b,op); \
43   CHECK(double,Type,a,b,op)
44 #define CHECK_MPZ(Type,a,b,op) \  argument
45   CHECK(Type,mpz_class,a,b,op); \
46   CHECK(mpz_class,Type,a,b,op)
47 #define CHECK_MPQ(Type,a,b,op) \  argument
48   CHECK(Type,mpq_class,a,b,op); \
49   CHECK(mpq_class,Type,a,b,op)
50 #define CHECK_ALL_SIGNED(Type,a,b,op) \  argument
51   CHECK_G(Type,a,b,op); \
52   CHECK_SI(Type,a,b,op); \
53   CHECK_D(Type,a,b,op)
54 #define CHECK_ALL_SIGNS(Type,a,b,op) \  argument
55   CHECK_ALL_SIGNED(Type,a,b,op); \
56   CHECK_ALL_SIGNED(Type,-(a),b,op); \
57   CHECK_ALL_SIGNED(Type,a,-(b),op); \
58   CHECK_ALL_SIGNED(Type,-(a),-(b),op)
59 #define CHECK_ALL(Type,a,b,op) \  argument
60   CHECK_ALL_SIGNED(Type,a,b,op); \
61   CHECK_UI(Type,a,b,op)
62 #define CHECK_ALL_SIGNED_COMPARISONS(Type,a,b) \  argument
63   CHECK_ALL_SIGNED(Type,a,b,<); \
64   CHECK_ALL_SIGNED(Type,a,b,>); \
65   CHECK_ALL_SIGNED(Type,a,b,<=); \
66   CHECK_ALL_SIGNED(Type,a,b,>=); \
67   CHECK_ALL_SIGNED(Type,a,b,==); \
68   CHECK_ALL_SIGNED(Type,a,b,!=)
69 #define CHECK_ALL_SIGNS_COMPARISONS(Type,a,b) \  argument
70   CHECK_ALL_SIGNS(Type,a,b,<); \
71   CHECK_ALL_SIGNS(Type,a,b,>); \
72   CHECK_ALL_SIGNS(Type,a,b,<=); \
73   CHECK_ALL_SIGNS(Type,a,b,>=); \
74   CHECK_ALL_SIGNS(Type,a,b,==); \
75   CHECK_ALL_SIGNS(Type,a,b,!=)
76 #define CHECK_ALL_COMPARISONS(Type,a,b) \  argument
77   CHECK_ALL(Type,a,b,<); \
78   CHECK_ALL(Type,a,b,>); \
79   CHECK_ALL(Type,a,b,<=); \
80   CHECK_ALL(Type,a,b,>=); \
81   CHECK_ALL(Type,a,b,==); \
82   CHECK_ALL(Type,a,b,!=)