Б показывает различные ограничения



Рисунок 5.15, б показывает различные ограничения для всех этих схем планирования условных переходов, а также ситуации, в которых они дают выигрыш. Компилятор должен соблюдать требования при подборе подходящей команды для заполнения слота задержки. Если такой команды не находится, слот задержки должен заполняться пустой операцией.

Рассматриваемый
случай
Требования Когда увеличивается
производительность
(a) Команда условного перехода не должна зависеть от переставляемой команды Всегда
(b) Выполнение переставляемой команды должно быть корректным, даже если переход не выполняется
Может потребоваться копирование команды
Когда переход выполняется. Может увеличивать размер программы в случае копирования команды
(c) Выполнение переставляемой команды должно быть корректным, даже если переход выполняется Когда переход не выполняется



- Начало - - Назад - - Вперед -