From d71ff3faa157470cb3425c7009ccddc335919ab3 Mon Sep 17 00:00:00 2001 From: Zhouyi Zhou Date: Tue, 20 Aug 2013 06:25:10 +0000 Subject: [PATCH] tree-ssa-ccp.c (get_default_value): Remove redundant condition checks. * tree-ssa-ccp.c (get_default_value): Remove redundant condition checks. From-SVN: r201870 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-ccp.c | 23 ++++++++++++++--------- 2 files changed, 19 insertions(+), 9 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1c95d9a2388..56e6fd416b2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2013-08-20 Zhouyi Zhou + + * tree-ssa-ccp.c (get_default_value): Remove redundant condition + checks. + 2013-08-20 David Malcolm Make opt_pass and gcc::pass_manager be GC-managed, so that pass diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 6472f484e33..78687f7fac8 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -258,12 +258,7 @@ get_default_value (tree var) val.mask = double_int_minus_one; } } - else if (is_gimple_assign (stmt) - /* Value-returning GIMPLE_CALL statements assign to - a variable, and are treated similarly to GIMPLE_ASSIGN. */ - || (is_gimple_call (stmt) - && gimple_call_lhs (stmt) != NULL_TREE) - || gimple_code (stmt) == GIMPLE_PHI) + else if (is_gimple_assign (stmt)) { tree cst; if (gimple_assign_single_p (stmt) @@ -274,9 +269,19 @@ get_default_value (tree var) val.value = cst; } else - /* Any other variable defined by an assignment or a PHI node - is considered UNDEFINED. */ - val.lattice_val = UNDEFINED; + { + /* Any other variable defined by an assignment is considered + UNDEFINED. */ + val.lattice_val = UNDEFINED; + } + } + else if ((is_gimple_call (stmt) + && gimple_call_lhs (stmt) != NULL_TREE) + || gimple_code (stmt) == GIMPLE_PHI) + { + /* A variable defined by a call or a PHI node is considered + UNDEFINED. */ + val.lattice_val = UNDEFINED; } else {