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

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
cebe850d · Richard Sandiford · Richard Sandiford · e1c444fe · cebe850d · cebe850d
Commit cebe850d authored Apr 30, 2015 by Richard Sandiford Committed by Richard Sandiford Apr 30, 2015
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/genrecog.c
+2 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+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

--- 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),