Если интересно, как работает предсказатель переходов в привычных процессорах, наберите в поиске 64-ia-32-architectures-optimization-manual, скачайте pdf и почитайте. Что бы быстрее сориентироваться в этом талмуде, вбейте в программе просмотра в поиск branch prediction. В ранних вариантах архитектуры предсказатель действовал достаточно топорно: когда видел впервые переход назад (обычный для цикла), считал, что его надо исполнить; когда видел повторно, повторял предыдущее решение. Потом придумали для команд переходов префиксы, подсказывающие процессору. Программист писал в коде if (unlikely(fd < 0)). Потом префиксы убрали. Процессор исполняет обе ветки условного перехода и отбрасывает лишнюю, когда становится известно значение флага (здравствуй Спектрум и Мельдоний). Я не знаю, зачем здесь САПР. По-моему, достаточно сгенерировать такие широкие команды, что бы исполнялось обе ветки сразу.

Я боюсь оказаться банальным, но Итаник затонул как и Титаник - по тем причинам, что публике не рассказывают. В то время мне потребовалось сгенерировать код на С++ и обнаружилось, что когда тело функции становится больше чем пороговое число строк (не помню, может 1000), MSVC 7-й версии отключал оптимизатор. А иногда падал с сообщением «не хватает памяти». Сейчас ОЗУ больше на порядки.