[lno] New version of the scalar evolution analyzer

[Pop Sébastian <pop at gauvain dot u-strasbg dot fr>]

Hi,

This patch changes the way the scalar evolution analyzer directs its
analysis.  Basically the first version in the lno branch analyzed the
scalar evolution on a loop-nest basis, while the new analyzer analyzes
only one loop.  

>From the user point of view, the new analyzer has less cryptic names
in the functions and variables, more comments, and more important, its
interface is simpler to use (at least I hope so).  

Is it okay if the Changelog does not list all the function renames,
deletes, moves, ... but just states:

	* tree-scalar-evolution.c: New version of the analyzer.
	* tree-scalar-evolution.h: Same.
	* tree-chrec.c: Same.
	* tree-data-ref.c: Same.
	* tree-chrec.h: Same.
	* tree-data-ref.h: Same.
	* tree-fold-const.h: Same.

	* tree-vectorizer.c (vect_transform_loop_bound, 
	vect_analyze_scalar_cycles, vect_analyze_data_ref_access, 
	vect_analyze_data_refs, vect_get_loop_niters): Use the new
	interface of the analyzer.
	* tree-optimize.c (optimize_function_tree): Same.

testsuite/

	* ssa-chrec-{01, 04, 06, 07, 09, 10, 17, 18, 27, 28, 32, 33, 34, 
	35, 39, 41, 45, 47, 48}.c: Update comments.
	* ssa-chrec-{01, 02, 03, 04, 05, 06, 09, 10, 11, 17, 18, 27, 28, 
	30, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 45, 46, 47, 
	48, 49, 50}.c.scev: Adjusted.
	* ssa-chrec-{10, 30, 31, 32, 33, 34, 35, 36}.c.alldd: Adjusted.
	* ssa-chrec-{51, 52}.c: New files.
	* ssa-chrec-{51, 52}.c.scev: New.
	* ssa-chrec-52.alldd: New.

Attachment: new-scev-analyzer.diff.gz
Description: Binary data