llvm/test/Transforms/NewGVN/crash.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -passes=newgvn -disable-output < %s
   3
   4 ; PR5631
   5
   6 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   7 target triple = "x86_64-apple-darwin10.0"
   8
   9 define ptr @test1(ptr %name, i32 %namelen, ptr %o, i32 %expected_type) nounwind ssp {
  10 entry:
  11   br i1 undef, label %if.end13, label %while.body.preheader
  12
  13
  14 if.end13:                                         ; preds = %if.then6
  15   br label %while.body.preheader
  16
  17 while.body.preheader:                             ; preds = %if.end13, %if.end
  18   br label %while.body
  19
  20 while.body:                                       ; preds = %while.body.backedge, %while.body.preheader
  21   %o.addr.0 = phi ptr [ undef, %while.body.preheader ], [ %o.addr.0.be, %while.body.backedge ] ; <ptr> [#uses=2]
  22   br i1 false, label %return.loopexit, label %lor.lhs.false
  23
  24 lor.lhs.false:                                    ; preds = %while.body
  25   %tmp22 = load i32, ptr %o.addr.0                       ; <i32> [#uses=0]
  26   br i1 undef, label %land.lhs.true24, label %if.end31
  27
  28 land.lhs.true24:                                  ; preds = %lor.lhs.false
  29   %call28 = call ptr @parse_object(ptr undef) nounwind ; <ptr> [#uses=0]
  30   br i1 undef, label %return.loopexit, label %if.end31
  31
  32 if.end31:                                         ; preds = %land.lhs.true24, %lor.lhs.false
  33   br i1 undef, label %return.loopexit, label %if.end41
  34
  35 if.end41:                                         ; preds = %if.end31
  36   %tmp45 = load i32, ptr %o.addr.0                       ; <i32> [#uses=0]
  37   br i1 undef, label %if.then50, label %if.else
  38
  39 if.then50:                                        ; preds = %if.end41
  40   %tmp53 = load ptr, ptr undef                       ; <ptr> [#uses=1]
  41   br label %while.body.backedge
  42
  43 if.else:                                          ; preds = %if.end41
  44   br i1 undef, label %if.then62, label %if.else67
  45
  46 if.then62:                                        ; preds = %if.else
  47   br label %while.body.backedge
  48
  49 while.body.backedge:                              ; preds = %if.then62, %if.then50
  50   %o.addr.0.be = phi ptr [ %tmp53, %if.then50 ], [ undef, %if.then62 ] ; <ptr> [#uses=1]
  51   br label %while.body
  52
  53 if.else67:                                        ; preds = %if.else
  54   ret ptr null
  55
  56 return.loopexit:                                  ; preds = %if.end31, %land.lhs.true24, %while.body
  57   ret ptr undef
  58 }
  59
  60 declare ptr @parse_object(ptr)
  61
  62
  63
  64
  65
  66
  67 %struct.attribute_spec = type { ptr, i32, i32, i8, i8, i8 }
  68
  69 @attribute_tables = external global [4 x ptr] ; <ptr> [#uses=2]
  70
  71 define void @test2() nounwind {
  72 entry:
  73   br label %bb69.i
  74
  75 bb69.i:                                           ; preds = %bb57.i.preheader
  76   %tmp4 = getelementptr inbounds [4 x ptr], ptr @attribute_tables, i32 0, i32 undef ; <ptr> [#uses=1]
  77   %tmp3 = load ptr, ptr %tmp4, align 4 ; <ptr> [#uses=1]
  78   br label %bb65.i
  79
  80 bb65.i:                                           ; preds = %bb65.i.preheader, %bb64.i
  81   %storemerge6.i = phi i32 [ 1, %bb64.i ], [ 0, %bb69.i ] ; <i32> [#uses=3]
  82   %scevgep14 = getelementptr inbounds %struct.attribute_spec, ptr %tmp3, i32 %storemerge6.i, i32 0 ; <ptr> [#uses=1]
  83   %tmp2 = load ptr, ptr %scevgep14, align 4           ; <ptr> [#uses=0]
  84   %tmp = load ptr, ptr %tmp4, align 4 ; <ptr> [#uses=1]
  85   %scevgep1516 = getelementptr inbounds %struct.attribute_spec, ptr %tmp, i32 %storemerge6.i, i32 0 ; <ptr> [#uses=0]
  86   unreachable
  87
  88 bb64.i:                                           ; Unreachable
  89   br label %bb65.i
  90
  91 bb66.i:                                           ; Unreachable
  92   br label %bb69.i
  93 }
  94
  95
  96
  97 ; rdar://7438974
  98
  99 @g = external global i64, align 8
 100
 101 define ptr @test3() {
 102 do.end17.i:
 103   %tmp18.i = load ptr, ptr undef
 104   br i1 undef, label %do.body36.i, label %if.then21.i
 105
 106 if.then21.i:
 107   ret ptr undef
 108
 109 do.body36.i:
 110   %ivar38.i = load i64, ptr @g
 111   %add.ptr39.sum.i = add i64 %ivar38.i, 8
 112   %tmp40.i = getelementptr inbounds i8, ptr %tmp18.i, i64 %add.ptr39.sum.i
 113   %tmp41.i = load i64, ptr %tmp40.i
 114   br i1 undef, label %if.then48.i, label %do.body57.i
 115
 116 if.then48.i:
 117   %call54.i = call i32 @foo2()
 118   br label %do.body57.i
 119
 120 do.body57.i:
 121   %tmp58.i = load ptr, ptr undef
 122   %ivar59.i = load i64, ptr @g
 123   %add.ptr65.sum.i = add i64 %ivar59.i, 8
 124   %tmp66.i = getelementptr inbounds i8, ptr %tmp58.i, i64 %add.ptr65.sum.i
 125   %tmp67.i = load i64, ptr %tmp66.i
 126   ret ptr undef
 127 }
 128
 129 declare i32 @foo2()
 130
 131
 132
 133 define i32 @test4() {
 134 entry:
 135   ret i32 0
 136
 137 dead:
 138   %P2 = getelementptr i32, ptr %P2, i32 52
 139   %Q2 = getelementptr i32, ptr %Q2, i32 52
 140   store i32 4, ptr %P2
 141   %A = load i32, ptr %Q2
 142   br i1 true, label %dead, label %dead2
 143
 144 dead2:
 145   ret i32 %A
 146 }
 147
 148
 149 ; PR9841
 150 define fastcc i8 @test5(ptr %P) nounwind {
 151 entry:
 152   %0 = load i8, ptr %P, align 2
 153
 154   %Q = getelementptr i8, ptr %P, i32 1
 155   %1 = load i8, ptr %Q, align 1
 156   ret i8 %1
 157 }
 158
 159
 160 ; Test that a GEP in an unreachable block with the following form doesn't crash
 161 ; GVN:
 162 ;
 163 ;    %x = gep %some.type %x, ...
 164
 165 %struct.type = type { i64, i32, i32 }
 166
 167 define fastcc void @func() nounwind uwtable ssp align 2 {
 168 entry:
 169   br label %reachable.bb
 170
 171 ;; Unreachable code.
 172
 173 unreachable.bb:
 174   %gep.val = getelementptr inbounds %struct.type, ptr %gep.val, i64 1
 175   br i1 undef, label %u2.bb, label %u1.bb
 176
 177 u1.bb:
 178   store i64 -1, ptr %gep.val, align 8
 179   br label %unreachable.bb
 180
 181 u2.bb:
 182   %0 = load i32, ptr undef, align 4
 183   %conv.i.i.i.i.i = zext i32 %0 to i64
 184   br label %u2.bb
 185
 186 ;; Reachable code.
 187
 188 reachable.bb:
 189   br label %r1.bb
 190
 191 r1.bb:
 192   br label %u2.bb
 193 }