[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr35918.ll
blob373f72272267240ca1225e0ac5d32303822fe735
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mcpu=skylake | FileCheck %s --check-prefixes=X86,X86-SKYLAKE
3 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mcpu=skx | FileCheck %s --check-prefixes=X86,X86-SKX
4 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=skylake | FileCheck %s --check-prefixes=X64,X64-SKYLAKE
5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=skx | FileCheck %s --check-prefixes=X64,X64-SKX
7 define void @fetch_r16g16_snorm_unorm8(<4 x i8>*, i8*, i32, i32, { [2048 x i32], [128 x i64] }*) nounwind {
8 ; X86-LABEL: fetch_r16g16_snorm_unorm8:
9 ; X86:       # %bb.0: # %entry
10 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
11 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
12 ; X86-NEXT:    vmovd {{.*#+}} xmm0 = mem[0],zero,zero,zero
13 ; X86-NEXT:    vpxor %xmm1, %xmm1, %xmm1
14 ; X86-NEXT:    vpmaxsw %xmm1, %xmm0, %xmm0
15 ; X86-NEXT:    vpsrlw $7, %xmm0, %xmm0
16 ; X86-NEXT:    vpshufb {{.*#+}} xmm0 = xmm0[0,2],zero,xmm0[u,u,u,u,u,u,u,u,u,u,u,u,u]
17 ; X86-NEXT:    vmovd %xmm0, %ecx
18 ; X86-NEXT:    orl $-16777216, %ecx # imm = 0xFF000000
19 ; X86-NEXT:    movl %ecx, (%eax)
20 ; X86-NEXT:    retl
22 ; X64-LABEL: fetch_r16g16_snorm_unorm8:
23 ; X64:       # %bb.0: # %entry
24 ; X64-NEXT:    vmovd {{.*#+}} xmm0 = mem[0],zero,zero,zero
25 ; X64-NEXT:    vpxor %xmm1, %xmm1, %xmm1
26 ; X64-NEXT:    vpmaxsw %xmm1, %xmm0, %xmm0
27 ; X64-NEXT:    vpsrlw $7, %xmm0, %xmm0
28 ; X64-NEXT:    vpshufb {{.*#+}} xmm0 = xmm0[0,2],zero,xmm0[u,u,u,u,u,u,u,u,u,u,u,u,u]
29 ; X64-NEXT:    vmovd %xmm0, %eax
30 ; X64-NEXT:    orl $-16777216, %eax # imm = 0xFF000000
31 ; X64-NEXT:    movl %eax, (%rdi)
32 ; X64-NEXT:    retq
33 entry:
34   %5 = bitcast i8* %1 to <2 x i16>*
35   %6 = load <2 x i16>, <2 x i16>* %5, align 2
36   %7 = shufflevector <2 x i16> %6, <2 x i16> undef, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef>
37   %8 = icmp sgt <4 x i16> %7, zeroinitializer
38   %9 = select <4 x i1> %8, <4 x i16> %7, <4 x i16> zeroinitializer
39   %10 = lshr <4 x i16> %9, <i16 7, i16 7, i16 7, i16 7>
40   %11 = shufflevector <4 x i16> %10, <4 x i16> undef, <2 x i32> <i32 0, i32 1>
41   %12 = shufflevector <4 x i16> %10, <4 x i16> undef, <2 x i32> <i32 2, i32 3>
42   %13 = bitcast <2 x i16> %11 to <4 x i8>
43   %14 = bitcast <2 x i16> %12 to <4 x i8>
44   %15 = shufflevector <4 x i8> %13, <4 x i8> %14, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
45   %16 = bitcast <4 x i8> %15 to i32
46   %17 = and i32 %16, 65535
47   %18 = or i32 %17, -16777216
48   %19 = bitcast <4 x i8>* %0 to i32*
49   store i32 %18, i32* %19, align 4
50   ret void