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