Integrated: 8324752: C2 Superword: remove SuperWordRTDepCheck
Emanuel Peter
epeter at openjdk.org
Mon Jan 29 06:57:43 UTC 2024
On Fri, 26 Jan 2024 10:11:29 GMT, Emanuel Peter <epeter 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.
This pull request has now been integrated.
Changeset: 525c0cd0
Author: Emanuel Peter <epeter at openjdk.org>
URL: https://git.openjdk.org/jdk/commit/525c0cd09f98c3a9965cf20d2ac3b306a938a910
Stats: 56 lines in 3 files changed: 0 ins; 55 del; 1 mod
8324752: C2 Superword: remove SuperWordRTDepCheck
Reviewed-by: kvn, chagedorn
-------------
PR: https://git.openjdk.org/jdk/pull/17585
More information about the hotspot-compiler-dev
mailing list