diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2006-10-26 00:51:58 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2006-10-26 00:51:58 +0000 |
| commit | aa596f3568a1b04ce33177959da95a9a58e65ff4 (patch) | |
| tree | a072132cdd7143dd50694a439719b309bcff67e5 | |
| parent | e63bf95a32d17b6b68017e2e9a8ed9c07f6635f2 (diff) | |
This testcase was logically wrong! Fixing, and including the test for the
mistake that I made in the file too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31190 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll | 27 |
1 files changed, 24 insertions, 3 deletions
diff --git a/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll b/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll index 181952bd90..f9f2dc2324 100644 --- a/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll +++ b/test/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll @@ -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() |