test/CodeGen/WinEH/wineh-statenumbering-cleanups.ll

   1 ; RUN: sed -e s/.Cxx:// %s | opt -mtriple=x86-pc-windows-msvc -S -x86-winehstate | FileCheck %s
   2 ; RUN: sed -e s/.SEH:// %s | opt -mtriple=x86-pc-windows-msvc -S -x86-winehstate | FileCheck %s
   3
   4 declare i32 @__CxxFrameHandler3(...)
   5 declare i32 @_except_handler3(...)
   6 declare void @dummy_filter()
   7
   8 declare void @f(i32)
   9
  10 ; CHECK-LABEL: define void @test1(
  11 ;Cxx: define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
  12 ;SEH: define void @test1() personality i32 (...)* @_except_handler3 {
  13 entry:
  14   ; CHECK: entry:
  15   ; CHECK:  store i32 0
  16   ; CHECK:  invoke void @f(i32 0)
  17   invoke void @f(i32 0)
  18     to label %exit unwind label %cleanup.pad
  19 cleanup.pad:
  20   ; CHECK: cleanup.pad:
  21   ; CHECK:   store i32 1
  22   ; CHECK:   invoke void @f(i32 1)
  23   %cleanup = cleanuppad []
  24   invoke void @f(i32 1)
  25     to label %cleanup.ret unwind label %catch.pad
  26 catch.pad:
  27 ;Cxx: %catch = catchpad [i8* null, i32 u0x40, i8* null]
  28 ;SEH: %catch = catchpad [void ()* @dummy_filter]
  29         to label %catch.body unwind label %catch.end
  30 catch.body:
  31   catchret %catch to label %cleanup.ret
  32 catch.end:
  33   catchendpad unwind label %cleanup.end
  34 cleanup.ret:
  35   cleanupret %cleanup unwind to caller
  36 cleanup.end:
  37   cleanupendpad %cleanup unwind to caller
  38 exit:
  39   ret void
  40 }
  41
  42 ; CHECK-LABEL: define void @test2(
  43 ;Cxx: define void @test2(i1 %b) personality i32 (...)* @__CxxFrameHandler3 {
  44 ;SEH: define void @test2(i1 %b) personality i32 (...)* @_except_handler3 {
  45 entry:
  46   ; CHECK: entry:
  47   ; CHECK:   store i32 1
  48   ; CHECK:   invoke void @f(i32 1)
  49   invoke void @f(i32 1)
  50     to label %exit unwind label %cleanup.pad
  51 cleanup.pad:
  52   %cleanup = cleanuppad []
  53   br i1 %b, label %left, label %right
  54 left:
  55   cleanupret %cleanup unwind label %catch.pad
  56 right:
  57   cleanupret %cleanup unwind label %catch.pad
  58 catch.pad:
  59 ;Cxx: %catch = catchpad [i8* null, i32 u0x40, i8* null]
  60 ;SEH: %catch = catchpad [void ()* @dummy_filter]
  61         to label %catch.body unwind label %catch.end
  62 catch.body:
  63   catchret %catch to label %exit
  64 catch.end:
  65   catchendpad unwind to caller
  66 exit:
  67   ret void
  68 }
  69
  70 ; CHECK-LABEL: define void @test3(
  71 ;Cxx: define void @test3() personality i32 (...)* @__CxxFrameHandler3 {
  72 ;SEH: define void @test3() personality i32 (...)* @_except_handler3 {
  73 entry:
  74   ; CHECK: entry:
  75   ; CHECK:   store i32 1
  76   ; CHECK:   invoke void @f(i32 1)
  77   invoke void @f(i32 1)
  78     to label %exit unwind label %cleanup.pad
  79 cleanup.pad:
  80   ; CHECK: cleanup.pad:
  81   ; CHECK:   store i32 0
  82   ; CHECK:   invoke void @f(i32 0)
  83   %cleanup = cleanuppad []
  84   invoke void @f(i32 0)
  85     to label %unreachable unwind label %cleanup.end
  86 unreachable:
  87   unreachable
  88 cleanup.end:
  89   cleanupendpad %cleanup unwind label %catch.pad
  90 catch.pad:
  91 ;Cxx: %catch = catchpad [i8* null, i32 u0x40, i8* null]
  92 ;SEH: %catch = catchpad [void ()* @dummy_filter]
  93         to label %catch.body unwind label %catch.end
  94 catch.body:
  95   catchret %catch to label %exit
  96 catch.end:
  97   catchendpad unwind to caller
  98 exit:
  99   ret void
 100 }