graal-compiler: src/share/vm/opto/cfgnode.cpp comparison

6663848: assert(i < Max(),"oob") in C2 with -Xcomp Summary: NeverBranchNodes aren't handled properly Reviewed-by: kvn, sgoldman, rasbold, jrose

comparison

equal deleted inserted replaced

-:72f4a668df19
+:e0bd2e08e3d0
 ? this
 : call->in(TypeFunc::Parms);
 }
 //=============================================================================
+//------------------------------Value------------------------------------------
+// Check for being unreachable.
+const Type *NeverBranchNode::Value( PhaseTransform *phase ) const {
+if (!in(0) || in(0)->is_top()) return Type::TOP;
+return bottom_type();
+}
+//------------------------------Ideal------------------------------------------
+// Check for no longer being part of a loop
+Node *NeverBranchNode::Ideal(PhaseGVN *phase, bool can_reshape) {
+if (can_reshape && !in(0)->is_Loop()) {
+// Dead code elimination can sometimes delete this projection so
+// if it's not there, there's nothing to do.
+Node* fallthru = proj_out(0);
+if (fallthru != NULL) {
+phase->is_IterGVN()->subsume_node(fallthru, in(0));
+}
+return phase->C->top();
+}
+return NULL;
+}
 #ifndef PRODUCT
 void NeverBranchNode::format( PhaseRegAlloc *ra_, outputStream *st) const {
 st->print("%s", Name());
 }
 #endif

Mercurial > hg > graal-compiler