1 Компоновка, редактирование и отладка программ Архитектура компьютера

JMP [модификатор] адрес_перехода.

В системе команд микропроцессора существуют несколько кодов машинных команд безусловного перехода. Их различия определяются дальностью перехода и способом задания целевого адреса. Дальность перехода определяется местоположением операнда адрес_перехода. Этот адрес может находиться в текущем сегменте кода или в некотором другом сегменте. В первом случае переход называется внутрисегментным или близким, а во втором случае – межсегментным или дальним.

Внутрисегментный переход предполагает, что изменяется только содержимое регистра IP. Можно выделить три варианта внутрисегментного перехода: прямой короткий, прямой, косвенный.

Прямой короткий внутрисегментный переход применяется, когда расстояние от команды JMP до адреса перехода не более чем 127 байтов выше или ниже. В этом случае транслятор языка формирует машинную команду безусловного перехода длиной 2 байта: первый байт – код операции, второй байт – смещение. В коде операции заложена информация о том, что второй байт интерпретируется как смещение. Здесь нужно отметить одну особенность транслятора ассемблера – он является однопроходным, иными словами, машинный код программы получается за один просмотр команд от начала программы до ее окончания. В связи с этим обстоятельством, если безусловный переход должен происходить на адрес до команды JMP, то транслятор может легко вычислить смещение. Если же переход короткий, но на метку после команды JMP, то транслятору нужно подсказать, что он должен сформировать команду безусловного короткого перехода. С этой целью в команде JMP используется модификатор SHORT PTR (полностью - SHORT POINTER или короткий указатель):

JMP SHORT PTR M1

. . . . . . не более 35-40 команд

M1:

LEA BX, M1

JMP BX

. . . . . .

Или

ADDR DW M1

. . . . . . . .

CSEG SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:CSEG, DS:DSEG, SS:STACK

. . . . . .

JMP ADDR.

В командах косвенного перехода рекомендуется применять модификатор NEAR, т.к. при косвенном переходе не всегда транслятору удается определить, находится адрес перехода в текущем сегменте кода или нет.

Команда прямого межсегментного перехода имеет длину 5 байт, из которых 2 байта составляет смещение адреса перехода, а другие 2 байта – значение сегментной составляющей (CS) того кодового сегмента, где находится адрес перехода. Например:

SEG1 SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:SEG1, DS:DSEG1, SS:STACK

. . . . . .. .

JMP FAR PTR M2

. . . . . ..

M1 LABEL FAR

. . . . . . ..

SEG1 ENDS

SEG2 SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:SEG2, DS:DSEG2, SS:STACK

. . . . . . .. .

M2 LABEL FAR

JMP M1.

DSEG SEGMENT PARA PUBLIC ‘DATA’

ADDR DD M1

. . . . . . . .

CSEG SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:CSEG, DS:DSEG, SS:STACK

. . . . . .

JMP ADDR

CS1 SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:CS1, DS:DS1, SS:ST1

M1 LABEL FAR

MOV AX, BX

. . . .. ..

CS1 ENDS.

Одним из вариантов рассматриваемого перехода является косвенный регистровый межсегментный переход. Адрес перехода в этом варианте указывается в регистре, что удобно при программировании динамических переходов, когда конкретный адрес перехода определяется в процессе выполнения программы и помещается в регистр:

DSEG SEGMENT PARA PUBLIC ‘DATA’

ADDR DD M1

. . . . . . . .

CSEG SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:CSEG, DS:DSEG, SS:STACK

. . . . . .

LEA BX, ADDR

JMP DWORD PTR [BX]

. . . . . .

CSEG ENDS

CS1 SEGMENT PARA PUBLIC ‘CODE’

ASSUME CS:CS1, DS:DS1, SS:ST1

M1 LABEL FAR

MOV AX, BX

. . . . . . . .

CS1 ENDS.

В двойное слово ADDR помещается смещение адреса и начала сегмента кода, включающего метку M1, в нашем случае, начало сегмента CS1.

Т.о. модификаторы SHORT PTR, NEAR PTR и WORD PTR применяют при организации внутрисегментных переходов, а FAR PTR и DWORD PTR – при межсегментных переходах.

INC операнд ,

DEC операнд.

Такую программную конструкцию как цикл можно реализовать, используя в программе операции инкремента, декремента, условного и безусловного переходов. Но, учитывая важность такого алгоритмического элемента, как цикл, разработчики ассемблера предусмотрели специальные команды цикла, например:

LOOP метка_перехода.

Команда означает ’повторить цикл’. Выполнение команды заключается в следующем:

• 
  вычитании 1 из регистра СХ;
  
• 
  сравнении регистра СХ с нулем;
  
• 
  если СХ=0, то управление передается на следующую после LOOP команду, иначе осуществляется передача управления на метку_перехода.
  

LOOPE/LOOPZ метка_перехода,

которые означают “повторить цикл, пока СХ<>0 или ZF=0”. Обе команды совершенно идентичны, поэтому использовать можно любую из них. Отличаются эти команды от предыдущей команды анализом окончания цикла:

• 
  если СХ>0 и ZF=1, управление передается на метку_перехода, иначе если СХ=0 или ZF=0, то выполняется следующая после команды LOOPE/LOOPZ команда.
  

LOOPNE/LOOPNZ метка_перехода,

которые означают, “повторить цикл, пока СХ<>0 или ZF=1”. Как и в предыдущем случае обе команды совершенно идентичны. В них анализ окончания цикла выполняется по следующему правилу:

• 
  если СХ>0 и ZF=0, управление передается на метку перехода, иначе если СХ=0 или ZF=1, то выполняется следующая после команды LOOPNE/LOOPNZ операция.
  

Недостаток всех команд цикла в том, что они реализуют только короткие переходы. Для работы с длинными циклами используются комбинации команд условного перехода и безусловного перехода.

Приложение 1

Программная модель микропроцессора Intel (Pentium III)

целочисленного устройства

AX

Адресное пространство памяти

стек

CH CL

BX

BH BL

31 16 15 0 Сегментные регистры

CS

DS
Индексные регистры

BP

31 16 15 0 15 0

плавающей точкой (сопроцессора) и управления

ST(0)

FL
eflags


ST(1)
31 16 15 0

IP

ST(7)

79 0

Целочисленные с плавающей точкой

MMXi

XMMi

63 0 127 0

Приложение 2

Система команд микропроцессора Intel 8086