1 /* PR tree-optimization/46309 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-reassoc-details" } */
4 
5 int foo (void);
6 
7 void
f1(int a)8 f1 (int a)
9 {
10   _Bool v1 = (a == 3);
11   _Bool v2 = (a == 1);
12   _Bool v3 = (a == 4);
13   _Bool v4 = (a == 2);
14   if (v1 || v2 || v3 || v4)
15     foo ();
16 }
17 
18 void
f2(int a)19 f2 (int a)
20 {
21   _Bool v1 = (a == 1);
22   _Bool v2 = (a == 2);
23   _Bool v3 = (a == 3);
24   _Bool v4 = (a == 4);
25   if (v1 || v2 || v3 || v4)
26     foo ();
27 }
28 
29 void
f3(unsigned int a)30 f3 (unsigned int a)
31 {
32   _Bool v1 = (a <= 31);
33   _Bool v2 = (a >= 64 && a <= 95);
34   _Bool v3 = (a >= 128 && a <= 159);
35   _Bool v4 = (a >= 192 && a <= 223);
36   if (v1 || v2 || v3 || v4)
37     foo ();
38 }
39 
40 void
f4(int a)41 f4 (int a)
42 {
43   _Bool v1 = (a == 3);
44   _Bool v2 = (a == 1);
45   _Bool v3 = (a == 4);
46   _Bool v4 = (a == 2);
47   _Bool v5 = (a == 7);
48   _Bool v6 = (a == 5);
49   _Bool v7 = (a == 8);
50   _Bool v8 = (a == 6);
51   if (v1 || v2 || v3 || v4 || v5 || v6 || v7 || v8)
52     foo ();
53 }
54 
55 void
f5(int a)56 f5 (int a)
57 {
58   _Bool v1 = (a != 3);
59   _Bool v2 = (a != 1);
60   _Bool v3 = (a != 4);
61   _Bool v4 = (a != 2);
62   _Bool v5 = (a != 7);
63   _Bool v6 = (a != 5);
64   _Bool v7 = (a != 8);
65   _Bool v8 = (a != 6);
66   if (v1 && v2 && v3 && v4 && v5 && v6 && v7 && v8)
67     foo ();
68 }
69 
70 void
f6(int a)71 f6 (int a)
72 {
73   _Bool v1 = (a != 3);
74   _Bool v2 = (a != 1);
75   _Bool v3 = (a != 4);
76   _Bool v4 = (a != 2);
77   _Bool v5 = (a != 7);
78   _Bool v6 = (a != 5);
79   _Bool v7 = (a != 8);
80   _Bool v8 = (a != 6);
81   if ((v1 && v2 && v3 && v4) && (v5 && v6 && v7 && v8))
82     foo ();
83 }
84 
85 int
f7(int a)86 f7 (int a)
87 {
88   _Bool v1 = (a == 3);
89   _Bool v2 = (a == 1);
90   _Bool v3 = (a == 4);
91   _Bool v4 = (a == 2);
92   _Bool v5 = (a == 7);
93   _Bool v6 = (a == 5);
94   _Bool v7 = (a == 8);
95   _Bool v8 = (a == 6);
96   return v1 || v2 || v3 || v4 || v5 || v6 || v7 || v8;
97 }
98 
99 _Bool
f8(int a)100 f8 (int a)
101 {
102   _Bool v1 = (a == 3);
103   _Bool v2 = (a == 1);
104   _Bool v3 = (a == 4);
105   _Bool v4 = (a == 2);
106   _Bool v5 = (a == 7);
107   _Bool v6 = (a == 5);
108   _Bool v7 = (a == 8);
109   _Bool v8 = (a == 6);
110   return v1 || v2 || v3 || v4 || v5 || v6 || v7 || v8;
111 }
112 
113 int
f9(int a)114 f9 (int a)
115 {
116   _Bool v1 = (a != 3);
117   _Bool v2 = (a != 1);
118   _Bool v3 = (a != 4);
119   _Bool v4 = (a != 2);
120   _Bool v5 = (a != 7);
121   _Bool v6 = (a != 5);
122   _Bool v7 = (a != 8);
123   _Bool v8 = (a != 6);
124   return v1 && v2 && v3 && v4 && v5 && v6 && v7 && v8;
125 }
126 
127 _Bool
f10(int a)128 f10 (int a)
129 {
130   _Bool v1 = (a != 3);
131   _Bool v2 = (a != 1);
132   _Bool v3 = (a != 4);
133   _Bool v4 = (a != 2);
134   _Bool v5 = (a != 7);
135   _Bool v6 = (a != 5);
136   _Bool v7 = (a != 8);
137   _Bool v8 = (a != 6);
138   return v1 && v2 && v3 && v4 && v5 && v6 && v7 && v8;
139 }
140 
141 /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.2, 2. and -.3, 3. and -.4, 4.\[\n\r\]* into" 2 "reassoc1" } } */
142 /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.0, 31. and -.64, 95.\[\n\r\]* into" 1 "reassoc1" } } */
143 /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.128, 159. and -.192, 223.\[\n\r\]* into" 1 "reassoc1" } } */
144 /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.2, 2. and -.3, 3. and -.4, 4. and -.5, 5. and -.6, 6. and -.7, 7. and -.8, 8.\[\n\r\]* into" 7 "reassoc1" } } */
145 /* { dg-final { scan-tree-dump-times "Optimizing range tests \[^\r\n\]*_\[0-9\]* -.0, 31. and -.128, 159.\[\n\r\]* into" 1 "reassoc2" } } */
146 /* { dg-final { cleanup-tree-dump "reassoc1" } } */
147 /* { dg-final { cleanup-tree-dump "reassoc2" } } */
148