Loading...

XML

Word

Printable

Type: Enhancement
Resolution: Fixed
Priority: P4
Fix Version/s: 26
Affects Version/s: 23
Component/s: hotspot
Labels:
- c2
- c2-superword
- panama

Subcomponent:
compiler
Resolved In Build:
b14

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.

As discussed in ~~JDK-8323582~~ / https://github.com/openjdk/jdk/pull/22016#issuecomment-2680894298, we should write some benchmarks to prove that we need the slow and fast loop, and so that the complexity of the slow_loop is really justified.

Also: add a Flag to disable the predicate for Auto Vectorization.

blocks

JDK-8365985 C2 SuperWord: TestAliasingFuzzer.java IR rule checks for no multiversioning and check for load/store vectors

Open

causes

JDK-8366490 C2 SuperWord: wrong result because CastP2X is missing ctrl and floats over SafePoint creating stale oops

Resolved

is blocked by

JDK-8323582 C2 SuperWord AlignVector: misaligned vector memory access with unaligned native memory

Resolved

JDK-8343685 C2 SuperWord: refactor VPointer with MemPointer

Resolved

JDK-8354477 C2 SuperWord: make use of memory edges more explicit

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

JDK-8366274 C2 SuperWord: investigate edge case performance regressions from JDK-8324751

Open

JDK-8354303 C2 SuperWord: Aliasing Analysis: newly allocated arrays cannot alias

Open

JDK-8360204 C2 SuperWord: missing RCE with MemorySegment.getAtIndex

Open

JDK-8365982 C2 SuperWord: missing RCE / strange Multiversioning with MemorySegment.set

Open

JDK-8366965 C2 SuperWord: add more tests for MoveF2I / Float.floatToRawIntBits and friends

Open

JDK-8366940 Test compiler/loopopts/superword/TestAliasingFuzzer.java timed out

Open

JDK-8366845 C2 SuperWord: wrong VectorCast after VectorReinterpret with swapped src/dst type

Resolved

JDK-8367483 C2 crash in PhaseValues::type: assert(t != nullptr) failed: must set before get - missing notification for CastX2P(SubL(x, y))

Resolved

JDK-8359688 C2 SuperWord: missing RCE with MemorySegment

Open

links to

Commit(master) openjdk/jdk/443b1726

Review(master) openjdk/jdk/24278

(1 is blocked by, 10 relates to, 2 links to)

Assignee:: Emanuel Peter

Reporter:: Emanuel Peter

Votes:: 0 Vote for this issue

Watchers:: 3 Start watching this issue

Created:: 2024-01-26 02:06

Updated:: 2 days ago 23:50

Resolved:: 2025-08-27 22:57

Details

Description

Attachments

Issue Links

Activity

People

Dates