llvm/test/CodeGen/X86/catchpad-lifetime.ll

   1 ; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s --check-prefix=X64
   2 ; RUN: llc -mtriple=i686-windows-msvc < %s | FileCheck %s --check-prefix=X86
   3
   4 declare void @throw()
   5
   6 declare i32 @__CxxFrameHandler3(...)
   7
   8 declare void @llvm.trap()
   9
  10 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
  11 entry:
  12   %alloca2 = alloca i8*, align 4
  13   %alloca1 = alloca i8*, align 4
  14   store volatile i8* null, i8** %alloca1
  15   invoke void @throw()
  16           to label %unreachable unwind label %catch.dispatch
  17
  18 ; X64-LABEL: test1:
  19 ; X64: movq  $0, -8(%rbp)
  20 ; X64: callq throw
  21
  22 ; X86-LABEL: _test1:
  23 ; X86: pushl   %ebp
  24 ; X86: movl    %esp, %ebp
  25 ; X86: pushl   %ebx
  26 ; X86: pushl   %edi
  27 ; X86: pushl   %esi
  28 ; X86: subl    $24, %esp
  29
  30 ; X86: movl  $0, -32(%ebp)
  31 ; X86: calll _throw
  32
  33 catch.dispatch:                                   ; preds = %entry
  34   %cs = catchswitch within none [label %catch.pad] unwind to caller
  35
  36 catch.pad:                                        ; preds = %catch.dispatch
  37   %cp = catchpad within %cs [i8* null, i32 0, i8** %alloca1]
  38   %v = load volatile i8*, i8** %alloca1
  39   store volatile i8* null, i8** %alloca1
  40   %bc1 = bitcast i8** %alloca1 to i8*
  41   call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %bc1)
  42   %bc2 = bitcast i8** %alloca2 to i8*
  43   call void @llvm.lifetime.start.p0i8(i64 4, i8* %bc2)
  44   store volatile i8* null, i8** %alloca1
  45   call void @llvm.trap()
  46   unreachable
  47
  48 ; X64-LABEL: "?catch$2@?0?test1@4HA"
  49 ; X64: movq  $0, -8(%rbp)
  50 ; X64: movq  $0, -8(%rbp)
  51 ; X64: ud2
  52
  53 ; X86-LABEL: "?catch$2@?0?test1@4HA"
  54 ; X86: movl  $0, -32(%ebp)
  55 ; X86: movl  $0, -32(%ebp)
  56 ; X86: ud2
  57
  58 unreachable:                                      ; preds = %entry
  59   unreachable
  60 }
  61
  62 ; X64-LABEL: $cppxdata$test1:
  63 ; X64: .long   56                      # CatchObjOffset
  64
  65 ; -20 is difference between the end of the EH reg node stack object and the
  66 ; catch object at EBP -32.
  67 ; X86-LABEL: L__ehtable$test1:
  68 ; X86: .long   -20                      # CatchObjOffset
  69
  70 define void @test2() personality i32 (...)* @__CxxFrameHandler3 {
  71 entry:
  72   %alloca2 = alloca i8*, align 4
  73   %alloca1 = alloca i8*, align 4
  74   store volatile i8* null, i8** %alloca1
  75   invoke void @throw()
  76           to label %unreachable unwind label %catch.dispatch
  77
  78 ; X64-LABEL: test2:
  79 ; X64: movq  $0, -16(%rbp)
  80 ; X64: callq throw
  81
  82 ; X86-LABEL: _test2:
  83 ; X86: movl  $0, -32(%ebp)
  84 ; X86: calll _throw
  85
  86
  87 catch.dispatch:                                   ; preds = %entry
  88   %cs = catchswitch within none [label %catch.pad] unwind to caller
  89
  90 catch.pad:                                        ; preds = %catch.dispatch
  91   %cp = catchpad within %cs [i8* null, i32 0, i8** null]
  92   store volatile i8* null, i8** %alloca1
  93   %bc1 = bitcast i8** %alloca1 to i8*
  94   call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %bc1)
  95   %bc2 = bitcast i8** %alloca2 to i8*
  96   call void @llvm.lifetime.start.p0i8(i64 4, i8* %bc2)
  97   store volatile i8* null, i8** %alloca1
  98   call void @llvm.trap()
  99   unreachable
 100
 101 ; X64-LABEL: "?catch$2@?0?test2@4HA"
 102 ; X64: movq  $0, -16(%rbp)
 103 ; X64: movq  $0, -16(%rbp)
 104 ; X64: ud2
 105
 106 ; X86-LABEL: "?catch$2@?0?test2@4HA"
 107 ; X86: movl  $0, -32(%ebp)
 108 ; X86: movl  $0, -32(%ebp)
 109 ; X86: ud2
 110
 111
 112 unreachable:                                      ; preds = %entry
 113   unreachable
 114 }
 115
 116 ; X64-LABEL: $cppxdata$test2:
 117 ; X64: .long   0                       # CatchObjOffset
 118
 119
 120 ; X86-LABEL: L__ehtable$test2:
 121 ; X86: .long   0                       # CatchObjOffset
 122
 123
 124 ; Function Attrs: argmemonly nounwind
 125 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #0
 126
 127 ; Function Attrs: argmemonly nounwind
 128 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #0
 129
 130 attributes #0 = { argmemonly nounwind }