params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Set default to zero, thus disable...

2008-04-15  Richard Guenther  <rguenther@suse.de>

	* params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Set default
	to zero, thus disable creation of SFTs.

	* gcc.dg/tree-ssa/salias-1.c: Remove.
	* gcc.dg/tree-ssa/pr26421.c: Adjust pattern.
	* gcc.dg/tree-ssa/alias-15.c: Likewise.
	* gcc.dg/tree-ssa/ssa-lim-3.c: Run at -O2.

From-SVN: r134321

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bb298373de89e33978ec334284772199b34ff9fc..f2bf992b1d8f9687362ccbf4d0993baf9dc2affb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-04-15  Richard Guenther  <rguenther@suse.de>
+
+       * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Set default
+       to zero, thus disable creation of SFTs.
+
 2008-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 
        * tree-predcom.c (suitable_reference_p): Return false if the

diff --git a/gcc/params.def b/gcc/params.def
index 0428c3120af0c994252fff97ce88c8c1a5a09d08..471b9533f38d262896ecbecb541eaf92e9677e7c 100644 (file)
--- a/gcc/params.def
+++ b/gcc/params.def
@@ -652,7 +652,7 @@ DEFPARAM (PARAM_MAX_JUMP_THREAD_DUPLICATION_STMTS,
 DEFPARAM (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE,
           "max-fields-for-field-sensitive",
          "Maximum number of fields in a structure before pointer analysis treats the structure as a single variable",
-         100, 0, 0)
+         0, 0, 0)
 
 DEFPARAM(PARAM_MAX_SCHED_READY_INSNS,
         "max-sched-ready-insns",

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 646e5455e407d06840c08f64f940e629393fb936..aa9fe4770a56db722939e2cd2413ac41838e9cfb 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2008-04-15  Richard Guenther  <rguenther@suse.de>
+
+       * gcc.dg/tree-ssa/salias-1.c: Remove.
+       * gcc.dg/tree-ssa/pr26421.c: Adjust pattern.
+       * gcc.dg/tree-ssa/alias-15.c: Likewise.
+       * gcc.dg/tree-ssa/ssa-lim-3.c: Run at -O2.
+
 2008-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gnat.dg/loop_optimization1.ad[sb]: New test.

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/alias-15.c b/gcc/testsuite/gcc.dg/tree-ssa/alias-15.c
index 4155b030c88084a8f6d882c4e592da0a34004230..a8f611532317ec800fe8a21f428d4ab8de8f9183 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/alias-15.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/alias-15.c
@@ -11,10 +11,9 @@ static inline struct X *wrap(struct X *p) { return p; }
 int test2(void)
 {
   struct X *p = wrap(&m.b);
-  /* Both memory references need to alias the same SFT.  */
+  /* Both memory references need to alias the same tags.  */
   return p->b[3] - m.b.b[3];
 }
 
-/* { dg-final { scan-tree-dump "SFT.5 created for var m offset 128" "salias" } } */
-/* { dg-final { scan-tree-dump-times "VUSE <SFT.5_" 2 "salias" } } */
+/* { dg-final { scan-tree-dump-times "VUSE <m_.\\\(D\\\)>" 2 "salias" } } */
 /* { dg-final { cleanup-tree-dump "salias" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c b/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c
index ef5bc6a5341e56881b249b4a3b14d32ebed0e698..2b2f497bd4bb88e7dd9f8197f7e6eed4cfec9f05 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c
@@ -16,5 +16,7 @@ int foo(void)
   return a.i;
 }
 
-/* { dg-final { scan-tree-dump-times "VDEF" 4 "salias" } } */
+/* Verify the call clobbers all of a.  */
+
+/* { dg-final { scan-tree-dump-times "VDEF <a_" 2 "salias" } } */
 /* { dg-final { cleanup-tree-dump "salias" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/salias-1.c b/gcc/testsuite/gcc.dg/tree-ssa/salias-1.c
deleted file mode 100644 (file)
index 5e47db4..0000000
--- a/gcc/testsuite/gcc.dg/tree-ssa/salias-1.c
+++ /dev/null
@@ -1,19 +0,0 @@
-/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-salias" } */
-
-struct {
-  struct {
-    struct {
-       int i, j;
-    } c;
-  } b;
-} a;
-
-int foo(void)
-{
-  a.b.c.i = 0;
-  return a.b.c.j;
-}
-
-/* { dg-final { scan-tree-dump-times "structure field tag SFT" 2 "salias" } } */
-/* { dg-final { cleanup-tree-dump "salias" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c
index 91956017898a51524814e581352ccc50d5f093f3..b88a1e58af69cfb45e017f20b48800c87d6ed2dc 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O -fdump-tree-lim-details" } */
+/* { dg-options "-O2 -fdump-tree-lim-details" } */
 
 struct { int x; int y; } global;
 void foo(int n)