1; RUN: opt < %s -instcombine -S
2target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128:n8:16:32"
3target triple = "i386-apple-darwin10.0"
4
5define i32 @test0(i8 %tmp2) ssp {
6entry:
7  %tmp3 = zext i8 %tmp2 to i32
8  %tmp8 = lshr i32 %tmp3, 6
9  %tmp9 = lshr i32 %tmp3, 7
10  %tmp10 = xor i32 %tmp9, 67108858
11  %tmp11 = xor i32 %tmp10, %tmp8
12  %tmp12 = xor i32 %tmp11, 0
13  ret i32 %tmp12
14}
15
16; PR4905
17define <2 x i64> @test1(<2 x i64> %x, <2 x i64> %y) nounwind {
18entry:
19  %conv.i94 = bitcast <2 x i64> %y to <4 x i32>   ; <<4 x i32>> [#uses=1]
20  %sub.i97 = sub <4 x i32> %conv.i94, undef       ; <<4 x i32>> [#uses=1]
21  %conv3.i98 = bitcast <4 x i32> %sub.i97 to <2 x i64> ; <<2 x i64>> [#uses=2]
22  %conv2.i86 = bitcast <2 x i64> %conv3.i98 to <4 x i32> ; <<4 x i32>> [#uses=1]
23  %cmp.i87 = icmp sgt <4 x i32> undef, %conv2.i86 ; <<4 x i1>> [#uses=1]
24  %sext.i88 = sext <4 x i1> %cmp.i87 to <4 x i32> ; <<4 x i32>> [#uses=1]
25  %conv3.i89 = bitcast <4 x i32> %sext.i88 to <2 x i64> ; <<2 x i64>> [#uses=1]
26  %and.i = and <2 x i64> %conv3.i89, %conv3.i98   ; <<2 x i64>> [#uses=1]
27  %or.i = or <2 x i64> zeroinitializer, %and.i    ; <<2 x i64>> [#uses=1]
28  %conv2.i43 = bitcast <2 x i64> %or.i to <4 x i32> ; <<4 x i32>> [#uses=1]
29  %sub.i = sub <4 x i32> zeroinitializer, %conv2.i43 ; <<4 x i32>> [#uses=1]
30  %conv3.i44 = bitcast <4 x i32> %sub.i to <2 x i64> ; <<2 x i64>> [#uses=1]
31  ret <2 x i64> %conv3.i44
32}
33
34
35; PR4908
36define void @test2(<1 x i16>* nocapture %b, i32* nocapture %c) nounwind ssp {
37entry:
38  %arrayidx = getelementptr inbounds <1 x i16>, <1 x i16>* %b, i64 undef ; <<1 x i16>*>
39  %tmp2 = load <1 x i16>, <1 x i16>* %arrayidx               ; <<1 x i16>> [#uses=1]
40  %tmp6 = bitcast <1 x i16> %tmp2 to i16          ; <i16> [#uses=1]
41  %tmp7 = zext i16 %tmp6 to i32                   ; <i32> [#uses=1]
42  %ins = or i32 0, %tmp7                          ; <i32> [#uses=1]
43  %arrayidx20 = getelementptr inbounds i32, i32* %c, i64 undef ; <i32*> [#uses=1]
44  store i32 %ins, i32* %arrayidx20
45  ret void
46}
47
48; PR5262
49@tmp2 = global i64 0                              ; <i64*> [#uses=1]
50
51declare void @use(i64) nounwind
52
53define void @foo(i1) nounwind align 2 {
54; <label>:1
55  br i1 %0, label %2, label %3
56
57; <label>:2                                       ; preds = %1
58  br label %3
59
60; <label>:3                                       ; preds = %2, %1
61  %4 = phi i8 [ 1, %2 ], [ 0, %1 ]                ; <i8> [#uses=1]
62  %5 = icmp eq i8 %4, 0                           ; <i1> [#uses=1]
63  %6 = load i64, i64* @tmp2, align 8                   ; <i64> [#uses=1]
64  %7 = select i1 %5, i64 0, i64 %6                ; <i64> [#uses=1]
65  br label %8
66
67; <label>:8                                       ; preds = %3
68  call void @use(i64 %7)
69  ret void
70}
71
72%t0 = type { i32, i32 }
73%t1 = type { i32, i32, i32, i32, i32* }
74
75declare %t0* @bar2(i64)
76
77define void @bar3(i1, i1) nounwind align 2 {
78; <label>:2
79  br i1 %1, label %10, label %3
80
81; <label>:3                                       ; preds = %2
82  %4 = getelementptr inbounds %t0, %t0* null, i64 0, i32 1 ; <i32*> [#uses=0]
83  %5 = getelementptr inbounds %t1, %t1* null, i64 0, i32 4 ; <i32**> [#uses=1]
84  %6 = load i32*, i32** %5, align 8                     ; <i32*> [#uses=1]
85  %7 = icmp ne i32* %6, null                      ; <i1> [#uses=1]
86  %8 = zext i1 %7 to i32                          ; <i32> [#uses=1]
87  %9 = add i32 %8, 0                              ; <i32> [#uses=1]
88  br label %10
89
90; <label>:10                                      ; preds = %3, %2
91  %11 = phi i32 [ %9, %3 ], [ 0, %2 ]             ; <i32> [#uses=1]
92  br i1 %1, label %12, label %13
93
94; <label>:12                                      ; preds = %10
95  br label %13
96
97; <label>:13                                      ; preds = %12, %10
98  %14 = zext i32 %11 to i64                       ; <i64> [#uses=1]
99  %15 = tail call %t0* @bar2(i64 %14) nounwind      ; <%0*> [#uses=0]
100  ret void
101}
102
103
104
105
106; PR5262
107; Make sure the PHI node gets put in a place where all of its operands dominate
108; it.
109define i64 @test4(i1 %c, i64* %P) nounwind align 2 {
110BB0:
111  br i1 %c, label %BB1, label %BB2
112
113BB1:
114  br label %BB2
115
116BB2:
117  %v5_ = phi i1 [ true, %BB0], [false, %BB1]
118  %v6 = load i64, i64* %P
119  br label %l8
120
121l8:
122  br label %l10
123
124l10:
125  %v11 = select i1 %v5_, i64 0, i64 %v6
126  ret i64 %v11
127}
128
129; PR5471
130define i32 @test5a() {
131       ret i32 0
132}
133
134define void @test5() personality i32 (...)* @__gxx_personality_v0 {
135  store i1 true, i1* undef
136  %r = invoke i32 @test5a() to label %exit unwind label %unwind
137unwind:
138  %exn = landingpad {i8*, i32}
139          cleanup
140  br label %exit
141exit:
142  ret void
143}
144
145
146; PR5673
147
148@test6g = external global i32*
149
150define arm_aapcs_vfpcc i32 @test6(i32 %argc, i8** %argv) nounwind {
151entry:
152  store i32* getelementptr (i32, i32* bitcast (i32 (i32, i8**)* @test6 to i32*), i32 -2048), i32** @test6g, align 4
153  unreachable
154}
155
156
157; PR5827
158
159%class.RuleBasedBreakIterator = type { i64 ()* }
160%class.UStack = type { i8** }
161
162define i32 @_ZN22RuleBasedBreakIterator15checkDictionaryEi(%class.RuleBasedBreakIterator* %this, i32 %x) align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
163entry:
164  %breaks = alloca %class.UStack, align 4         ; <%class.UStack*> [#uses=3]
165  call void @_ZN6UStackC1Ei(%class.UStack* %breaks, i32 0)
166  %tobool = icmp ne i32 %x, 0                     ; <i1> [#uses=1]
167  br i1 %tobool, label %cond.end, label %cond.false
168
169terminate.handler:                                ; preds = %ehcleanup
170  %exc = landingpad { i8*, i32 }
171           cleanup
172  call void @_ZSt9terminatev() noreturn nounwind
173  unreachable
174
175ehcleanup:                                        ; preds = %cond.false
176  %exc1 = landingpad { i8*, i32 }
177           catch i8* null
178  invoke void @_ZN6UStackD1Ev(%class.UStack* %breaks)
179          to label %cont unwind label %terminate.handler
180
181cont:                                             ; preds = %ehcleanup
182  resume { i8*, i32 } %exc1
183
184cond.false:                                       ; preds = %entry
185  %tmp4 = getelementptr inbounds %class.RuleBasedBreakIterator, %class.RuleBasedBreakIterator* %this, i32 0, i32 0 ; <i64 ()**> [#uses=1]
186  %tmp5 = load i64 ()*, i64 ()** %tmp4                     ; <i64 ()*> [#uses=1]
187  %call = invoke i64 %tmp5()
188          to label %cond.end unwind label %ehcleanup ; <i64> [#uses=1]
189
190cond.end:                                         ; preds = %cond.false, %entry
191  %cond = phi i64 [ 0, %entry ], [ %call, %cond.false ] ; <i64> [#uses=1]
192  %conv = trunc i64 %cond to i32                  ; <i32> [#uses=1]
193  call void @_ZN6UStackD1Ev(%class.UStack* %breaks)
194  ret i32 %conv
195}
196
197declare void @_ZN6UStackC1Ei(%class.UStack*, i32)
198
199declare void @_ZN6UStackD1Ev(%class.UStack*)
200
201declare i32 @__gxx_personality_v0(...)
202
203declare void @_ZSt9terminatev()
204
205declare void @_Unwind_Resume_or_Rethrow(i8*)
206
207
208
209; rdar://7590304
210define i8* @test10(i8* %self, i8* %tmp3) personality i32 (...)* @__gxx_personality_v0 {
211entry:
212  store i1 true, i1* undef
213  store i1 true, i1* undef
214  invoke void @test10a()
215          to label %invoke.cont unwind label %try.handler ; <i8*> [#uses=0]
216
217invoke.cont:                                      ; preds = %entry
218  unreachable
219
220try.handler:                                      ; preds = %entry
221  %exn = landingpad {i8*, i32}
222           catch i8* null
223  ret i8* %self
224}
225
226define void @test10a() {
227  ret void
228}
229
230
231; PR6193
232define i32 @test11(i32 %aMaskWidth, i8 %aStride) nounwind {
233entry:
234  %conv41 = sext i8 %aStride to i32
235  %neg = xor i32 %conv41, -1
236  %and42 = and i32 %aMaskWidth, %neg
237  %and47 = and i32 130, %conv41
238  %or = or i32 %and42, %and47
239  ret i32 %or
240}
241
242; PR6503
243define void @test12(i32* %A) nounwind {
244entry:
245  %tmp1 = load i32, i32* %A
246  %cmp = icmp ugt i32 1, %tmp1                    ; <i1> [#uses=1]
247  %conv = zext i1 %cmp to i32                     ; <i32> [#uses=1]
248  %tmp2 = load i32, i32* %A
249  %cmp3 = icmp ne i32 %tmp2, 0                    ; <i1> [#uses=1]
250  %conv4 = zext i1 %cmp3 to i32                   ; <i32> [#uses=1]
251  %or = or i32 %conv, %conv4                      ; <i32> [#uses=1]
252  %cmp5 = icmp ugt i32 undef, %or                 ; <i1> [#uses=1]
253  %conv6 = zext i1 %cmp5 to i32                   ; <i32> [#uses=0]
254  ret void
255}
256
257%s1 = type { %s2, %s2, [6 x %s2], i32, i32, i32, [1 x i32], [0 x i8] }
258%s2 = type { i64 }
259define void @test13() nounwind ssp {
260entry:
261  %0 = getelementptr inbounds %s1, %s1* null, i64 0, i32 2, i64 0, i32 0
262  %1 = bitcast i64* %0 to i32*
263  %2 = getelementptr inbounds %s1, %s1* null, i64 0, i32 2, i64 1, i32 0
264  %.pre = load i32, i32* %1, align 8
265  %3 = lshr i32 %.pre, 19
266  %brmerge = or i1 undef, undef
267  %4 = and i32 %3, 3
268  %5 = add nsw i32 %4, 1
269  %6 = shl i32 %5, 19
270  %7 = add i32 %6, 1572864
271  %8 = and i32 %7, 1572864
272  %9 = load i64, i64* %2, align 8
273  %trunc156 = trunc i64 %9 to i32
274  %10 = and i32 %trunc156, -1537
275  %11 = and i32 %10, -6145
276  %12 = or i32 %11, 2048
277  %13 = and i32 %12, -24577
278  %14 = or i32 %13, 16384
279  %15 = or i32 %14, 98304
280  store i32 %15, i32* undef, align 8
281  %16 = and i32 %15, -1572865
282  %17 = or i32 %16, %8
283  store i32 %17, i32* undef, align 8
284  %18 = and i32 %17, -449
285  %19 = or i32 %18, 64
286  store i32 %19, i32* undef, align 8
287  unreachable
288}
289
290
291; PR8807
292declare i32 @test14f(i8* (i8*)*) nounwind
293
294define void @test14() nounwind readnone {
295entry:
296  %tmp = bitcast i32 (i8* (i8*)*)* @test14f to i32 (i32*)*
297  %call10 = call i32 %tmp(i32* byval undef)
298  ret void
299}
300
301
302; PR8896
303@g_54 = external global [7 x i16]
304
305define void @test15(i32* %p_92) nounwind {
306entry:
307%0 = load i32, i32* %p_92, align 4
308%1 = icmp ne i32 %0, 0
309%2 = zext i1 %1 to i32
310%3 = call i32 @func_14() nounwind
311%4 = trunc i32 %3 to i16
312%5 = sext i16 %4 to i32
313%6 = trunc i32 %5 to i16
314br i1 undef, label %"3", label %"5"
315
316"3":                                              ; preds = %entry
317%7 = sext i16 %6 to i32
318%8 = ashr i32 %7, -1649554541
319%9 = trunc i32 %8 to i16
320br label %"5"
321
322"5":                                              ; preds = %"3", %entry
323%10 = phi i16 [ %9, %"3" ], [ %6, %entry ]
324%11 = sext i16 %10 to i32
325%12 = xor i32 %2, %11
326%13 = sext i32 %12 to i64
327%14 = icmp ne i64 %13, 0
328br i1 %14, label %return, label %"7"
329
330"7":                                              ; preds = %"5"
331ret void
332
333return:                                           ; preds = %"5"
334ret void
335}
336
337declare i32 @func_14()
338
339
340define double @test16(i32 %a) nounwind {
341  %cmp = icmp slt i32 %a, 2
342  %select = select i1 %cmp, double 2.000000e+00, double 3.141592e+00
343  ret double %select
344}
345
346
347; PR8983
348%struct.basic_ios = type { i8 }
349
350define %struct.basic_ios *@test17() ssp {
351entry:
352  %add.ptr.i = getelementptr i8, i8* null, i64 undef
353  %0 = bitcast i8* %add.ptr.i to %struct.basic_ios*
354  ret %struct.basic_ios* %0
355}
356
357; PR9013
358define void @test18() nounwind ssp {
359entry:
360  br label %for.cond
361
362for.cond:                                         ; preds = %for.inc, %entry
363  %l_197.0 = phi i32 [ 0, %entry ], [ %sub.i, %for.inc ]
364  br label %for.inc
365
366for.inc:                                          ; preds = %for.cond
367  %conv = and i32 %l_197.0, 255
368  %sub.i = add nsw i32 %conv, -1
369  br label %for.cond
370
371return:                                           ; No predecessors!
372  ret void
373}
374
375; PR11275
376declare void @test18b() noreturn
377declare void @test18foo(double**)
378declare void @test18a() noreturn
379define fastcc void @test18x(i8* %t0, i1 %b) uwtable align 2 personality i32 (...)* @__gxx_personality_v0 {
380entry:
381  br i1 %b, label %e1, label %e2
382e1:
383  %t2 = bitcast i8* %t0 to double**
384  invoke void @test18b() noreturn
385          to label %u unwind label %lpad
386e2:
387  %t4 = bitcast i8* %t0 to double**
388  invoke void @test18a() noreturn
389          to label %u unwind label %lpad
390lpad:
391  %t5 = phi double** [ %t2, %e1 ], [ %t4, %e2 ]
392  %lpad.nonloopexit262 = landingpad { i8*, i32 }
393          cleanup
394  call void @test18foo(double** %t5)
395  unreachable
396u:
397  unreachable
398}
399