Verifier: Call verifyModule() from llc and opt

[oota-llvm.git] / test / Transforms / InstCombine / 2006-02-13-DemandedMiscompile.ll

diff --git a/test/Transforms/InstCombine/2006-02-13-DemandedMiscompile.ll b/test/Transforms/InstCombine/2006-02-13-DemandedMiscompile.ll
index f0703386553c8b6e0c13395ebe5727a248f1f04f..10541ef703255a32efffae055ea3cfc1f83a1e74 100644 (file)
--- a/test/Transforms/InstCombine/2006-02-13-DemandedMiscompile.ll
+++ b/test/Transforms/InstCombine/2006-02-13-DemandedMiscompile.ll
@@ -1,9 +1,10 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output &&
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep undef
+; RUN: opt < %s -instcombine -S | \
+; RUN:   not grep undef
 
-int %test(sbyte %A) {
-       %B = cast sbyte %A to int
-       %C = shr int %B, ubyte 8
-       ret int %C
+define i32 @test(i8 %A) {
+        %B = sext i8 %A to i32          ; <i32> [#uses=1]
+        %C = ashr i32 %B, 8             ; <i32> [#uses=1]
+        ret i32 %C
 }
 
+