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.
- is blocked by
-
JDK-8343685 C2 SuperWord: refactor VPointer with MemPointer
- Resolved
-
JDK-8315361 C2 SuperWord: refactor out loop analysis into shared auto-vectorization facility VLoopAnalyzer
- Closed
- relates to
-
JDK-8324752 C2 Superword: remove SuperWordRTDepCheck
- Resolved