From 4fa204dac6966690c6d2490a6e1d11416e90c040 Mon Sep 17 00:00:00 2001 From: Diego Novillo Date: Fri, 30 Jul 2004 00:16:17 +0000 Subject: [PATCH] tree-ssa-ccp.c (visit_assignment): Move code to prevent setting a non-register to UNDEFINED right before the call... * tree-ssa-ccp.c (visit_assignment): Move code to prevent setting a non-register to UNDEFINED right before the call to set_lattice_value. From-SVN: r85318 --- gcc/ChangeLog | 6 ++++++ gcc/tree-ssa-ccp.c | 12 ++++++------ 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 259ddec9e52..ae1179991da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-07-29 Diego Novillo + + * tree-ssa-ccp.c (visit_assignment): Move code to prevent + setting a non-register to UNDEFINED right before the call to + set_lattice_value. + 2004-07-29 Kaz Kojima * config/sh/lib1funcs.asm: Make aliases movstr* for movmem*. diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 82479f052e6..c8ab92a896b 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -755,12 +755,6 @@ visit_assignment (tree stmt) /* For a simple copy operation, we copy the lattice values. */ value *nval = get_value (rhs); val = *nval; - - /* If lhs is not a gimple register, then it cannot take on - an undefined value. */ - if (!is_gimple_reg (SSA_NAME_VAR (lhs)) - && val.lattice_val == UNDEFINED) - val.lattice_val = UNKNOWN_VAL; } else if (DECL_P (rhs) && NUM_VUSES (vuses) == 1 @@ -798,6 +792,12 @@ visit_assignment (tree stmt) } } + /* If LHS is not a gimple register, then it cannot take on an + UNDEFINED value. */ + if (!is_gimple_reg (SSA_NAME_VAR (lhs)) + && val.lattice_val == UNDEFINED) + val.lattice_val = UNKNOWN_VAL; + /* Set the lattice value of the statement's output. */ set_lattice_value (lhs, val); if (val.lattice_val == VARYING) -- 2.30.2