194 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=newgvn -disable-output < %s3 4; PR56315 6target 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"7target triple = "x86_64-apple-darwin10.0"8 9define ptr @test1(ptr %name, i32 %namelen, ptr %o, i32 %expected_type, i1 %arg) nounwind ssp {10entry:11 br i1 %arg, label %if.end13, label %while.body.preheader12 13 14if.end13: ; preds = %if.then615 br label %while.body.preheader16 17while.body.preheader: ; preds = %if.end13, %if.end18 br label %while.body19 20while.body: ; preds = %while.body.backedge, %while.body.preheader21 %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.false23 24lor.lhs.false: ; preds = %while.body25 %tmp22 = load i32, ptr %o.addr.0 ; <i32> [#uses=0]26 br i1 %arg, label %land.lhs.true24, label %if.end3127 28land.lhs.true24: ; preds = %lor.lhs.false29 %call28 = call ptr @parse_object(ptr undef) nounwind ; <ptr> [#uses=0]30 br i1 %arg, label %return.loopexit, label %if.end3131 32if.end31: ; preds = %land.lhs.true24, %lor.lhs.false33 br i1 %arg, label %return.loopexit, label %if.end4134 35if.end41: ; preds = %if.end3136 %tmp45 = load i32, ptr %o.addr.0 ; <i32> [#uses=0]37 br i1 %arg, label %if.then50, label %if.else38 39if.then50: ; preds = %if.end4140 %tmp53 = load ptr, ptr undef ; <ptr> [#uses=1]41 br label %while.body.backedge42 43if.else: ; preds = %if.end4144 br i1 %arg, label %if.then62, label %if.else6745 46if.then62: ; preds = %if.else47 br label %while.body.backedge48 49while.body.backedge: ; preds = %if.then62, %if.then5050 %o.addr.0.be = phi ptr [ %tmp53, %if.then50 ], [ undef, %if.then62 ] ; <ptr> [#uses=1]51 br label %while.body52 53if.else67: ; preds = %if.else54 ret ptr null55 56return.loopexit: ; preds = %if.end31, %land.lhs.true24, %while.body57 ret ptr undef58}59 60declare 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 71define void @test2() nounwind {72entry:73 br label %bb69.i74 75bb69.i: ; preds = %bb57.i.preheader76 %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.i79 80bb65.i: ; preds = %bb65.i.preheader, %bb64.i81 %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 unreachable87 88bb64.i: ; Unreachable89 br label %bb65.i90 91bb66.i: ; Unreachable92 br label %bb69.i93}94 95 96 97; rdar://743897498 99@g = external global i64, align 8100 101define ptr @test3(i1 %arg) {102do.end17.i:103 %tmp18.i = load ptr, ptr undef104 br i1 %arg, label %do.body36.i, label %if.then21.i105 106if.then21.i:107 ret ptr undef108 109do.body36.i:110 %ivar38.i = load i64, ptr @g111 %add.ptr39.sum.i = add i64 %ivar38.i, 8112 %tmp40.i = getelementptr inbounds i8, ptr %tmp18.i, i64 %add.ptr39.sum.i113 %tmp41.i = load i64, ptr %tmp40.i114 br i1 %arg, label %if.then48.i, label %do.body57.i115 116if.then48.i:117 %call54.i = call i32 @foo2()118 br label %do.body57.i119 120do.body57.i:121 %tmp58.i = load ptr, ptr undef122 %ivar59.i = load i64, ptr @g123 %add.ptr65.sum.i = add i64 %ivar59.i, 8124 %tmp66.i = getelementptr inbounds i8, ptr %tmp58.i, i64 %add.ptr65.sum.i125 %tmp67.i = load i64, ptr %tmp66.i126 ret ptr undef127}128 129declare i32 @foo2()130 131 132 133define i32 @test4() {134entry:135 ret i32 0136 137dead:138 %P2 = getelementptr i32, ptr %P2, i32 52139 %Q2 = getelementptr i32, ptr %Q2, i32 52140 store i32 4, ptr %P2141 %A = load i32, ptr %Q2142 br i1 true, label %dead, label %dead2143 144dead2:145 ret i32 %A146}147 148 149; PR9841150define fastcc i8 @test5(ptr %P) nounwind {151entry:152 %0 = load i8, ptr %P, align 2153 154 %Q = getelementptr i8, ptr %P, i32 1155 %1 = load i8, ptr %Q, align 1156 ret i8 %1157}158 159 160; Test that a GEP in an unreachable block with the following form doesn't crash161; GVN:162;163; %x = gep %some.type %x, ...164 165%struct.type = type { i64, i32, i32 }166 167define fastcc void @func(i1 %arg) nounwind uwtable ssp align 2 {168entry:169 br label %reachable.bb170 171;; Unreachable code.172 173unreachable.bb:174 %gep.val = getelementptr inbounds %struct.type, ptr %gep.val, i64 1175 br i1 %arg, label %u2.bb, label %u1.bb176 177u1.bb:178 store i64 -1, ptr %gep.val, align 8179 br label %unreachable.bb180 181u2.bb:182 %0 = load i32, ptr undef, align 4183 %conv.i.i.i.i.i = zext i32 %0 to i64184 br label %u2.bb185 186;; Reachable code.187 188reachable.bb:189 br label %r1.bb190 191r1.bb:192 br label %u2.bb193}194