isKnownToBeAPowerOfTwo: (X & Y) + Y is a power of 2 or zero if y is also.

[oota-llvm.git] / test / Transforms / InstCombine / and-xor-merge.ll

diff --git a/test/Transforms/InstCombine/and-xor-merge.ll b/test/Transforms/InstCombine/and-xor-merge.ll
index 5472b04dd02a13d9f49d416fadbc1d8ed29432a5..e432a9aef7d14f282e47d63248d6500a11826e39 100644 (file)
--- a/test/Transforms/InstCombine/and-xor-merge.ll
+++ b/test/Transforms/InstCombine/and-xor-merge.ll
@@ -1,5 +1,5 @@
-; RUN: opt %s -instcombine | llvm-dis | grep and | count 1
-; RUN: opt %s -instcombine | llvm-dis | grep xor | count 2
+; RUN: opt < %s -instcombine -S | grep and | count 1
+; RUN: opt < %s -instcombine -S | grep xor | count 2
 
 ; (x&z) ^ (y&z) -> (x^y)&z
 define i32 @test1(i32 %x, i32 %y, i32 %z) {