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

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

From-SVN: r222618

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 854ae4161a900df1a3348d1f02879e9296c778ed..8b18882f652bd97e9003d83e7bcda704d6eaf770 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 e152b3414080e4ef20a332d498741283e5fadc71..cc3ff07338142fb6e943ff9655e13e302267f4d3 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),