re PR tree-optimization/27341 (ICE in in add_virtual_operand with complex types)

2006-06-19  Daniel Berlin  <dberlin@dberlin.org>

	Fix PR tree-optimization/27341
	* tree-cfg.c (gimplify_val): Call mark_new_vars_to_rename on the
	statement we get.
	* tree-complex.c (pass_lower_complex): Update SMT usage.

From-SVN: r114771

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2c7c65a6d9f999e4358df79d3bd68e622c94c962..34b7da6cbbe30162739c3ea8683453098a599440 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2006-06-19  Daniel Berlin  <dberlin@dberlin.org>
+
+       Fix PR tree-optimization/27341
+       * tree-cfg.c (gimplify_val): Call mark_new_vars_to_rename on the
+       statement we get.
+       * tree-complex.c (pass_lower_complex): Update SMT usage.        
+
 2006-06-19  Andreas Krebbel  <krebbel1@de.ibm.com>
 
        * config/s390/s390.md ("doloop_si64", "doloop_si31", "doloop_di"): 

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr27341-1.c b/gcc/testsuite/gcc.c-torture/compile/pr27341-1.c
new file mode 100644 (file)
index 0000000..b77e937
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr27341-1.c
@@ -0,0 +1,7 @@
+extern double R_NaReal;
+void z_atan2 (double _Complex * r, double _Complex * ccs)
+{
+    if (*ccs == 0)
+        __imag__ *r = R_NaReal;
+}
+

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr27341-2.c b/gcc/testsuite/gcc.c-torture/compile/pr27341-2.c
new file mode 100644 (file)
index 0000000..e6be1e4
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr27341-2.c
@@ -0,0 +1,8 @@
+void zgemm_ (const int*, const double*);
+extern void matmul_c8 (_Complex double * dest)
+{
+  const int  ldc = 0;
+  const double zero = 0;
+  zgemm_ ( &zero, &ldc);
+  dest[1] += 1 ;
+}

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index a3fed03956fb1ea723e99f31339592576ffbf2f8..6dbb7d367e1e7f4df83edb899bc532a6132bfd02 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -5584,6 +5584,8 @@ gimplify_val (block_stmt_iterator *bsi, tree type, tree exp)
   TREE_BLOCK (new_stmt) = TREE_BLOCK (orig_stmt);
 
   bsi_insert_before (bsi, new_stmt, BSI_SAME_STMT);
+  if (in_ssa_p)
+    mark_new_vars_to_rename (new_stmt);
 
   return t;
 }

diff --git a/gcc/tree-complex.c b/gcc/tree-complex.c
index 0a5040ebfcdeb13bab8c4d2ef5aa31214864e10c..f841844f88e02ada12ba935b901482d2d03c2f8c 100644 (file)
--- a/gcc/tree-complex.c
+++ b/gcc/tree-complex.c
@@ -1541,11 +1541,12 @@ struct tree_opt_pass pass_lower_complex =
   0,                                   /* tv_id */
   PROP_ssa,                            /* properties_required */
   0,                                   /* properties_provided */
-  0,                                   /* properties_destroyed */
+  PROP_smt_usage,                       /* properties_destroyed */
   0,                                   /* todo_flags_start */
   TODO_dump_func | TODO_ggc_collect
-    | TODO_update_ssa
-    | TODO_verify_stmts,               /* todo_flags_finish */
+  | TODO_update_smt_usage
+  | TODO_update_ssa
+  | TODO_verify_stmts,                 /* todo_flags_finish */
   0                                    /* letter */
 };