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

gcc/ChangeLog

+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"): 

gcc/testsuite/gcc.c-torture/compile/pr27341-1.c

+extern double R_NaReal;
+void z_atan2 (double _Complex * r, double _Complex * ccs)
+{
+    if (*ccs == 0)
+        __imag__ *r = R_NaReal;
+}
+

gcc/testsuite/gcc.c-torture/compile/pr27341-2.c

+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 ;
+}

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;
 }

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 */
 };