From aa596f3568a1b04ce33177959da95a9a58e65ff4 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Thu, 26 Oct 2006 00:51:58 +0000 Subject: [PATCH] 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 --- .../PredicateSimplifier/2006-10-22-IntOr.ll | 27 ++++++++++++++++--- 1 file 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 181952bd908..f9f2dc2324f 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 ; [#uses=1] - %tmp = setne int %tmp2, 0 ; [#uses=1] + %tmp = seteq int %tmp2, 0 ; [#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 ; [#uses=1] + %tmp = setne int %tmp2, 0 ; [#uses=1] + br bool %tmp, label %cond_true, label %return + +cond_true: ; preds = %entry + %tmp4 = seteq int %x, 0 ; [#uses=1] + br bool %tmp4, label %cond_true5, label %return + +cond_true5: ; preds = %cond_true + %tmp6 = call int %pass( ) ; [#uses=0] + ret int %tmp6 + +return: ; preds = %cond_next7 + ret int 0 +} + declare int %fail() +declare int %pass()