test/Transforms/GVN/crash.ll

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