107 lines · plain
1; RUN: opt < %s -passes='print<branch-prob>' -disable-output 2>&1 | FileCheck %s2 3declare ptr @"personality_function"() #14declare void @foo(i32)5declare void @bar() 6declare void @llvm.experimental.deoptimize.isVoid(...)7declare void @cold() cold8 9; Even though the likeliness of 'invoke' to throw an exception is assessed as low10; all other paths are even less likely. Check that hot paths leads to excepion handler.11define void @test1(i32 %0, i1 %arg) personality ptr @"personality_function" !prof !1 {12;CHECK: edge %entry -> %unreached probability is 0x00000001 / 0x80000000 = 0.00%13;CHECK: edge %entry -> %invoke probability is 0x7fffffff / 0x80000000 = 100.00% [HOT edge]14;CHECK: edge %invoke -> %invoke.cont.unreached probability is 0x00000000 / 0x80000000 = 0.00%15;CHECK: edge %invoke -> %land.pad probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]16;CHECK: edge %land.pad -> %exit probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]17 18entry:19 br i1 %arg, label %unreached, label %invoke, !prof !220invoke:21 invoke void @foo(i32 %0)22 to label %invoke.cont.unreached unwind label %land.pad23invoke.cont.unreached:24 call void (...) @llvm.experimental.deoptimize.isVoid(i32 10) [ "deopt"() ]25 ret void26 27unreached:28 unreachable29 30land.pad:31 %v20 = landingpad { ptr, i32 }32 cleanup33 %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 834 br label %exit35 36exit:37 call void @bar()38 ret void39}40 41define void @test2(i32 %0, i1 %arg) personality ptr @"personality_function" {42;CHECK: edge %entry -> %unreached probability is 0x00000000 / 0x80000000 = 0.00%43;CHECK: edge %entry -> %invoke probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]44;CHECK: edge %invoke -> %invoke.cont.cold probability is 0x7fff8000 / 0x80000000 = 100.00% [HOT edge]45;CHECK: edge %invoke -> %land.pad probability is 0x00008000 / 0x80000000 = 0.00%46;CHECK: edge %land.pad -> %exit probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]47 48entry:49 br i1 %arg, label %unreached, label %invoke50invoke:51 invoke void @foo(i32 %0)52 to label %invoke.cont.cold unwind label %land.pad53invoke.cont.cold:54 call void @cold()55 ret void56 57unreached:58 unreachable59 60land.pad:61 %v20 = landingpad { ptr, i32 }62 cleanup63 %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 864 br label %exit65 66exit:67 call void @bar()68 ret void69}70 71define void @test3(i32 %0, i1 %arg) personality ptr @"personality_function" {72;CHECK: edge %entry -> %unreached probability is 0x00000000 / 0x80000000 = 0.00%73;CHECK: edge %entry -> %invoke probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]74;CHECK: edge %invoke -> %invoke.cont.cold probability is 0x7fff8000 / 0x80000000 = 100.00% [HOT edge]75;CHECK: edge %invoke -> %land.pad probability is 0x00008000 / 0x80000000 = 0.00%76;CHECK: edge %land.pad -> %exit probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge]77entry:78 br i1 %arg, label %unreached, label %invoke79invoke:80 invoke void @foo(i32 %0)81 to label %invoke.cont.cold unwind label %land.pad82invoke.cont.cold:83 call void @cold()84 ret void85 86unreached:87 unreachable88 89land.pad:90 %v20 = landingpad { ptr, i32 }91 cleanup92 %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 893 call void @cold()94 br label %exit95 96exit:97 call void @bar()98 ret void99}100 101 102attributes #1 = { nounwind }103 104!1 = !{!"function_entry_count", i64 32768}105!2 = !{!"branch_weights", i32 1, i32 983040}106 107