From cebe850dfa7ab54ce56340f21c06a73547273870 Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Thu, 30 Apr 2015 11:53:31 +0000 Subject: [PATCH] genrecog.c (simplify_tests): Check that CONST_INT and XWINT tests are for the same position. gcc/ * genrecog.c (simplify_tests): Check that CONST_INT and XWINT tests are for the same position. From-SVN: r222618 --- gcc/ChangeLog | 5 +++++ gcc/genrecog.c | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 854ae4161a9..8b18882f652 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-04-30 Richard Sandiford + + * genrecog.c (simplify_tests): Check that CONST_INT and XWINT tests + are for the same position. + 2015-04-29 Aditya Kumar * tree-vectorizer.c (set_uid_loop_bbs): New. Factored out of diff --git a/gcc/genrecog.c b/gcc/genrecog.c index e152b341408..cc3ff073381 100644 --- a/gcc/genrecog.c +++ b/gcc/genrecog.c @@ -1597,7 +1597,8 @@ simplify_tests (state *s) && d->if_statement_p (&label) && label == CONST_INT) if (decision *second = d->first->to->singleton ()) - if (second->test.kind == test::WIDE_INT_FIELD + if (d->test.pos == second->test.pos + && second->test.kind == test::WIDE_INT_FIELD && second->test.u.opno == 0 && second->if_statement_p (&label) && IN_RANGE (int64_t (label), -- 2.30.2