Lines Matching full:rdef
83 // ... = SuperAB(rdef:SubA), SuperAB"(rdef:SubB)782 // R is live-in in B, if there exists a U(R), such that rdef(R) dom B795 // if (Rdef(U) dom C)
