On 01/09/2012 04:34 PM, Richard Guenther wrote:
This fixes the 2nd P1 ICE. There is a disconnect on how we analyze data-references during SCOP detection (outermost_loop is the root of the loop tree) and during SESE-to-poly where outermost is determined by outermost_loop_in_sese_1 (). That influences the SCEV result and thus we do not break the SCOP at a stmt we have to break it. The following patch fixes this using a sledgehammer - require the data-ref to be representable if analyzed with respect to all loops it can nest in. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Ok?
This one looks good to me. The new region based scop detection should fix this issue, but until we can get the relevant patches in, this looks like a good fix. Thanks for fixing the graphite PRs.
Tobi
