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
  10 define void @use_except_handler3() {
  11   invoke void @may_throw_or_crash()
  12       to label %cont unwind label %catchall
  13 cont:
  14   ret void
  15 catchall:
  16   landingpad { i8*, i32 } personality i32 (...)* @_except_handler3
  17       catch i8* null
  18   br label %cont
  19 }
  20
  21 ; CHECK-LABEL: _use_except_handler3:
  22 ; CHECK: pushl %ebp
  23 ; CHECK: movl %esp, %ebp
  24 ; CHECK: subl ${{[0-9]+}}, %esp
  25 ; CHECK: movl $-1, -4(%ebp)
  26 ; CHECK: movl $L__ehtable$use_except_handler3, -8(%ebp)
  27 ; CHECK: leal -16(%ebp), %[[node:[^ ,]*]]
  28 ; CHECK: movl $__except_handler3, -12(%ebp)
  29 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  30 ; CHECK: movl %[[next]], -16(%ebp)
  31 ; CHECK: movl %[[node]], %fs:0
  32 ; CHECK: calll _may_throw_or_crash
  33 ; CHECK: movl -16(%ebp), %[[next:[^ ,]*]]
  34 ; CHECK: movl %[[next]], %fs:0
  35 ; CHECK: retl
  36
  37 ; CHECK: .section .xdata,"dr"
  38 ; CHECK-LABEL: L__ehtable$use_except_handler3:
  39 ; CHECK-NEXT:  .long   -1
  40 ; CHECK-NEXT:  .long   1
  41 ; CHECK-NEXT:  .long   Ltmp{{[0-9]+}}
  42
  43 define void @use_except_handler4() {
  44   invoke void @may_throw_or_crash()
  45       to label %cont unwind label %catchall
  46 cont:
  47   ret void
  48 catchall:
  49   landingpad { i8*, i32 } personality i32 (...)* @_except_handler4
  50       catch i8* null
  51   br label %cont
  52 }
  53
  54 ; CHECK-LABEL: _use_except_handler4:
  55 ; CHECK: pushl %ebp
  56 ; CHECK: movl %esp, %ebp
  57 ; CHECK: subl ${{[0-9]+}}, %esp
  58 ; CHECK: movl %esp, -24(%ebp)
  59 ; CHECK: movl $-2, -4(%ebp)
  60 ; CHECK: movl $L__ehtable$use_except_handler4, %[[lsda:[^ ,]*]]
  61 ; CHECK: xorl ___security_cookie, %[[lsda]]
  62 ; CHECK: movl %[[lsda]], -8(%ebp)
  63 ; CHECK: leal -16(%ebp), %[[node:[^ ,]*]]
  64 ; CHECK: movl $__except_handler4, -12(%ebp)
  65 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
  66 ; CHECK: movl %[[next]], -16(%ebp)
  67 ; CHECK: movl %[[node]], %fs:0
  68 ; CHECK: calll _may_throw_or_crash
  69 ; CHECK: movl -16(%ebp), %[[next:[^ ,]*]]
  70 ; CHECK: movl %[[next]], %fs:0
  71 ; CHECK: retl
  72
  73 ; CHECK: .section .xdata,"dr"
  74 ; CHECK-LABEL: L__ehtable$use_except_handler4:
  75 ; CHECK-NEXT:  .long   -2
  76 ; CHECK-NEXT:  .long   0
  77 ; CHECK-NEXT:  .long   9999
  78 ; CHECK-NEXT:  .long   0
  79 ; CHECK-NEXT:  .long   -2
  80 ; CHECK-NEXT:  .long   1
  81 ; CHECK-NEXT:  .long   Ltmp{{[0-9]+}}
  82
  83 define void @use_CxxFrameHandler3() {
  84   invoke void @may_throw_or_crash()
  85       to label %cont unwind label %catchall
  86 cont:
  87   ret void
  88 catchall:
  89   %ehvals = landingpad { i8*, i32 } personality i32 (...)* @__CxxFrameHandler3
  90       catch i8* null
  91   %ehptr = extractvalue { i8*, i32 } %ehvals, 0
  92   call void @llvm.eh.begincatch(i8* %ehptr, i8* null)
  93   call void @llvm.eh.endcatch()
  94   br label %cont
  95 }
  96
  97 ; CHECK-LABEL: _use_CxxFrameHandler3:
  98 ; CHECK: pushl %ebp
  99 ; CHECK: movl %esp, %ebp
 100 ; CHECK: subl ${{[0-9]+}}, %esp
 101 ; CHECK: movl %esp, -16(%ebp)
 102 ; CHECK: movl $-1, -4(%ebp)
 103 ; CHECK: leal -12(%ebp), %[[node:[^ ,]*]]
 104 ; CHECK: movl $___ehhandler$use_CxxFrameHandler3, -8(%ebp)
 105 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
 106 ; CHECK: movl %[[next]], -12(%ebp)
 107 ; CHECK: movl %[[node]], %fs:0
 108 ; CHECK: movl $0, -4(%ebp)
 109 ; CHECK: calll _may_throw_or_crash
 110 ; CHECK: movl -12(%ebp), %[[next:[^ ,]*]]
 111 ; CHECK: movl %[[next]], %fs:0
 112 ; CHECK: retl
 113
 114 ; CHECK: .section .xdata,"dr"
 115 ; CHECK-LABEL: L__ehtable$use_CxxFrameHandler3:
 116 ; CHECK-NEXT:  .long   429065506
 117 ; CHECK-NEXT:  .long   2
 118 ; CHECK-NEXT:  .long   ($stateUnwindMap$use_CxxFrameHandler3)
 119 ; CHECK-NEXT:  .long   1
 120 ; CHECK-NEXT:  .long   ($tryMap$use_CxxFrameHandler3)
 121 ; CHECK-NEXT:  .long   0
 122 ; CHECK-NEXT:  .long   0
 123 ; CHECK-NEXT:  .long   0
 124 ; CHECK-NEXT:  .long   1
 125
 126 ; CHECK-LABEL: ___ehhandler$use_CxxFrameHandler3:
 127 ; CHECK: movl $L__ehtable$use_CxxFrameHandler3, %eax
 128 ; CHECK: jmp  ___CxxFrameHandler3 # TAILCALL