Disable FP elimination in funcs using 32-bit MSVC EH personalities
[oota-llvm.git] / 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: movl $__except_handler3, -12(%ebp)
28 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
29 ; CHECK: movl %[[next]], -16(%ebp)
30 ; CHECK: leal -16(%ebp), %[[node:[^ ,]*]]
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 define void @use_except_handler4() {
38   invoke void @may_throw_or_crash()
39       to label %cont unwind label %catchall
40 cont:
41   ret void
42 catchall:
43   landingpad { i8*, i32 } personality i32 (...)* @_except_handler4
44       catch i8* null
45   br label %cont
46 }
47
48 ; CHECK-LABEL: _use_except_handler4:
49 ; CHECK: pushl %ebp
50 ; CHECK: movl %esp, %ebp
51 ; CHECK: subl ${{[0-9]+}}, %esp
52 ; CHECK: movl %esp, -24(%ebp)
53 ; CHECK: movl $-1, -4(%ebp)
54 ; CHECK: movl $L__ehtable$use_except_handler4, -20(%ebp)
55 ; CHECK: leal -16(%ebp), %[[node:[^ ,]*]]
56 ; CHECK: movl $__except_handler4, -12(%ebp)
57 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
58 ; CHECK: movl %[[next]], -16(%ebp)
59 ; CHECK: movl %[[node]], %fs:0
60 ; CHECK: calll _may_throw_or_crash
61 ; CHECK: movl -16(%ebp), %[[next:[^ ,]*]]
62 ; CHECK: movl %[[next]], %fs:0
63 ; CHECK: retl
64
65 define void @use_CxxFrameHandler3() {
66   invoke void @may_throw_or_crash()
67       to label %cont unwind label %catchall
68 cont:
69   ret void
70 catchall:
71   %ehvals = landingpad { i8*, i32 } personality i32 (...)* @__CxxFrameHandler3
72       catch i8* null
73   %ehptr = extractvalue { i8*, i32 } %ehvals, 0
74   call void @llvm.eh.begincatch(i8* %ehptr, i8* null)
75   call void @llvm.eh.endcatch()
76   br label %cont
77 }
78
79 ; CHECK-LABEL: _use_CxxFrameHandler3:
80 ; CHECK: pushl %ebp
81 ; CHECK: movl %esp, %ebp
82 ; CHECK: subl ${{[0-9]+}}, %esp
83 ; CHECK: movl %esp, -16(%ebp)
84 ; CHECK: movl $-1, -4(%ebp)
85 ; CHECK: leal -12(%ebp), %[[node:[^ ,]*]]
86 ; CHECK: movl $___ehhandler$use_CxxFrameHandler3, -8(%ebp)
87 ; CHECK: movl %fs:0, %[[next:[^ ,]*]]
88 ; CHECK: movl %[[next]], -12(%ebp)
89 ; CHECK: movl %[[node]], %fs:0
90 ; CHECK: movl $0, -4(%ebp)
91 ; CHECK: calll _may_throw_or_crash
92 ; CHECK: movl -12(%ebp), %[[next:[^ ,]*]]
93 ; CHECK: movl %[[next]], %fs:0
94 ; CHECK: retl
95
96 ; CHECK: .section .xdata,"dr"
97 ; CHECK-LABEL: L__ehtable$use_CxxFrameHandler3:
98 ; CHECK-NEXT:  .long   429065506
99 ; CHECK-NEXT:  .long   2
100 ; CHECK-NEXT:  .long   ($stateUnwindMap$use_CxxFrameHandler3)
101 ; CHECK-NEXT:  .long   1
102 ; CHECK-NEXT:  .long   ($tryMap$use_CxxFrameHandler3)
103 ; CHECK-NEXT:  .long   0
104 ; CHECK-NEXT:  .long   0
105 ; CHECK-NEXT:  .long   0
106 ; CHECK-NEXT:  .long   1
107
108 ; CHECK-LABEL: ___ehhandler$use_CxxFrameHandler3:
109 ; CHECK: movl $L__ehtable$use_CxxFrameHandler3, %eax
110 ; CHECK: jmp  ___CxxFrameHandler3 # TAILCALL