test/Transforms/InstCombine/crash.ll

   1 ; RUN: opt < %s -instcombine | llvm-dis
   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
   5 define i32 @test0(i8 %tmp2) ssp {
   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 }
  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
  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 }
  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 }