Lines Matching defs:loop_verify
2428 PhaseIdealLoop loop_verify( _igvn, this );
2432 verify_compare( C->root(), &loop_verify, visited );
2435 _ltree_root->verify_tree(loop_verify._ltree_root, NULL);
2444 void PhaseIdealLoop::verify_compare( Node *n, const PhaseIdealLoop *loop_verify, VectorSet &visited ) const {
2448 assert( !loop_verify->_nodes[n->_idx], "both should be unreachable" );
2454 verify_compare( n->in(i), loop_verify, visited );
2459 if( _nodes[i] != loop_verify->_nodes[i] &&
2460 get_ctrl_no_update(n) != loop_verify->get_ctrl_no_update(n) ) {
2469 if( loop_verify->has_ctrl(n) )
2470 loop_verify->get_ctrl_no_update(n)->dump();
2472 loop_verify->get_loop_idx(n)->dump();
2477 if( loop_verify->has_ctrl(n) ) {
2484 loop_verify->get_ctrl_no_update(n)->dump();
2489 IdealLoopTree *them = loop_verify->get_loop_idx(n);
2515 if( id != loop_verify->idom_no_update(n) ) {
2522 loop_verify->idom_no_update(n)->dump();