PR tree-optimization/29738
commitbfa30570c50ce2b60c4495434e5d188e63290b77
authorrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Nov 2006 00:09:43 +0000 (9 00:09 +0000)
committerrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Nov 2006 00:09:43 +0000 (9 00:09 +0000)
treef954bb3cfcd6ce1c81fbe5f7585478ecdae6ff10
parent72ecd20bfceb79895395d3ad8d6b6ba59d4f1dfb
PR tree-optimization/29738
* tree-ssa-ccp.c: Remove UNKNOWN_VAL from comments.
(ccp_lattice_t): Remove UNKNOWN_VAL.
(dump_lattice_value, ccp_lattice_meet, ccp_visit_phi_node):
Do not handle UNKNOWN_VAL.
(get_default_value): Set initial value of virtual operands to
VARYING.
(get_value): Always use get_default_value on uninitialized
operands.
(set_value_varying, surely_varying_stmt_p): New functions.
(set_lattice_value): Do not pass argument to get_value.
Do not handle UNKNOWN_VAL.
(likely_value): Follow the semantics described in the comment.
(ccp_initialize): Use surely_varying_stmt_p.  Do not mark
phi nodes DONT_SIMULATE_AGAIN.
(ccp_fold): Do not pass argument to get_value.
(fold_const_aggregate_ref, visit_assignment): Ditto.  Do not
handle UNKNOWN_VAL.

* gcc.dg/tree-ssa/ssa-ccp-14.c: New test.
* gcc.dg/tree-ssa/ssa-ccp-15.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118602 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-14.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-15.c [new file with mode: 0644]
gcc/tree-ssa-ccp.c