Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 25cd4ff97e882ad5039dec15b0c9be8fef062b6b / . / test / CodeGen / X86 / segmented-stacks.ll
blob: 0e125d36a76af87689c48911909885100793381a [file] [log] [blame]
Rafael Espindola2a1286e2011-10-26 21:20:26 +0000[diff] [blame]1; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32
2; RUN: llc < %s -mtriple=x86_64-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]3
Rafael Espindola014f7a32012-01-11 18:14:03 +0000[diff] [blame]4; We used to crash with filetype=obj
5; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -filetype=obj
6; RUN: llc < %s -mtriple=x86_64-linux -segmented-stacks -filetype=obj
7
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]8; Just to prevent the alloca from being optimized away
9declare void @dummy_use(i32*, i32)
10
11define i32 @test_basic(i32 %l) {
12 %mem = alloca i32, i32 %l
13 call void @dummy_use (i32* %mem, i32 %l)
14 %terminate = icmp eq i32 %l, 0
15 br i1 %terminate, label %true, label %false
16
17true:
18 ret i32 0
19
20false:
21 %newlen = sub i32 %l, 1
22 %retvalue = call i32 @test_basic(i32 %newlen)
23 ret i32 %retvalue
24
25; X32: test_basic:
26
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]27; X32: cmpl %gs:48, %esp
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]28; X32-NEXT: ja .LBB0_2
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]29
Sanjoy Das40f82222011-12-03 09:21:07 +0000[diff] [blame]30; X32: pushl $4
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]31; X32-NEXT: pushl $12
32; X32-NEXT: calll __morestack
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]33; X32-NEXT: ret
34
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]35; X32: movl %esp, %eax
36; X32-NEXT: subl %ecx, %eax
37; X32-NEXT: cmpl %eax, %gs:48
38
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]39; X32: movl %eax, %esp
40
41; X32: subl $12, %esp
42; X32-NEXT: pushl %ecx
43; X32-NEXT: calll __morestack_allocate_stack_space
44; X32-NEXT: addl $16, %esp
45
46; X64: test_basic:
47
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]48; X64: cmpq %fs:112, %rsp
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]49; X64-NEXT: ja .LBB0_2
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]50
51; X64: movabsq $24, %r10
52; X64-NEXT: movabsq $0, %r11
53; X64-NEXT: callq __morestack
54; X64-NEXT: ret
55
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]56; X64: movq %rsp, %rdi
57; X64-NEXT: subq %rax, %rdi
58; X64-NEXT: cmpq %rdi, %fs:112
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]59
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]60; X64: movq %rdi, %rsp
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]61
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]62; X64: movq %rax, %rdi
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]63; X64-NEXT: callq __morestack_allocate_stack_space
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]64; X64-NEXT: movq %rax, %rdi
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]65
66}
67
68define i32 @test_nested(i32 * nest %closure, i32 %other) {
69 %addend = load i32 * %closure
70 %result = add i32 %other, %addend
71 ret i32 %result
72
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]73; X32: cmpl %gs:48, %esp
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]74; X32-NEXT: ja .LBB1_2
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]75
Sanjoy Das40f82222011-12-03 09:21:07 +0000[diff] [blame]76; X32: pushl $4
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]77; X32-NEXT: pushl $0
78; X32-NEXT: calll __morestack
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]79; X32-NEXT: ret
80
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]81; X64: cmpq %fs:112, %rsp
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]82; X64-NEXT: ja .LBB1_2
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]83
84; X64: movq %r10, %rax
85; X64-NEXT: movabsq $0, %r10
86; X64-NEXT: movabsq $0, %r11
87; X64-NEXT: callq __morestack
Bill Wendling82222c22011-10-13 07:42:32 +0000[diff] [blame]88; X64-NEXT: ret
Rafael Espindolae840e882011-10-26 21:12:27 +0000[diff] [blame]89; X64-NEXT: movq %rax, %r10
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]90
91}
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]92
93define void @test_large() {
94 %mem = alloca i32, i32 10000
95 call void @dummy_use (i32* %mem, i32 0)
96 ret void
97
98; X32: leal -40012(%esp), %ecx
99; X32-NEXT: cmpl %gs:48, %ecx
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]100; X32-NEXT: ja .LBB2_2
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]101
102; X32: pushl $0
103; X32-NEXT: pushl $40012
104; X32-NEXT: calll __morestack
105; X32-NEXT: ret
106
107; X64: leaq -40008(%rsp), %r11
108; X64-NEXT: cmpq %fs:112, %r11
Rafael Espindola313c7032012-01-11 18:23:35 +0000[diff] [blame]109; X64-NEXT: ja .LBB2_2
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]110
111; X64: movabsq $40008, %r10
112; X64-NEXT: movabsq $0, %r11
113; X64-NEXT: callq __morestack
114; X64-NEXT: ret
115
116}
Rafael Espindola25cd4ff2012-01-11 18:41:19 +0000[diff] [blame^]117
118define fastcc void @test_fastcc() {
119 %mem = alloca i32, i32 10
120 call void @dummy_use (i32* %mem, i32 10)
121 ret void
122
123; X32: test_fastcc:
124
125; X32: cmpl %gs:48, %esp
126; X32-NEXT: ja .LBB3_2
127
128; X32: pushl $0
129; X32-NEXT: pushl $60
130; X32-NEXT: calll __morestack
131; X32-NEXT: ret
132
133; X64: test_fastcc:
134
135; X64: cmpq %fs:112, %rsp
136; X64-NEXT: ja .LBB3_2
137
138; X64: movabsq $40, %r10
139; X64-NEXT: movabsq $0, %r11
140; X64-NEXT: callq __morestack
141; X64-NEXT: ret
142
143}
144
145define fastcc void @test_fastcc_large() {
146 %mem = alloca i32, i32 10000
147 call void @dummy_use (i32* %mem, i32 0)
148 ret void
149
150; X32: test_fastcc_large:
151
152; X32: leal -40012(%esp), %eax
153; X32-NEXT: cmpl %gs:48, %eax
154; X32-NEXT: ja .LBB4_2
155
156; X32: pushl $0
157; X32-NEXT: pushl $40012
158; X32-NEXT: calll __morestack
159; X32-NEXT: ret
160
161; X64: test_fastcc_large:
162
163; X64: leaq -40008(%rsp), %r11
164; X64-NEXT: cmpq %fs:112, %r11
165; X64-NEXT: ja .LBB4_2
166
167; X64: movabsq $40008, %r10
168; X64-NEXT: movabsq $0, %r11
169; X64-NEXT: callq __morestack
170; X64-NEXT: ret
171}