[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr27202.ll
blobf8bf22bca8e9f64b46c5c67bc1809a776feda052
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
4 define i1 @foo(i32 %i) optsize {
5 ; CHECK-LABEL: foo:
6 ; CHECK:       # %bb.0:
7 ; CHECK-NEXT:    movl $305419896, %eax # imm = 0x12345678
8 ; CHECK-NEXT:    andl %eax, %edi
9 ; CHECK-NEXT:    cmpl %eax, %edi
10 ; CHECK-NEXT:    sete %al
11 ; CHECK-NEXT:    retq
12   %and = and i32 %i, 305419896
13   %cmp = icmp eq i32 %and, 305419896
14   ret i1 %cmp
17 define zeroext i1 @g(i32 %x) optsize {
18 ; CHECK-LABEL: g:
19 ; CHECK:       # %bb.0:
20 ; CHECK-NEXT:    movl $1, %eax
21 ; CHECK-NEXT:    orl %eax, %edi
22 ; CHECK-NEXT:    cmpl %eax, %edi
23 ; CHECK-NEXT:    sete %al
24 ; CHECK-NEXT:    retq
25   %t0 = or i32 %x, 1
26   %t1 = icmp eq i32 %t0, 1
27   ret i1 %t1