re PR tree-optimization/57000 (ICE with -Ofast and -frounding-math)

2013-04-19  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/57000
	* tree-ssa-reassoc.c (pass_reassoc): Add TODO_update_ssa_only_virtuals.

	* gcc.dg/tree-ssa/reassoc-27.c: New testcase.

From-SVN: r198087

gcc/ChangeLog

+2013-04-19  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/57000
+	* tree-ssa-reassoc.c (pass_reassoc): Add TODO_update_ssa_only_virtuals.
+
 2013-04-19  Terry Guo  <terry.guo@arm.com>
 
 	* config/arm/cortex-m4-fpu.md (cortex_m4_v): Delete cpu unit.

gcc/testsuite/ChangeLog

+2013-04-19  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/57000
+	* gcc.dg/tree-ssa/reassoc-27.c: New testcase.
+
 2013-04-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
 	    Mikael Morin  <mikael@gcc.gnu.org>
 

gcc/testsuite/gcc.dg/tree-ssa/reassoc-27.c

+/* { dg-do compile } */
+/* { dg-options "-O -ffast-math -frounding-math -fdump-tree-optimized" } */
+
+double baz (double foo, double bar)
+{
+  return foo * foo * foo * foo * bar * bar * bar * bar;
+}
+
+/* We should re-associate this as (foo * bar)**3.  */
+/* { dg-final { scan-tree-dump-times " \\\* " 3 "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */

gcc/tree-ssa-reassoc.c

@@ -4293,6 +4293,7 @@ struct gimple_opt_pass pass_reassoc =
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
   TODO_verify_ssa
+  | TODO_update_ssa_only_virtuals
   | TODO_verify_flow			/* todo_flags_finish */
  }
 };