[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2007-03-19-BadTruncChangePR1261.ll
blob589bd805d6ddb3da557211ce647ffd3e14aacb0d
1 ; RUN: opt < %s -instcombine -S | grep zext
2 ; PR1261. 
4 define i16 @test(i31 %zzz) {
5   %A = sext i31 %zzz to i32
6   %B = add i32 %A, 16384
7   %C = lshr i32 %B, 15
8   %D = trunc i32 %C to i16
9   ret i16 %D