test/CodeGen/X86/win32-eh.ll

   1 ; RUN: llc -mtriple=i686-pc-windows-msvc < %s | FileCheck %s
   2
   3 declare void @may_throw_or_crash()
   4 declare i32 @_except_handler3(...)
   5 declare i32 @_except_handler4(...)
   6 declare i32 @__CxxFrameHandler3(...)
   7 declare void @llvm.eh.begincatch(i8*, i8*)
   8 declare void @llvm.eh.endcatch()
   9 declare i32 @llvm.eh.typeid.for(i8*)
  10
  11 define internal i32 @catchall_filt() {
  12   ret i32 1
  13 }
  14
  15 define void @use_except_handler3() personality i32 (...)* @_except_handler3 {
  16 entry:
  17   invoke void @may_throw_or_crash()
  18       to label %cont unwind label %lpad
  19 cont:
  20   ret void
  21 lpad:
  22   %p = catchpad [i8* bitcast (i32 ()* @catchall_filt to i8*)]
  23       to label %catch unwind label %endpad
  24 catch:
  25   catchret %p to label %cont
  26 endpad:
  27   catchendpad unwind to caller
  28 }
  29
  30 ; CHECK-LABEL: _use_except_handler3:
  31 ; CHECK: pushl %ebp
  32 ; CHECK: movl %esp, %ebp
  33 ; CHECK: pushl %ebx
  34 ; CHECK: pushl %edi
  35 ; CHECK: pushl %esi
  36 ; CHECK: subl ${{[0-9]+}}, %esp
  37 ; CHECK: movl $-1, -16(%ebp)
  38 ; CHECK: movl $L__ehtable$use_except_handler3, -20(%ebp)
  39 ; CHECK: leal -28(%ebp), %[[node:[^ ,]*]]
  40 ; CHECK: movl $__except_handler3, -24(%ebp)
  41 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  42 ; CHECK: movl %[[next]], -28(%ebp)
  43 ; CHECK: movl %[[node]], %fs:0
  44 ; CHECK: calll _may_throw_or_crash
  45 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  46 ; CHECK: movl %[[next]], %fs:0
  47 ; CHECK: retl
  48 ; CHECK: LBB1_2: # %lpad{{$}}
  49
  50 ; CHECK: .section .xdata,"dr"
  51 ; CHECK-LABEL: L__ehtable$use_except_handler3:
  52 ; CHECK-NEXT:  .long   -1
  53 ; CHECK-NEXT:  .long   _catchall_filt
  54 ; CHECK-NEXT:  .long   LBB1_2
  55
  56 define void @use_except_handler4() personality i32 (...)* @_except_handler4 {
  57 entry:
  58   invoke void @may_throw_or_crash()
  59       to label %cont unwind label %lpad
  60 cont:
  61   ret void
  62 lpad:
  63   %p = catchpad [i8* bitcast (i32 ()* @catchall_filt to i8*)]
  64       to label %catch unwind label %endpad
  65 catch:
  66   catchret %p to label %cont
  67 endpad:
  68   catchendpad unwind to caller
  69 }
  70
  71 ; CHECK-LABEL: _use_except_handler4:
  72 ; CHECK: pushl %ebp
  73 ; CHECK: movl %esp, %ebp
  74 ; CHECK: subl ${{[0-9]+}}, %esp
  75 ; CHECK: movl %esp, -36(%ebp)
  76 ; CHECK: movl $-2, -16(%ebp)
  77 ; CHECK: movl $L__ehtable$use_except_handler4, %[[lsda:[^ ,]*]]
  78 ; CHECK: xorl ___security_cookie, %[[lsda]]
  79 ; CHECK: movl %[[lsda]], -20(%ebp)
  80 ; CHECK: leal -28(%ebp), %[[node:[^ ,]*]]
  81 ; CHECK: movl $__except_handler4, -24(%ebp)
  82 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  83 ; CHECK: movl %[[next]], -28(%ebp)
  84 ; CHECK: movl %[[node]], %fs:0
  85 ; CHECK: calll _may_throw_or_crash
  86 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  87 ; CHECK: movl %[[next]], %fs:0
  88 ; CHECK: retl
  89 ; CHECK: LBB2_2: # %lpad{{$}}
  90
  91 ; CHECK: .section .xdata,"dr"
  92 ; CHECK-LABEL: L__ehtable$use_except_handler4:
  93 ; CHECK-NEXT:  .long   -2
  94 ; CHECK-NEXT:  .long   0
  95 ; CHECK-NEXT:  .long   9999
  96 ; CHECK-NEXT:  .long   0
  97 ; CHECK-NEXT:  .long   -2
  98 ; CHECK-NEXT:  .long   _catchall_filt
  99 ; CHECK-NEXT:  .long   LBB2_2
 100
 101 define void @use_CxxFrameHandler3() personality i32 (...)* @__CxxFrameHandler3 {
 102   invoke void @may_throw_or_crash()
 103       to label %cont unwind label %catchall
 104 cont:
 105   ret void
 106
 107 catchall:
 108   %p = catchpad [i8* null, i32 64, i8* null]
 109       to label %catch unwind label %endcatch
 110
 111 catch:
 112   catchret %p to label %cont
 113
 114 endcatch:
 115   catchendpad unwind to caller
 116 }
 117
 118 ; CHECK-LABEL: _use_CxxFrameHandler3:
 119 ; CHECK: pushl %ebp
 120 ; CHECK: movl %esp, %ebp
 121 ; CHECK: subl ${{[0-9]+}}, %esp
 122 ; CHECK: movl %esp, -28(%ebp)
 123 ; CHECK: movl $-1, -16(%ebp)
 124 ; CHECK: leal -24(%ebp), %[[node:[^ ,]*]]
 125 ; CHECK: movl $___ehhandler$use_CxxFrameHandler3, -20(%ebp)
 126 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
 127 ; CHECK: movl %[[next]], -24(%ebp)
 128 ; CHECK: movl %[[node]], %fs:0
 129 ; CHECK: movl $0, -16(%ebp)
 130 ; CHECK: calll _may_throw_or_crash
 131 ; CHECK: movl -24(%ebp), %[[next:[^ ,]*]]
 132 ; CHECK: movl %[[next]], %fs:0
 133 ; CHECK: retl
 134
 135 ; CHECK: .section .xdata,"dr"
 136 ; CHECK: .align 4
 137 ; CHECK-LABEL: L__ehtable$use_CxxFrameHandler3:
 138 ; CHECK-NEXT:  .long   429065506
 139 ; CHECK-NEXT:  .long   2
 140 ; CHECK-NEXT:  .long   ($stateUnwindMap$use_CxxFrameHandler3)
 141 ; CHECK-NEXT:  .long   1
 142 ; CHECK-NEXT:  .long   ($tryMap$use_CxxFrameHandler3)
 143 ; CHECK-NEXT:  .long   0
 144 ; CHECK-NEXT:  .long   0
 145 ; CHECK-NEXT:  .long   0
 146 ; CHECK-NEXT:  .long   1
 147
 148 ; CHECK-LABEL: ___ehhandler$use_CxxFrameHandler3:
 149 ; CHECK: movl $L__ehtable$use_CxxFrameHandler3, %eax
 150 ; CHECK: jmp  ___CxxFrameHandler3 # TAILCALL
 151
 152 ; CHECK: .safeseh __except_handler3
 153 ; CHECK: .safeseh __except_handler4
 154 ; CHECK: .safeseh ___ehhandler$use_CxxFrameHandler3