[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr26350.ll
blob0de1e7840ff0992c965bc55af152970f071ba38a
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -disable-constant-hoisting < %s | FileCheck %s
3 target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
4 target triple = "i386-unknown-linux-gnu"
6 @d = global i32 8, align 4
8 define i32 @main() {
9 ; CHECK-LABEL: main:
10 ; CHECK:       # %bb.0: # %entry
11 ; CHECK-NEXT:    movl d, %eax
12 ; CHECK-NEXT:    movl %eax, %ecx
13 ; CHECK-NEXT:    shrl $31, %ecx
14 ; CHECK-NEXT:    addl %eax, %eax
15 ; CHECK-NEXT:    andl $16, %eax
16 ; CHECK-NEXT:    cmpl $-1, %eax
17 ; CHECK-NEXT:    sbbl $0, %ecx
18 ; CHECK-NEXT:    setb %al
19 ; CHECK-NEXT:    movzbl %al, %eax
20 ; CHECK-NEXT:    retl
21 entry:
22   %load = load i32, i32* @d, align 4
23   %conv1 = zext i32 %load to i64
24   %shl = shl i64 %conv1, 1
25   %mul = and i64 %shl, 4294967312
26   %cmp = icmp ugt i64 4294967295, %mul
27   %zext = zext i1 %cmp to i32
28   ret i32 %zext