blob: eced06738941f81a18f414bf3cd17003e5e6b009 [file] [log] [blame]
Dan Gohman98ca4f22009-08-05 01:29:28 +00001; RUN: llvm-as < %s | llc -tailcallopt -march=x86-64 | FileCheck %s
2
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +00003; Check that lowered arguments on the stack do not overwrite each other.
Dan Gohman98ca4f22009-08-05 01:29:28 +00004; Add %in1 %p1 to a different temporary register (%eax).
5; CHECK: movl %edi, %eax
6; CHECK: addl 32(%rsp), %eax
7; Move param %in1 to temp register (%r10d).
8; CHECK: movl 40(%rsp), %r10d
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +00009; Move result of addition to stack.
Dan Gohman98ca4f22009-08-05 01:29:28 +000010; CHECK: movl %eax, 40(%rsp)
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +000011; Move param %in2 to stack.
Dan Gohman98ca4f22009-08-05 01:29:28 +000012; CHECK: movl %r10d, 32(%rsp)
13; Eventually, do a TAILCALL
14; CHECK: TAILCALL
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +000015
Arnold Schwaighoferbbd8c332009-06-12 16:26:57 +000016declare fastcc i32 @tailcallee(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6, i32 %a, i32 %b)
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +000017
Arnold Schwaighoferbbd8c332009-06-12 16:26:57 +000018define fastcc i32 @tailcaller(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6, i32 %in1, i32 %in2) {
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +000019entry:
20 %tmp = add i32 %in1, %p1
Arnold Schwaighoferbbd8c332009-06-12 16:26:57 +000021 %retval = tail call fastcc i32 @tailcallee(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6, i32 %in2,i32 %tmp)
Arnold Schwaighoferd2ef5232008-04-30 09:19:47 +000022 ret i32 %retval
23}
24