diff --git a/llvm/test/CodeGen/X86/soft-fp-legal-in-HW-reg.ll b/llvm/test/CodeGen/X86/soft-fp-legal-in-HW-reg.ll index ae516c3bf933..cf33a4a20524 100644 --- a/llvm/test/CodeGen/X86/soft-fp-legal-in-HW-reg.ll +++ b/llvm/test/CodeGen/X86/soft-fp-legal-in-HW-reg.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc < %s -mtriple=x86_64-linux-android -mattr=+mmx -enable-legalize-types-checking | FileCheck %s ; ; D31946 @@ -8,48 +9,68 @@ declare fp128 @llvm.fabs.f128(fp128) declare fp128 @llvm.copysign.f128(fp128, fp128) define fp128 @TestSelect(fp128 %a, fp128 %b) { +; CHECK-LABEL: TestSelect: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rbx +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: subq $32, %rsp +; CHECK-NEXT: .cfi_def_cfa_offset 48 +; CHECK-NEXT: .cfi_offset %rbx, -16 +; CHECK-NEXT: movaps %xmm1, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill +; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill +; CHECK-NEXT: callq __gttf2 +; CHECK-NEXT: movl %eax, %ebx +; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload +; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload +; CHECK-NEXT: callq __subtf3 +; CHECK-NEXT: testl %ebx, %ebx +; CHECK-NEXT: jg .LBB0_2 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: xorps %xmm0, %xmm0 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: addq $32, %rsp +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: popq %rbx +; CHECK-NEXT: .cfi_def_cfa_offset 8 +; CHECK-NEXT: retq %cmp = fcmp ogt fp128 %a, %b %sub = fsub fp128 %a, %b %res = select i1 %cmp, fp128 %sub, fp128 0xL00000000000000000000000000000000 ret fp128 %res -; CHECK-LABEL: TestSelect: -; CHECK movaps 16(%rsp), %xmm1 -; CHECK-NEXT callq __subtf3 -; CHECK-NEXT testl %ebx, %ebx -; CHECK-NEXT jg .LBB0_2 -; CHECK-NEXT # %bb.1: -; CHECK-NEXT movaps .LCPI0_0(%rip), %xmm0 -; CHECK-NEXT .LBB0_2: -; CHECK-NEXT addq $32, %rsp -; CHECK-NEXT popq %rbx -; CHECK-NEXT retq } define fp128 @TestFabs(fp128 %a) { +; CHECK-LABEL: TestFabs: +; CHECK: # %bb.0: +; CHECK-NEXT: andps {{.*}}(%rip), %xmm0 +; CHECK-NEXT: retq %res = call fp128 @llvm.fabs.f128(fp128 %a) ret fp128 %res -; CHECK-LABEL: TestFabs: -; CHECK andps .LCPI1_0(%rip), %xmm0 -; CHECK-NEXT retq } define fp128 @TestCopysign(fp128 %a, fp128 %b) { +; CHECK-LABEL: TestCopysign: +; CHECK: # %bb.0: +; CHECK-NEXT: andps {{.*}}(%rip), %xmm1 +; CHECK-NEXT: andps {{.*}}(%rip), %xmm0 +; CHECK-NEXT: orps %xmm1, %xmm0 +; CHECK-NEXT: retq %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b) ret fp128 %res -; CHECK-LABEL: TestCopysign: -; CHECK andps .LCPI2_1(%rip), %xmm0 -; CHECK-NEXT orps %xmm1, %xmm0 -; CHECK-NEXT retq } define fp128 @TestFneg(fp128 %a) { +; CHECK-LABEL: TestFneg: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: movaps %xmm0, %xmm1 +; CHECK-NEXT: callq __multf3 +; CHECK-NEXT: xorps {{.*}}(%rip), %xmm0 +; CHECK-NEXT: popq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 8 +; CHECK-NEXT: retq %mul = fmul fp128 %a, %a %res = fsub fp128 0xL00000000000000008000000000000000, %mul ret fp128 %res -; CHECK-LABEL: TestFneg: -; CHECK movaps %xmm0, %xmm1 -; CHECK-NEXT callq __multf3 -; CHECK-NEXT xorps .LCPI3_0(%rip), %xmm0 -; CHECK-NEXT popq %rax -; CHECK-NEXT retq }