diff options
| author | Jeffrey A Law <law@cygnus.com> | 2001-07-25 14:23:08 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2001-07-25 08:23:08 -0600 |
| commit | 42f28de90bc251f93ef1bdd79deee7d9ae64931b (patch) | |
| tree | a76936e9956590f6a1387a19eddbe8b2d442ce65 /gcc/ssa-ccp.c | |
| parent | 7c2b017c9a5f9a81dcf6b2b2047fd10165d19420 (diff) | |
| download | gcc-42f28de90bc251f93ef1bdd79deee7d9ae64931b.zip gcc-42f28de90bc251f93ef1bdd79deee7d9ae64931b.tar.gz gcc-42f28de90bc251f93ef1bdd79deee7d9ae64931b.tar.bz2 | |
ssa-ccp.c (visit_expression): Handle CALL_INSNs that can throw an exception.
* ssa-ccp.c (visit_expression): Handle CALL_INSNs that can
throw an exception.
(visit_expression): When attempting to simplify an expression,
retrieve any modes for arguments before they are simplified
to constants.
From-SVN: r44355
Diffstat (limited to 'gcc/ssa-ccp.c')
| -rw-r--r-- | gcc/ssa-ccp.c | 39 |
1 files changed, 33 insertions, 6 deletions
diff --git a/gcc/ssa-ccp.c b/gcc/ssa-ccp.c index 851445f..1c16357 100644 --- a/gcc/ssa-ccp.c +++ b/gcc/ssa-ccp.c @@ -246,6 +246,30 @@ visit_expression (insn, block) { rtx src, dest, set; + + /* Ugh. CALL_INSNs may end a basic block and have multiple edges + leading out from them. + + Mark all the outgoing edges as executable, then fall into the + normal processing below. */ + if (GET_CODE (insn) == CALL_INSN && block->end == insn) + { + edge curredge; + + for (curredge = block->succ; curredge; + curredge = curredge->succ_next) + { + int index = EIE (curredge->src, curredge->dest); + + if (TEST_BIT (executable_edges, index)) + continue; + + SET_BIT (executable_edges, index); + edge_info[index] = flow_edges; + flow_edges = curredge; + } + } + set = single_set (insn); if (! set) { @@ -450,7 +474,13 @@ visit_expression (insn, block) defs_to_undefined (insn); break; } - + + /* Determine the mode for the operation before we simplify + our arguments to constants. */ + mode = GET_MODE (src0); + if (mode == VOIDmode) + mode = GET_MODE (src1); + /* Simplify source operands to whatever known values they may have. */ if (GET_CODE (src0) == REG @@ -463,10 +493,6 @@ visit_expression (insn, block) /* See if the simplifier can determine if this operation computes a constant value. */ - mode = GET_MODE (src0); - if (mode == VOIDmode) - mode = GET_MODE (src1); - simplified = simplify_relational_operation (GET_CODE (src), mode, src0, src1); break; @@ -476,6 +502,7 @@ visit_expression (insn, block) case '1': { rtx src0 = XEXP (src, 0); + enum machine_mode mode0 = GET_MODE (src0); /* If the operand is undefined, then the result is undefined. */ if (GET_CODE (src0) == REG @@ -496,7 +523,7 @@ visit_expression (insn, block) simplified = simplify_unary_operation (GET_CODE (src), GET_MODE (src), src0, - GET_MODE (src0)); + mode0); break; } |