gcc/

	* genrecog.c (simplify_tests): Check that CONST_INT and XWINT tests
	are for the same position.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@222618 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 854ae41..8b18882 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-04-30  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * genrecog.c (simplify_tests): Check that CONST_INT and XWINT tests
+       are for the same position.
+
 2015-04-29  Aditya Kumar  <hiraditya@hotmail.com>
 
        * tree-vectorizer.c (set_uid_loop_bbs): New.  Factored out of

diff --git a/gcc/genrecog.c b/gcc/genrecog.c
index e152b34..cc3ff07 100644 (file)
--- 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),