1 // Output file should have no calls to error() with folding.
2 // RUN: %clang_cc1 -triple i386-unknown-unknown -mllvm -inline-threshold=1024 -O3 -emit-llvm -o %t %s
3 // RUN: FileCheck %s < %t
4
pow(unsigned Base,unsigned Power)5 static unsigned pow(unsigned Base, unsigned Power) {
6 unsigned Val = 1;
7 while (Power--)
8 Val *= Base;
9 return Val;
10 }
11
12 struct TempTracker {
13 unsigned Product, Index;
14
TempTrackerTempTracker15 TempTracker() : Product(1), Index(0) {}
16
17 };
18
19 // FIXME: This can be used to check elision as well, if P = 0 hacks are removed.
20 struct A {
21 TempTracker &TT;
22 mutable unsigned P;
23 bool Truth;
24
AA25 A(TempTracker &_TT, unsigned _P, bool _Truth = true)
26 : TT(_TT), P(_P), Truth(_Truth) {}
AA27 A(const A &RHS) : TT(RHS.TT), P(RHS.P), Truth(RHS.Truth) { RHS.P = 0; }
~AA28 ~A() {
29 if (P)
30 TT.Product *= pow(P, ++TT.Index);
31 }
32
operator =A33 A &operator=(const A &RHS) {
34 TT = RHS.TT;
35 P = RHS.P;
36 Truth = RHS.Truth;
37 RHS.P = 0;
38 return *this;
39 }
40
operator boolA41 operator bool () { return Truth; }
42 };
43
44 // 3, 7, 2
f0(bool val=false)45 static unsigned f0(bool val = false) {
46 TempTracker tt;
47 {
48 A a(tt, 2);
49 if ((A(tt, 3), val))
50 A b(tt, 5);
51 A c(tt, 7);
52 }
53 return tt.Product;
54 }
55
56 // 3, 5, 7, 2
f1(bool val=true)57 static unsigned f1(bool val = true) {
58 TempTracker tt;
59 {
60 A a(tt, 2);
61 if ((A(tt, 3), val))
62 A b(tt, 5);
63 A c(tt, 7);
64 }
65 return tt.Product;
66 }
67
68 // 5, 3, 7, 2
f2()69 static unsigned f2() {
70 TempTracker tt;
71 {
72 A a(tt, 2);
73 if (A b = A(tt, 3))
74 A c(tt, 5);
75 A d(tt, 7);
76 }
77 return tt.Product;
78 }
79
80 // 7, 3, 11, 2
f3()81 static unsigned f3() {
82 TempTracker tt;
83 {
84 A a(tt, 2);
85 if (A b = A(tt, 3, false))
86 A c(tt, 5);
87 else
88 A c(tt, 7);
89 A d(tt, 11);
90 }
91 return tt.Product;
92 }
93
94 // 3, 7, 2
f4()95 static unsigned f4() {
96 TempTracker tt;
97 {
98 A a(tt, 2);
99 while (A b = A(tt, 3, false))
100 A c(tt, 5);
101 A c(tt, 7);
102 }
103 return tt.Product;
104 }
105
106 // 5, 3, 7, 2
f5()107 static unsigned f5() {
108 TempTracker tt;
109 {
110 A a(tt, 2);
111 while (A b = A(tt, 3, true)) {
112 A c(tt, 5);
113 break;
114 }
115 A c(tt, 7);
116 }
117 return tt.Product;
118 }
119
120 // 3, 7, 11, 5, 13, 2
f6()121 static unsigned f6() {
122 TempTracker tt;
123 {
124 A a(tt, 2);
125 for (A b = (A(tt, 3), A(tt, 5)), c = (A(tt, 7), A(tt, 11));;)
126 break;
127 A c(tt, 13);
128 }
129 return tt.Product;
130 }
131
132 // 5, 2
f7()133 static unsigned f7() {
134 TempTracker tt;
135 {
136 (void)((A(tt, 2, false) && A(tt, 3, false)) || A(tt, 5, false));
137 }
138 return tt.Product;
139 }
140
141 // 5, 2
f8()142 static unsigned f8() {
143 TempTracker tt;
144
145 {
146 (void)((A(tt, 2) || A(tt, 3)) && A(tt, 5));
147 }
148 return tt.Product;
149 }
150
151 extern "C" void error();
152 extern "C" void print(const char *Name, unsigned N);
153
154 #define ORDER2(a, b) (pow(a, 1) * pow(b, 2))
155 #define ORDER3(a, b, c) (ORDER2(a, b) * pow(c, 3))
156 #define ORDER4(a, b, c, d) (ORDER3(a, b, c) * pow(d, 4))
157 #define ORDER5(a, b, c, d, e) (ORDER4(a, b, c, d) * pow(e, 5))
158 #define ORDER6(a, b, c, d, e, f) (ORDER5(a, b, c, d, e) * pow(f, 6))
test()159 void test() {
160 // CHECK: call void @print(i8* {{.*}}, i32 1176)
161 print("f0", f0());
162 if (f0() != ORDER3(3, 7, 2))
163 error();
164
165 // CHECK: call void @print(i8* {{.*}}, i32 411600)
166 print("f1", f1());
167 if (f1() != ORDER4(3, 5, 7, 2))
168 error();
169
170 // CHECK: call void @print(i8* {{.*}}, i32 246960)
171 print("f2", f2());
172 if (f2() != ORDER4(5, 3, 7, 2))
173 error();
174
175 // CHECK: call void @print(i8* {{.*}}, i32 1341648)
176 print("f3", f3());
177 if (f3() != ORDER4(7, 3, 11, 2))
178 error();
179
180 // CHECK: call void @print(i8* {{.*}}, i32 1176)
181 print("f4", f4());
182 if (f4() != ORDER3(3, 7, 2))
183 error();
184
185 // CHECK: call void @print(i8* {{.*}}, i32 246960)
186 print("f5", f5());
187 if (f5() != ORDER4(5, 3, 7, 2))
188 error();
189
190 // CHECK: call void @print(i8* {{.*}}, i32 1251552576)
191 print("f6", f6());
192 if (f6() != ORDER6(3, 7, 11, 5, 13, 2))
193 error();
194
195 // CHECK: call void @print(i8* {{.*}}, i32 20)
196 print("f7", f7());
197 if (f7() != ORDER2(5, 2))
198 error();
199
200 // CHECK: call void @print(i8* {{.*}}, i32 20)
201 print("f8", f8());
202 if (f8() != ORDER2(5, 2))
203 error();
204 }
205
206
207
208 #ifdef HARNESS
209
210 #include <cstdlib>
211 #include <cstdio>
212
error()213 extern "C" void error() {
214 abort();
215 }
216
print(const char * name,unsigned N)217 extern "C" void print(const char *name, unsigned N) {
218 printf("%s: %d\n", name, N);
219 }
220
main()221 int main() {
222 test();
223 return 0;
224 }
225
226 #endif
227