[GR-52973] [GR-53570] [GR-53628] Various fixes for compiler crashes

gergo- · gergo- · commit ef9314d50e8e · 2024-04-25T21:08:18.000Z
PullRequest: graal/17486
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/AndNode.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/AndNode.java
@@ -39,7 +39,6 @@
 import jdk.graal.compiler.nodes.spi.CanonicalizerTool;
 import jdk.graal.compiler.nodes.spi.NodeLIRBuilderTool;
 import jdk.graal.compiler.nodes.util.GraphUtil;
-
 import jdk.vm.ci.meta.Constant;
 import jdk.vm.ci.meta.PrimitiveConstant;
 
@@ -195,7 +194,7 @@ private static ValueNode canonical(AndNode self, BinaryOp<And> op, ValueNode for
             // ~x & ~y |-> ~(x | y)
             return new NotNode(OrNode.create(((NotNode) forX).getValue(), ((NotNode) forY).getValue(), view));
         }
-        if (forY instanceof NotNode && ((NotNode) forY).getValue() == forX) {
+        if (forY instanceof NotNode && ((NotNode) forY).getValue() == forX && rawXStamp instanceof IntegerStamp) {
             // x & ~x |-> 0
             return ConstantNode.forIntegerStamp(rawXStamp, 0L);
         }
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/LeftShiftNode.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/LeftShiftNode.java
@@ -28,6 +28,7 @@
 import jdk.graal.compiler.core.common.type.ArithmeticOpTable.ShiftOp;
 import jdk.graal.compiler.core.common.type.ArithmeticOpTable.ShiftOp.Shl;
 import jdk.graal.compiler.core.common.type.IntegerStamp;
+import jdk.graal.compiler.core.common.type.PrimitiveStamp;
 import jdk.graal.compiler.core.common.type.Stamp;
 import jdk.graal.compiler.debug.Assertions;
 import jdk.graal.compiler.graph.NodeClass;
@@ -139,7 +140,7 @@ private static ValueNode canonical(LeftShiftNode leftShiftNode, ArithmeticOpTabl
                     if (other instanceof LeftShiftNode) {
                         int total = amount + otherAmount;
                         if (total != (total & mask)) {
-                            return ConstantNode.forIntegerKind(stamp.getStackKind(), 0);
+                            return ConstantNode.forIntegerBits(PrimitiveStamp.getBits(stamp), 0);
                         }
                         return new LeftShiftNode(other.getX(), ConstantNode.forInt(total));
                     } else if ((other instanceof RightShiftNode || other instanceof UnsignedRightShiftNode) && otherAmount == amount) {
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/ObjectEqualsNode.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/ObjectEqualsNode.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, 2023, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -108,7 +108,7 @@ protected LogicNode canonicalizeSymmetricConstant(ConstantReflectionProvider con
             if (type != null && nonConstant instanceof GetClassNode) {
                 GetClassNode getClassNode = (GetClassNode) nonConstant;
                 ValueNode object = getClassNode.getObject();
-                assert ((ObjectStamp) object.stamp(view)).nonNull();
+                assert ((ObjectStamp) object.stamp(view)).nonNull() : "getClassNode %s object %s should have a non-null stamp, got: %s".formatted(getClassNode, object, object.stamp(view));
                 if (!type.isPrimitive() && (type.isConcrete() || type.isArray())) {
                     return InstanceOfNode.create(TypeReference.createExactTrusted(type), object);
                 }
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/RightShiftNode.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/RightShiftNode.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, 2022, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -112,7 +112,7 @@ private static ValueNode canonical(RightShiftNode rightShiftNode, ArithmeticOpTa
 
                 if (xStamp.lowerBound() >> amount == xStamp.upperBound() >> amount) {
                     // Right shift turns the result of the expression into a constant.
-                    return ConstantNode.forIntegerKind(stamp.getStackKind(), xStamp.lowerBound() >> amount);
+                    return ConstantNode.forIntegerBits(xStamp.getBits(), xStamp.lowerBound() >> amount);
                 }
             }
 
@@ -128,10 +128,10 @@ private static ValueNode canonical(RightShiftNode rightShiftNode, ArithmeticOpTa
                             IntegerStamp istamp = (IntegerStamp) other.getX().stamp(view);
 
                             if (istamp.isPositive()) {
-                                return ConstantNode.forIntegerKind(stamp.getStackKind(), 0);
+                                return ConstantNode.forIntegerBits(istamp.getBits(), 0);
                             }
                             if (istamp.isStrictlyNegative()) {
-                                return ConstantNode.forIntegerKind(stamp.getStackKind(), -1L);
+                                return ConstantNode.forIntegerBits(istamp.getBits(), -1L);
                             }
 
                             /*
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/UnsignedRightShiftNode.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/calc/UnsignedRightShiftNode.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, 2022, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -28,6 +28,7 @@
 import jdk.graal.compiler.core.common.type.ArithmeticOpTable.ShiftOp;
 import jdk.graal.compiler.core.common.type.ArithmeticOpTable.ShiftOp.UShr;
 import jdk.graal.compiler.core.common.type.IntegerStamp;
+import jdk.graal.compiler.core.common.type.PrimitiveStamp;
 import jdk.graal.compiler.core.common.type.Stamp;
 import jdk.graal.compiler.debug.Assertions;
 import jdk.graal.compiler.graph.NodeClass;
@@ -97,7 +98,7 @@ private static ValueNode canonical(UnsignedRightShiftNode node, ArithmeticOpTabl
 
                 if (xLowerBound >>> amount == xUpperBound >>> amount) {
                     // The result of the shift is constant.
-                    return ConstantNode.forIntegerKind(stamp.getStackKind(), xLowerBound >>> amount);
+                    return ConstantNode.forIntegerBits(PrimitiveStamp.getBits(stamp), xLowerBound >>> amount);
                 }
 
                 if (amount == xStamp.getBits() - 1 && xStamp.lowerBound() == -1 && xStamp.upperBound() == 0) {
@@ -113,7 +114,7 @@ private static ValueNode canonical(UnsignedRightShiftNode node, ArithmeticOpTabl
                     if (other instanceof UnsignedRightShiftNode) {
                         int total = amount + otherAmount;
                         if (total != (total & mask)) {
-                            return ConstantNode.forIntegerKind(stamp.getStackKind(), 0);
+                            return ConstantNode.forIntegerBits(PrimitiveStamp.getBits(stamp), 0);
                         }
                         return new UnsignedRightShiftNode(other.getX(), ConstantNode.forInt(total));
                     } else if (other instanceof LeftShiftNode && otherAmount == amount) {
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/loop/LoopFragment.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/nodes/loop/LoopFragment.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2012, 2023, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2012, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -628,6 +628,7 @@ protected void mergeEarlyExits() {
                         phi.setNodeSourcePosition(merge.getNodeSourcePosition());
                         phi.addInput(vpn);
                         phi.addInput(newVpn);
+                        phi.inferStamp();
                         introducedPhis.add(phi);
                         replaceWith = phi;
                     } else {

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`/*`
`2`		`- * Copyright (c) 2011, 2022, Oracle and/or its affiliates. All rights reserved.`
	`2`	`+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.`
`3`	`3`	`* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.`
`4`	`4`	`*`
`5`	`5`	`* This code is free software; you can redistribute it and/or modify it`
`@@ -112,7 +112,7 @@ private static ValueNode canonical(RightShiftNode rightShiftNode, ArithmeticOpTa`
`112`	`112`
`113`	`113`	`if (xStamp.lowerBound() >> amount == xStamp.upperBound() >> amount) {`
`114`	`114`	`// Right shift turns the result of the expression into a constant.`
`115`		`- return ConstantNode.forIntegerKind(stamp.getStackKind(), xStamp.lowerBound() >> amount);`
	`115`	`+ return ConstantNode.forIntegerBits(xStamp.getBits(), xStamp.lowerBound() >> amount);`
`116`	`116`	`}`
`117`	`117`	`}`
`118`	`118`
`@@ -128,10 +128,10 @@ private static ValueNode canonical(RightShiftNode rightShiftNode, ArithmeticOpTa`
`128`	`128`	`IntegerStamp istamp = (IntegerStamp) other.getX().stamp(view);`
`129`	`129`
`130`	`130`	`if (istamp.isPositive()) {`
`131`		`- return ConstantNode.forIntegerKind(stamp.getStackKind(), 0);`
	`131`	`+ return ConstantNode.forIntegerBits(istamp.getBits(), 0);`
`132`	`132`	`}`
`133`	`133`	`if (istamp.isStrictlyNegative()) {`
`134`		`- return ConstantNode.forIntegerKind(stamp.getStackKind(), -1L);`
	`134`	`+ return ConstantNode.forIntegerBits(istamp.getBits(), -1L);`
`135`	`135`	`}`
`136`	`136`
`137`	`137`	`/*`