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