From b3ce5b6ed7924967c74d161950038d5eb044273e Mon Sep 17 00:00:00 2001 From: Zdenek Dvorak Date: Wed, 14 Mar 2007 00:38:34 +0000 Subject: re PR tree-optimization/30730 (-Wunsafe-loop-optimizations gives too many warnings) PR tree-optimization/30730 PR tree-optimization/26900 * tree-ssa-loop-niter.c: Include gmp.h. (bounds): New type. (mpz_set_double_int, get_type_bounds, mpz_to_double_int, split_to_var_and_offset, determine_value_range, bound_difference_of_offsetted_base, refine_bounds_using_guard, bound_difference, bounds_add, bounds_negate, number_of_iterations_ne_max, dump_affine_iv): New functions. (number_of_iterations_ne, number_of_iterations_lt_to_ne, assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the difference of initial and final value of control iv to validate results. (number_of_iterations_cond): Add loop parameter. Determine bounds on the difference of the extremes of the control iv. Add dumps. (expand_simple_operations): Handle phi nodes. (simplify_using_initial_conditions): Do not record used conditions. (number_of_iterations_exit): Pass loop to number_of_iterations_cond. Do not set additional_info. (implies_nonnegative_p, implies_ge_p): Removed. (derive_constant_upper_bound): Do not use parameter `additional'. (record_estimate): Parameter `additional' removed. Parameter `i_bound' added. Do not call derive_constant_upper_bound. (record_nonwrapping_iv): Use derive_constant_upper_bound to bound the number of iterations estimate. (estimate_numbers_of_iterations_loop): Pass the estimate from the number of iterations analysis to record_estimate. * tree.h (multiple_of_p): Declare. * tree-scalar-evolution.c (expression_expensive_p): Removed. (scev_const_prop): Do not check expression_expensive_p. * fold-const.c (multiple_of_p): Exported. * double-int.c (double_int_mask): Exported. * double-int.h (double_int_mask): Declare. * tree-flow.h (struct tree_niter_desc): Removed additional_info field. Added max field. * gcc.dg/tree-ssa/loop-26.c: New test. From-SVN: r122896 --- gcc/double-int.h | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/double-int.h') diff --git a/gcc/double-int.h b/gcc/double-int.h index 6ecfa48..807166b 100644 --- a/gcc/double-int.h +++ b/gcc/double-int.h @@ -134,6 +134,7 @@ void dump_double_int (FILE *, double_int, bool); double_int double_int_ext (double_int, unsigned, bool); double_int double_int_sext (double_int, unsigned); double_int double_int_zext (double_int, unsigned); +double_int double_int_mask (unsigned); #define ALL_ONES (~((unsigned HOST_WIDE_INT) 0)) -- cgit v1.1