diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-05-31 13:01:10 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-05-31 13:01:10 +0000 |
| commit | 39f8a3b00c99fff50a211449cd10e326eabca8f4 (patch) | |
| tree | 4a655a0ae6f945ac1614484f03ea84124a685c78 /gcc/tree-scalar-evolution.h | |
| parent | 2643f14e4453151004d8026128dd929dc4d7eb8e (diff) | |
| download | gcc-39f8a3b00c99fff50a211449cd10e326eabca8f4.tar.gz | |
re PR tree-optimization/34244 (VRP/SCEV miscompiles Firefox)
2008-05-31 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34244
* fold-const.c (tree_expr_nonnegative_warnv_p): Do not ask VRP.
(tree_expr_nonzero_warnv_p): Likewise.
* tree-vrp.c (vrp_expr_computes_nonnegative): Call
ssa_name_nonnegative_p.
(vrp_expr_computes_nonzero): Call ssa_name_nonzero_p.
(extract_range_from_unary_expr): Use vrp_expr_computes_nonzero,
not tree_expr_nonzero_warnv_p.
PR tree-optimization/36262
Revert
2007-11-29 Zdenek Dvorak <ook@ucw.cz>
PR tree-optimization/34244
* tree-vrp.c (adjust_range_with_scev): Clear scev cache.
(record_numbers_of_iterations): New function.
(execute_vrp): Cache the numbers of iterations of loops.
* tree-scalar-evolution.c (scev_reset_except_niters):
New function.
(scev_reset): Use scev_reset_except_niters.
* tree-scalar-evolution.h (scev_reset_except_niters): Declare.
From-SVN: r136237
Diffstat (limited to 'gcc/tree-scalar-evolution.h')
| -rw-r--r-- | gcc/tree-scalar-evolution.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/tree-scalar-evolution.h b/gcc/tree-scalar-evolution.h index 54e543ceccc..472b194d307 100644 --- a/gcc/tree-scalar-evolution.h +++ b/gcc/tree-scalar-evolution.h @@ -27,7 +27,6 @@ extern tree get_loop_exit_condition (const struct loop *); extern void scev_initialize (void); extern void scev_reset (void); -extern void scev_reset_except_niters (void); extern void scev_finalize (void); extern tree analyze_scalar_evolution (struct loop *, tree); extern tree instantiate_scev (struct loop *, struct loop *, tree); |