1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=+f16c < %s | FileCheck %s --check-prefix=ALL --check-prefix=F16C
3; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=+avx < %s | FileCheck %s --check-prefix=ALL --check-prefix=AVX
4
5define zeroext i16 @test1_fast(double %d) #0 {
6; F16C-LABEL: test1_fast:
7; F16C:       # %bb.0: # %entry
8; F16C-NEXT:    vcvtsd2ss %xmm0, %xmm0, %xmm0
9; F16C-NEXT:    vcvtps2ph $4, %xmm0, %xmm0
10; F16C-NEXT:    vmovd %xmm0, %eax
11; F16C-NEXT:    # kill: def $ax killed $ax killed $eax
12; F16C-NEXT:    retq
13;
14; AVX-LABEL: test1_fast:
15; AVX:       # %bb.0: # %entry
16; AVX-NEXT:    pushq %rax
17; AVX-NEXT:    callq __truncdfhf2@PLT
18; AVX-NEXT:    vpextrw $0, %xmm0, %eax
19; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
20; AVX-NEXT:    popq %rcx
21; AVX-NEXT:    retq
22entry:
23  %0 = tail call i16 @llvm.convert.to.fp16.f64(double %d)
24  ret i16 %0
25}
26
27define zeroext i16 @test2_fast(x86_fp80 %d) #0 {
28; ALL-LABEL: test2_fast:
29; ALL:       # %bb.0: # %entry
30; ALL-NEXT:    subq $24, %rsp
31; ALL-NEXT:    fldt {{[0-9]+}}(%rsp)
32; ALL-NEXT:    fstpt (%rsp)
33; ALL-NEXT:    callq __truncxfhf2@PLT
34; ALL-NEXT:    vpextrw $0, %xmm0, %eax
35; ALL-NEXT:    # kill: def $ax killed $ax killed $eax
36; ALL-NEXT:    addq $24, %rsp
37; ALL-NEXT:    retq
38entry:
39  %0 = tail call i16 @llvm.convert.to.fp16.f80(x86_fp80 %d)
40  ret i16 %0
41}
42
43define zeroext i16 @test1(double %d) #1 {
44; F16C-LABEL: test1:
45; F16C:       # %bb.0: # %entry
46; F16C-NEXT:    vcvtsd2ss %xmm0, %xmm0, %xmm0
47; F16C-NEXT:    vcvtps2ph $4, %xmm0, %xmm0
48; F16C-NEXT:    vmovd %xmm0, %eax
49; F16C-NEXT:    # kill: def $ax killed $ax killed $eax
50; F16C-NEXT:    retq
51;
52; AVX-LABEL: test1:
53; AVX:       # %bb.0: # %entry
54; AVX-NEXT:    pushq %rax
55; AVX-NEXT:    callq __truncdfhf2@PLT
56; AVX-NEXT:    vpextrw $0, %xmm0, %eax
57; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
58; AVX-NEXT:    popq %rcx
59; AVX-NEXT:    retq
60entry:
61  %0 = tail call i16 @llvm.convert.to.fp16.f64(double %d)
62  ret i16 %0
63}
64
65define zeroext i16 @test2(x86_fp80 %d) #1 {
66; ALL-LABEL: test2:
67; ALL:       # %bb.0: # %entry
68; ALL-NEXT:    subq $24, %rsp
69; ALL-NEXT:    fldt {{[0-9]+}}(%rsp)
70; ALL-NEXT:    fstpt (%rsp)
71; ALL-NEXT:    callq __truncxfhf2@PLT
72; ALL-NEXT:    vpextrw $0, %xmm0, %eax
73; ALL-NEXT:    # kill: def $ax killed $ax killed $eax
74; ALL-NEXT:    addq $24, %rsp
75; ALL-NEXT:    retq
76entry:
77  %0 = tail call i16 @llvm.convert.to.fp16.f80(x86_fp80 %d)
78  ret i16 %0
79}
80
81declare i16 @llvm.convert.to.fp16.f64(double)
82declare i16 @llvm.convert.to.fp16.f80(x86_fp80)
83
84attributes #0 = { nounwind readnone "unsafe-fp-math"="true" "use-soft-float"="false" }
85attributes #1 = { nounwind readnone "unsafe-fp-math"="false" "use-soft-float"="false" }
86