| Chris Lattner | 0cdbc7a | 2009-09-08 00:13:52 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine | llvm-dis | 
| Chris Lattner | 4e3e930 | 2009-08-31 04:36:22 +0000 | [diff] [blame] | 2 | target 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" | 
|  | 3 | target triple = "i386-apple-darwin10.0" | 
|  | 4 |  | 
| Chris Lattner | 0cdbc7a | 2009-09-08 00:13:52 +0000 | [diff] [blame] | 5 | define i32 @test0(i8 %tmp2) ssp { | 
| Chris Lattner | 4e3e930 | 2009-08-31 04:36:22 +0000 | [diff] [blame] | 6 | entry: | 
|  | 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 | } | 
| Chris Lattner | 0cdbc7a | 2009-09-08 00:13:52 +0000 | [diff] [blame] | 15 |  | 
|  | 16 | ; PR4905 | 
|  | 17 | define <2 x i64> @test1(<2 x i64> %x, <2 x i64> %y) nounwind { | 
|  | 18 | entry: | 
|  | 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 |  | 
| Chris Lattner | d3210e1 | 2009-09-08 03:44:51 +0000 | [diff] [blame] | 34 |  | 
|  | 35 | ; PR4908 | 
|  | 36 | define void @test2(<1 x i16>* nocapture %b, i32* nocapture %c) nounwind ssp { | 
|  | 37 | entry: | 
|  | 38 | %arrayidx = getelementptr inbounds <1 x i16>* %b, i64 undef ; <<1 x i16>*> | 
|  | 39 | %tmp2 = load <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* %c, i64 undef ; <i32*> [#uses=1] | 
|  | 44 | store i32 %ins, i32* %arrayidx20 | 
|  | 45 | ret void | 
|  | 46 | } | 
| Torok Edwin | 1539a35 | 2009-10-21 10:49:00 +0000 | [diff] [blame^] | 47 |  | 
|  | 48 | ; PR5262 | 
|  | 49 | @tmp2 = global i64 0                              ; <i64*> [#uses=1] | 
|  | 50 |  | 
|  | 51 | declare void @use(i64) nounwind | 
|  | 52 |  | 
|  | 53 | define 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* @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 |  | 
|  | 75 | declare %t0* @bar2(i64) | 
|  | 76 |  | 
|  | 77 | define 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* null, i64 0, i32 1 ; <i32*> [#uses=0] | 
|  | 83 | %5 = getelementptr inbounds %t1* null, i64 0, i32 4 ; <i32**> [#uses=1] | 
|  | 84 | %6 = load 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 | } |