Skip to content
Snippets Groups Projects
  • Sebastian Pop's avatar
    0a74c758
    When niter may be zero, return a COND_EXPR with the may_be_zero condition. · 0a74c758
    Sebastian Pop authored
    2010-05-28  Sebastian Pop  <sebastian.pop@amd.com>
    
    	* tree-scalar-evolution.c (set_nb_iterations_in_loop): Inlined in the
    	only place it was called from.
    	(number_of_latch_executions): Do not return chrec_dont_know when the
    	may_be_zero is a runtime condition: instead, return a COND_EXPR
    	including the may_be_zero condition.
    	* cfgloop.h (struct loop): Add a note on COND_EXPRs to the comment
    	of nb_iterations.
    	* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Handle
    	COND_EXPRs.
    
    	* gcc.dg/vect/vect-outer-fir-lb.c: Un-XFAIL-ed.
    
    From-SVN: r159992
    0a74c758
    History
    When niter may be zero, return a COND_EXPR with the may_be_zero condition.
    Sebastian Pop authored
    2010-05-28  Sebastian Pop  <sebastian.pop@amd.com>
    
    	* tree-scalar-evolution.c (set_nb_iterations_in_loop): Inlined in the
    	only place it was called from.
    	(number_of_latch_executions): Do not return chrec_dont_know when the
    	may_be_zero is a runtime condition: instead, return a COND_EXPR
    	including the may_be_zero condition.
    	* cfgloop.h (struct loop): Add a note on COND_EXPRs to the comment
    	of nb_iterations.
    	* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Handle
    	COND_EXPRs.
    
    	* gcc.dg/vect/vect-outer-fir-lb.c: Un-XFAIL-ed.
    
    From-SVN: r159992