Lines Matching full:precondition
727 /// precondition and postcondition of the loop are in desirable form.
758 /// goto loop-exit // the precondition of the loop
869 // step 5: check if the precondition is in this form:
918 // It should have a precondition block where the generated popcount instrinsic
958 // if (x) // the precondition
961 // Step 1: Insert the ctpop instruction at the end of the precondition block
984 // Step 2: Replace the precondition from "if (x == 0) goto loop-exit" to
987 // it back from the precondition block to the preheader.
