Richard Biener <rguent...@suse.de> writes:
>> But how easy would it be to extend SCEV analysis, via a pattern match?
>> The evolution of the IV phi wrt the inner loop is still a normal SCEV.
>
> No, the IV isn't a normal SCEV, the final value is different.
Which part of the IV though? Won't all executions of the latch edge
decrement the IV phi (and specifically the phi) by VF (and only VF)?
So if we analyse the IV phi wrt the inner loop, the IV phi is simply
{ initial, -, VF }.
I agree "IV phi - step" isn't a SCEV, but that doesn't seem fatal.
Richard
