[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / pr43509.ll
blob4243764d08cf71fbc2fea2bd15e224402cb354a1
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=skx | FileCheck %s
4 define <8 x i8> @foo(<8 x float> %arg) {
5 ; CHECK-LABEL: foo:
6 ; CHECK:       # %bb.0: # %bb
7 ; CHECK-NEXT:    vcmpgtps {{.*}}(%rip){1to8}, %ymm0, %k0
8 ; CHECK-NEXT:    vpmovm2b %k0, %xmm1
9 ; CHECK-NEXT:    vxorps %xmm2, %xmm2, %xmm2
10 ; CHECK-NEXT:    vcmpltps %ymm2, %ymm0, %k1
11 ; CHECK-NEXT:    vmovdqu8 {{.*}}(%rip), %xmm0 {%k1} {z}
12 ; CHECK-NEXT:    vpand %xmm0, %xmm1, %xmm0
13 ; CHECK-NEXT:    vzeroupper
14 ; CHECK-NEXT:    retq
15 bb:
16   %tmp = xor <8 x i8> zeroinitializer, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
17   %tmp1 = fcmp reassoc nsz contract ogt <8 x float> %arg, <float 8.000000e+00, float 8.000000e+00, float 8.000000e+00, float 8.000000e+00, float 8.000000e+00, float 8.000000e+00, float 8.000000e+00, float 8.000000e+00>
18   %tmp2 = zext <8 x i1> %tmp1 to <8 x i8>
19   %tmp3 = and <8 x i8> %tmp, %tmp2
20   %tmp4 = fcmp reassoc nsz contract ogt <8 x float> zeroinitializer, %arg
21   %tmp5 = or <8 x i1> zeroinitializer, %tmp4
22   %tmp6 = zext <8 x i1> %tmp5 to <8 x i8>
23   %tmp7 = and <8 x i8> %tmp3, %tmp6
24   ret <8 x i8> %tmp7