Описание:

Команда LOOP уменьшает регистр-счетчик без изменения какого-либо из флагов. Затем проверяются условия характерные для конкретной формы используемой команды LOOP. Если условия удовлетворяются, то происходит короткий переход на метку, заданную операндом команды LOOP.

Если атрибут размера адреса равен 16 бит, то в качестве счетчика используется регистр CX, иначе — ECX.

Операнд команды LOOP — это знаковое непосредственное значение в диапазоне от -128 до +127, оно задает смещение точки перехода относительно первого байта следующей команды.

Команды LOOP обеспечивают циклический контроль и объединяют индексное управление циклом с условным ветвлением. Условные формы команды LOOPcond наряду с анализом значения в регистре (E)CX проверяют состояние флага ZF. Следует понимать, что сама команда LOOPcond не оказывает никакого влияния на этот флаг, его значение определяется результатом исполнения предшествующих команд, которые исполняются в теле цикла.

Операция:

IF Address = 16 THEN CountReg is CX; ELSE CountReg is ECX; FI;

CountReg = CountReg - 1;

IF (Команда не LOOP)

THEN

  IF (Команда LOOPE) OR (Команда LOOPZ))

     THEN BranchCond = (ZF = 1) AND (CountReg ¹ 0)

  FI;

  IF (Команда LOOPNE) OR (Команда LOOPNZ))

     THEN BranchCond = (ZF = 0) AND (CountReg ¹ 0)

  FI;

FI;

IF BranchCond

THEN

  IF OperandSize = 16

     THEN IP = IP + SignExtend(rel8);

     ELSE (* OperandSize = 32 *)

        EIP =EIP + SignExtend(rel8);

  FI;

FI;