[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / widen_compare-1.ll
blobfc6c807c6bfc770688de987fd45961d190aa604d
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown -mattr=+sse4.2 | FileCheck %s --check-prefix=X86
3 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse4.2 | FileCheck %s --check-prefix=X64
5 ; compare v2i16
7 define <2 x i16> @compare_v2i64_to_v2i16_unary(<2 x i16>* %src) nounwind {
8 ; X86-LABEL: compare_v2i64_to_v2i16_unary:
9 ; X86:       # %bb.0:
10 ; X86-NEXT:    pcmpeqd %xmm0, %xmm0
11 ; X86-NEXT:    retl
13 ; X64-LABEL: compare_v2i64_to_v2i16_unary:
14 ; X64:       # %bb.0:
15 ; X64-NEXT:    pcmpeqd %xmm0, %xmm0
16 ; X64-NEXT:    retq
17   %val = load <2 x i16>, <2 x i16>* %src, align 4
18   %cmp = icmp uge <2 x i16> %val, %val
19   %sel = select <2 x i1> %cmp, <2 x i16> <i16 -1, i16 -1>, <2 x i16> zeroinitializer
20   ret <2 x i16> %sel
23 define <2 x i16> @compare_v2i64_to_v2i16_binary(<2 x i16>* %src0, <2 x i16>* %src1) nounwind {
24 ; X86-LABEL: compare_v2i64_to_v2i16_binary:
25 ; X86:       # %bb.0:
26 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
27 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
28 ; X86-NEXT:    movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
29 ; X86-NEXT:    movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
30 ; X86-NEXT:    pmaxuw %xmm1, %xmm0
31 ; X86-NEXT:    pcmpeqw %xmm1, %xmm0
32 ; X86-NEXT:    retl
34 ; X64-LABEL: compare_v2i64_to_v2i16_binary:
35 ; X64:       # %bb.0:
36 ; X64-NEXT:    movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
37 ; X64-NEXT:    movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
38 ; X64-NEXT:    pmaxuw %xmm1, %xmm0
39 ; X64-NEXT:    pcmpeqw %xmm1, %xmm0
40 ; X64-NEXT:    retq
41   %val0 = load <2 x i16>, <2 x i16>* %src0, align 4
42   %val1 = load <2 x i16>, <2 x i16>* %src1, align 4
43   %cmp = icmp uge <2 x i16> %val0, %val1
44   %sel = select <2 x i1> %cmp, <2 x i16> <i16 -1, i16 -1>, <2 x i16> zeroinitializer
45   ret <2 x i16> %sel