Skip to content

8342103: C2 compiler support for Float16 type and associated scalar operations #22754

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 20 commits into from
+2,855 −67
Closed

8342103: C2 compiler support for Float16 type and associated scalar operations #22754

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
c215eac
C2 compiler support for float16 scalar operations.
Dec 15, 2024
7cb694f
Adding missed check in container type detection.
Dec 16, 2024
3a6697e
Adding more test points
Dec 16, 2024
246cb27
Fixing obfuscation due to intrinsic entries
Dec 17, 2024
ec0834a
Addressing review comments
Dec 17, 2024
dd444c4
Review comments resolutions
Dec 23, 2024
c3f3226
Review suggestions incorporated.
Jan 3, 2025
e40c66a
Merge branch 'master' of http://github.com/openjdk/jdk into JDK-8342103
Jan 3, 2025
175f4ed
Updating copyright year of modified files.
Jan 3, 2025
43aa3eb
Review comments resolutions
Jan 13, 2025
692de9c
Review suggestions incorporated.
Jan 17, 2025
b64655c
Refining IR match rule
Jan 24, 2025
c0cdbb1
Merge branch 'master' of http://github.com/openjdk/jdk into JDK-8342103
Jan 24, 2025
e0602c1
Rebasing to jdk mainline
Jan 24, 2025
4f22ed8
Copyright header fix
Jan 27, 2025
854fc73
Updating typos in comments
Jan 28, 2025
19fc6c2
Fixing a typo error
Jan 29, 2025
8207c9f
Update test/micro/org/openjdk/bench/jdk/incubator/vector/Float16Opera…
Jan 30, 2025
82a4221
Fixing typos
Feb 4, 2025
111c808
Review comments resolutions
Feb 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/hotspot/share/opto/superword.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2564,7 +2564,7 @@ const Type* VLoopTypes::container_type(Node* n) const {
// Float to half float conversion may be succeeded by a conversion from
// half float to float, in such a case back propagation of narrow type (SHORT)
// may not be possible.
if (n->Opcode() == Op_ConvF2HF) {
if (n->Opcode() == Op_ConvF2HF || n->Opcode() == Op_ReinterpretHF2S) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this relevant, or does that belong to a different (vector) RFE?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It makes sure to assign a SHORT container type to the ReinterpretHF2S node which could be succeeded by a ConvHF2F IR which expects its inputs to be of SHORT type. During early phase of SLP extraction we get into a control flow querying the implemented vector IR opcode through split_packs_only_implemented_with_smaller_size
https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/vectornode.cpp#L1446

This scenario is tested by following JTREG
test/hotspot/jtreg/compiler/vectorization/TestFloat16VectorConvChain.java

return TypeInt::SHORT;
}
// A narrow type of arithmetic operations will be determined by
Expand Down