Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 8ca1cbccc67ff348085c70a3d213c0da2428c8d1 / . / llvm / test / CodeGen / X86 / pop-stack-cleanup.ll
blob: f81d911ea31b1deb612bd014f8ce9948cbbf58a5 [file] [log] [blame]
Mandeep Singh Grang029a0562016-04-19 23:51:52 +0000[diff] [blame]1; RUN: llc < %s -mtriple=i686-windows | FileCheck %s
Michael Kupersteind9264652015-09-16 11:27:20 +0000[diff] [blame]2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s -check-prefix=LINUX64
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000[diff] [blame]3
4declare void @param1(i32 %a)
5declare i32 @param2_ret(i32 %a, i32 %b)
6declare i64 @param2_ret64(i32 %a, i32 %b)
7declare void @param2(i32 %a, i32 %b)
8declare void @param3(i32 %a, i32 %b, i32 %c)
Michael Kupersteind9264652015-09-16 11:27:20 +0000[diff] [blame]9declare void @param8(i64, i64, i64, i64, i64, i64, i64, i64)
Michael Kuperstein8be8de62016-03-10 18:43:21 +0000[diff] [blame]10declare i32 @param8_ret(i64, i64, i64, i64, i64, i64, i64, i64)
Michael Kupersteind9264652015-09-16 11:27:20 +0000[diff] [blame]11
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000[diff] [blame]12
Michael Kuperstein73dc8522015-11-03 08:17:25 +0000[diff] [blame]13define void @test() minsize nounwind {
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000[diff] [blame]14; CHECK-LABEL: test:
15; CHECK: calll _param1
16; CHECK-NEXT: popl %eax
17; CHECK: calll _param2
18; CHECK-NEXT: popl %eax
19; CHECK-NEXT: popl %ecx
20; CHECK: calll _param2_ret
21; CHECK-NEXT: popl %ecx
22; CHECK-NEXT: popl %edx
23; CHECK-NEXT: pushl %eax
24; CHECK: calll _param3
25; CHECK-NEXT: addl $12, %esp
26; CHECK: calll _param2_ret64
27; CHECK-NEXT: popl %ecx
28; CHECK-NEXT: popl %ecx
29 call void @param1(i32 1)
30 call void @param2(i32 1, i32 2)
31 %ret = call i32 @param2_ret(i32 1, i32 2)
32 call void @param3(i32 1, i32 2, i32 %ret)
33 %ret64 = call i64 @param2_ret64(i32 1, i32 2)
34 ret void
35}
36
37define void @negative(i32 %k) {
38; CHECK-LABEL: negative:
39; CHECK: calll _param1
40; CHECK-NEXT: addl $4, %esp
41; CHECK: calll _param2
42; CHECK-NEXT: addl $8, %esp
43; CHECK: calll _param3
44; CHECK-NEXT: movl %ebp, %esp
45 %v = alloca i32, i32 %k
46 call void @param1(i32 1)
47 call void @param2(i32 1, i32 2)
48 call void @param3(i32 1, i32 2, i32 3)
49 ret void
50}
51
Michael Kuperstein73dc8522015-11-03 08:17:25 +0000[diff] [blame]52define void @spill(i32 inreg %a, i32 inreg %b, i32 inreg %c) minsize nounwind {
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000[diff] [blame]53; CHECK-LABEL: spill:
54; CHECK-DAG: movl %ecx,
55; CHECK-DAG: movl %edx,
56; CHECK: calll _param2_ret
57; CHECK-NEXT: popl %ecx
58; CHECK-NEXT: popl %edx
59; CHECK-DAG: movl {{.*}}, %ecx
60; CHECK-DAG: movl {{.*}}, %edx
61; CHECK: calll _spill
62 %i = call i32 @param2_ret(i32 1, i32 2)
63 call void @spill(i32 %a, i32 %b, i32 %c)
64 ret void
65}
Michael Kupersteind9264652015-09-16 11:27:20 +0000[diff] [blame]66
Michael Kuperstein73dc8522015-11-03 08:17:25 +0000[diff] [blame]67define void @test_linux64(i32 %size) minsize nounwind {
Michael Kupersteind9264652015-09-16 11:27:20 +0000[diff] [blame]68; LINUX64-LABEL: test_linux64:
69; LINUX64: pushq %rbp
70; LINUX64: callq param8
71; LINUX64-NEXT: popq %rax
72; LINUX64-NEXT: popq %rcx
73
74 %a = alloca i64, i32 %size, align 8
75 call void @param8(i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8)
76 ret void
77}
Michael Kuperstein8be8de62016-03-10 18:43:21 +0000[diff] [blame]78
79define i32 @test_linux64_i32(i32 %size) minsize nounwind {
80; LINUX64-LABEL: test_linux64_i32:
81; LINUX64: callq param8_ret
82; LINUX64-NOT: popq %rax
83; LINUX64: retq
84 %a = alloca i64, i32 %size, align 8
85 %r = call i32 @param8_ret(i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8)
86 ret i32 %r
87}