RFR: 8316594: C2 SuperWord: wrong result with hand unrolled loops

[Emanuel Peter]

On Tue, 3 Oct 2023 01:02:08 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> You still need to add description to this PR what you are changing.
>
>> @vnkozlov I suggest we add those tests when we actually implement the detection of separate arrays. At that point, we can also create appropriate IR rules.
>> Besides, I think the tests would be testing something somewhat different. The bug here happens because we have two method parameters which both reference to the same array, but we do not know that at compile time.
>> Your suggested tests would exercise all sorts of combinations of different arrays on different parameters, if I understand correctly?
> 
> Not only on different parameters but also locally allocated, loaded from fields (instance and static), returned by a called method. In short, when EA may give you answer that arrays are different.
> 
> Anyway, as we discussed in #15864 it will be separate RFE. And current change is conservative - possible less vectorizations when arrays are different. But I am fine with that.

Thanks @vnkozlov @TobiHartmann for the reviews!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/15866#issuecomment-1748188688