1; RUN: opt < %s -instcombine -S | grep zext
2; PR1261.
3
4define 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
10}
11