1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-linux-android -mattr=+mmx -enable-legalize-types-checking | FileCheck %s
3;
4; D31946
5; Check that we dont end up with the ""LLVM ERROR: Cannot select" error.
6; Additionally ensure that the output code actually put fp128 values in SSE registers.
7
8declare fp128 @llvm.fabs.f128(fp128)
9declare fp128 @llvm.copysign.f128(fp128, fp128)
10
11define fp128 @TestSelect(fp128 %a, fp128 %b) {
12; CHECK-LABEL: TestSelect:
13; CHECK:       # %bb.0:
14; CHECK-NEXT:    pushq %rbx
15; CHECK-NEXT:    .cfi_def_cfa_offset 16
16; CHECK-NEXT:    subq $32, %rsp
17; CHECK-NEXT:    .cfi_def_cfa_offset 48
18; CHECK-NEXT:    .cfi_offset %rbx, -16
19; CHECK-NEXT:    movaps %xmm1, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
20; CHECK-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
21; CHECK-NEXT:    callq __gttf2
22; CHECK-NEXT:    movl %eax, %ebx
23; CHECK-NEXT:    movaps (%rsp), %xmm0 # 16-byte Reload
24; CHECK-NEXT:    movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload
25; CHECK-NEXT:    callq __subtf3
26; CHECK-NEXT:    testl %ebx, %ebx
27; CHECK-NEXT:    jg .LBB0_2
28; CHECK-NEXT:  # %bb.1:
29; CHECK-NEXT:    xorps %xmm0, %xmm0
30; CHECK-NEXT:  .LBB0_2:
31; CHECK-NEXT:    addq $32, %rsp
32; CHECK-NEXT:    .cfi_def_cfa_offset 16
33; CHECK-NEXT:    popq %rbx
34; CHECK-NEXT:    .cfi_def_cfa_offset 8
35; CHECK-NEXT:    retq
36  %cmp = fcmp ogt fp128 %a, %b
37  %sub = fsub fp128 %a, %b
38  %res = select i1 %cmp, fp128 %sub, fp128 0xL00000000000000000000000000000000
39  ret fp128 %res
40}
41
42define fp128 @TestFabs(fp128 %a) {
43; CHECK-LABEL: TestFabs:
44; CHECK:       # %bb.0:
45; CHECK-NEXT:    andps {{.*}}(%rip), %xmm0
46; CHECK-NEXT:    retq
47  %res = call fp128 @llvm.fabs.f128(fp128 %a)
48  ret fp128 %res
49}
50
51define fp128 @TestCopysign(fp128 %a, fp128 %b) {
52; CHECK-LABEL: TestCopysign:
53; CHECK:       # %bb.0:
54; CHECK-NEXT:    andps {{.*}}(%rip), %xmm1
55; CHECK-NEXT:    andps {{.*}}(%rip), %xmm0
56; CHECK-NEXT:    orps %xmm1, %xmm0
57; CHECK-NEXT:    retq
58  %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b)
59  ret fp128 %res
60}
61
62define fp128 @TestFneg(fp128 %a) {
63; CHECK-LABEL: TestFneg:
64; CHECK:       # %bb.0:
65; CHECK-NEXT:    pushq %rax
66; CHECK-NEXT:    .cfi_def_cfa_offset 16
67; CHECK-NEXT:    movaps %xmm0, %xmm1
68; CHECK-NEXT:    callq __multf3
69; CHECK-NEXT:    xorps {{.*}}(%rip), %xmm0
70; CHECK-NEXT:    popq %rax
71; CHECK-NEXT:    .cfi_def_cfa_offset 8
72; CHECK-NEXT:    retq
73  %mul = fmul fp128 %a, %a
74  %res = fsub fp128 0xL00000000000000008000000000000000, %mul
75  ret fp128 %res
76}
77