Lines Matching full:precondition
83 /// Derive the precondition block (i.e the block that guards the loop
113 /// be called to see if the precondition and postcondition of the loop
252 // the preheader and be placed at the end of the precondition block without
304 // It should have a precondition block where the generated popcount instrinsic
340 // goto loop-exit // the precondition of the loop
445 // step 5: check if the precondition is in this form:
471 // if (x) // the precondition
474 // Step 1: Insert the ctpop instruction at the end of the precondition block
497 // Step 2: Replace the precondition from "if(x == 0) goto loop-exit" to
500 // it back from the precondition block to the preheader.
