[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / fp128-extract.ll
blob46dbaf292e284bc356a070c11185f128d832cc63
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx -enable-legalize-types-checking | FileCheck %s
3 ; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx -enable-legalize-types-checking | FileCheck %s
5 ; Test the softened result of extractelement op code.
6 define fp128 @TestExtract(<2 x double> %x) nounwind {
7 ; CHECK-LABEL: TestExtract:
8 ; CHECK:       # %bb.0: # %entry
9 ; CHECK-NEXT:    subq $40, %rsp
10 ; CHECK-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
11 ; CHECK-NEXT:    callq __extenddftf2
12 ; CHECK-NEXT:    movaps %xmm0, {{[0-9]+}}(%rsp) # 16-byte Spill
13 ; CHECK-NEXT:    movaps (%rsp), %xmm0 # 16-byte Reload
14 ; CHECK-NEXT:    movhlps {{.*#+}} xmm0 = xmm0[1,1]
15 ; CHECK-NEXT:    callq __extenddftf2
16 ; CHECK-NEXT:    movaps %xmm0, %xmm1
17 ; CHECK-NEXT:    movaps {{[0-9]+}}(%rsp), %xmm0 # 16-byte Reload
18 ; CHECK-NEXT:    callq __multf3
19 ; CHECK-NEXT:    addq $40, %rsp
20 ; CHECK-NEXT:    retq
21 entry:
22   ; Simplified instruction pattern from the output of llvm before r289042,
23   ; for a boost function ...::insert<...>::traverse<...>().
24   %a = fpext <2 x double> %x to <2 x fp128>
25   %0 = extractelement <2 x fp128> %a, i32 0
26   %1 = extractelement <2 x fp128> %a, i32 1
27   %2 = fmul fp128 %0, %1
28   ret fp128 %2