Lines Matching full:precondition
84 /// Derive the precondition block (i.e the block that guards the loop
114 /// be called to see if the precondition and postcondition of the loop
280 // the preheader and be placed at the end of the precondition block without
337 // It should have a precondition block where the generated popcount instrinsic
373 // goto loop-exit // the precondition of the loop
479 // step 5: check if the precondition is in this form:
505 // if (x) // the precondition
508 // Step 1: Insert the ctpop instruction at the end of the precondition block
531 // Step 2: Replace the precondition from "if(x == 0) goto loop-exit" to
534 // it back from the precondition block to the preheader.
