8295116: C2: assert(dead->outcnt() == 0 && !dead->is_top()) failed: node must be dead

GoeLin · GoeLin · commit 1f0e77e8d1b2 · 2023-02-14T20:31:23.000Z
Backport-of: 94575d14f47e2dfb11b671bce26b69270b6bb3c8
diff --git a/src/hotspot/share/opto/ifnode.cpp b/src/hotspot/share/opto/ifnode.cpp
@@ -723,6 +723,7 @@ bool IfNode::is_ctrl_folds(Node* ctrl, PhaseIterGVN* igvn) {
     ctrl->in(0)->as_If()->cmpi_folds(igvn) &&
     // Must compare same value
     ctrl->in(0)->in(1)->in(1)->in(1) != NULL &&
+    ctrl->in(0)->in(1)->in(1)->in(1) != igvn->C->top() &&
     ctrl->in(0)->in(1)->in(1)->in(1) == in(1)->in(1)->in(1);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -723,6 +723,7 @@ bool IfNode::is_ctrl_folds(Node* ctrl, PhaseIterGVN* igvn) {`
`723`	`723`	`ctrl->in(0)->as_If()->cmpi_folds(igvn) &&`
`724`	`724`	`// Must compare same value`
`725`	`725`	`ctrl->in(0)->in(1)->in(1)->in(1) != NULL &&`
	`726`	`+ ctrl->in(0)->in(1)->in(1)->in(1) != igvn->C->top() &&`
`726`	`727`	`ctrl->in(0)->in(1)->in(1)->in(1) == in(1)->in(1)->in(1);`
`727`	`728`	`}`
`728`	`729`