Lines Matching refs:dominator

427   BitMap     _dominator_blocks;    // temproary BitMap used for computation of dominator
537 assert(cur->dominator() == NULL, "dominator already initialized");
713 assert(a->dominator() != NULL || a == _linear_scan_order->at(0), "dominator must be initialized");
714 a = a->dominator();
717 assert(b->dominator() != NULL || b == _linear_scan_order->at(0), "dominator must be initialized");
718 b = b->dominator();
721 assert(b != NULL, "could not find dominator");
726 if (cur->dominator() == NULL) {
727 TRACE_LINEAR_SCAN(4, tty->print_cr("DOM: initializing dominator of B%d to B%d", cur->block_id(), parent->block_id()));
731 TRACE_LINEAR_SCAN(4, tty->print_cr("DOM: computing dominator of B%d: common dominator of B%d and B%d is B%d", cur->block_id(), parent->block_id(), cur->dominator()->block_id(), common_dominator(cur->dominator(), parent)->block_id()));
733 cur->set_dominator(common_dominator(cur->dominator(), parent));
914 assert(_linear_scan_order->at(0)->dominator() == NULL, "must not have dominator");
919 BlockBegin* dominator = block->pred_at(0);
922 dominator = common_dominator(dominator, block->pred_at(i));
925 if (dominator != block->dominator()) {
926 TRACE_LINEAR_SCAN(4, tty->print_cr("DOM: updating dominator of B%d from B%d to B%d", block->block_id(), block->dominator()->block_id(), dominator->block_id()));
928 block->set_dominator(dominator);
978 if (cur->dominator() != NULL) {
979 tty->print(" dom: B%d ", cur->dominator()->block_id());
1054 assert(cur->dominator()->linear_scan_number() <= cur->pred_at(j)->linear_scan_number(), "dominator must be before predecessors");
1057 // check dominator
1059 assert(cur->dominator() == NULL, "first block has no dominator");
1061 assert(cur->dominator() != NULL, "all but first block must have dominator");
1063 assert(cur->number_of_preds() != 1 || cur->dominator() == cur->pred_at(0), "Single predecessor must also be dominator");