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