RFR: 8324752: C2 Superword: remove SuperWordRTDepCheck

Emanuel Peter epeter at openjdk.org
Mon Jan 29 06:57:42 UTC 2024


On Fri, 26 Jan 2024 17:49:51 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Subtask of https://github.com/openjdk/jdk/pull/16620
>> 
>> SuperWordRTDepCheck is a debug-only flag, which detects if there are arrays in the same slice that have different bases, i.e. may be different arrays. This could be the basis for alias-analysis.
>> 
>> We should do aliasing-analysis properly in a future RFE ([JDK-8324751](https://bugs.openjdk.org/browse/JDK-8324751)). If we can prove (statically or with a runtime-check) that two arrays are different, then this removes edges from the dependency graph, and may allow vectorization that would otherwise not be possible.
>
> I did not even know we had such code.
> I agree that we should do proper analysis instead of this experimental code (which is off by default and can't be switched on in product).

Thanks for the review @vnkozlov @chhagedorn !

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

PR Comment: https://git.openjdk.org/jdk/pull/17585#issuecomment-1914070277


More information about the hotspot-compiler-dev mailing list