1*9880d681SAndroid Build Coastguard Worker; RUN: opt -prune-eh -inline -jump-threading -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker@d = external global i32*, align 8 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Workerdefine void @fn3(i1 %B) { 9*9880d681SAndroid Build Coastguard Workerentry: 10*9880d681SAndroid Build Coastguard Worker br i1 %B, label %if.end, label %if.then 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 13*9880d681SAndroid Build Coastguard Worker call void @fn2(i1 %B) 14*9880d681SAndroid Build Coastguard Worker ret void 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %entry 17*9880d681SAndroid Build Coastguard Worker call void @fn2(i1 %B) 18*9880d681SAndroid Build Coastguard Worker ret void 19*9880d681SAndroid Build Coastguard Worker} 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Workerdefine internal void @fn2(i1 %B) unnamed_addr { 22*9880d681SAndroid Build Coastguard Workerentry: 23*9880d681SAndroid Build Coastguard Worker call void @fn1() 24*9880d681SAndroid Build Coastguard Worker call void @fn1() 25*9880d681SAndroid Build Coastguard Worker call void @fn1() 26*9880d681SAndroid Build Coastguard Worker br i1 %B, label %if.end, label %if.then 27*9880d681SAndroid Build Coastguard Workerif.then: 28*9880d681SAndroid Build Coastguard Worker unreachable 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Workerif.end: 31*9880d681SAndroid Build Coastguard Worker unreachable 32*9880d681SAndroid Build Coastguard Worker} 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define internal void @fn2( 35*9880d681SAndroid Build Coastguard Worker; CHECK: %[[LOAD:.*]] = load i32*, i32** @d, align 8 36*9880d681SAndroid Build Coastguard Worker; CHECK: %tobool1.i = icmp eq i32* %[[LOAD]], null 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Workerdefine internal void @fn1() unnamed_addr { 39*9880d681SAndroid Build Coastguard Workerentry: 40*9880d681SAndroid Build Coastguard Worker br label %for.body 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %entry 43*9880d681SAndroid Build Coastguard Worker %0 = load i32*, i32** @d, align 8 44*9880d681SAndroid Build Coastguard Worker %tobool1 = icmp eq i32* %0, null 45*9880d681SAndroid Build Coastguard Worker br i1 %tobool1, label %cond.false, label %cond.end 46*9880d681SAndroid Build Coastguard Worker 47*9880d681SAndroid Build Coastguard Workercond.false: ; preds = %for.body 48*9880d681SAndroid Build Coastguard Worker call void @__assert_fail(i8* null) 49*9880d681SAndroid Build Coastguard Worker unreachable 50*9880d681SAndroid Build Coastguard Worker 51*9880d681SAndroid Build Coastguard Workercond.end: ; preds = %for.body 52*9880d681SAndroid Build Coastguard Worker %1 = load i32*, i32** @d, align 8 53*9880d681SAndroid Build Coastguard Worker %cmp = icmp eq i32* %1, null 54*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %cond.end4, label %cond.false3 55*9880d681SAndroid Build Coastguard Worker 56*9880d681SAndroid Build Coastguard Workercond.false3: ; preds = %cond.end 57*9880d681SAndroid Build Coastguard Worker call void @__assert_fail(i8* null) 58*9880d681SAndroid Build Coastguard Worker unreachable 59*9880d681SAndroid Build Coastguard Worker 60*9880d681SAndroid Build Coastguard Workercond.end4: ; preds = %cond.end 61*9880d681SAndroid Build Coastguard Worker call void @__assert_fail(i8* null) 62*9880d681SAndroid Build Coastguard Worker unreachable 63*9880d681SAndroid Build Coastguard Worker 64*9880d681SAndroid Build Coastguard Workerfor.end: ; No predecessors! 65*9880d681SAndroid Build Coastguard Worker ret void 66*9880d681SAndroid Build Coastguard Worker} 67*9880d681SAndroid Build Coastguard Worker 68*9880d681SAndroid Build Coastguard Workerdeclare void @__assert_fail(i8*) 69*9880d681SAndroid Build Coastguard Worker 70*9880d681SAndroid Build Coastguard Worker; Function Attrs: noreturn nounwind 71*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.trap() #0 72*9880d681SAndroid Build Coastguard Worker 73*9880d681SAndroid Build Coastguard Workerattributes #0 = { noreturn nounwind } 74