Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 2a1286ed58bd02a5cffefbf25e45d9f6b61249c8 / . / test / CodeGen / X86 / segmented-stacks.ll
blob: a92aca5abb2b7696da7c92bc22a91429c60a8ff1 [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
4; Just to prevent the alloca from being optimized away
5declare void @dummy_use(i32*, i32)
6
7define i32 @test_basic(i32 %l) {
8 %mem = alloca i32, i32 %l
9 call void @dummy_use (i32* %mem, i32 %l)
10 %terminate = icmp eq i32 %l, 0
11 br i1 %terminate, label %true, label %false
12
13true:
14 ret i32 0
15
16false:
17 %newlen = sub i32 %l, 1
18 %retvalue = call i32 @test_basic(i32 %newlen)
19 ret i32 %retvalue
20
21; X32: test_basic:
22
23; X32: leal -12(%esp), %ecx
24; X32-NEXT: cmpl %gs:48, %ecx
25
26; X32: subl $8, %esp
27; X32-NEXT: pushl $4
28; X32-NEXT: pushl $12
29; X32-NEXT: calll __morestack
30; X32-NEXT: addl $8, %esp
31; X32-NEXT: ret
32
Rafael Espindola66bf7432011-10-26 21:16:41 +0000[diff] [blame]33; X32: movl %esp, %eax
34; X32-NEXT: subl %ecx, %eax
35; X32-NEXT: cmpl %eax, %gs:48
36
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]37; X32: movl %eax, %esp
38
39; X32: subl $12, %esp
40; X32-NEXT: pushl %ecx
41; X32-NEXT: calll __morestack_allocate_stack_space
42; X32-NEXT: addl $16, %esp
43
44; X64: test_basic:
45
46; X64: leaq -24(%rsp), %r11
47; X64-NEXT: cmpq %fs:112, %r11
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
71; X32: leal (%esp), %edx
72; X32-NEXT: cmpl %gs:48, %edx
73
74
75; X32: subl $8, %esp
76; X32-NEXT: pushl $4
77; X32-NEXT: pushl $0
78; X32-NEXT: calll __morestack
79; X32-NEXT: addl $8, %esp
80; X32-NEXT: ret
81
82; X64: leaq (%rsp), %r11
83; X64-NEXT: cmpq %fs:112, %r11
84
85; X64: movq %r10, %rax
86; X64-NEXT: movabsq $0, %r10
87; X64-NEXT: movabsq $0, %r11
88; X64-NEXT: callq __morestack
Bill Wendling82222c22011-10-13 07:42:32 +0000[diff] [blame]89; X64-NEXT: ret
Rafael Espindolae840e882011-10-26 21:12:27 +0000[diff] [blame]90; X64-NEXT: movq %rax, %r10
Rafael Espindolab0bf8932011-08-30 19:51:29 +0000[diff] [blame]91
92}