1 /* { dg-do run } */
2 /* { dg-options "-O2 -fno-tree-ccp -fno-tree-dominator-opts" } */
3 
4 /* Tests generated via  */
5 
6 #if 0
7 #include <stdio.h>
8 int main(int argc, char **argv)
9 {
10   int amin, amax, bmin, bmax, a, b;
11   int testno = 0;
12   int min = atoi (argv[1]);
13   int max = atoi (argv[2]);
14   char op = argv[3][0];
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)
21 	  {
22 	    ++testno;
23 	    printf ("int test%d (int a, int b)\n"
24 		    "{\n"
25 		    "  if (a >= %d && a <= %d && b >= %d && b <= %d)\n"
26 		    "   {\n"
27 		    "      int x = a %c b;\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"
33 		    "      abort ();\n"
34 		    "   }\n"
35 		    "  return 0;\n"
36 		    "}\n");
37 	  }
38   printf ("int main()\n"
39 	  "{\n"
40 	  "  int a, b;\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);
46   printf ("      }\n"
47 	  "  return 0;\n"
48 	  "}\n");
49   return 0;
50 }
51 #endif
52 
53 extern void abort (void);
54 
test381(int a,int b)55 int test381 (int a, int b)
56 {
57   if (a >= -3 && a <= -1 && b >= -2 && b <= 3)
58     {
59       int x = a | b;
60       if (x == (-3 | -2)
61 	  || x == (-3 | -1)
62 	  || x == (-3 | 0)
63 	  || x == (-3 | 1)
64 	  || x == (-3 | 2)
65 	  || x == (-3 | 3)
66 	  || x == (-2 | -2)
67 	  || x == (-2 | -1)
68 	  || x == (-2 | 0)
69 	  || x == (-2 | 1)
70 	  || x == (-2 | 2)
71 	  || x == (-2 | 3)
72 	  || x == (-1 | -2)
73 	  || x == (-1 | -1)
74 	  || x == (-1 | 0)
75 	  || x == (-1 | 1)
76 	  || x == (-1 | 2)
77 	  || x == (-1 | 3))
78 	return 0;
79       abort ();
80     }
81   return 0;
82 }
83 
test900(int a,int b)84 int test900 (int a, int b)
85 {
86   if (a >= -1 && a <= 2 && b >= 3 && b <= 3)
87     {
88       int x = a & b;
89       if (x == (-1 & 3)
90 	  || x == (0 & 3)
91 	  || x == (1 & 3)
92 	  || x == (2 & 3))
93 	return 0;
94       abort ();
95     }
96   return 0;
97 }
98 
main()99 int main()
100 {
101   int a, b;
102   for (a = -4; a < 4; ++a)
103     for (b = -4; b < 4; ++b)
104       {
105 	test381 (a, b);
106 	test900 (a, b);
107       }
108 
109   return 0;
110 }
111