test/Transforms/PruneEH/pr26263.ll

   1 ; PruneEH is less powerful than simplify-cfg in terms of cfg simplification,
   2 ; so it leaves some of the unreachable stuff hanging around.
   3 ; Checking it with CHECK-OLD.
   4 ;
   5 ; RUN: opt -prune-eh -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-OLD
   6 ; RUN: opt -passes='function-attrs,function(simplify-cfg)' -S < %s | FileCheck %s  --check-prefix=CHECK --check-prefix=CHECK-NEW
   7
   8 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   9 target triple = "i386-pc-windows-msvc"
  10
  11 declare void @neverthrows() nounwind
  12
  13 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
  14   invoke void @neverthrows()
  15           to label %try.cont unwind label %cleanuppad
  16
  17 try.cont:
  18   ret void
  19
  20 cleanuppad:
  21   %cp = cleanuppad within none []
  22   br label %cleanupret
  23
  24 cleanupret:
  25   cleanupret from %cp unwind to caller
  26 }
  27
  28 ; CHECK-LABEL: define void @test1(
  29 ; CHECK:       call void @neverthrows()
  30 ; CHECK-NEW-NEXT: ret void
  31 ; CHECK-NEW-NEXT: }
  32 ; CHECK-OLD:      ret void
  33
  34 ; CHECK-OLD: %[[cp:.*]] = cleanuppad within none []
  35 ; CHECK-OLD-NEXT: unreachable
  36
  37 ; CHECK-OLD: cleanupret from %[[cp]] unwind to caller
  38
  39 define void @test2() personality i32 (...)* @__CxxFrameHandler3 {
  40   invoke void @neverthrows()
  41           to label %try.cont unwind label %catchswitch
  42
  43 try.cont:
  44   ret void
  45
  46 catchswitch:
  47   %cs = catchswitch within none [label %catchpad] unwind to caller
  48
  49 catchpad:
  50   %cp = catchpad within %cs []
  51   unreachable
  52
  53 ret:
  54   ret void
  55 }
  56
  57 ; CHECK-LABEL: define void @test2(
  58 ; CHECK:       call void @neverthrows()
  59 ; CHECK-NEW-NEXT: ret void
  60 ; CHECK-NEW-NEXT: }
  61 ; CHECK-OLD:      ret void
  62
  63 ; CHECK-OLD: %[[cs:.*]] = catchswitch within none [label
  64
  65 ; CHECK-OLD: catchpad within %[[cs]] []
  66 ; CHECK-OLD-NEXT: unreachable
  67
  68 ; CHECK-OLD:ret void
  69
  70 declare i32 @__CxxFrameHandler3(...)