1; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-windows-itanium | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM
2; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM
3; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 -mcpu=atom | FileCheck %s -check-prefix=WIN64 -check-prefix=ATOM
4
5; Check function without prolog
6define void @foo0() uwtable {
7entry:
8  ret void
9}
10; WIN64-LABEL: foo0:
11; WIN64: .seh_proc foo0
12; WIN64: .seh_endprologue
13; WIN64: ret
14; WIN64: .seh_endproc
15
16; Checks a small stack allocation
17define void @foo1() uwtable {
18entry:
19  %baz = alloca [2000 x i16], align 2
20  ret void
21}
22; WIN64-LABEL: foo1:
23; WIN64: .seh_proc foo1
24; NORM:  subq $4000, %rsp
25; ATOM:  leaq -4000(%rsp), %rsp
26; WIN64: .seh_stackalloc 4000
27; WIN64: .seh_endprologue
28; WIN64: addq $4000, %rsp
29; WIN64: ret
30; WIN64: .seh_endproc
31
32; Checks a stack allocation requiring call to __chkstk/___chkstk_ms
33define void @foo2() uwtable {
34entry:
35  %baz = alloca [4000 x i16], align 2
36  ret void
37}
38; WIN64-LABEL: foo2:
39; WIN64: .seh_proc foo2
40; WIN64: movl $8000, %eax
41; WIN64: callq {{__chkstk|___chkstk_ms}}
42; WIN64: subq %rax, %rsp
43; WIN64: .seh_stackalloc 8000
44; WIN64: .seh_endprologue
45; WIN64: addq $8000, %rsp
46; WIN64: ret
47; WIN64: .seh_endproc
48
49
50; Checks stack push
51define i32 @foo3(i32 %f_arg, i32 %e_arg, i32 %d_arg, i32 %c_arg, i32 %b_arg, i32 %a_arg) uwtable {
52entry:
53  %a = alloca i32
54  %b = alloca i32
55  %c = alloca i32
56  %d = alloca i32
57  %e = alloca i32
58  %f = alloca i32
59  store i32 %a_arg, i32* %a
60  store i32 %b_arg, i32* %b
61  store i32 %c_arg, i32* %c
62  store i32 %d_arg, i32* %d
63  store i32 %e_arg, i32* %e
64  store i32 %f_arg, i32* %f
65  %tmp = load i32, i32* %a
66  %tmp1 = mul i32 %tmp, 2
67  %tmp2 = load i32, i32* %b
68  %tmp3 = mul i32 %tmp2, 3
69  %tmp4 = add i32 %tmp1, %tmp3
70  %tmp5 = load i32, i32* %c
71  %tmp6 = mul i32 %tmp5, 5
72  %tmp7 = add i32 %tmp4, %tmp6
73  %tmp8 = load i32, i32* %d
74  %tmp9 = mul i32 %tmp8, 7
75  %tmp10 = add i32 %tmp7, %tmp9
76  %tmp11 = load i32, i32* %e
77  %tmp12 = mul i32 %tmp11, 11
78  %tmp13 = add i32 %tmp10, %tmp12
79  %tmp14 = load i32, i32* %f
80  %tmp15 = mul i32 %tmp14, 13
81  %tmp16 = add i32 %tmp13, %tmp15
82  ret i32 %tmp16
83}
84; WIN64-LABEL: foo3:
85; WIN64: .seh_proc foo3
86; WIN64: pushq %rsi
87; WIN64: .seh_pushreg 6
88; NORM:  subq $24, %rsp
89; ATOM:  leaq -24(%rsp), %rsp
90; WIN64: .seh_stackalloc 24
91; WIN64: .seh_endprologue
92; WIN64: addq $24, %rsp
93; WIN64: popq %rsi
94; WIN64: ret
95; WIN64: .seh_endproc
96
97
98; Check emission of eh handler and handler data
99declare i32 @_d_eh_personality(i32, i32, i64, i8*, i8*)
100declare void @_d_eh_resume_unwind(i8*)
101
102declare i32 @bar()
103
104define i32 @foo4() #0 {
105entry:
106  %step = alloca i32, align 4
107  store i32 0, i32* %step
108  %tmp = load i32, i32* %step
109
110  %tmp1 = invoke i32 @bar()
111          to label %finally unwind label %landingpad
112
113finally:
114  store i32 1, i32* %step
115  br label %endtryfinally
116
117landingpad:
118  %landing_pad = landingpad { i8*, i32 } personality i32 (i32, i32, i64, i8*, i8*)* @_d_eh_personality
119          cleanup
120  %tmp3 = extractvalue { i8*, i32 } %landing_pad, 0
121  store i32 2, i32* %step
122  call void @_d_eh_resume_unwind(i8* %tmp3)
123  unreachable
124
125endtryfinally:
126  %tmp10 = load i32, i32* %step
127  ret i32 %tmp10
128}
129; WIN64-LABEL: foo4:
130; WIN64: .seh_proc foo4
131; WIN64: .seh_handler _d_eh_personality, @unwind, @except
132; NORM:  subq $56, %rsp
133; ATOM:  leaq -56(%rsp), %rsp
134; WIN64: .seh_stackalloc 56
135; WIN64: .seh_endprologue
136; WIN64: addq $56, %rsp
137; WIN64: ret
138; WIN64: .seh_handlerdata
139; WIN64: .seh_endproc
140
141
142; Check stack re-alignment and xmm spilling
143define void @foo5() uwtable {
144entry:
145  %s = alloca i32, align 64
146  call void asm sideeffect "", "~{rbx},~{rdi},~{xmm6},~{xmm7}"()
147  ret void
148}
149; WIN64-LABEL: foo5:
150; WIN64: .seh_proc foo5
151; WIN64: pushq %rbp
152; WIN64: .seh_pushreg 5
153; WIN64: pushq %rdi
154; WIN64: .seh_pushreg 7
155; WIN64: pushq %rbx
156; WIN64: .seh_pushreg 3
157; NORM:  subq  $96, %rsp
158; ATOM:  leaq -96(%rsp), %rsp
159; WIN64: .seh_stackalloc 96
160; WIN64: leaq  96(%rsp), %rbp
161; WIN64: .seh_setframe 5, 96
162; WIN64: movaps  %xmm7, -16(%rbp)        # 16-byte Spill
163; WIN64: .seh_savexmm 7, 80
164; WIN64: movaps  %xmm6, -32(%rbp)        # 16-byte Spill
165; WIN64: .seh_savexmm 6, 64
166; WIN64: .seh_endprologue
167; WIN64: andq  $-64, %rsp
168; WIN64: movaps  -32(%rbp), %xmm6        # 16-byte Reload
169; WIN64: movaps  -16(%rbp), %xmm7        # 16-byte Reload
170; WIN64: movq  %rbp, %rsp
171; WIN64: popq  %rbx
172; WIN64: popq  %rdi
173; WIN64: popq  %rbp
174; WIN64: retq
175; WIN64: .seh_endproc
176