[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr3216.ll
blob237ed7c4d60606feca6ce5f56d2f7693d1f8f427
1 ; RUN: llc < %s -mtriple=i686-- | FileCheck %s
3 @foo = global i8 127
5 define i32 @main() nounwind {
6 ; CHECK-LABEL: main:
7 ; CHECK-NOT: ret
8 ; CHECK: sar{{.}} $5
9 ; CHECK: ret
11    %tmp = load i8, i8* @foo
12    %bf.lo = lshr i8 %tmp, 5
13    %bf.lo.cleared = and i8 %bf.lo, 7
14    %1 = shl i8 %bf.lo.cleared, 5
15    %bf.val.sext = ashr i8 %1, 5
16    %conv = sext i8 %bf.val.sext to i32
17    ret i32 %conv