tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.

2009-04-04  Richard Guenther  <rguenther@suse.de>

	* tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
	* tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
	(append_vuse): Likewise.

From-SVN: r145539

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e6eb762f13fdea310be5a820e62bc1dc80ddcf82..072d090173d953cfaf47da649602a46bece330fd 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-04  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
+       * tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
+       (append_vuse): Likewise.
+
 2009-04-04  Jakub Jelinek  <jakub@redhat.com>
 
        * unwind-dw2.h (_Unwind_FrameState): Add REG_UNDEFINED enum value.

diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 56d8e84a73b1cda0b9be58f3842bedb6aaf6f52f..f4df750809301a08d72a709202fad628772f1b95 100644 (file)
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -608,6 +608,9 @@ append_use (tree *use_p)
 static inline void
 append_vdef (tree var)
 {
+  if (!optimize)
+    return;
+
   gcc_assert ((build_vdef == NULL_TREE
               || build_vdef == var)
              && (build_vuse == NULL_TREE
@@ -623,6 +626,9 @@ append_vdef (tree var)
 static inline void
 append_vuse (tree var)
 {
+  if (!optimize)
+    return;
+
   gcc_assert (build_vuse == NULL_TREE
              || build_vuse == var);
 

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 3c4fc0c0d38cbf4524258d9a7d7951e3b2f7eed6..ba0c6ab720d983ca0ff4af3799787cfc433287f9 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -624,7 +624,8 @@ verify_ssa (bool check_modified_stmt)
 
              if (base_address
                  && SSA_VAR_P (base_address)
-                 && !gimple_vdef (stmt))
+                 && !gimple_vdef (stmt)
+                 && optimize > 0)
                {
                  error ("statement makes a memory store, but has no VDEFS");
                  print_gimple_stmt (stderr, stmt, 0, TDF_VOPS);