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

GoeLin · GoeLin · commit 772f90a266e8 · 2023-01-12T14:08:52.000Z
Backport-of: 94575d14f47e2dfb11b671bce26b69270b6bb3c8
diff --git a/src/hotspot/share/opto/ifnode.cpp b/src/hotspot/share/opto/ifnode.cpp
@@ -733,6 +733,7 @@ bool IfNode::is_ctrl_folds(Node* ctrl, PhaseIterGVN* igvn) {
     ctrl->in(0)->as_If()->cmpi_folds(igvn, true) &&
     // 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
`@@ -733,6 +733,7 @@ bool IfNode::is_ctrl_folds(Node* ctrl, PhaseIterGVN* igvn) {`
`733`	`733`	`ctrl->in(0)->as_If()->cmpi_folds(igvn, true) &&`
`734`	`734`	`// Must compare same value`
`735`	`735`	`ctrl->in(0)->in(1)->in(1)->in(1) != NULL &&`
	`736`	`+ ctrl->in(0)->in(1)->in(1)->in(1) != igvn->C->top() &&`
`736`	`737`	`ctrl->in(0)->in(1)->in(1)->in(1) == in(1)->in(1)->in(1);`
`737`	`738`	`}`
`738`	`739`