RFR: 8342095: Add autovectorizer support for subword vector casts
Jasmine Karthikeyan
jkarthikeyan at openjdk.org
Mon Feb 3 04:45:40 UTC 2025
Hi all,
This patch adds initial support for the autovectorizer to generate conversions between subword types. Currently, when superword sees two packs that have different basic types, it discards them and bails out of vectorization. This patch changes the behavior to ask the backend if a cast between the conflicting types is supported, and keeps the pack if it is. Later, when the `VTransform` graph is built, a synthetic cast is emitted when packs requiring casts are detected. Currently, only narrowing casts are supported as I wanted to re-use existing `VectorCastX2Y` logic for the initial version, but adding more conversions is simple and can be done with a subsequent RFE. I have attached a JMH benchmark and got these results on my Zen 3 machine:
Baseline Patch
Benchmark (SIZE) Mode Cnt Score Error Units Score Error Units Improvement
VectorSubword.intToByte 1024 avgt 12 200.049 ± 19.787 ns/op 56.228 ± 3.535 ns/op (3.56x)
VectorSubword.intToShort 1024 avgt 12 179.826 ± 1.539 ns/op 43.332 ± 1.166 ns/op (4.15x)
VectorSubword.shortToByte 1024 avgt 12 245.580 ± 6.150 ns/op 29.757 ± 1.055 ns/op (8.25x)
I've also added some IR tests and they pass on my linux x64 machine. Thoughts and reviews would be appreciated!
-------------
Commit messages:
- Subword vectorization
Changes: https://git.openjdk.org/jdk/pull/23413/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=23413&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8342095
Stats: 353 lines in 13 files changed: 331 ins; 3 del; 19 mod
Patch: https://git.openjdk.org/jdk/pull/23413.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/23413/head:pull/23413
PR: https://git.openjdk.org/jdk/pull/23413
More information about the hotspot-compiler-dev
mailing list