[llvm] 0b7b21d - [X86] Add test cases for regcall function that takes a long double as a parameter, but does not return a long double.

[Craig Topper via llvm-commits]

Author: Craig Topper
Date: 2020-01-01T18:53:12-08:00
New Revision: 0b7b21dce46572c335c0d94b0f24464611389a36

URL: https://github.com/llvm/llvm-project/commit/0b7b21dce46572c335c0d94b0f24464611389a36
DIFF: https://github.com/llvm/llvm-project/commit/0b7b21dce46572c335c0d94b0f24464611389a36.diff

LOG: [X86] Add test cases for regcall function that takes a long double as a parameter, but does not return a long double.

I believe we are incorrectly doing some FP stack manipulations
after the call.

Added: 
    

Modified: 
    llvm/test/CodeGen/X86/avx512-regcall-NoMask.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/X86/avx512-regcall-NoMask.ll b/llvm/test/CodeGen/X86/avx512-regcall-NoMask.ll
index 1cb5931eb05a..676bda2f0330 100644
--- a/llvm/test/CodeGen/X86/avx512-regcall-NoMask.ll
+++ b/llvm/test/CodeGen/X86/avx512-regcall-NoMask.ll
@@ -524,6 +524,42 @@ define x86_regcallcc x86_fp80 @test_argRetf80(x86_fp80 %a0) nounwind {
   ret x86_fp80 %r0
 }
 
+; Test regcall when receiving/returning long double
+define double @test_argParamf80(x86_fp80 %a0) nounwind {
+; X32-LABEL: test_argParamf80:
+; X32:       # %bb.0:
+; X32-NEXT:    pushl %ebp
+; X32-NEXT:    movl %esp, %ebp
+; X32-NEXT:    andl $-8, %esp
+; X32-NEXT:    subl $16, %esp
+; X32-NEXT:    fldt 8(%ebp)
+; X32-NEXT:    fstpl {{[0-9]+}}(%esp)
+; X32-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
+; X32-NEXT:    vmovsd %xmm0, (%esp)
+; X32-NEXT:    fldl (%esp)
+; X32-NEXT:    movl %ebp, %esp
+; X32-NEXT:    popl %ebp
+; X32-NEXT:    retl
+;
+; WIN64-LABEL: test_argParamf80:
+; WIN64:       # %bb.0:
+; WIN64-NEXT:    pushq %rax
+; WIN64-NEXT:    fldt (%rcx)
+; WIN64-NEXT:    fstpl (%rsp)
+; WIN64-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
+; WIN64-NEXT:    popq %rax
+; WIN64-NEXT:    retq
+;
+; LINUXOSX64-LABEL: test_argParamf80:
+; LINUXOSX64:       # %bb.0:
+; LINUXOSX64-NEXT:    fldt {{[0-9]+}}(%rsp)
+; LINUXOSX64-NEXT:    fstpl -{{[0-9]+}}(%rsp)
+; LINUXOSX64-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
+; LINUXOSX64-NEXT:    retq
+  %r0 = fptrunc x86_fp80 %a0 to double
+  ret double %r0
+}
+
 ; Test regcall when passing/retrieving long double
 define x86_regcallcc x86_fp80 @test_CallargRetf80(x86_fp80 %a)  {
 ; X32-LABEL: test_CallargRetf80:
@@ -566,6 +602,50 @@ define x86_regcallcc x86_fp80 @test_CallargRetf80(x86_fp80 %a)  {
   ret x86_fp80 %d
 }
 
+define x86_regcallcc double @test_CallargParamf80(x86_fp80 %a)  {
+; X32-LABEL: test_CallargParamf80:
+; X32:       # %bb.0:
+; X32-NEXT:    pushl %esp
+; X32-NEXT:    fadd %st, %st(0)
+; X32-NEXT:    calll _test_argParamf80
+; X32-NEXT:    vaddsd %xmm0, %xmm0, %xmm0
+; X32-NEXT:    fstp %st(0)
+; X32-NEXT:    popl %esp
+; X32-NEXT:    retl
+;
+; WIN64-LABEL: test_CallargParamf80:
+; WIN64:       # %bb.0:
+; WIN64-NEXT:    pushq %rsp
+; WIN64-NEXT:    .seh_pushreg %rsp
+; WIN64-NEXT:    .seh_endprologue
+; WIN64-NEXT:    fadd %st, %st(0)
+; WIN64-NEXT:    callq test_argParamf80
+; WIN64-NEXT:    vaddsd %xmm0, %xmm0, %xmm0
+; WIN64-NEXT:    fstp %st(0)
+; WIN64-NEXT:    popq %rsp
+; WIN64-NEXT:    retq
+; WIN64-NEXT:    .seh_handlerdata
+; WIN64-NEXT:    .text
+; WIN64-NEXT:    .seh_endproc
+;
+; LINUXOSX64-LABEL: test_CallargParamf80:
+; LINUXOSX64:       # %bb.0:
+; LINUXOSX64-NEXT:    pushq %rsp
+; LINUXOSX64-NEXT:    .cfi_def_cfa_offset 16
+; LINUXOSX64-NEXT:    .cfi_offset %rsp, -16
+; LINUXOSX64-NEXT:    fadd %st, %st(0)
+; LINUXOSX64-NEXT:    callq test_argParamf80
+; LINUXOSX64-NEXT:    vaddsd %xmm0, %xmm0, %xmm0
+; LINUXOSX64-NEXT:    fstp %st(0)
+; LINUXOSX64-NEXT:    popq %rsp
+; LINUXOSX64-NEXT:    .cfi_def_cfa_offset 8
+; LINUXOSX64-NEXT:    retq
+  %b = fadd x86_fp80 %a, %a
+  %c = call x86_regcallcc double @test_argParamf80(x86_fp80 %b)
+  %d = fadd double %c, %c
+  ret double %d
+}
+
 ; Test regcall when receiving/returning pointer
 define x86_regcallcc [4 x i32]* @test_argRetPointer([4 x i32]* %a)  {
 ; X32-LABEL: test_argRetPointer: