; PR1271
-; RUN: opt %s -instcombine | llvm-dis | \
-; RUN: grep {ashr i32 %.mp137, 2}
-; END.
+; RUN: opt < %s -instcombine -S | \
+; RUN: grep "ashr exact i32 %.mp137, 2"
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
target triple = "i686-pc-linux-gnu"