[GR-59117] Fix missing state for StoreIndexedNode.

rmosaner · rmosaner · commit ab2d3a8f4cfa · 2024-11-04T17:18:32.000Z
PullRequest: graal/19157
diff --git a/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/phases/AnalysisGraphBuilderPhase.java b/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/phases/AnalysisGraphBuilderPhase.java
@@ -254,7 +254,8 @@ protected void genInvokeDynamic(int cpi, int opcode) {
                      */
                     invokeExactArguments[i] = append(BoxNode.create(invokeExactArguments[i], getMetaAccess().lookupJavaType(stackKind.toBoxedJavaClass()), stackKind));
                 }
-                append(new StoreIndexedNode(newArrayNode, ConstantNode.forInt(i, getGraph()), null, null, JavaKind.Object, invokeExactArguments[i]));
+                var storeIndexed = add(new StoreIndexedNode(newArrayNode, ConstantNode.forInt(i, getGraph()), null, null, JavaKind.Object, invokeExactArguments[i]));
+                storeIndexed.stateAfter().invalidateForDeoptimization();
             }
             ValueNode[] invokeArguments = new ValueNode[]{methodHandleNode, newArrayNode};
 

Original file line number	Diff line number	Diff line change
`@@ -254,7 +254,8 @@ protected void genInvokeDynamic(int cpi, int opcode) {`
`254`	`254`	`*/`
`255`	`255`	`invokeExactArguments[i] = append(BoxNode.create(invokeExactArguments[i], getMetaAccess().lookupJavaType(stackKind.toBoxedJavaClass()), stackKind));`
`256`	`256`	`}`
`257`		`- append(new StoreIndexedNode(newArrayNode, ConstantNode.forInt(i, getGraph()), null, null, JavaKind.Object, invokeExactArguments[i]));`
	`257`	`+ var storeIndexed = add(new StoreIndexedNode(newArrayNode, ConstantNode.forInt(i, getGraph()), null, null, JavaKind.Object, invokeExactArguments[i]));`
	`258`	`+ storeIndexed.stateAfter().invalidateForDeoptimization();`
`258`	`259`	`}`
`259`	`260`	`ValueNode[] invokeArguments = new ValueNode[]{methodHandleNode, newArrayNode};`
`260`	`261`