02ead25603fbc4d0ddf91c1f8515b1444b2c709e
[oota-llvm.git] / test / CodeGen / X86 / win-cleanuppad.ll
1 ; RUN: llc -mtriple=i686-pc-windows-msvc < %s | FileCheck --check-prefix=X86 %s
2 ; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s | FileCheck --check-prefix=X64 %s
3
4 %struct.Dtor = type { i8 }
5
6 define void @simple_cleanup() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
7 entry:
8   %o = alloca %struct.Dtor, align 1
9   invoke void @f(i32 1)
10           to label %invoke.cont unwind label %ehcleanup
11
12 invoke.cont:                                      ; preds = %entry
13   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o) #2
14   ret void
15
16 ehcleanup:                                        ; preds = %entry
17   %0 = cleanuppad []
18   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o) #2
19   cleanupret %0 unwind to caller
20 }
21
22 declare void @f(i32) #0
23
24 declare i32 @__CxxFrameHandler3(...)
25
26 ; Function Attrs: nounwind
27 declare x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor*) #1
28
29 define void @nested_cleanup() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
30 entry:
31   %o1 = alloca %struct.Dtor, align 1
32   %o2 = alloca %struct.Dtor, align 1
33   invoke void @f(i32 1)
34           to label %invoke.cont unwind label %cleanup.outer
35
36 invoke.cont:                                      ; preds = %entry
37   invoke void @f(i32 2)
38           to label %invoke.cont.1 unwind label %cleanup.inner
39
40 invoke.cont.1:                                    ; preds = %invoke.cont
41   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o2) #2
42   invoke void @f(i32 3)
43           to label %invoke.cont.2 unwind label %cleanup.outer
44
45 invoke.cont.2:                                    ; preds = %invoke.cont.1
46   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o1) #2
47   ret void
48
49 cleanup.inner:                                        ; preds = %invoke.cont
50   %0 = cleanuppad []
51   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o2) #2
52   cleanupret %0 unwind label %cleanup.outer
53
54 cleanup.outer:                                      ; preds = %invoke.cont.1, %cleanup.inner, %entry
55   %1 = cleanuppad []
56   call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o1) #2
57   cleanupret %1 unwind to caller
58 }
59
60 ; X86-LABEL: _nested_cleanup:
61 ; X86: movl    $1, (%esp)
62 ; X86: calll   _f
63 ; X86: movl    $2, (%esp)
64 ; X86: calll   _f
65 ; X86: movl    $3, (%esp)
66 ; X86: calll   _f
67
68 ; X86: "?dtor$[[cleanup_inner:[0-9]+]]@?0?nested_cleanup@4HA":
69 ; X86: LBB1_[[cleanup_inner]]: # %cleanup.inner{{$}}
70 ; X86: pushl %ebp
71 ; X86: leal    {{.*}}(%ebp), %ecx
72 ; X86: calll   "??1Dtor@@QAE@XZ"
73 ; X86: popl %ebp
74 ; X86: retl
75
76 ; X86: "?dtor$[[cleanup_outer:[0-9]+]]@?0?nested_cleanup@4HA":
77 ; X86: LBB1_[[cleanup_outer]]: # %cleanup.outer{{$}}
78 ; X86: pushl %ebp
79 ; X86: leal    {{.*}}(%ebp), %ecx
80 ; X86: calll   "??1Dtor@@QAE@XZ"
81 ; X86: popl %ebp
82 ; X86: retl
83
84 ; X86: L__ehtable$nested_cleanup:
85 ; X86:         .long   429065506
86 ; X86:         .long   2
87 ; X86:         .long   ($stateUnwindMap$nested_cleanup)
88 ; X86:         .long   0
89 ; X86:         .long   0
90 ; X86:         .long   0
91 ; X86:         .long   0
92 ; X86:         .long   0
93 ; X86:         .long   1
94 ; X86: $stateUnwindMap$nested_cleanup:
95 ; X86:         .long   -1
96 ; X86:         .long   "?dtor$[[cleanup_outer]]@?0?nested_cleanup@4HA"
97 ; X86:         .long   0
98 ; X86:         .long   "?dtor$[[cleanup_inner]]@?0?nested_cleanup@4HA"
99
100 ; X64-LABEL: nested_cleanup:
101 ; X64: .Lfunc_begin1:
102 ; X64: .Ltmp14:
103 ; X64: movl    $1, %ecx
104 ; X64: callq   f
105 ; X64: .Ltmp16:
106 ; X64: movl    $2, %ecx
107 ; X64: callq   f
108 ; X64: .Ltmp17:
109 ; X64: callq   "??1Dtor@@QAE@XZ"
110 ; X64: .Ltmp18:
111 ; X64: movl    $3, %ecx
112 ; X64: callq   f
113 ; X64: .Ltmp19:
114
115 ; X64: "?dtor$[[cleanup_inner:[0-9]+]]@?0?nested_cleanup@4HA":
116 ; X64: LBB1_[[cleanup_inner]]: # %cleanup.inner{{$}}
117 ; X64: pushq %rbp
118 ; X64: leaq    {{.*}}(%rbp), %rcx
119 ; X64: callq   "??1Dtor@@QAE@XZ"
120 ; X64: popq %rbp
121 ; X64: retq
122
123 ; X64:        .seh_handlerdata
124 ; X64:        .text
125 ; X64:        .seh_endproc
126
127 ; X64: "?dtor$[[cleanup_outer:[0-9]+]]@?0?nested_cleanup@4HA":
128 ; X64: LBB1_[[cleanup_outer]]: # %cleanup.outer{{$}}
129 ; X64: pushq %rbp
130 ; X64: leaq    {{.*}}(%rbp), %rcx
131 ; X64: callq   "??1Dtor@@QAE@XZ"
132 ; X64: popq %rbp
133 ; X64: retq
134
135 ; X64:        .section .xdata,"dr"
136 ; X64-NEXT: .align  4
137 ; X64: $cppxdata$nested_cleanup:
138 ; X64-NEXT: .long   429065506
139 ; X64-NEXT: .long   2
140 ; X64-NEXT: .long   ($stateUnwindMap$nested_cleanup)@IMGREL
141 ; X64-NEXT: .long   0
142 ; X64-NEXT: .long   0
143 ; X64-NEXT: .long   5
144 ; X64-NEXT: .long   ($ip2state$nested_cleanup)@IMGREL
145 ; X64-NEXT: .long   40
146 ; X64-NEXT: .long   0
147 ; X64-NEXT: .long   1
148
149 ; X64: $stateUnwindMap$nested_cleanup:
150 ; X64-NEXT: .long   -1
151 ; X64-NEXT: .long   "?dtor$[[cleanup_outer]]@?0?nested_cleanup@4HA"@IMGREL
152 ; X64-NEXT: .long   0
153 ; X64-NEXT: .long   "?dtor$[[cleanup_inner]]@?0?nested_cleanup@4HA"@IMGREL
154
155 ; X64: $ip2state$nested_cleanup:
156 ; X64-NEXT: .long   .Lfunc_begin1@IMGREL
157 ; X64-NEXT: .long   -1
158 ; X64-NEXT: .long   .Ltmp14@IMGREL
159 ; X64-NEXT: .long   0
160 ; X64-NEXT: .long   .Ltmp16@IMGREL
161 ; X64-NEXT: .long   1
162 ; X64-NEXT: .long   .Ltmp18@IMGREL
163 ; X64-NEXT: .long   0
164 ; X64-NEXT: .long   .Ltmp19@IMGREL+1
165 ; X64-NEXT: .long   -1
166
167 attributes #0 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
168 attributes #1 = { nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
169 attributes #2 = { nounwind }