test/Transforms/Util/lowerinvoke-funclet.ll

   1 ; RUN: opt -lowerinvoke -S < %s | FileCheck %s
   2
   3 ; Test if invoke instructions that have a funclet operand bundle can be lowered.
   4
   5 %struct.Cleanup = type { i8 }
   6
   7 define void @lowerinvoke_funclet() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
   8 ; CHECK-LABEL: @lowerinvoke_funclet
   9 entry:
  10   %c = alloca %struct.Cleanup, align 1
  11   invoke void @foo()
  12           to label %try.cont unwind label %catch.dispatch
  13
  14 catch.dispatch:                                   ; preds = %entry
  15   %0 = catchswitch within none [label %catch] unwind to caller
  16
  17 catch:                                            ; preds = %catch.dispatch
  18   %1 = catchpad within %0 [i8* null, i32 64, i8* null]
  19   invoke void @bar(i32 3) [ "funclet"(token %1), "test"(i32 0) ]
  20           to label %invoke.cont1 unwind label %ehcleanup
  21 ; CHECK:  call void @bar(i32 3) [ "funclet"(token %1), "test"(i32 0) ]
  22
  23 invoke.cont1:                                     ; preds = %catch
  24   call void @"??1Cleanup@@QEAA@XZ"(%struct.Cleanup* %c) #3 [ "funclet"(token %1) ]
  25   catchret from %1 to label %try.cont
  26
  27 try.cont:                                         ; preds = %entry, %invoke.cont1
  28   ret void
  29
  30 ehcleanup:                                        ; preds = %catch
  31   %2 = cleanuppad within %1 []
  32   call void @"??1Cleanup@@QEAA@XZ"(%struct.Cleanup* %c) #3 [ "funclet"(token %2) ]
  33   cleanupret from %2 unwind to caller
  34 }
  35
  36 declare void @foo()
  37 declare void @bar(i32)
  38 declare i32 @__CxxFrameHandler3(...)
  39 declare void @"??1Cleanup@@QEAA@XZ"(%struct.Cleanup*) unnamed_addr