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* %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* %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** 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*]* @attribute_tables, i32 0, i32 undef ; <%struct.attribute_spec**> [#uses=1] 78 %tmp3 = load %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* %tmp3, i32 %storemerge6.i, i32 0 ; <i8**> [#uses=1] 84 %tmp2 = load i8** %scevgep14, align 4 ; <i8*> [#uses=0] 85 %tmp = load %struct.attribute_spec** %tmp4, align 4 ; <%struct.attribute_spec*> [#uses=1] 86 %scevgep1516 = getelementptr inbounds %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** 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* @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* %tmp3, i64 %add.ptr39.sum.i 117 %tmp4 = bitcast i8* %tmp40.i to i64* 118 %tmp41.i = load 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** undef 127 %ivar59.i = load 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* %tmp5, i64 %add.ptr65.sum.i 131 %tmp6 = bitcast i8* %tmp66.i to i64* 132 %tmp67.i = load 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 *%P2, i32 52 146 %Q2 = getelementptr i32 *%Q2, i32 52 147 store i32 4, i32* %P2 148 %A = load 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* %P, align 2 160 161 %Q = getelementptr i8* %P, i32 1 162 %1 = load 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* %gep.val, i64 1 182 br i1 undef, label %u2.bb, label %u1.bb 183 184 u1.bb: 185 %tmp1 = getelementptr inbounds %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* 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 } 202
