[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / 2007-05-30-dagcombine-miscomp.ll
blobe91a0aaeaa52caf695a831abb367f6840fccc3d2
1 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s
2 ; PR1473
4 target triple = "powerpc-unknown-linux-gnu"
6 ; CHECK: foo
7 ; CHECK: rlwinm 3, 3, 23, 30, 30
8 ; CHECK: blr
10 define zeroext i8 @foo(i16 zeroext  %a)   {
11         %tmp2 = lshr i16 %a, 10         ; <i16> [#uses=1]
12         %tmp23 = trunc i16 %tmp2 to i8          ; <i8> [#uses=1]
13         %tmp4 = shl i8 %tmp23, 1                ; <i8> [#uses=1]
14         %tmp5 = and i8 %tmp4, 2         ; <i8> [#uses=1]
15         ret i8 %tmp5