ipacp_0.c: New test.

	* gcc.dg/lto/ipacp_0.c: New test.
	* gcc.dg/lto/ipacp_1.c: New test.

	* opts.c (decode_options): Do not disable whopr at ipa_cp.
	* ipa-prop.c (ipa_detect_param_modifications): Walk PHI nodes too.

From-SVN: r159535

gcc/ChangeLog

+2010-05-18  Jan Hubicka  <jh@suse.cz>
+
+	* opts.c (decode_options): Do not disable whopr at ipa_cp.
+	* ipa-prop.c (ipa_detect_param_modifications): Walk PHI nodes too.
+
 2010-05-18  Steven Bosscher  <steven@gcc.gnu.org>
 
 	PR lto/44184

gcc/doc/invoke.texi

@@ -7456,8 +7456,6 @@ that otherwise would not fit in memory.  This option enables
 
 Disabled by default.
 
-This option is experimental.
-
 @item -fwpa
 @opindex fwpa
 This is an internal option used by GCC when compiling with

gcc/ipa-prop.c

@@ -269,11 +269,18 @@ ipa_detect_param_modifications (struct cgraph_node *node)
 
   func = DECL_STRUCT_FUNCTION (decl);
   FOR_EACH_BB_FN (bb, func)
-    for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
-      walk_stmt_load_store_addr_ops (gsi_stmt (gsi), info,
-				     visit_load_for_mod_analysis,
-				     visit_store_addr_for_mod_analysis,
-				     visit_store_addr_for_mod_analysis);
+    {
+      for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
+	walk_stmt_load_store_addr_ops (gsi_stmt (gsi), info,
+				       visit_load_for_mod_analysis,
+				       visit_store_addr_for_mod_analysis,
+				       visit_store_addr_for_mod_analysis);
+      for (gsi = gsi_start (phi_nodes (bb)); !gsi_end_p (gsi); gsi_next (&gsi))
+	walk_stmt_load_store_addr_ops (gsi_stmt (gsi), info,
+				       visit_load_for_mod_analysis,
+				       visit_store_addr_for_mod_analysis,
+				       visit_store_addr_for_mod_analysis);
+    }
 
   info->modification_analysis_done = 1;
 }

gcc/opts.c

@@ -1150,7 +1150,6 @@ decode_options (unsigned int argc, const char **argv)
   if (flag_wpa || flag_ltrans)
     {
       /* These passes are not WHOPR compatible yet.  */
-      flag_ipa_cp = 0;
       flag_ipa_pta = 0;
       flag_ipa_struct_reorg = 0;
     }

gcc/testsuite/ChangeLog

+2010-05-18  Jan Hubicka  <jh@suse.cz>
+
+	* gcc.dg/lto/ipacp_0.c: New test.
+	* gcc.dg/lto/ipacp_1.c: New test.
+
 2010-05-18  Steven Bosscher  <steven@gcc.gnu.org>
 
 	PR lto/44184

gcc/testsuite/gcc.dg/lto/ipacp_0.c

+/* { dg-lto-options {{ -O1 -fwhopr -fipa-cp -fipa-cp-clone}} } */
+/* { dg-lto-do run } */
+
+/* Test that clonning happens and we unify declarations of a from both units.  */
+const int a = 5;
+extern void clone_me (int *);
+
+int
+main(void)
+{
+  int i;
+  for (i=0;i<100;i++)
+   clone_me ((int *)&a);
+  return 0;
+}

gcc/testsuite/gcc.dg/lto/ipacp_1.c

+void abort (void);
+extern int a;
+
+__attribute__ ((noinline))
+void
+clone_me (int *ptr)
+{
+  if (ptr != &a)
+    abort ();
+  if (!__builtin_constant_p (ptr != &a))
+    abort ();
+}