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 %catchall
  19 cont:
  20   ret void
  21 catchall:
  22   %0 = landingpad { i8*, i32 }
  23       catch i8* bitcast (i32 ()* @catchall_filt to i8*)
  24   %1 = extractvalue { i8*, i32 } %0, 1
  25   %2 = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ()* @catchall_filt to i8*)) #4
  26   %matches = icmp eq i32 %1, %2
  27   br i1 %matches, label %cont, label %eh.resume
  28 eh.resume:
  29   resume { i8*, i32 } %0
  30 }
  31
  32 ; CHECK-LABEL: _use_except_handler3:
  33 ; CHECK: pushl %ebp
  34 ; CHECK: movl %esp, %ebp
  35 ; CHECK: pushl %ebx
  36 ; CHECK: pushl %edi
  37 ; CHECK: pushl %esi
  38 ; CHECK: subl ${{[0-9]+}}, %esp
  39 ; CHECK: movl $-1, -16(%ebp)
  40 ; CHECK: movl $L__ehtable$use_except_handler3, -20(%ebp)
  41 ; CHECK: leal -28(%ebp), %[[node:[^ ,]*]]
  42 ; CHECK: movl $__except_handler3, -24(%ebp)
  43 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  44 ; CHECK: movl %[[next]], -28(%ebp)
  45 ; CHECK: movl %[[node]], %fs:0
  46 ; CHECK: calll _may_throw_or_crash
  47 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  48 ; CHECK: movl %[[next]], %fs:0
  49 ; CHECK: retl
  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   Ltmp{{[0-9]+}}
  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 %catchall
  61 cont:
  62   ret void
  63 catchall:
  64   %0 = landingpad { i8*, i32 }
  65       catch i8* bitcast (i32 ()* @catchall_filt to i8*)
  66   %1 = extractvalue { i8*, i32 } %0, 1
  67   %2 = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ()* @catchall_filt to i8*)) #4
  68   %matches = icmp eq i32 %1, %2
  69   br i1 %matches, label %cont, label %eh.resume
  70 eh.resume:
  71   resume { i8*, i32 } %0
  72 }
  73
  74 ; CHECK-LABEL: _use_except_handler4:
  75 ; CHECK: pushl %ebp
  76 ; CHECK: movl %esp, %ebp
  77 ; CHECK: subl ${{[0-9]+}}, %esp
  78 ; CHECK: movl %esp, -36(%ebp)
  79 ; CHECK: movl $-2, -16(%ebp)
  80 ; CHECK: movl $L__ehtable$use_except_handler4, %[[lsda:[^ ,]*]]
  81 ; CHECK: xorl ___security_cookie, %[[lsda]]
  82 ; CHECK: movl %[[lsda]], -20(%ebp)
  83 ; CHECK: leal -28(%ebp), %[[node:[^ ,]*]]
  84 ; CHECK: movl $__except_handler4, -24(%ebp)
  85 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  86 ; CHECK: movl %[[next]], -28(%ebp)
  87 ; CHECK: movl %[[node]], %fs:0
  88 ; CHECK: calll _may_throw_or_crash
  89 ; CHECK: movl -28(%ebp), %[[next:[^ ,]*]]
  90 ; CHECK: movl %[[next]], %fs:0
  91 ; CHECK: retl
  92
  93 ; CHECK: .section .xdata,"dr"
  94 ; CHECK-LABEL: L__ehtable$use_except_handler4:
  95 ; CHECK-NEXT:  .long   -2
  96 ; CHECK-NEXT:  .long   0
  97 ; CHECK-NEXT:  .long   9999
  98 ; CHECK-NEXT:  .long   0
  99 ; CHECK-NEXT:  .long   -2
 100 ; CHECK-NEXT:  .long   _catchall_filt
 101 ; CHECK-NEXT:  .long   Ltmp{{[0-9]+}}
 102
 103 define void @use_CxxFrameHandler3() personality i32 (...)* @__CxxFrameHandler3 {
 104   invoke void @may_throw_or_crash()
 105       to label %cont unwind label %catchall
 106 cont:
 107   ret void
 108 catchall:
 109   %ehvals = landingpad { i8*, i32 }
 110       catch i8* null
 111   %ehptr = extractvalue { i8*, i32 } %ehvals, 0
 112   call void @llvm.eh.begincatch(i8* %ehptr, i8* null)
 113   call void @llvm.eh.endcatch()
 114   br label %cont
 115 }
 116
 117 ; CHECK-LABEL: _use_CxxFrameHandler3:
 118 ; CHECK: pushl %ebp
 119 ; CHECK: movl %esp, %ebp
 120 ; CHECK: subl ${{[0-9]+}}, %esp
 121 ; CHECK: movl %esp, -28(%ebp)
 122 ; CHECK: movl $-1, -16(%ebp)
 123 ; CHECK: leal -24(%ebp), %[[node:[^ ,]*]]
 124 ; CHECK: movl $___ehhandler$use_CxxFrameHandler3, -20(%ebp)
 125 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
 126 ; CHECK: movl %[[next]], -24(%ebp)
 127 ; CHECK: movl %[[node]], %fs:0
 128 ; CHECK: movl $0, -16(%ebp)
 129 ; CHECK: calll _may_throw_or_crash
 130 ; CHECK: movl -24(%ebp), %[[next:[^ ,]*]]
 131 ; CHECK: movl %[[next]], %fs:0
 132 ; CHECK: retl
 133
 134 ; CHECK: .section .xdata,"dr"
 135 ; CHECK-LABEL: L__ehtable$use_CxxFrameHandler3:
 136 ; CHECK-NEXT:  .long   429065506
 137 ; CHECK-NEXT:  .long   2
 138 ; CHECK-NEXT:  .long   ($stateUnwindMap$use_CxxFrameHandler3)
 139 ; CHECK-NEXT:  .long   1
 140 ; CHECK-NEXT:  .long   ($tryMap$use_CxxFrameHandler3)
 141 ; CHECK-NEXT:  .long   0
 142 ; CHECK-NEXT:  .long   0
 143 ; CHECK-NEXT:  .long   0
 144 ; CHECK-NEXT:  .long   1
 145
 146 ; CHECK-LABEL: ___ehhandler$use_CxxFrameHandler3:
 147 ; CHECK: movl $L__ehtable$use_CxxFrameHandler3, %eax
 148 ; CHECK: jmp  ___CxxFrameHandler3 # TAILCALL
 149
 150 ; CHECK: .safeseh __except_handler3
 151 ; CHECK: .safeseh __except_handler4
 152 ; CHECK: .safeseh ___ehhandler$use_CxxFrameHandler3