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   %cs = catchswitch within none [label %catch] unwind to caller
  23 catch:
  24   %p = catchpad within %cs [i8* bitcast (i32 ()* @catchall_filt to i8*)]
  25   catchret from %p to label %cont
  26 }
  27
  28 ; CHECK-LABEL: _use_except_handler3:
  29 ; CHECK: pushl %ebp
  30 ; CHECK-NEXT: movl %esp, %ebp
  31 ; CHECK-NEXT: pushl %ebx
  32 ; CHECK-NEXT: pushl %edi
  33 ; CHECK-NEXT: pushl %esi
  34 ; CHECK-NEXT: subl ${{[0-9]+}}, %esp
  35 ; CHECK-NEXT: movl %esp, -36(%ebp)
  36 ; CHECK-NEXT: movl $-1, -16(%ebp)
  37 ; CHECK-NEXT: movl $L__ehtable$use_except_handler3, -20(%ebp)
  38 ; CHECK-NEXT: leal -28(%ebp), %[[node:[^ ,]*]]
  39 ; CHECK-NEXT: movl $__except_handler3, -24(%ebp)
  40 ; CHECK-NEXT: movl %fs:0, %[[next:[^ ,]*]]
  41 ; CHECK-NEXT: movl %[[next]], -28(%ebp)
  42 ; CHECK-NEXT: movl %[[node]], %fs:0
  43 ; CHECK-NEXT: movl $0, -16(%ebp)
  44 ; CHECK-NEXT: calll _may_throw_or_crash
  45
  46 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  47 ; CHECK-NEXT: movl %[[next]], %fs:0
  48 ; CHECK: retl
  49 ; CHECK-NEXT: LBB1_2: # %catch{{$}}
  50
  51 ; CHECK: .section .xdata,"dr"
  52 ; CHECK-LABEL: L__ehtable$use_except_handler3:
  53 ; CHECK-NEXT:  .long   -1
  54 ; CHECK-NEXT:  .long   _catchall_filt
  55 ; CHECK-NEXT:  .long   LBB1_2
  56
  57 define void @use_except_handler4() personality i32 (...)* @_except_handler4 {
  58 entry:
  59   invoke void @may_throw_or_crash()
  60       to label %cont unwind label %lpad
  61 cont:
  62   ret void
  63 lpad:
  64   %cs = catchswitch within none [label %catch] unwind to caller
  65 catch:
  66   %p = catchpad within %cs [i8* bitcast (i32 ()* @catchall_filt to i8*)]
  67   catchret from %p to label %cont
  68 }
  69
  70 ; CHECK-LABEL: _use_except_handler4:
  71 ; CHECK: pushl %ebp
  72 ; CHECK-NEXT: movl %esp, %ebp
  73 ; CHECK-NEXT: pushl %ebx
  74 ; CHECK-NEXT: pushl %edi
  75 ; CHECK-NEXT: pushl %esi
  76 ; CHECK-NEXT: subl ${{[0-9]+}}, %esp
  77 ; CHECK-NEXT: movl %ebp, %eax
  78 ; CHECK-NEXT: movl %esp, -36(%ebp)
  79 ; CHECK-NEXT: movl $-2, -16(%ebp)
  80 ; CHECK-NEXT: movl $L__ehtable$use_except_handler4, %[[lsda:[^ ,]*]]
  81 ; CHECK-NEXT: movl ___security_cookie, %[[seccookie:[^ ,]*]]
  82 ; CHECK-NEXT: xorl %[[seccookie]], %[[lsda]]
  83 ; CHECK-NEXT: movl %[[lsda]], -20(%ebp)
  84 ; CHECK-NEXT: xorl %[[seccookie]], %[[tmp1:[^ ,]*]]
  85 ; CHECK-NEXT: movl %[[tmp1]], -40(%ebp)
  86 ; CHECK-NEXT: leal -28(%ebp), %[[node:[^ ,]*]]
  87 ; CHECK-NEXT: movl $__except_handler4, -24(%ebp)
  88 ; CHECK-NEXT: movl %fs:0, %[[next:[^ ,]*]]
  89 ; CHECK-NEXT: movl %[[next]], -28(%ebp)
  90 ; CHECK-NEXT: movl %[[node]], %fs:0
  91 ; CHECK-NEXT: movl $0, -16(%ebp)
  92 ; CHECK-NEXT: calll _may_throw_or_crash
  93
  94 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  95 ; CHECK-NEXT: movl %[[next]], %fs:0
  96 ; CHECK-NEXT: addl $28, %esp
  97 ; CHECK-NEXT: popl %esi
  98 ; CHECK-NEXT: popl %edi
  99 ; CHECK-NEXT: popl %ebx
 100 ; CHECK-NEXT: popl %ebp
 101 ; CHECK-NEXT: retl
 102 ; CHECK-NEXT: LBB2_2: # %catch{{$}}
 103
 104 ; CHECK: .section .xdata,"dr"
 105 ; CHECK-LABEL: L__ehtable$use_except_handler4:
 106 ; CHECK-NEXT:  .long   -2
 107 ; CHECK-NEXT:  .long   0
 108 ; CHECK-NEXT:  .long   -40
 109 ; CHECK-NEXT:  .long   0
 110 ; CHECK-NEXT:  .long   -2
 111 ; CHECK-NEXT:  .long   _catchall_filt
 112 ; CHECK-NEXT:  .long   LBB2_2
 113
 114 define void @use_except_handler4_ssp() sspstrong personality i32 (...)* @_except_handler4 {
 115 entry:
 116   invoke void @may_throw_or_crash()
 117       to label %cont unwind label %lpad
 118 cont:
 119   ret void
 120 lpad:
 121   %cs = catchswitch within none [label %catch] unwind to caller
 122 catch:
 123   %p = catchpad within %cs [i8* bitcast (i32 ()* @catchall_filt to i8*)]
 124   catchret from %p to label %cont
 125 }
 126
 127 ; CHECK-LABEL: _use_except_handler4_ssp:
 128 ; CHECK: pushl %ebp
 129 ; CHECK-NEXT: movl %esp, %ebp
 130 ; CHECK-NEXT: pushl %ebx
 131 ; CHECK-NEXT: pushl %edi
 132 ; CHECK-NEXT: pushl %esi
 133 ; CHECK-NEXT: subl ${{[0-9]+}}, %esp
 134 ; CHECK-NEXT: movl %ebp, %[[ehguard:[^ ,]*]]
 135 ; CHECK-NEXT: movl %esp, -36(%ebp)
 136 ; CHECK-NEXT: movl $-2, -16(%ebp)
 137 ; CHECK-NEXT: movl $L__ehtable$use_except_handler4_ssp, %[[lsda:[^ ,]*]]
 138 ; CHECK-NEXT: movl ___security_cookie, %[[seccookie:[^ ,]*]]
 139 ; CHECK-NEXT: xorl %[[seccookie]], %[[lsda]]
 140 ; CHECK-NEXT: movl %[[lsda]], -20(%ebp)
 141 ; CHECK-NEXT: xorl %[[seccookie]], %[[ehguard]]
 142 ; CHECK-NEXT: movl %[[ehguard]], -40(%ebp)
 143 ; CHECK-NEXT: leal -28(%ebp), %[[node:[^ ,]*]]
 144 ; CHECK-NEXT: movl $__except_handler4, -24(%ebp)
 145 ; CHECK-NEXT: movl %fs:0, %[[next:[^ ,]*]]
 146 ; CHECK-NEXT: movl %[[next]], -28(%ebp)
 147 ; CHECK-NEXT: movl %[[node]], %fs:0
 148 ; CHECK-NEXT: movl $0, -16(%ebp)
 149 ; CHECK-NEXT: calll _may_throw_or_crash
 150 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
 151 ; CHECK-NEXT: movl %[[next]], %fs:0
 152 ; CHECK: retl
 153 ; CHECK-NEXT: [[catch:[^ ,]*]]: # %catch{{$}}
 154
 155
 156
 157 ; CHECK: .section .xdata,"dr"
 158 ; CHECK-LABEL: L__ehtable$use_except_handler4_ssp:
 159 ; CHECK-NEXT:  .long   -2
 160 ; CHECK-NEXT:  .long   0
 161 ; CHECK-NEXT:  .long   -40
 162 ; CHECK-NEXT:  .long   0
 163 ; CHECK-NEXT:  .long   -2
 164 ; CHECK-NEXT:  .long   _catchall_filt
 165 ; CHECK-NEXT:  .long   [[catch]]
 166
 167 define void @use_CxxFrameHandler3() personality i32 (...)* @__CxxFrameHandler3 {
 168   invoke void @may_throw_or_crash()
 169       to label %cont unwind label %catchall
 170 cont:
 171   ret void
 172
 173 catchall:
 174   %cs = catchswitch within none [label %catch] unwind to caller
 175 catch:
 176   %p = catchpad within %cs [i8* null, i32 64, i8* null]
 177   catchret from %p to label %cont
 178 }
 179
 180 ; CHECK-LABEL: _use_CxxFrameHandler3:
 181 ; CHECK: pushl %ebp
 182 ; CHECK-NEXT: movl %esp, %ebp
 183 ; CHECK-NEXT: pushl %ebx
 184 ; CHECK-NEXT: pushl %edi
 185 ; CHECK-NEXT: pushl %esi
 186 ; CHECK-NEXT: subl ${{[0-9]+}}, %esp
 187 ; CHECK-NEXT: movl %esp, -28(%ebp)
 188 ; CHECK-NEXT: movl $-1, -16(%ebp)
 189 ; CHECK-NEXT: leal -24(%ebp), %[[node:[^ ,]*]]
 190 ; CHECK-NEXT: movl $___ehhandler$use_CxxFrameHandler3, -20(%ebp)
 191 ; CHECK-NEXT: movl %fs:0, %[[next:[^ ,]*]]
 192 ; CHECK-NEXT: movl %[[next]], -24(%ebp)
 193 ; CHECK-NEXT: movl %[[node]], %fs:0
 194 ; CHECK-NEXT: movl $0, -16(%ebp)
 195 ; CHECK-NEXT: calll _may_throw_or_crash
 196 ; CHECK: movl -24(%ebp), %[[next:[^ ,]*]]
 197 ; CHECK-NEXT: movl %[[next]], %fs:0
 198 ; CHECK: retl
 199
 200 ; CHECK: .section .xdata,"dr"
 201 ; CHECK-NEXT: .p2align 2
 202 ; CHECK-LABEL: L__ehtable$use_CxxFrameHandler3:
 203 ; CHECK-NEXT:  .long   429065506
 204 ; CHECK-NEXT:  .long   2
 205 ; CHECK-NEXT:  .long   ($stateUnwindMap$use_CxxFrameHandler3)
 206 ; CHECK-NEXT:  .long   1
 207 ; CHECK-NEXT:  .long   ($tryMap$use_CxxFrameHandler3)
 208 ; CHECK-NEXT:  .long   0
 209 ; CHECK-NEXT:  .long   0
 210 ; CHECK-NEXT:  .long   0
 211 ; CHECK-NEXT:  .long   1
 212
 213 ; CHECK-LABEL: ___ehhandler$use_CxxFrameHandler3:
 214 ; CHECK: movl $L__ehtable$use_CxxFrameHandler3, %eax
 215 ; CHECK-NEXT: jmp  ___CxxFrameHandler3 # TAILCALL
 216
 217 ; CHECK: .safeseh __except_handler3
 218 ; CHECK-NEXT: .safeseh __except_handler4
 219 ; CHECK-NEXT: .safeseh ___ehhandler$use_CxxFrameHandler3