From e44102606a4af60a370595d0cfdb048cfa14a066 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 20 Apr 2018 16:46:58 +0000 Subject: [PATCH] [x86] auto-generate checks; NFC There's a proposal to change/add to this file in D45653, so we should know exactly what those differences would be. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@330445 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/sibcall.ll | 624 +++++++++++++++++++++++++++++--------------- 1 file changed, 411 insertions(+), 213 deletions(-) diff --git a/test/CodeGen/X86/sibcall.ll b/test/CodeGen/X86/sibcall.ll index b94960af65a..d8c3f1c7cbe 100644 --- a/test/CodeGen/X86/sibcall.ll +++ b/test/CodeGen/X86/sibcall.ll @@ -1,17 +1,20 @@ -; RUN: llc < %s -mtriple=i686-linux -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=32 -; RUN: llc < %s -mtriple=x86_64-linux -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=64 -; RUN: llc < %s -mtriple=x86_64-linux-gnux32 -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=X32ABI +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=i686-linux -mcpu=core2 -mattr=+sse2 | FileCheck %s --check-prefix=X32 +; RUN: llc < %s -mtriple=x86_64-linux -mcpu=core2 -mattr=+sse2 | FileCheck %s --check-prefix=X64 +; RUN: llc < %s -mtriple=x86_64-linux-gnux32 -mcpu=core2 -mattr=+sse2 | FileCheck %s --check-prefix=X32ABI define void @t1(i32 %x) nounwind ssp { -entry: -; 32-LABEL: t1: -; 32: jmp {{_?}}foo - -; 64-LABEL: t1: -; 64: jmp {{_?}}foo - +; X32-LABEL: t1: +; X32: # %bb.0: +; X32-NEXT: jmp foo # TAILCALL +; +; X64-LABEL: t1: +; X64: # %bb.0: +; X64-NEXT: jmp foo # TAILCALL +; ; X32ABI-LABEL: t1: -; X32ABI: jmp {{_?}}foo +; X32ABI: # %bb.0: +; X32ABI-NEXT: jmp foo # TAILCALL tail call void @foo() nounwind ret void } @@ -19,128 +22,167 @@ entry: declare void @foo() define void @t2() nounwind ssp { -entry: -; 32-LABEL: t2: -; 32: jmp {{_?}}foo2 - -; 64-LABEL: t2: -; 64: jmp {{_?}}foo2 - +; X32-LABEL: t2: +; X32: # %bb.0: +; X32-NEXT: jmp foo2 # TAILCALL +; +; X64-LABEL: t2: +; X64: # %bb.0: +; X64-NEXT: jmp foo2 # TAILCALL +; ; X32ABI-LABEL: t2: -; X32ABI: jmp {{_?}}foo2 - %0 = tail call i32 @foo2() nounwind +; X32ABI: # %bb.0: +; X32ABI-NEXT: jmp foo2 # TAILCALL + %t0 = tail call i32 @foo2() nounwind ret void } declare i32 @foo2() define void @t3() nounwind ssp { -entry: -; 32-LABEL: t3: -; 32: jmp {{_?}}foo3 - -; 64-LABEL: t3: -; 64: jmp {{_?}}foo3 - +; X32-LABEL: t3: +; X32: # %bb.0: +; X32-NEXT: jmp foo3 # TAILCALL +; +; X64-LABEL: t3: +; X64: # %bb.0: +; X64-NEXT: jmp foo3 # TAILCALL +; ; X32ABI-LABEL: t3: -; X32ABI: jmp {{_?}}foo3 - %0 = tail call i32 @foo3() nounwind +; X32ABI: # %bb.0: +; X32ABI-NEXT: jmp foo3 # TAILCALL + %t0 = tail call i32 @foo3() nounwind ret void } declare i32 @foo3() define void @t4(void (i32)* nocapture %x) nounwind ssp { -entry: -; 32-LABEL: t4: -; 32: calll * -; FIXME: gcc can generate a tailcall for this. But it's tricky. - -; 64-LABEL: t4: -; 64-NOT: call -; 64: jmpq * - +; X32-LABEL: t4: +; X32: # %bb.0: +; X32-NEXT: subl $12, %esp +; X32-NEXT: movl $0, (%esp) +; X32-NEXT: calll *{{[0-9]+}}(%esp) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t4: +; X64: # %bb.0: +; X64-NEXT: movq %rdi, %rax +; X64-NEXT: xorl %edi, %edi +; X64-NEXT: jmpq *%rax # TAILCALL +; ; X32ABI-LABEL: t4: -; X32ABI-NOT: call -; X32ABI: jmpq * +; X32ABI: # %bb.0: +; X32ABI-NEXT: movl %edi, %eax +; X32ABI-NEXT: xorl %edi, %edi +; X32ABI-NEXT: jmpq *%rax # TAILCALL tail call void %x(i32 0) nounwind ret void } -define void @t5(void ()* nocapture %x) nounwind ssp { -entry: -; 32-LABEL: t5: -; 32-NOT: call -; 32: jmpl *4(%esp) - -; 64-LABEL: t5: -; 64-NOT: call -; 64: jmpq *%rdi - -; X32ABI-LABEL: t5: -; X32ABI-NOT: call ; FIXME: This isn't needed since x32 psABI specifies that callers must ; zero-extend pointers passed in registers. -; X32ABI: movl %edi, %eax -; X32ABI: jmpq *%rax + +define void @t5(void ()* nocapture %x) nounwind ssp { +; X32-LABEL: t5: +; X32: # %bb.0: +; X32-NEXT: jmpl *{{[0-9]+}}(%esp) # TAILCALL +; +; X64-LABEL: t5: +; X64: # %bb.0: +; X64-NEXT: jmpq *%rdi # TAILCALL +; +; X32ABI-LABEL: t5: +; X32ABI: # %bb.0: +; X32ABI-NEXT: movl %edi, %eax +; X32ABI-NEXT: jmpq *%rax # TAILCALL tail call void %x() nounwind ret void } define i32 @t6(i32 %x) nounwind ssp { -entry: -; 32-LABEL: t6: -; 32: calll {{_?}}t6 -; 32: jmp {{_?}}bar - -; 64-LABEL: t6: -; 64: jmp {{_?}}t6 -; 64: jmp {{_?}}bar - +; X32-LABEL: t6: +; X32: # %bb.0: +; X32-NEXT: subl $12, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: cmpl $9, %eax +; X32-NEXT: jg .LBB5_2 +; X32-NEXT: # %bb.1: # %bb +; X32-NEXT: decl %eax +; X32-NEXT: movl %eax, (%esp) +; X32-NEXT: calll t6 +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; X32-NEXT: .LBB5_2: # %bb1 +; X32-NEXT: addl $12, %esp +; X32-NEXT: jmp bar # TAILCALL +; +; X64-LABEL: t6: +; X64: # %bb.0: +; X64-NEXT: cmpl $9, %edi +; X64-NEXT: jg .LBB5_2 +; X64-NEXT: # %bb.1: # %bb +; X64-NEXT: decl %edi +; X64-NEXT: jmp t6 # TAILCALL +; X64-NEXT: .LBB5_2: # %bb1 +; X64-NEXT: jmp bar # TAILCALL +; ; X32ABI-LABEL: t6: -; X32ABI: jmp {{_?}}t6 -; X32ABI: jmp {{_?}}bar - %0 = icmp slt i32 %x, 10 - br i1 %0, label %bb, label %bb1 +; X32ABI: # %bb.0: +; X32ABI-NEXT: cmpl $9, %edi +; X32ABI-NEXT: jg .LBB5_2 +; X32ABI-NEXT: # %bb.1: # %bb +; X32ABI-NEXT: decl %edi +; X32ABI-NEXT: jmp t6 # TAILCALL +; X32ABI-NEXT: .LBB5_2: # %bb1 +; X32ABI-NEXT: jmp bar # TAILCALL + %t0 = icmp slt i32 %x, 10 + br i1 %t0, label %bb, label %bb1 bb: - %1 = add nsw i32 %x, -1 - %2 = tail call i32 @t6(i32 %1) nounwind ssp - ret i32 %2 + %t1 = add nsw i32 %x, -1 + %t2 = tail call i32 @t6(i32 %t1) nounwind ssp + ret i32 %t2 bb1: - %3 = tail call i32 @bar(i32 %x) nounwind - ret i32 %3 + %t3 = tail call i32 @bar(i32 %x) nounwind + ret i32 %t3 } declare i32 @bar(i32) define i32 @t7(i32 %a, i32 %b, i32 %c) nounwind ssp { -entry: -; 32-LABEL: t7: -; 32: jmp {{_?}}bar2 - -; 64-LABEL: t7: -; 64: jmp {{_?}}bar2 - +; X32-LABEL: t7: +; X32: # %bb.0: +; X32-NEXT: jmp bar2 # TAILCALL +; +; X64-LABEL: t7: +; X64: # %bb.0: +; X64-NEXT: jmp bar2 # TAILCALL +; ; X32ABI-LABEL: t7: -; X32ABI: jmp {{_?}}bar2 - %0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind - ret i32 %0 +; X32ABI: # %bb.0: +; X32ABI-NEXT: jmp bar2 # TAILCALL + %t0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind + ret i32 %t0 } declare i32 @bar2(i32, i32, i32) define signext i16 @t8() nounwind ssp { -entry: -; 32-LABEL: t8: -; 32: jmp {{_?}}bar3 - -; 64-LABEL: t8: -; 64: jmp {{_?}}bar3 - +; X32-LABEL: t8: +; X32: # %bb.0: # %entry +; X32-NEXT: jmp bar3 # TAILCALL +; +; X64-LABEL: t8: +; X64: # %bb.0: # %entry +; X64-NEXT: jmp bar3 # TAILCALL +; ; X32ABI-LABEL: t8: -; X32ABI: jmp {{_?}}bar3 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: jmp bar3 # TAILCALL +entry: %0 = tail call signext i16 @bar3() nounwind ; [#uses=1] ret i16 %0 } @@ -148,56 +190,87 @@ entry: declare signext i16 @bar3() define signext i16 @t9(i32 (i32)* nocapture %x) nounwind ssp { -entry: -; 32-LABEL: t9: -; 32: calll * - -; 64-LABEL: t9: -; 64: jmpq * - +; X32-LABEL: t9: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: movl $0, (%esp) +; X32-NEXT: calll *{{[0-9]+}}(%esp) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t9: +; X64: # %bb.0: # %entry +; X64-NEXT: movq %rdi, %rax +; X64-NEXT: xorl %edi, %edi +; X64-NEXT: jmpq *%rax # TAILCALL +; ; X32ABI-LABEL: t9: -; X32ABI: jmpq * +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: movl %edi, %eax +; X32ABI-NEXT: xorl %edi, %edi +; X32ABI-NEXT: jmpq *%rax # TAILCALL +entry: %0 = bitcast i32 (i32)* %x to i16 (i32)* %1 = tail call signext i16 %0(i32 0) nounwind ret i16 %1 } define void @t10() nounwind ssp { -entry: -; 32-LABEL: t10: -; 32: calll - -; 64-LABEL: t10: -; 64: callq - +; X32-LABEL: t10: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: calll foo4 +; +; X64-LABEL: t10: +; X64: # %bb.0: # %entry +; X64-NEXT: pushq %rax +; X64-NEXT: callq foo4 +; ; X32ABI-LABEL: t10: -; X32ABI: callq +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: pushq %rax +; X32ABI-NEXT: callq foo4 +entry: %0 = tail call i32 @foo4() noreturn nounwind unreachable } declare i32 @foo4() -define i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp { ; In 32-bit mode, it's emitting a bunch of dead loads that are not being ; eliminated currently. -; 32-LABEL: t11: -; 32-NOT: subl ${{[0-9]+}}, %esp -; 32: je -; 32-NOT: movl -; 32-NOT: addl ${{[0-9]+}}, %esp -; 32: jmp {{_?}}foo5 - -; 64-LABEL: t11: -; 64-NOT: subq ${{[0-9]+}}, %rsp -; 64-NOT: addq ${{[0-9]+}}, %rsp -; 64: jmp {{_?}}foo5 - +define i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp { +; X32-LABEL: t11: +; X32: # %bb.0: # %entry +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: testl %eax, %eax +; X32-NEXT: je .LBB10_1 +; X32-NEXT: # %bb.2: # %bb +; X32-NEXT: jmp foo5 # TAILCALL +; X32-NEXT: .LBB10_1: # %bb6 +; X32-NEXT: xorl %eax, %eax +; X32-NEXT: retl +; +; X64-LABEL: t11: +; X64: # %bb.0: # %entry +; X64-NEXT: testl %edi, %edi +; X64-NEXT: je .LBB10_1 +; X64-NEXT: # %bb.2: # %bb +; X64-NEXT: jmp foo5 # TAILCALL +; X64-NEXT: .LBB10_1: # %bb6 +; X64-NEXT: xorl %eax, %eax +; X64-NEXT: retq +; ; X32ABI-LABEL: t11: -; X32ABI-NOT: subl ${{[0-9]+}}, %esp -; X32ABI-NOT: addl ${{[0-9]+}}, %esp -; X32ABI: jmp {{_?}}foo5 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: testl %edi, %edi +; X32ABI-NEXT: je .LBB10_1 +; X32ABI-NEXT: # %bb.2: # %bb +; X32ABI-NEXT: jmp foo5 # TAILCALL +; X32ABI-NEXT: .LBB10_1: # %bb6 +; X32ABI-NEXT: xorl %eax, %eax +; X32ABI-NEXT: retq entry: %0 = icmp eq i32 %x, 0 br i1 %0, label %bb6, label %bb @@ -215,20 +288,36 @@ declare i32 @foo5(i32, i32, i32, i32, i32) %struct.t = type { i32, i32, i32, i32, i32 } define i32 @t12(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind ssp { -; 32-LABEL: t12: -; 32-NOT: subl ${{[0-9]+}}, %esp -; 32-NOT: addl ${{[0-9]+}}, %esp -; 32: jmp {{_?}}foo6 - -; 64-LABEL: t12: -; 64-NOT: subq ${{[0-9]+}}, %rsp -; 64-NOT: addq ${{[0-9]+}}, %rsp -; 64: jmp {{_?}}foo6 - +; X32-LABEL: t12: +; X32: # %bb.0: # %entry +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: testl %eax, %eax +; X32-NEXT: je .LBB11_1 +; X32-NEXT: # %bb.2: # %bb +; X32-NEXT: jmp foo6 # TAILCALL +; X32-NEXT: .LBB11_1: # %bb2 +; X32-NEXT: xorl %eax, %eax +; X32-NEXT: retl +; +; X64-LABEL: t12: +; X64: # %bb.0: # %entry +; X64-NEXT: testl %edi, %edi +; X64-NEXT: je .LBB11_1 +; X64-NEXT: # %bb.2: # %bb +; X64-NEXT: jmp foo6 # TAILCALL +; X64-NEXT: .LBB11_1: # %bb2 +; X64-NEXT: xorl %eax, %eax +; X64-NEXT: retq +; ; X32ABI-LABEL: t12: -; X32ABI-NOT: subl ${{[0-9]+}}, %esp -; X32ABI-NOT: addl ${{[0-9]+}}, %esp -; X32ABI: jmp {{_?}}foo6 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: testl %edi, %edi +; X32ABI-NEXT: je .LBB11_1 +; X32ABI-NEXT: # %bb.2: # %bb +; X32ABI-NEXT: jmp foo6 # TAILCALL +; X32ABI-NEXT: .LBB11_1: # %bb2 +; X32ABI-NEXT: xorl %eax, %eax +; X32ABI-NEXT: retq entry: %0 = icmp eq i32 %x, 0 br i1 %0, label %bb2, label %bb @@ -248,20 +337,52 @@ declare i32 @foo6(i32, i32, %struct.t* byval align 4) %struct.cp = type { float, float, float, float, float } define %struct.ns* @t13(%struct.cp* %yy) nounwind ssp { -; 32-LABEL: t13: -; 32-NOT: jmp -; 32: calll -; 32: ret - -; 64-LABEL: t13: -; 64-NOT: jmp -; 64: callq -; 64: ret - +; X32-LABEL: t13: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $28, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: movl 16(%eax), %ecx +; X32-NEXT: movl %ecx, {{[0-9]+}}(%esp) +; X32-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; X32-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero +; X32-NEXT: movsd %xmm1, {{[0-9]+}}(%esp) +; X32-NEXT: movsd %xmm0, (%esp) +; X32-NEXT: xorl %ecx, %ecx +; X32-NEXT: calll foo7 +; X32-NEXT: addl $28, %esp +; X32-NEXT: retl +; +; X64-LABEL: t13: +; X64: # %bb.0: # %entry +; X64-NEXT: pushq %rax +; X64-NEXT: subq $8, %rsp +; X64-NEXT: movl 16(%rdi), %eax +; X64-NEXT: movq (%rdi), %rcx +; X64-NEXT: movq 8(%rdi), %rdx +; X64-NEXT: xorl %edi, %edi +; X64-NEXT: pushq %rax +; X64-NEXT: pushq %rdx +; X64-NEXT: pushq %rcx +; X64-NEXT: callq foo7 +; X64-NEXT: addq $32, %rsp +; X64-NEXT: popq %rcx +; X64-NEXT: retq +; ; X32ABI-LABEL: t13: -; X32ABI-NOT: jmp -; X32ABI: callq -; X32ABI: ret +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: pushq %rax +; X32ABI-NEXT: subl $8, %esp +; X32ABI-NEXT: movl 16(%edi), %eax +; X32ABI-NEXT: movq (%edi), %rcx +; X32ABI-NEXT: movq 8(%edi), %rdx +; X32ABI-NEXT: xorl %edi, %edi +; X32ABI-NEXT: pushq %rax +; X32ABI-NEXT: pushq %rdx +; X32ABI-NEXT: pushq %rcx +; X32ABI-NEXT: callq foo7 +; X32ABI-NEXT: addl $32, %esp +; X32ABI-NEXT: popq %rcx +; X32ABI-NEXT: retq entry: %0 = tail call fastcc %struct.ns* @foo7(%struct.cp* byval align 4 %yy, i8 signext 0) nounwind ret %struct.ns* %0 @@ -277,16 +398,27 @@ declare fastcc %struct.ns* @foo7(%struct.cp* byval align 4, i8 signext) nounwind %struct.__block_literal_2 = type { i8*, i32, i32, i8*, %struct.__block_descriptor_withcopydispose*, void ()* } define void @t14(%struct.__block_literal_2* nocapture %.block_descriptor) nounwind ssp { -entry: -; 64-LABEL: t14: -; 64: movq 32(%rdi) -; 64-NOT: movq 16(%rdi) -; 64: jmpq *16({{%rdi|%rax}}) - +; X32-LABEL: t14: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: movl 20(%eax), %eax +; X32-NEXT: movl %eax, (%esp) +; X32-NEXT: calll *12(%eax) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t14: +; X64: # %bb.0: # %entry +; X64-NEXT: movq 32(%rdi), %rdi +; X64-NEXT: jmpq *16(%rdi) # TAILCALL +; ; X32ABI-LABEL: t14: -; X32ABI: movl 20(%edi), %edi -; X32ABI-NEXT: movl 12(%edi), %eax -; X32ABI-NEXT: jmpq *%rax +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: movl 20(%edi), %edi +; X32ABI-NEXT: movl 12(%edi), %eax +; X32ABI-NEXT: jmpq *%rax # TAILCALL +entry: %0 = getelementptr inbounds %struct.__block_literal_2, %struct.__block_literal_2* %.block_descriptor, i64 0, i32 5 ; [#uses=1] %1 = load void ()*, void ()** %0, align 8 ; [#uses=2] %2 = bitcast void ()* %1 to %struct.__block_literal_1* ; <%struct.__block_literal_1*> [#uses=1] @@ -302,17 +434,35 @@ entry: %struct.foo = type { [4 x i32] } define void @t15(%struct.foo* noalias sret %agg.result) nounwind { -; 32-LABEL: t15: -; 32: calll {{_?}}f -; 32: retl $4 - -; 64-LABEL: t15: -; 64: callq {{_?}}f -; 64: retq - +; X32-LABEL: t15: +; X32: # %bb.0: +; X32-NEXT: pushl %esi +; X32-NEXT: subl $8, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %esi +; X32-NEXT: movl %esi, %ecx +; X32-NEXT: calll f +; X32-NEXT: movl %esi, %eax +; X32-NEXT: addl $8, %esp +; X32-NEXT: popl %esi +; X32-NEXT: retl $4 +; +; X64-LABEL: t15: +; X64: # %bb.0: +; X64-NEXT: pushq %rbx +; X64-NEXT: movq %rdi, %rbx +; X64-NEXT: callq f +; X64-NEXT: movq %rbx, %rax +; X64-NEXT: popq %rbx +; X64-NEXT: retq +; ; X32ABI-LABEL: t15: -; X32ABI: callq {{_?}}f -; X32ABI: retq +; X32ABI: # %bb.0: +; X32ABI-NEXT: pushq %rbx +; X32ABI-NEXT: movl %edi, %ebx +; X32ABI-NEXT: callq f +; X32ABI-NEXT: movl %ebx, %eax +; X32ABI-NEXT: popq %rbx +; X32ABI-NEXT: retq tail call fastcc void @f(%struct.foo* noalias sret %agg.result) nounwind ret void } @@ -320,16 +470,22 @@ define void @t15(%struct.foo* noalias sret %agg.result) nounwind { declare void @f(%struct.foo* noalias sret) nounwind define void @t16() nounwind ssp { -entry: -; 32-LABEL: t16: -; 32: calll {{_?}}bar4 -; 32: fstp - -; 64-LABEL: t16: -; 64: jmp {{_?}}bar4 - +; X32-LABEL: t16: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: calll bar4 +; X32-NEXT: fstp %st(0) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t16: +; X64: # %bb.0: # %entry +; X64-NEXT: jmp bar4 # TAILCALL +; ; X32ABI-LABEL: t16: -; X32ABI: jmp {{_?}}bar4 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: jmp bar4 # TAILCALL +entry: %0 = tail call double @bar4() nounwind ret void } @@ -338,17 +494,20 @@ declare double @bar4() ; rdar://6283267 define void @t17() nounwind ssp { -entry: -; 32-LABEL: t17: -; 32: jmp {{_?}}bar5 - -; 64-LABEL: t17: -; 64: xorl %eax, %eax -; 64: jmp {{_?}}bar5 - +; X32-LABEL: t17: +; X32: # %bb.0: # %entry +; X32-NEXT: jmp bar5 # TAILCALL +; +; X64-LABEL: t17: +; X64: # %bb.0: # %entry +; X64-NEXT: xorl %eax, %eax +; X64-NEXT: jmp bar5 # TAILCALL +; ; X32ABI-LABEL: t17: -; X32ABI: xorl %eax, %eax -; X32ABI: jmp {{_?}}bar5 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: xorl %eax, %eax +; X32ABI-NEXT: jmp bar5 # TAILCALL +entry: tail call void (...) @bar5() nounwind ret void } @@ -357,18 +516,24 @@ declare void @bar5(...) ; rdar://7774847 define void @t18() nounwind ssp { -entry: -; 32-LABEL: t18: -; 32: calll {{_?}}bar6 -; 32: fstp %st(0) - -; 64-LABEL: t18: -; 64: xorl %eax, %eax -; 64: jmp {{_?}}bar6 - +; X32-LABEL: t18: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: calll bar6 +; X32-NEXT: fstp %st(0) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t18: +; X64: # %bb.0: # %entry +; X64-NEXT: xorl %eax, %eax +; X64-NEXT: jmp bar6 # TAILCALL +; ; X32ABI-LABEL: t18: -; X32ABI: xorl %eax, %eax -; X32ABI: jmp {{_?}}bar6 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: xorl %eax, %eax +; X32ABI-NEXT: jmp bar6 # TAILCALL +entry: %0 = tail call double (...) @bar6() nounwind ret void } @@ -376,14 +541,39 @@ entry: declare double @bar6(...) define void @t19() alignstack(32) nounwind { -entry: -; CHECK-LABEL: t19: -; CHECK: andl $-32 -; CHECK: calll {{_?}}foo - +; X32-LABEL: t19: +; X32: # %bb.0: # %entry +; X32-NEXT: pushl %ebp +; X32-NEXT: movl %esp, %ebp +; X32-NEXT: andl $-32, %esp +; X32-NEXT: subl $32, %esp +; X32-NEXT: calll foo +; X32-NEXT: movl %ebp, %esp +; X32-NEXT: popl %ebp +; X32-NEXT: retl +; +; X64-LABEL: t19: +; X64: # %bb.0: # %entry +; X64-NEXT: pushq %rbp +; X64-NEXT: movq %rsp, %rbp +; X64-NEXT: andq $-32, %rsp +; X64-NEXT: subq $32, %rsp +; X64-NEXT: callq foo +; X64-NEXT: movq %rbp, %rsp +; X64-NEXT: popq %rbp +; X64-NEXT: retq +; ; X32ABI-LABEL: t19: -; X32ABI: andl $-32 -; X32ABI: callq {{_?}}foo +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: pushq %rbp +; X32ABI-NEXT: movl %esp, %ebp +; X32ABI-NEXT: andl $-32, %esp +; X32ABI-NEXT: subl $32, %esp +; X32ABI-NEXT: callq foo +; X32ABI-NEXT: movl %ebp, %esp +; X32ABI-NEXT: popq %rbp +; X32ABI-NEXT: retq +entry: tail call void @foo() nounwind ret void } @@ -393,16 +583,24 @@ entry: ; rdar://7874780 define double @t20(double %x) nounwind { -entry: -; 32-LABEL: t20: -; 32: calll {{_?}}foo20 -; 32: fldl (%esp) - -; 64-LABEL: t20: -; 64: jmp {{_?}}foo20 - +; X32-LABEL: t20: +; X32: # %bb.0: # %entry +; X32-NEXT: subl $12, %esp +; X32-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; X32-NEXT: calll foo20 +; X32-NEXT: movsd %xmm0, (%esp) +; X32-NEXT: fldl (%esp) +; X32-NEXT: addl $12, %esp +; X32-NEXT: retl +; +; X64-LABEL: t20: +; X64: # %bb.0: # %entry +; X64-NEXT: jmp foo20 # TAILCALL +; ; X32ABI-LABEL: t20: -; X32ABI: jmp {{_?}}foo20 +; X32ABI: # %bb.0: # %entry +; X32ABI-NEXT: jmp foo20 # TAILCALL +entry: %0 = tail call fastcc double @foo20(double %x) nounwind ret double %0 } -- 2.11.0