test/Transforms/Inline/pr26698.ll

   1 ; RUN: opt -S -inline -inline-threshold=100 -inline-cold-callsite-threshold=100 < %s | FileCheck %s
   2 ; RUN: opt -S -passes='cgscc(inline)' -inline-threshold=100 -inline-cold-callsite-threshold=100 < %s | FileCheck %s
   3 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   4 target triple = "i686-pc-windows-msvc18.0.0"
   5
   6 declare void @g(i32)
   7
   8 define void @f() personality i32 (...)* @__CxxFrameHandler3 {
   9 entry:
  10   invoke void @g(i32 0)
  11           to label %invoke.cont unwind label %cs.bb
  12
  13 invoke.cont:
  14   ret void
  15
  16 cs.bb:
  17   %cs = catchswitch within none [label %cp.bb] unwind label %cleanup.bb
  18
  19 cp.bb:
  20   %cpouter1 = catchpad within %cs [i8* null, i32 0, i8* null]
  21   call void @dtor() #1 [ "funclet"(token %cpouter1) ]
  22   catchret from %cpouter1 to label %invoke.cont
  23
  24 cleanup.bb:
  25   %cpouter2 = cleanuppad within none []
  26   call void @g(i32 1) [ "funclet"(token %cpouter2) ]
  27   cleanupret from %cpouter2 unwind to caller
  28 }
  29
  30 declare i32 @__CxxFrameHandler3(...)
  31
  32 ; Function Attrs: nounwind
  33 define internal void @dtor() #1 personality i32 (...)* @__CxxFrameHandler3 {
  34 entry:
  35   invoke void @g(i32 2)
  36           to label %invoke.cont unwind label %ehcleanup1
  37
  38 invoke.cont:
  39   ret void
  40
  41 ehcleanup1:
  42   %cpinner1 = cleanuppad within none []
  43   invoke void @g(i32 3) [ "funclet" (token %cpinner1) ]
  44           to label %done unwind label %ehcleanup2
  45 done:
  46   unreachable
  47
  48 ehcleanup2:
  49   %cpinner2 = cleanuppad within %cpinner1 []
  50   call void @g(i32 4) [ "funclet" (token %cpinner2) ]
  51   cleanupret from %cpinner2 unwind to caller
  52 }
  53
  54 ; CHECK-LABEL: define void @f(
  55
  56 ; CHECK:      %[[cs:.*]] = catchswitch within none
  57
  58 ; CHECK:      %[[cpouter1:.*]] = catchpad within %[[cs]]
  59
  60 ; CHECK:      %[[cpinner1:.*]] = cleanuppad within %[[cpouter1]]
  61
  62 ; CHECK:      %[[cpinner2:.*]] = cleanuppad within %[[cpinner1]]
  63 ; CHECK-NEXT: call void @g(i32 4) #0 [ "funclet"(token %[[cpinner2]]) ]
  64 ; CHECK-NEXT: unreachable
  65
  66 attributes #1 = { nounwind }