[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / pr42870.ll
blob575a2653a33f823003a0c764125c2f07db49c5af
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-apple-darwin -mattr=sse | FileCheck %s
4 define i32 @foo(<4 x float>* %a) {
5 ; CHECK-LABEL: foo:
6 ; CHECK:       ## %bb.0: ## %start
7 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
8 ; CHECK-NEXT:    movaps (%eax), %xmm0
9 ; CHECK-NEXT:    movmskps %xmm0, %eax
10 ; CHECK-NEXT:    retl
11 start:
12   %0 = bitcast <4 x float>* %a to <4 x i32>*
13   %1 = load <4 x i32>, <4 x i32>* %0, align 16
14   %2 = icmp slt <4 x i32> %1, zeroinitializer
15   %3 = bitcast <4 x i1> %2 to i4
16   %4 = zext i4 %3 to i32
17   ret i32 %4
20 define i32 @bar(<4 x float> %a) {
21 ; CHECK-LABEL: bar:
22 ; CHECK:       ## %bb.0: ## %start
23 ; CHECK-NEXT:    movmskps %xmm0, %eax
24 ; CHECK-NEXT:    retl
25 start:
26   %0 = bitcast <4 x float> %a to <4 x i32>
27   %1 = icmp slt <4 x i32> %0, zeroinitializer
28   %2 = bitcast <4 x i1> %1 to i4
29   %3 = zext i4 %2 to i32
30   ret i32 %3