diff options
| author | bbooth <bbooth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-22 18:33:20 +0000 |
|---|---|---|
| committer | bbooth <bbooth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-22 18:33:20 +0000 |
| commit | 5664499b6cbf1b58f05a2d0c5a62e5e599249009 (patch) | |
| tree | fa1b2308821180c3a5c2ca8c6e99270c2c793d16 /libjava/gnu/java | |
| parent | f7db692b6e1ed2d26a2d7842a1c26357b76cb8d0 (diff) | |
| download | ppe42-gcc-5664499b6cbf1b58f05a2d0c5a62e5e599249009.tar.gz ppe42-gcc-5664499b6cbf1b58f05a2d0c5a62e5e599249009.zip | |
* tree-ssa-ccp.c (latticevalue): Add UNKNOWN_VAL.
(substitute_and_fold): Propigate into VUSE operands when possible.
(visit_phi_node): Handle UNKNOWN_VAL latticevalue.
(cp_lattice_meet): Handle merging of latticevalues when
UNKNOWN_VAL is present.
(visit_stmt): Visit assignments with V_MUST_DEFs.
(visit_assignment): Gather ccp information for V_MUST_DEF operands.
(ccp_fold): Deal with RHS' that are constant and virtual.
(evaluate_stmt): Handle UNKNOWN_VAL likely values.
(dump_lattice_value): Dump UNKNOWN_VAL latticevalues.
(initialize): Mark statements with V_MUST_DEFs as VARYING only if the
V_MUST_DEF operand is VARYING. Fix comment and include VOPS when
computing immediate uses.
(set_lattice_value): Disallow a UNKNOWN_VAL->UNDEFINED state
transition.
(replace_vuse_in): New function.
(likely_value): Add check of vuse operands.
(get_default_value): Set the default value of virtually defined
variables to UKNOWN_VAL instead of VARYING.
testsuite:
* gcc.dg/tree-ssa/20040721-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@85055 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/gnu/java')
0 files changed, 0 insertions, 0 deletions
