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

Show file tree
Hide file tree
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
4 changes: 2 additions & 2 deletions src/hotspot/share/opto/convertnode.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -219,7 +219,7 @@ class ConvL2INode : public ConvertNode {
// Reinterpret Short to Half Float
class ReinterpretS2HFNode : public Node {
public:
ReinterpretS2HFNode(Node* in1) : Node(0, in1) {}
ReinterpretS2HFNode(Node* in1) : Node(nullptr, in1) {}
virtual int Opcode() const;
virtual const Type* bottom_type() const { return Type::HALF_FLOAT; }
virtual const Type* Value(PhaseGVN* phase) const;
Expand All @@ -231,7 +231,7 @@ class ReinterpretS2HFNode : public Node {
// Reinterpret Half Float to Short
class ReinterpretHF2SNode : public Node {
public:
ReinterpretHF2SNode(Node* in1) : Node(0, in1) {}
ReinterpretHF2SNode(Node* in1) : Node(nullptr, in1) {}
virtual int Opcode() const;
virtual const Type* Value(PhaseGVN* phase) const;
virtual const Type* bottom_type() const { return TypeInt::SHORT; }
Expand Down
2 changes: 1 addition & 1 deletion src/hotspot/share/opto/divnode.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -860,7 +860,7 @@ const Type* DivHFNode::Value(PhaseGVN* phase) const {
return Type::HALF_FLOAT;
}

//------------------------------isA_Copy---------------------------------------
//-----------------------------------------------------------------------------
// Dividing by self is 1.
// IF the divisor is 1, we are an identity on the dividend.
Node* DivHFNode::Identity(PhaseGVN* phase) {
Expand Down
20 changes: 10 additions & 10 deletions src/hotspot/share/opto/type.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1099,28 +1099,28 @@ const Type *Type::xmeet( const Type *t ) const {
return Type::BOTTOM;
Copy link
Contributor

Choose a reason for hiding this comment

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

Please use curly-braces even for single-line ifs


case FloatTop:
if (_base == FloatTop ) return this;
if (_base == FloatTop ) { return this; }
case FloatBot: // Float
if (_base == FloatBot || _base == FloatTop) return FLOAT;
if (_base == HalfFloatTop || _base == HalfFloatBot) return Type::BOTTOM;
if (_base == DoubleTop || _base == DoubleBot) return Type::BOTTOM;
if (_base == FloatBot || _base == FloatTop) { return FLOAT; }
if (_base == HalfFloatTop || _base == HalfFloatBot) { return Type::BOTTOM; }
if (_base == DoubleTop || _base == DoubleBot) { return Type::BOTTOM; }
typerr(t);
return Type::BOTTOM;

case DoubleTop:
if (_base == DoubleTop) return this;
if (_base == DoubleTop) { return this; }
case DoubleBot: // Double
if (_base == DoubleBot || _base == DoubleTop) return DOUBLE;
if (_base == HalfFloatTop || _base == HalfFloatBot) return Type::BOTTOM;
if (_base == FloatTop || _base == FloatBot) return Type::BOTTOM;
if (_base == DoubleBot || _base == DoubleTop) { return DOUBLE; }
if (_base == HalfFloatTop || _base == HalfFloatBot) { return Type::BOTTOM; }
if (_base == FloatTop || _base == FloatBot) { return Type::BOTTOM; }
typerr(t);
return Type::BOTTOM;

// These next few cases must match exactly or it is a compile-time error.
case Control: // Control of code
case Abio: // State of world outside of program
case Memory:
if (_base == t->_base) return this;
if (_base == t->_base) { return this; }
typerr(t);
return Type::BOTTOM;

Expand Down Expand Up @@ -1467,7 +1467,7 @@ const TypeH* TypeH::make(float f) {
return (TypeH*)(new TypeH(hf))->hashcons();
}

//------------------------------meet-------------------------------------------
//------------------------------xmeet-------------------------------------------
// Compute the MEET of two types. It returns a new Type object.
const Type* TypeH::xmeet(const Type* t) const {
// Perform a fast test for common case; meeting the same types together.
Expand Down