Lines Matching refs:dominator
357 assert(start_block == ir->start() && start_block->number_of_preds() == 0 && start_block->dominator() == NULL, "must be start block");
370 BlockBegin* dominator = block->dominator();
371 assert(dominator != NULL, "dominator must exist");
372 assert(value_map_of(dominator) != NULL, "value map of dominator must exist");
375 _current_map = new ValueMap(value_map_of(dominator));
378 assert(dominator == block->pred_at(0), "dominator must be equal to predecessor");