1 ; RUN: opt < %s -instcombine -S | grep {ashr i32 %val, 31} 2 ; PR3851 3 4 define i32 @foo2(i32 %val) nounwind { 5 entry: 6 %shr = ashr i32 %val, 15 ; <i32> [#uses=3] 7 %shr4 = ashr i32 %shr, 17 ; <i32> [#uses=1] 8 ret i32 %shr4 9 } 10