git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR middle-end/69983 (FAIL: gcc.dg/graphite/scop-sor.c scan-tree-dump-times graphite "number of SCoPs: 1" 1) 

2016-03-01  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69983
	* tree-chrec.c (eq_evolutions_p): Handle conversions, compare
	types and fall back to operand_equal_p.

From-SVN: r233856
This commit is contained in:
Richard Biener 2016-03-01 15:58:25 +00:00 committed by Richard Biener
parent 1be56bc542
commit e546907cd9
2 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2016-03-01 Richard Biener <rguenther@suse.de>
PR tree-optimization/69983
* tree-chrec.c (eq_evolutions_p): Handle conversions, compare
types and fall back to operand_equal_p.
2016-03-01 Andreas Krebbel <krebbel@linux.vnet.ibm.com> 2016-03-01 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
Revert Revert

12
gcc/tree-chrec.c
View File

@ -1468,11 +1468,11 @@ eq_evolutions_p (const_tree chrec0, const_tree chrec1)
if (chrec0 == chrec1) if (chrec0 == chrec1)
return true; return true;
if (! types_compatible_p (TREE_TYPE (chrec0), TREE_TYPE (chrec1)))
return false;
switch (TREE_CODE (chrec0)) switch (TREE_CODE (chrec0))
{ {
case INTEGER_CST:
return operand_equal_p (chrec0, chrec1, 0);
case POLYNOMIAL_CHREC: case POLYNOMIAL_CHREC:
return (CHREC_VARIABLE (chrec0) == CHREC_VARIABLE (chrec1) return (CHREC_VARIABLE (chrec0) == CHREC_VARIABLE (chrec1)
&& eq_evolutions_p (CHREC_LEFT (chrec0), CHREC_LEFT (chrec1)) && eq_evolutions_p (CHREC_LEFT (chrec0), CHREC_LEFT (chrec1))
@ -1487,8 +1487,12 @@ eq_evolutions_p (const_tree chrec0, const_tree chrec1)
&& eq_evolutions_p (TREE_OPERAND (chrec0, 1), && eq_evolutions_p (TREE_OPERAND (chrec0, 1),
TREE_OPERAND (chrec1, 1)); TREE_OPERAND (chrec1, 1));
CASE_CONVERT:
return eq_evolutions_p (TREE_OPERAND (chrec0, 0),
TREE_OPERAND (chrec1, 0));
default: default:
return false; return operand_equal_p (chrec0, chrec1, 0);
} }
} }