Описание:

Команда SHRD сдвигает первый операнд, задаваемый полем r/m, вправо на столько бит, на сколько указывает третий операнд-счетчик. Второй операнд (регистр общего назначения) содержит биты, которые при выполнении операции вдвигаются слева в значение первого операнда. Результат сохраняется обратно в первый операнд, а второй операнд-регистр остается неизменным.

Операнд-счетчик задается либо непосредственным байтом, либо содержимым регистра CL. Значение счетчика сдвига берется по модулю 32, чтобы ограничить его в рамках от 0 до 31. Эта команда полезна для сдвигов двойной точности (операнды длиной 64 бита или более).

Флаги SF, ZF и PF устанавливаются согласно значению результата. Флаг CF устанавливается в значение последнего младшего выдвинутого бита операнда-источника. Флаги OF и AF оставляются неопределенными для операций многобитовых сдвигов, для операции сдвига на 1 бит флаг OF устанавливается, если происходит изменение знака операнда-источника, и сбрасывается, если изменения знака не происходит. Если операнд-счетчик равен 0, то флаги не изменяются. Если величина операнда-счетчика превышает размерность операнда-источника, то по результатам операции значения флагов не определены.

Операция:

(* Count представляет собой беззнаковое целое, согласованное с последним операндом команды (байтом imm8 или байтом в регистре CL) *)

ShiftAmt = count MOD 32;

InBits = register;  (* Допускается частичное перекрытие операндов *)

IF ShiftAmt = 0

THEN (нет операции)

ELSE

  IF ShiftAmt ³ OperandSize

  THEN (* Плохие параметры *)

     r/m = UNDEFINED;

     CF, OF, SZ, ZF, AF, PF = UNDEFINED;

  ELSE (* Выполнить сдвиг *)

     CF = BIT[r/m,ShiftArm - 1]; (* Последний бит выдвигается *)

     FOR i = 0 TO OperandSize - 1 - ShiftAmt

     DO BIT[r/m,i] = BIT[r/m,i-ShiftAmt]; OD;

     FOR i = OperandSize - ShiftAmt TO OperandSize - 1

     DO BIT[r/m,i] = BIT[InBits,i + ShiftAmt - OperandSize]; OD;

     (* SF, ZF, PF  устанавливаются согласно значению результата *)

     Установить SF, ZF, PF согласно r/m;

     AF = UNDEFINED;

  FI;

FI;