Lines Matching full:know
623 // We already know that nothing uses any scalar values defined inside of this
720 // First step, split the preheader, so that we know that there is a safe place
746 // Now that we know that the loop is never entered when this condition is a
747 // particular value, rewrite the loop with this info. We know that this will
905 // Now we rewrite the original code to know that the condition is true and the
906 // new code to know that the condition is false.
1036 // Remove successor blocks here that are not dead, so that we know we only
1044 // We know that if the successor is a loop header, that this loop had to
1068 // RewriteLoopBodyWithConditionConstant - We know either that the value LIC has
1069 // the value specified by Val in the specified loop, or we know it does NOT have
1088 // If we know that LIC == Val, or that LIC == NotVal, just replace uses of LIC
1115 // Otherwise, we don't know the precise value of LIC, but we do know that it
1129 // If we know that LIC is not Val, use this info to simplify code.
