diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2006-11-09 01:09:43 +0100 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2006-11-09 00:09:43 +0000 |
| commit | 106dec717fad0279496049194edfbcad782b40da (patch) | |
| tree | f954bb3cfcd6ce1c81fbe5f7585478ecdae6ff10 /gcc/builtins.c | |
| parent | 5e3c2d4c683546748ea64ac2904e1fcc40300d64 (diff) | |
| download | gcc-106dec717fad0279496049194edfbcad782b40da.zip gcc-106dec717fad0279496049194edfbcad782b40da.tar.gz gcc-106dec717fad0279496049194edfbcad782b40da.tar.bz2 | |
re PR tree-optimization/29738 (Missed constant propagation into loops)
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.
From-SVN: r118602
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions