equal
deleted
inserted
replaced
1716 // Check for data-use outside of loop - at least one of OLD or USE |
1716 // Check for data-use outside of loop - at least one of OLD or USE |
1717 // must not be a CFG node. |
1717 // must not be a CFG node. |
1718 #ifdef ASSERT |
1718 #ifdef ASSERT |
1719 if (loop->_head->as_Loop()->is_strip_mined() && outer_loop->is_member(use_loop) && !loop->is_member(use_loop) && old_new[use->_idx] == NULL) { |
1719 if (loop->_head->as_Loop()->is_strip_mined() && outer_loop->is_member(use_loop) && !loop->is_member(use_loop) && old_new[use->_idx] == NULL) { |
1720 Node* sfpt = loop->_head->as_CountedLoop()->outer_safepoint(); |
1720 Node* sfpt = loop->_head->as_CountedLoop()->outer_safepoint(); |
1721 assert(mode == ControlAroundStripMined && use == sfpt, "missed a node"); |
1721 assert(mode == ControlAroundStripMined && (use == sfpt || !use->is_reachable_from_root()), "missed a node"); |
1722 } |
1722 } |
1723 #endif |
1723 #endif |
1724 if (!loop->is_member(use_loop) && !outer_loop->is_member(use_loop) && (!old->is_CFG() || !use->is_CFG())) { |
1724 if (!loop->is_member(use_loop) && !outer_loop->is_member(use_loop) && (!old->is_CFG() || !use->is_CFG())) { |
1725 |
1725 |
1726 // If the Data use is an IF, that means we have an IF outside of the |
1726 // If the Data use is an IF, that means we have an IF outside of the |