Lines Matching full:simulate
725 // Phi operands are used on edges, we simulate the right domination by