[patch][graphite] Fix PR43306, fix leslie3d and gamess compile time, fix documentation

[Sebastian Pop]

Hi,
I committed these patches to the Graphite branch for further testing.

For 43306, we had a problem in the analysis of data reference
accesses: basically we were allowing {0, +, {0, +, 4}_1}_2 as a simple
access function, but the translation of this scev into a polyhedral
representation fails as this is not a linear access function: the
stride in loop_2 is not constant, it has an evolution in loop_1.  Note
that {{0, +, 4}_1, +, 1}_2 is a linear access function as the strides
in loop_1 and in loop_2 are constant.

To fix leslie3d and gamess from the CPU2006 benchmarks, I added a
limitation to the number of parameters that are allowed in a scop.  From
now on the scops with more than 10 parameters will be discarded.  This
limit can be changed using a parameter.  We should also improve the
detection of scop parameters to detect relations between parameters.

I also have added a parameter for the number of basic blocks per
function that we currently have hardly fixed to 100.

I added the documentation for the undocumented loop blocking factor.

Sebastian Pop
--
AMD / Open Source Compiler Engineering / GNU Tools
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Limit-the-number-of-parameters-per-SCoP.patch
Type: text/x-diff
Size: 3170 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100309/508416e7/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Make-build_poly_scop-not-return-a-bool.patch
Type: text/x-diff
Size: 2909 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100309/508416e7/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-Add-PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION.patch
Type: text/x-diff
Size: 2985 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100309/508416e7/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0004-Fix-PR43306-correct-evolution_function_right_is_inte.patch
Type: text/x-diff
Size: 2660 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100309/508416e7/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0005-Document-PARAM_LOOP_BLOCK_TILE_SIZE.patch
Type: text/x-diff
Size: 3164 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100309/508416e7/attachment-0004.bin>