llvm/test/Analysis/BranchProbabilityInfo/deopt-invoke.ll

   1 ; RUN: opt < %s -passes='print<branch-prob>' -disable-output 2>&1 | FileCheck %s
   2
   3 declare ptr @"personality_function"() #1
   4 declare void @foo(i32)
   5 declare void @bar()
   6 declare void @llvm.experimental.deoptimize.isVoid(...)
   7 declare void @cold() cold
   8
   9 ; Even though the likeliness of 'invoke' to throw an exception is assessed as low
  10 ; all other paths are even less likely. Check that hot paths leads to excepion handler.
  11 define void @test1(i32 %0) 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
  18 entry:
  19   br i1 undef, label %unreached, label %invoke, !prof !2
  20 invoke:
  21   invoke void @foo(i32 %0)
  22           to label %invoke.cont.unreached unwind label %land.pad
  23 invoke.cont.unreached:
  24   call void (...) @llvm.experimental.deoptimize.isVoid(i32 10) [ "deopt"() ]
  25   ret void
  26
  27 unreached:
  28   unreachable
  29
  30 land.pad:
  31   %v20 = landingpad { ptr, i32 }
  32           cleanup
  33   %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 8
  34   br label %exit
  35
  36 exit:
  37   call void @bar()
  38   ret void
  39 }
  40
  41 define void @test2(i32 %0) 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
  48 entry:
  49   br i1 undef, label %unreached, label %invoke
  50 invoke:
  51   invoke void @foo(i32 %0)
  52           to label %invoke.cont.cold unwind label %land.pad
  53 invoke.cont.cold:
  54   call void @cold()
  55   ret void
  56
  57 unreached:
  58   unreachable
  59
  60 land.pad:
  61   %v20 = landingpad { ptr, i32 }
  62           cleanup
  63   %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 8
  64   br label %exit
  65
  66 exit:
  67   call void @bar()
  68   ret void
  69 }
  70
  71 define void @test3(i32 %0) 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]
  77 entry:
  78   br i1 undef, label %unreached, label %invoke
  79 invoke:
  80   invoke void @foo(i32 %0)
  81           to label %invoke.cont.cold unwind label %land.pad
  82 invoke.cont.cold:
  83   call void @cold()
  84   ret void
  85
  86 unreached:
  87   unreachable
  88
  89 land.pad:
  90   %v20 = landingpad { ptr, i32 }
  91           cleanup
  92   %v21 = load ptr addrspace(1), ptr addrspace(256) inttoptr (i64 8 to ptr addrspace(256)), align 8
  93   call void @cold()
  94   br label %exit
  95
  96 exit:
  97   call void @bar()
  98   ret void
  99 }
 100
 101
 102 attributes #1 = { nounwind }
 103
 104 !1 = !{!"function_entry_count", i64 32768}
 105 !2 = !{!"branch_weights", i32 1, i32 983040}
 106