2 /* { dg-options "-O2 -fno-tree-ccp -fno-tree-dominator-opts" } */
4 /* Tests generated via */
8 int main(int argc
, char **argv
)
10 int amin
, amax
, bmin
, bmax
, a
, b
;
12 int min
= atoi (argv
[1]);
13 int max
= atoi (argv
[2]);
15 printf ("/* Testing range [%d, %d] with operator %c. */\n", min
, max
, op
);
16 printf ("extern void abort (void);\n");
17 for (amin
= min
; amin
<= max
; ++amin
)
18 for (amax
= amin
; amax
<= max
; ++amax
)
19 for (bmin
= min
; bmin
<= max
; ++bmin
)
20 for (bmax
= bmin
; bmax
<= max
; ++bmax
)
23 printf ("int test%d (int a, int b)\n"
25 " if (a >= %d && a <= %d && b >= %d && b <= %d)\n"
28 " if (0\n", testno
, amin
, amax
, bmin
, bmax
, op
);
29 for (a
= amin
; a
<= amax
; ++a
)
30 for (b
= bmin
; b
<= bmax
; ++b
)
31 printf ("|| x == (%d %c %d)\n", a
, op
, b
);
32 printf (" ) return 0;\n"
38 printf ("int main()\n"
41 " for (a = %d; a <= %d; ++a)\n"
42 " for (b = %d; b <= %d; ++b)\n"
43 " {\n", min
, max
, min
, max
);
44 for (; testno
> 0; --testno
)
45 printf (" test%d (a, b);\n", testno
);
53 extern void abort (void);
55 int test381 (int a
, int b
)
57 if (a
>= -3 && a
<= -1 && b
>= -2 && b
<= 3)
84 int test900 (int a
, int b
)
86 if (a
>= -1 && a
<= 2 && b
>= 3 && b
<= 3)
102 for (a
= -4; a
< 4; ++a
)
103 for (b
= -4; b
< 4; ++b
)