; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ashr i32 %val, 31}
; PR3851
define i32 @foo2(i32 %val) nounwind {
entry:
%shr = ashr i32 %val, 15 ; <i32> [#uses=3]
%shr4 = ashr i32 %shr, 17 ; <i32> [#uses=1]
ret i32 %shr4
}