136 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -stack-symbol-ordering=0 -tailcallopt -relocation-model=static -code-model=medium -mtriple=x86_64-linux-gnu -mcpu=opteron | FileCheck %s3 4; Check the HiPE calling convention works (x86-64)5 6define void @zap(i64 %a, i64 %b) nounwind {7; CHECK-LABEL: zap:8; CHECK: # %bb.0: # %entry9; CHECK-NEXT: pushq %rbp10; CHECK-NEXT: pushq %r1511; CHECK-NEXT: pushq %r1412; CHECK-NEXT: pushq %r1313; CHECK-NEXT: pushq %r1214; CHECK-NEXT: pushq %rbx15; CHECK-NEXT: movq %rsi, %rdx16; CHECK-NEXT: movl $8, %ecx17; CHECK-NEXT: movl $9, %r8d18; CHECK-NEXT: movq %rdi, %rsi19; CHECK-NEXT: callq addfour@PLT20; CHECK-NEXT: movl $1, %edx21; CHECK-NEXT: movl $2, %ecx22; CHECK-NEXT: movl $3, %r8d23; CHECK-NEXT: movq %rax, %r924; CHECK-NEXT: callq foo@PLT25; CHECK-NEXT: popq %rbx26; CHECK-NEXT: popq %r1227; CHECK-NEXT: popq %r1328; CHECK-NEXT: popq %r1429; CHECK-NEXT: popq %r1530; CHECK-NEXT: popq %rbp31; CHECK-NEXT: retq32entry:33 %0 = call cc 11 {i64, i64, i64} @addfour(i64 undef, i64 undef, i64 %a, i64 %b, i64 8, i64 9)34 %res = extractvalue {i64, i64, i64} %0, 235 36 tail call void @foo(i64 undef, i64 undef, i64 1, i64 2, i64 3, i64 %res) nounwind37 ret void38}39 40define cc 11 {i64, i64, i64} @addfour(i64 %hp, i64 %p, i64 %x, i64 %y, i64 %z, i64 %w) nounwind {41; CHECK-LABEL: addfour:42; CHECK: # %bb.0: # %entry43; CHECK-NEXT: addq %rsi, %rdx44; CHECK-NEXT: leaq (%rcx,%r8), %rax45; CHECK-NEXT: addq %rdx, %rax46; CHECK-NEXT: retq47entry:48 %0 = add i64 %x, %y49 %1 = add i64 %0, %z50 %2 = add i64 %1, %w51 52 %res = insertvalue {i64, i64, i64} undef, i64 %2, 253 ret {i64, i64, i64} %res54}55 56define cc 11 void @foo(i64 %hp, i64 %p, i64 %arg0, i64 %arg1, i64 %arg2, i64 %arg3) nounwind {57; CHECK-LABEL: foo:58; CHECK: # %bb.0: # %entry59; CHECK-NEXT: subq $48, %rsp60; CHECK-NEXT: movq %r15, {{[0-9]+}}(%rsp)61; CHECK-NEXT: movq %rbp, {{[0-9]+}}(%rsp)62; CHECK-NEXT: movq %rsi, {{[0-9]+}}(%rsp)63; CHECK-NEXT: movq %rdx, {{[0-9]+}}(%rsp)64; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)65; CHECK-NEXT: movq %r8, (%rsp)66; CHECK-NEXT: addq $48, %rsp67; CHECK-NEXT: jmp bar@PLT # TAILCALL68entry:69 %hp_var = alloca i6470 %p_var = alloca i6471 %arg0_var = alloca i6472 %arg1_var = alloca i6473 %arg2_var = alloca i6474 %arg3_var = alloca i6475 store i64 %hp, ptr %hp_var76 store i64 %p, ptr %p_var77 store i64 %arg0, ptr %arg0_var78 store i64 %arg1, ptr %arg1_var79 store i64 %arg2, ptr %arg2_var80 store i64 %arg3, ptr %arg3_var81 82 ; Loads are reading values just writen from corresponding register and are therefore noops.83 %0 = load i64, ptr %hp_var84 %1 = load i64, ptr %p_var85 %2 = load i64, ptr %arg0_var86 %3 = load i64, ptr %arg1_var87 %4 = load i64, ptr %arg2_var88 %5 = load i64, ptr %arg3_var89 tail call cc 11 void @bar(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) nounwind90 ret void91}92 93define cc 11 void @baz() nounwind {94; CHECK-LABEL: baz:95; CHECK: # %bb.0:96; CHECK-NEXT: movq clos@GOTPCREL(%rip), %rax97; CHECK-NEXT: movl $42, %esi98; CHECK-NEXT: jmpq *(%rax) # TAILCALL99 %tmp_clos = load i64, ptr @clos100 %tmp_clos2 = inttoptr i64 %tmp_clos to ptr101 tail call cc 11 void %tmp_clos2(i64 undef, i64 undef, i64 42) nounwind102 ret void103}104 105; Sanity-check the tail call sequence. Number of arguments was chosen as to106; expose a bug where the tail call sequence clobbered the stack.107define cc 11 { i64, i64, i64 } @tailcaller(i64 %hp, i64 %p) #0 {108; CHECK-LABEL: tailcaller:109; CHECK: # %bb.0:110; CHECK-NEXT: subq $16, %rsp111; CHECK-NEXT: .cfi_def_cfa_offset 24112; CHECK-NEXT: movq {{[0-9]+}}(%rsp), %rax113; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)114; CHECK-NEXT: movq $79, {{[0-9]+}}(%rsp)115; CHECK-NEXT: movl $15, %esi116; CHECK-NEXT: movl $31, %edx117; CHECK-NEXT: movl $47, %ecx118; CHECK-NEXT: movl $63, %r8d119; CHECK-NEXT: popq %rax120; CHECK-NEXT: .cfi_def_cfa_offset 16121; CHECK-NEXT: jmp tailcallee@PLT # TAILCALL122 %ret = tail call cc11 { i64, i64, i64 } @tailcallee(i64 %hp, i64 %p, i64 15,123 i64 31, i64 47, i64 63, i64 79) #1124 ret { i64, i64, i64 } %ret125}126 127!hipe.literals = !{ !0, !1, !2 }128!0 = !{ !"P_NSP_LIMIT", i32 160 }129!1 = !{ !"X86_LEAF_WORDS", i32 24 }130!2 = !{ !"AMD64_LEAF_WORDS", i32 24 }131@clos = external constant i64132declare cc 11 void @bar(i64, i64, i64, i64, i64, i64)133declare cc 11 { i64, i64, i64 } @tailcallee(i64, i64, i64, i64, i64, i64, i64)134!llvm.module.flags = !{!3}135!3 = !{i32 2, !"override-stack-alignment", i32 8}136