stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8260653: Unreachable nodes keep speculative types alive

Browse Source 
Reviewed-by: vlivanov, thartmann
This commit is contained in:
Nils Eliasson 2021-02-18 10:22:20 +00:00
parent b695c7eed4
commit 3a21e1df70
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/hotspot/share/opto/phaseX.cpp
View File

@ -330,10 +330,15 @@ void NodeHash::remove_useless_nodes(VectorSet &useful) {
void NodeHash::check_no_speculative_types() { void NodeHash::check_no_speculative_types() {
#ifdef ASSERT #ifdef ASSERT
uint max = size(); uint max = size();
Unique_Node_List live_nodes;
Compile::current()->identify_useful_nodes(live_nodes);
Node *sentinel_node = sentinel(); Node *sentinel_node = sentinel();
for (uint i = 0; i < max; ++i) { for (uint i = 0; i < max; ++i) {
Node *n = at(i); Node *n = at(i);
if(n != NULL && n != sentinel_node && n->is_Type() && n->outcnt() > 0) { if (n != NULL &&
n != sentinel_node &&
n->is_Type() &&
live_nodes.member(n)) {
TypeNode* tn = n->as_Type(); TypeNode* tn = n->as_Type();
const Type* t = tn->type(); const Type* t = tn->type();
const Type* t_no_spec = t->remove_speculative(); const Type* t_no_spec = t->remove_speculative();