likely/unlikely, к слову - это всего лишь хинт для оптимизации первой итерации, и программист всего лишь просит таким образом подгрузить наиболее вероятную по его мнению ветку. Тем не менее, это имеет смысл только для реально тяжёлых веток + когда точно известно, что в большинстве случаев хинт будет верным (например, если итераций много и likely будет исполняться для всех итераций, кроме последней), ведь если запрефетчить неправильную ветку и потом окажется, что мы наступили на маловероятную ветку - придётся сбрасывать то, что мы закэшировали в CPU, а это дорогая операция.

Тем не менее - likely/unlikely никак не противоречит предсказанию ветвлений, и даже наоборот - дополняет систему branch prediction процессора. Поскольку после первой итерации цикла в дело вступает уже предсказатель ветвлений процессора.