[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / haddsub-shuf-undef-operand.ll
blobb56ff9a9ad0e548dc74bc846dcf4c181b2b52843
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-- -mattr=avx  | FileCheck %s
4 ; Eliminating a shuffle means we have to replace an undef operand of a horizontal op.
6 define void @PR43225(<4 x double>* %p0, <4 x double>* %p1, <4 x double> %x, <4 x double> %y, <4 x double> %z) nounwind {
7 ; CHECK-LABEL: PR43225:
8 ; CHECK:       # %bb.0:
9 ; CHECK-NEXT:    vmovaps (%rdi), %ymm0
10 ; CHECK-NEXT:    vmovaps (%rsi), %ymm0
11 ; CHECK-NEXT:    vhsubpd %ymm2, %ymm2, %ymm0
12 ; CHECK-NEXT:    vmovapd %ymm0, (%rdi)
13 ; CHECK-NEXT:    vzeroupper
14 ; CHECK-NEXT:    retq
15   %t39 = load volatile <4 x double>, <4 x double>* %p0, align 32
16   %shuffle11 = shufflevector <4 x double> %t39, <4 x double> %x, <4 x i32> <i32 1, i32 5, i32 3, i32 7>
17   %t40 = load volatile <4 x double>, <4 x double>* %p1, align 32
18   %t41 = tail call <4 x double> @llvm.x86.avx.hadd.pd.256(<4 x double> %shuffle11, <4 x double> %t40)
19   %t42 = tail call <4 x double> @llvm.x86.avx.hsub.pd.256(<4 x double> %z, <4 x double> %t41)
20   %shuffle12 = shufflevector <4 x double> %t42, <4 x double> undef, <4 x i32> <i32 0, i32 0, i32 2, i32 2>
21   store volatile <4 x double> %shuffle12, <4 x double>* %p0, align 32
22   ret void
25 declare <4 x double> @llvm.x86.avx.hadd.pd.256(<4 x double>, <4 x double>)
26 declare <4 x double> @llvm.x86.avx.hsub.pd.256(<4 x double>, <4 x double>)