diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
| commit | 83b3d8267225d585678d5d3af9bba5735f4b415d (patch) | |
| tree | 9d6c2ad7bfd568186e83a39e6f03e1c0bf415715 /llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll | |
| parent | 100602d7561ca5e245db6194bddae86357d203d4 (diff) | |
| download | bcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.tar.gz bcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.zip | |
Regression is gone, don't try to find it on clean target.
llvm-svn: 33296
Diffstat (limited to 'llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll')
| -rw-r--r-- | llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll b/llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll new file mode 100644 index 00000000000..0cdd58085b7 --- /dev/null +++ b/llvm/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll @@ -0,0 +1,52 @@ +; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -instcombine -simplifycfg -disable-output && +; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | not grep fail && +; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep -c pass | grep 3 + +int %test1(int %x, int %y) { +entry: + %tmp2 = or int %x, %y ; <int> [#uses=1] + %tmp = seteq 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 %cond_false + +cond_true5: ; preds = %cond_true + %tmp6 = call int %pass( ) ; <int> [#uses=1] + ret int %tmp6 + +cond_false: + %tmp8 = call int %fail ( ) ; <int> [#uses=1] + ret int %tmp8 + +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 %cond_false + +cond_true5: ; preds = %cond_true + %tmp6 = call int %pass1( ) ; <int> [#uses=1] + ret int %tmp6 + +cond_false: + %tmp8 = call int %pass2( ) ; <int> [#uses=1] + ret int %tmp8 + +return: ; preds = %cond_next7 + ret int 0 +} + +declare int %fail() +declare int %pass() +declare int %pass1() +declare int %pass2() |
