This testcase was logically wrong! Fixing, and including the test for the

mistake that I made in the file too.

llvm-svn: 31190
This commit is contained in:
Nick Lewycky 2006-10-26 00:51:58 +00:00
parent 9d17c82a26
commit 314ee3ecf0
1 changed files with 24 additions and 3 deletions
llvm/test/Regression/Transforms/PredicateSimplifier

View File

@ -1,9 +1,11 @@
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | not grep fail
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg &&
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep -c fail | grep 1 &&
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep -c pass | grep 1
int %f(int %x, int %y) {
int %test1(int %x, int %y) {
entry:
%tmp2 = or int %x, %y ; <int> [#uses=1]
%tmp = setne int %tmp2, 0 ; <bool> [#uses=1]
%tmp = seteq int %tmp2, 0 ; <bool> [#uses=1]
br bool %tmp, label %cond_true, label %return
cond_true: ; preds = %entry
@ -18,4 +20,23 @@ return: ; preds = %cond_next7
ret int 0
}
int %test2(int %x, int %y) {
entry:
%tmp2 = or int %x, %y ; <int> [#uses=1]
%tmp = setne int %tmp2, 0 ; <bool> [#uses=1]
br bool %tmp, label %cond_true, label %return
cond_true: ; preds = %entry
%tmp4 = seteq int %x, 0 ; <bool> [#uses=1]
br bool %tmp4, label %cond_true5, label %return
cond_true5: ; preds = %cond_true
%tmp6 = call int %pass( ) ; <int> [#uses=0]
ret int %tmp6
return: ; preds = %cond_next7
ret int 0
}
declare int %fail()
declare int %pass()