Home | History | Annotate | Download | only in Scalar

Lines Matching full:precondition

663 /// Precondition: Second instruction must be dominated by the first