Itanium 2 - Планирование команд

Команды объединяются в 128-разрядные пучки (bundles)

VLIW = Very Large Instruction Word

Itanium 2 – Предикация

Используется для сокращения условных переходов

В предикатной архитектуре команды содержат условия, которые сообщают, в каком случае нужно выполнять команду, а в каком — нет.

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

Исходный код
if (R1 == 0)
R2 = R3;

Ассемблер
CMP R1, 0
BNE L1
MOV R2, R3
L1:

Условная команда
CMOVZ R2,R3,R1

if(R1 == 0) {
R2 = R3;
R4 = R5;
} else {
R6 = R7;
R8 = R9;
}

CMP R1,0
BNE L1
MOV R2,R3
MOV R4,R5
BR L2
L1: MOV R6,R7
MOV R8,R9
L2:

CMOVZ R2,R3,R1
CMOVZ R4,R5,R1
CMOVN R6,R7,R1
CMOVN R8,R9,R1

if(R1 == R2)
R3 = R4 + R5;
else
R6 = R4 - R5;

CMP R1,R2
BNE L1
MOV R3,R4
ADD R3,R5
BR L2
LI: MOV R6,R4
SUB R6,R5
L2:

CMPEQ R1,R2,P4,P5
<Р4> ADD R3,R4,R5
<Р5> SUB R6,R4,R5

Механизм

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

Дата добавления: 2013-12-12