3.5.6. Минимизация кода проверки

Проверки спекулятивных загрузок могут иногда объединяться для уменьшения размеров кода. Распространение спекулятивными инструкциями NaT битов и значений NaTVal, может разрешить одной проверке спекулятивного результата заменить многократные промежуточные проверки. Нижеприведенный код демонстрирует этот потенциал оптимизации:

ld4.s r1=[r10] // Спекулятивная загрузка в r1

ld4.s r2=[r20] // Спекулятивная загрузка в r2

add r3=r1,r2;; // Сложение двух спекулятивных значений

// Другие инструкции

chk.s r3,imm₂₁ // Проверка NaT бита в r3

st4[r30]=r1 // Сохранение r1

st4[r40]=r2 // Сохранение r2

st4[r50]=r3 // Сохранение r3

Перед сохранением любого из регистров r1, r2 или r3, должен быть проверен только регистр результата r3. Если бы во время спекулятивной загрузки по управлению r1 или r2 был установлен NaT бит, то NaT бит распространился бы через инструкцию сложения от регистров r1 или r2 к регистру r3.

Другой способ уменьшить количество кода проверки состоит в том, чтобы использовать анализ потока управления, чтобы избежать использования дополнительных инструкций ld.c или ld.a. Например, компилятор может запланировать одну проверку в том месте, которое будет достигнуто всеми копиями предварительной загрузки. Часть потокового графа, показанного на рис. 3.4 демонстрирует, как эта технология могла бы применяться.

ld.a ld.a Предварительные загрузки для обра­щения к тому же самому регистру R ld.a Сохранения *p1= *p2= *p3= ld.c Одна проверка загрузки регистра R

Рис. 3.4. Использование одной проверки для трех предварительных загрузок

Единственная проверка для всех предварительных загрузок, показанная в самом нижнем блоке, является корректной, если выполняются оба условия:

• Самый нижний блок является общим последователем всех блоков с предварительными загрузками.

• Самый нижний блок предшествует любому использованию результатов предварительных загрузок.