1*9880d681SAndroid Build Coastguard Worker; RUN: opt -simplifycfg -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; This load is safe to speculate, as it's from a safe offset 4*9880d681SAndroid Build Coastguard Worker; within an alloca. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @yes( 7*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: br 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workerdefine void @yes(i1 %c) nounwind { 10*9880d681SAndroid Build Coastguard Workerentry: 11*9880d681SAndroid Build Coastguard Worker %a = alloca [4 x i64*], align 8 12*9880d681SAndroid Build Coastguard Worker %__a.addr = getelementptr [4 x i64*], [4 x i64*]* %a, i64 0, i64 3 13*9880d681SAndroid Build Coastguard Worker call void @frob(i64** %__a.addr) 14*9880d681SAndroid Build Coastguard Worker br i1 %c, label %if.then, label %if.end 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 17*9880d681SAndroid Build Coastguard Worker br label %return 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %entry 20*9880d681SAndroid Build Coastguard Worker %tmp5 = load i64*, i64** %__a.addr, align 8 21*9880d681SAndroid Build Coastguard Worker br label %return 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %if.end, %if.then 24*9880d681SAndroid Build Coastguard Worker %storemerge = phi i64* [ undef, %if.then ], [ %tmp5, %if.end ] 25*9880d681SAndroid Build Coastguard Worker ret void 26*9880d681SAndroid Build Coastguard Worker} 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @no0( 29*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 %c 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workerdefine void @no0(i1 %c) nounwind { 32*9880d681SAndroid Build Coastguard Workerentry: 33*9880d681SAndroid Build Coastguard Worker %a = alloca [4 x i64*], align 8 34*9880d681SAndroid Build Coastguard Worker %__a.addr = getelementptr [4 x i64*], [4 x i64*]* %a, i64 0, i64 4 35*9880d681SAndroid Build Coastguard Worker call void @frob(i64** %__a.addr) 36*9880d681SAndroid Build Coastguard Worker br i1 %c, label %if.then, label %if.end 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 39*9880d681SAndroid Build Coastguard Worker br label %return 40*9880d681SAndroid Build Coastguard Worker 41*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %entry 42*9880d681SAndroid Build Coastguard Worker %tmp5 = load i64*, i64** %__a.addr, align 8 43*9880d681SAndroid Build Coastguard Worker br label %return 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %if.end, %if.then 46*9880d681SAndroid Build Coastguard Worker %storemerge = phi i64* [ undef, %if.then ], [ %tmp5, %if.end ] 47*9880d681SAndroid Build Coastguard Worker ret void 48*9880d681SAndroid Build Coastguard Worker} 49*9880d681SAndroid Build Coastguard Worker 50*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @no1( 51*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 %c 52*9880d681SAndroid Build Coastguard Worker 53*9880d681SAndroid Build Coastguard Workerdefine void @no1(i1 %c, i64 %n) nounwind { 54*9880d681SAndroid Build Coastguard Workerentry: 55*9880d681SAndroid Build Coastguard Worker %a = alloca [4 x i64*], align 8 56*9880d681SAndroid Build Coastguard Worker %__a.addr = getelementptr [4 x i64*], [4 x i64*]* %a, i64 0, i64 %n 57*9880d681SAndroid Build Coastguard Worker call void @frob(i64** %__a.addr) 58*9880d681SAndroid Build Coastguard Worker br i1 %c, label %if.then, label %if.end 59*9880d681SAndroid Build Coastguard Worker 60*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 61*9880d681SAndroid Build Coastguard Worker br label %return 62*9880d681SAndroid Build Coastguard Worker 63*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %entry 64*9880d681SAndroid Build Coastguard Worker %tmp5 = load i64*, i64** %__a.addr, align 8 65*9880d681SAndroid Build Coastguard Worker br label %return 66*9880d681SAndroid Build Coastguard Worker 67*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %if.end, %if.then 68*9880d681SAndroid Build Coastguard Worker %storemerge = phi i64* [ undef, %if.then ], [ %tmp5, %if.end ] 69*9880d681SAndroid Build Coastguard Worker ret void 70*9880d681SAndroid Build Coastguard Worker} 71*9880d681SAndroid Build Coastguard Worker 72*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @no2( 73*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 %c 74*9880d681SAndroid Build Coastguard Worker 75*9880d681SAndroid Build Coastguard Workerdefine void @no2(i1 %c, i64 %n) nounwind { 76*9880d681SAndroid Build Coastguard Workerentry: 77*9880d681SAndroid Build Coastguard Worker %a = alloca [4 x i64*], align 8 78*9880d681SAndroid Build Coastguard Worker %__a.addr = getelementptr [4 x i64*], [4 x i64*]* %a, i64 1, i64 0 79*9880d681SAndroid Build Coastguard Worker call void @frob(i64** %__a.addr) 80*9880d681SAndroid Build Coastguard Worker br i1 %c, label %if.then, label %if.end 81*9880d681SAndroid Build Coastguard Worker 82*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 83*9880d681SAndroid Build Coastguard Worker br label %return 84*9880d681SAndroid Build Coastguard Worker 85*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %entry 86*9880d681SAndroid Build Coastguard Worker %tmp5 = load i64*, i64** %__a.addr, align 8 87*9880d681SAndroid Build Coastguard Worker br label %return 88*9880d681SAndroid Build Coastguard Worker 89*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %if.end, %if.then 90*9880d681SAndroid Build Coastguard Worker %storemerge = phi i64* [ undef, %if.then ], [ %tmp5, %if.end ] 91*9880d681SAndroid Build Coastguard Worker ret void 92*9880d681SAndroid Build Coastguard Worker} 93*9880d681SAndroid Build Coastguard Worker 94*9880d681SAndroid Build Coastguard Workerdeclare void @frob(i64** nocapture %p) 95