From c6803d43effa943273a5c6db91a4ec1d39076932 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Sat, 4 Apr 2009 14:12:10 +0000 Subject: tree-ssa.c (verify_ssa): With -O0 we do not need VOPs. 2009-04-04 Richard Guenther * 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 --- gcc/ChangeLog | 6 ++++++ gcc/tree-ssa-operands.c | 6 ++++++ gcc/tree-ssa.c | 3 ++- 3 files changed, 14 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e6eb762..072d090 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-04-04 Richard Guenther + + * 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 * 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 56d8e84..f4df750 100644 --- 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 3c4fc0c..ba0c6ab 100644 --- 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); -- cgit v1.1