Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 014f7a3b3798580d5aac80b83bcb67e03d302fa4 / . / test / CodeGen / X86 / segmented-stacks.ll
blob: 7854cbd060a676543b0d4f3f34cfcc4f1013073c [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 Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]28
Sanjoy Das40f82222011-12-03 09:21:07 +0000[diff] [blame]29; X32: pushl $4
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]30; X32-NEXT: pushl $12
31; X32-NEXT: calll __morestack
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]32; X32-NEXT: ret
33
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]34; X32: movl %esp, %eax
35; X32-NEXT: subl %ecx, %eax
36; X32-NEXT: cmpl %eax, %gs:48
37
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]38; X32: movl %eax, %esp
39
40; X32: subl $12, %esp
41; X32-NEXT: pushl %ecx
42; X32-NEXT: calll __morestack_allocate_stack_space
43; X32-NEXT: addl $16, %esp
44
45; X64: test_basic:
46
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]47; X64: cmpq %fs:112, %rsp
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]48
49; X64: movabsq $24, %r10
50; X64-NEXT: movabsq $0, %r11
51; X64-NEXT: callq __morestack
52; X64-NEXT: ret
53
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]54; X64: movq %rsp, %rdi
55; X64-NEXT: subq %rax, %rdi
56; X64-NEXT: cmpq %rdi, %fs:112
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]57
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]58; X64: movq %rdi, %rsp
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]59
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]60; X64: movq %rax, %rdi
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]61; X64-NEXT: callq __morestack_allocate_stack_space
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]62; X64-NEXT: movq %rax, %rdi
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]63
64}
65
66define i32 @test_nested(i32 * nest %closure, i32 %other) {
67 %addend = load i32 * %closure
68 %result = add i32 %other, %addend
69 ret i32 %result
70
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]71; X32: cmpl %gs:48, %esp
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]72
Sanjoy Das40f82222011-12-03 09:21:07 +0000[diff] [blame]73; X32: pushl $4
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]74; X32-NEXT: pushl $0
75; X32-NEXT: calll __morestack
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]76; X32-NEXT: ret
77
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]78; X64: cmpq %fs:112, %rsp
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]79
80; X64: movq %r10, %rax
81; X64-NEXT: movabsq $0, %r10
82; X64-NEXT: movabsq $0, %r11
83; X64-NEXT: callq __morestack
Bill Wendling82222c22011-10-13 07:42:32 +0000[diff] [blame]84; X64-NEXT: ret
Rafael Espindolae840e882011-10-26 21:12:27 +0000[diff] [blame]85; X64-NEXT: movq %rax, %r10
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]86
87}
Sanjoy Das199ce332011-12-03 09:32:07 +0000[diff] [blame]88
89define void @test_large() {
90 %mem = alloca i32, i32 10000
91 call void @dummy_use (i32* %mem, i32 0)
92 ret void
93
94; X32: leal -40012(%esp), %ecx
95; X32-NEXT: cmpl %gs:48, %ecx
96
97; X32: pushl $0
98; X32-NEXT: pushl $40012
99; X32-NEXT: calll __morestack
100; X32-NEXT: ret
101
102; X64: leaq -40008(%rsp), %r11
103; X64-NEXT: cmpq %fs:112, %r11
104
105; X64: movabsq $40008, %r10
106; X64-NEXT: movabsq $0, %r11
107; X64-NEXT: callq __morestack
108; X64-NEXT: ret
109
110}