[GR-45346] Backport 22.3 :handle different stamps in ZeroExtendNode#alwaysPositive.

marwan-hallaoui · marwan-hallaoui · commit 260b376b51bf · 2023-04-06T19:52:06.000Z
PullRequest: graal/14261
diff --git a/compiler/src/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ZeroExtendNode.java b/compiler/src/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ZeroExtendNode.java
@@ -87,7 +87,12 @@ public static ValueNode create(ValueNode input, int inputBits, int resultBits, N
     }
 
     private static boolean inputAlwaysPositive(ValueNode v) {
-        return ((IntegerStamp) v.stamp(NodeView.DEFAULT)).isPositive();
+        Stamp s = v.stamp(NodeView.DEFAULT);
+        if (s instanceof IntegerStamp) {
+            return ((IntegerStamp) s).isPositive();
+        } else {
+            return false;
+        }
     }
 
     @Override

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,12 @@ public static ValueNode create(ValueNode input, int inputBits, int resultBits, N`
`87`	`87`	`}`
`88`	`88`
`89`	`89`	`private static boolean inputAlwaysPositive(ValueNode v) {`
`90`		`- return ((IntegerStamp) v.stamp(NodeView.DEFAULT)).isPositive();`
	`90`	`+ Stamp s = v.stamp(NodeView.DEFAULT);`
	`91`	`+ if (s instanceof IntegerStamp) {`
	`92`	`+ return ((IntegerStamp) s).isPositive();`
	`93`	`+ } else {`
	`94`	`+ return false;`
	`95`	`+ }`
`91`	`96`	`}`
`92`	`97`
`93`	`98`	`@Override`