Lines Matching full:precondition
131 assert(MI->isCommutable() && "Precondition violation: MI must be commutable.");