Changes in directory llvm/test/Transforms/InstCombine:
and-or-not.ll added (r1.1) --- Log message: testcase for PR1510: http://llvm.org/PR1510 --- Diffs of the changes: (+27 -0) and-or-not.ll | 27 +++++++++++++++++++++++++++ 1 files changed, 27 insertions(+) Index: llvm/test/Transforms/InstCombine/and-or-not.ll diff -c /dev/null llvm/test/Transforms/InstCombine/and-or-not.ll:1.1 *** /dev/null Fri Jun 15 00:57:30 2007 --- llvm/test/Transforms/InstCombine/and-or-not.ll Fri Jun 15 00:57:20 2007 *************** *** 0 **** --- 1,27 ---- + ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep xor | wc -l | grep 2 + ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep and + ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep { or} + + ; PR1510 + + ; These are all equivelent to A^B + + define i32 @test1(i32 %a, i32 %b) { + entry: + %tmp3 = or i32 %b, %a ; <i32> [#uses=1] + %tmp3not = xor i32 %tmp3, -1 ; <i32> [#uses=1] + %tmp6 = and i32 %b, %a ; <i32> [#uses=1] + %tmp7 = or i32 %tmp6, %tmp3not ; <i32> [#uses=1] + %tmp7not = xor i32 %tmp7, -1 ; <i32> [#uses=1] + ret i32 %tmp7not + } + + define i32 @test2(i32 %a, i32 %b) { + entry: + %tmp3 = or i32 %b, %a ; <i32> [#uses=1] + %tmp6 = and i32 %b, %a ; <i32> [#uses=1] + %tmp6not = xor i32 %tmp6, -1 ; <i32> [#uses=1] + %tmp7 = and i32 %tmp3, %tmp6not ; <i32> [#uses=1] + ret i32 %tmp7 + } + _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
