Mercurial > hg > truffle
diff src/share/vm/opto/block.cpp @ 893:dd0a4e1e219b
6851386: assert(b->find_node(def) < j,"uses must follow definitions")
Summary: Add additional check for a tight loop.
Reviewed-by: never
author | kvn |
---|---|
date | Sun, 26 Jul 2009 12:59:41 -0700 |
parents | acba6af809c8 |
children | c18cbe5936b8 |
line wrap: on
line diff
--- a/src/share/vm/opto/block.cpp Fri Jul 24 12:40:40 2009 -0700 +++ b/src/share/vm/opto/block.cpp Sun Jul 26 12:59:41 2009 -0700 @@ -910,7 +910,16 @@ !(b->head()->is_Loop() && n->is_Phi()) && // See (+++) comment in reg_split.cpp !(n->jvms() != NULL && n->jvms()->is_monitor_use(k)) ) { - assert( b->find_node(def) < j, "uses must follow definitions" ); + bool is_loop = false; + if (n->is_Phi()) { + for( uint l = 1; l < def->req(); l++ ) { + if (n == def->in(l)) { + is_loop = true; + break; // Some kind of loop + } + } + } + assert( is_loop || b->find_node(def) < j, "uses must follow definitions" ); } if( def->is_SafePointScalarObject() ) { assert(_bbs[def->_idx] == b, "SafePointScalarObject Node should be at the same block as its SafePoint node");