Опять же, давайте не забывать про суперскалярность и VLIW. Под них руками не наоптимизируешься. И в итоге всё равно поведение процессора не угадаешь... В вычислительных комплексах универсального класса безусловно выгоднее программировать на уровне абстрактной машины ЯВУ..