Jan Hubicka <hubi...@ucw.cz> writes: > Hi, > this patch implements loop guard heuristics predicting that if one loop is > nested in another and controlled by a conditional that conditional is likely > false. This helps to get more realistic predictionsin larger loop nests.
Just curious: what's the basis for the condition being likely false? (Sorry if this is a well-known heuristic.) Thanks, Richard