procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR tree-optimization/57337 (416.gamess ICE on x86 after r199048)

Browse source 
2013-05-28  Easwaran Raman  <eraman@google.com>

	PR tree-optimization/57337
	* tree-ssa-reassoc.c (appears_later_in_bb): New function.
	(find_insert_point): Correctly identify the insertion point
	when two statements with the same UID is compared.

From-SVN: r199385
This commit is contained in:
Easwaran Raman 2013-05-28 17:27:54 +00:00
parent 4fb5478c93
commit 9daf6dbb21
2 changed files with 40 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gcc/ChangeLog
View file

@ -1,3 +1,10 @@
2013-05-28 Easwaran Raman <eraman@google.com>
PR tree-optimization/57337
* tree-ssa-reassoc.c (appears_later_in_bb): New function.
(find_insert_point): Correctly identify the insertion point
when two statements with the same UID is compared.
2013-05-28 Richard Biener <rguenther@suse.de>
PR tree-optimization/56787
@ -464,6 +471,7 @@
* config/rs6000/rs6000-opts.h (PROCESSOR_POWER8): Likewise.
(enum rs6000_vector): Add power8 vector support.
>>>>>>> .r199383
2013-05-22 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
PR target/19599
@ -495,8 +503,8 @@
2013-05-21 Easwaran Raman <eraman@google.com>
PR tree-optimization/57322
* (build_and_add_sum): If a BB is empty, set the UID of the statement
added to the BB to be 1.
* tree-ssa-reassoc.c (build_and_add_sum): If a BB is empty, set the
UID of the statement added to the BB to be 1.
2013-05-21 Jakub Jelinek <jakub@redhat.com>

31
gcc/tree-ssa-reassoc.c
View file

@ -2866,6 +2866,31 @@ not_dominated_by (gimple a, gimple b)
}
/* Among STMT1 and STMT2, return the statement that appears later. Both
statements are in same BB and have the same UID. */
static gimple
appears_later_in_bb (gimple stmt1, gimple stmt2)
{
unsigned uid = gimple_uid (stmt1);
gimple_stmt_iterator gsi = gsi_for_stmt (stmt1);
gsi_next (&gsi);
if (gsi_end_p (gsi))
return stmt1;
for (; !gsi_end_p (gsi); gsi_next (&gsi))
{
gimple stmt = gsi_stmt (gsi);
/* If STMT has a different UID than STMT1 and we haven't seen
STMT2 during traversal, we know STMT1 appears later. */
if (gimple_uid (stmt) != uid)
return stmt1;
else if (stmt == stmt2)
return stmt2;
}
gcc_unreachable ();
}
/* Find the statement after which STMT must be moved so that the
dependency from DEP_STMT to STMT is maintained. */
@ -2875,7 +2900,11 @@ find_insert_point (gimple stmt, gimple dep_stmt)
gimple insert_stmt = stmt;
if (dep_stmt == NULL)
return stmt;
if (not_dominated_by (insert_stmt, dep_stmt))
if (gimple_uid (insert_stmt) == gimple_uid (dep_stmt)
&& gimple_bb (insert_stmt) == gimple_bb (dep_stmt)
&& insert_stmt != dep_stmt)
insert_stmt = appears_later_in_bb (insert_stmt, dep_stmt);
else if (not_dominated_by (insert_stmt, dep_stmt))
insert_stmt = dep_stmt;
return insert_stmt;
}