Система программирования Turbo Pascal



                

Система команд


SAL/SHL

SAL приемник, счетчик

Сдвинуть влево

SAR/SHR

SAR приемник, счетчик

Сдвинуть вправо

ROL

ROL приемник, счетчик

Сдвинуть влево циклически

ROR

ROR приемник, счетчик

Сдвинуть вправо циклически

RCL

RCL приемник, счетчик

Сдвинуть влево с переносом

RCR

RCR приемник, счетчик

Сдвинуть вправо с переносом

Битовые команды используются при исчислении логических выражений, а также в тех случаях, когда необходимо изменить отдельные разряды операнда. Логические команды AND, OR, XOR и NOT эквивалентны соответствующим операциям Турбо Паскаля в случае, когда операндами являются целочисленные выражения. Команда TEST выполняет целочисленную операцию поразрядного суммирования AND, но не изменяет значения операндов, а лишь устанавливает флаги в соответствии со значением результата сравнения: обнуляет CF и OF, изменяет PF, ZF, SF и не меняетAF (флаг ZF установится в 1 в том случае, когда оба операнда содержат по единице хотя бы в одном соответствующем разряде). Команды сдвига SHL/SHR эквивалентны одноименным операциям Турбо Паскаля и отличаются от команд циклического сдвига ROLIROR тем, что вытесненные в ходе их выполнения значащие разряды теряются, в то время как при циклическом сдвиге эти разряды появляются «с другой стороны». Например, если выполнить фрагмент

mov al,1 {Загружаем в AL единицу}

shr al,1 {Сдвигаем вправо ,на 1 разряд}

регистр AL будет содержать 0 (вытесненная вправо единица будет помещена в CF), в то время как после замены команды SHR на ROR в нем будет значение $80=128 (вытесненная единица будет помещена в старший бит регистра).

Заметим, что счетчиком в командах сдвига может быть цифра 1 или количество сдвигов, указываемое в регистре CL.

Команды передачи управления

Мнемоника

Формат

Комментарий

Безусловные переходы

CALL

CALL имя

Войти в процедуру

RET

RET [количество параметров]

Вернуться из процедуры

JUMP

JUMP имя

Перейти

Условные переходы

JA/JNBE

JA близкая_метка

Перейти, если выше (после сравнения

беззнаковых операндов)

JAE/JNB

JAE близкая_метка

Перейти, если выше или равно

JB/JBAE/JC

JB близкая_метка

Перейти, если ниже

JBE/JNA

JBE близкая_метка

Перейти, если ниже или равно

JCXZ

JCXZ близкая_метка

Перейти, если СХ=0

JE/JZ

JE близкая_метка

Перейти, если равно

JG/JNLE

JG близкая_метка

Перейти, если больше (после сравнения

знаковых операндов)

JGE/JNL

LGE близкая_метка

Перейти, если больше или равно

JL/JNGE

JL близкая_метка

Перейти, если меньше

JLE/JNG

JLE близкая_метка

Перейти, если меньше или равно

JNC

JNC близкая_метка

Перейти, если нет переноса

JNE/JNZ

JNE близкая_метка

Перейти, если не равно

JNO

JNO близкая_метка

Перейти, если нет переполнения

JNP/ JPO

JNP близкая_метка

Перейти, если нечетный

JO

JO близкая_метка

Перейти, если перенос

JP/JPE

JP близкая_метка

Перейти, если четный

JS

JS близкая_метка

Перейти, если отрицательный

Команды управления циклами

LOOP

LOOP близкая_метка

Повторить цикл

LOOPE/LOOPZ

LOOPE близкая_метка

Повторять, пока равны

LOOPNE/LOOPNZ

LOOPNE близкая_метка

Повторять, пока не равны

Команды безусловных переходов CALL, RET, JMP могут использовать дальнюю или ближнюю модель памяти, в то время как команды условных переходов - только малую (в пределах -128...+127 байтов). При дальней модели памяти (устанавливается опцией Options/Compiler/Force far calls среды Турбо Паскаля или директивой компилятора {F+}) осуществляется как внутрисегментная, так и межсегментная передача управления, при ближней - только внутрисегментная.

Инструкция CALL работает следующим образом. Вначале адрес следующей за CALL инструкции (адрес возврата) помещается в стек, затем в регистр IP (или в пару CS:IP) помещается адрес точки входа в процедуру, таким образом сразу за командой CALL будет исполняться уже первая команда процедуры. Оба адреса (точки входа и возврата) будут 16-битовыми смещениями для внутрисегментного вызова или 32-битовыми полными адресами - для межсегментного. Все процедуры (функции) Паскаля, оттранслированные в режиме {F+} или содержащие зарезервированное слово FAR в заголовке, должны вызываться как дальние. Для этого за инструкцией CALL следует указать модель памяти:

Procedure MyProc; Far;

.......

asm

call FAR MyProc {Вызов дальней процедуры}

.......

end;

Таким же способом должны вызываться все библиотечные подпрограммы (т.е. объявленные в интерфейсных частях модулей). При дальнем вызове в стек сначала заталкивается содержимое сегмента кода CS, а уже затем - смещение возврата.

При выходе из дальней процедуры команда RET извлекает из стека оба 16-разрядных слова и помещает первое в IP, а второе в CS, а при выходе из ближней извлекает из стека только смещение и помещает его в IP.

Команды условных переходов способны передавать управление на метку, расположенную в пределах ближайших плюс-минус 128 байт от самой команды. Если нужно передать управление на метку, расположенную дальше в том же сегменте, или на метку в другом сегменте, сразу за командой условной передачи располагают безусловную команду JMP или CAL, например:

стр ах,0 {Проверяем АХ} 

jne@NotZero {AX=0 ?} 

jmp IsZero {Да - переходим на дальнюю метку}

....... {Нет - продолжаем работу}

.......

В таблице термин «выше/ниже» используется применительно к сравнению беззнаковых операндов, а «больше/меньше» - знаковых.

Поскольку условные переходы реализуют ветвление программы на основе проверки флагов, обычно непосредственно перед ними располагаются команды, изменяющие эти флаги, чаще всего - команда сравнения СМР. Ниже показаны комбинации СМР - условный_переход для различных соотношений приемника и источника (первого и второго операнда) команды СМР:

Условие

Для беззнаковых чисел

Для чисел со знаками

Приемник больше источника

JA

JG

Приемник и источник равны

JE

JE

Приемник меньше источника

JB

JL

Приемник не меньше источника

JAE

JGE

Приемник не больше источника

JBE

JLE

Приемник и источник не равны

JNE

JNE

Например:

сmр ах,5 {АХ>5 ?} 

ja @AboveS {Да, больше - переходим} 

стр bх,- 3 {ВХ<=-3 ?} 

jle @LessM3 {Да, меньше или равен}

Команды LOOP/LOOPE/LOOPNE служат для организации циклов. Все они используют содержимое регистра СХ как счетчик числа повторений. Команда LOOP уменьшает СХ на единицу и передает управление на метку начала цикла, если содержимое этого регистра отлично от нуля. Команды LOOPE/LOOPNE также уменьшают счетчик СХ, но передают управление в начало цикла при совместном условии установки (или сброса) флага ZF и неравенства нулю счетчика СХ.

Вот как, например, можно отыскать нулевой байт в массиве АОВ:

var

АОВ: array [1..1000] of Byte;

.......

asm

mov ex, It)00 {Инициируем счетчик СХ} 

lea bx,AOB {Помещаем адрес АОВ в ВХ} 

dec bx {Готовим цикл} 

{Здесь начало цикла проверки}

@@Test: inc bx {Адрес очередного байта}

cmp BYTE PTR [bx],0 {Проверяем байт} 

loopne ©Test {Замыкаем цикл} 

jnz ©NotZero {Если не найден нулевой байт}

....... {Нашли нулевой байт}

end;

Строковые команды

Мнемоника

Формат

Комментарий

Пересылка строк

MOVSB

MOVSB

Пересылать байты

MOVSW

MOVSW

Пересылать слова

Сравнение строк

CMPSB

CMPSB

Сравнивать байты

CMPSW

CMPSW

Сравнивать слова

Сканирование

SCASB

SCASB

Искать байт

SCASW

SCASW

Искать слово

Загрузка и сохранение

LODSB

LODSB

Загружать байты

LODSW

LODSW

Загружать слова

STOSB

STOSB

Сохранять байты

STOSW

STOSW

Сохранять слова

Строковые команды рассчитаны на обработку строк. Замечу, что термин «строка» здесь отнюдь не эквивалентен аналогичному термину Турбо Паскаля и означает произвольную цепочку байт или слов длиной до 64 Кбайт. Эти команды оперируют пятью примитивами, каждый из которых обрабатывает лишь один байт или одно слово за раз. Перед примитивом обычно указывается префикс повторения REP/REPE/REPNE, заставляющий выполняться примитив до тех пор, пока не обнулится счетчик повторений СХ или не будет нарушено соответствующее условие.

При использовании строковых команд важно помнить два обстоятельства. Во-первых, эти команды всегда берут адрес строки-источника из пары DS:SI, а строки-приемника - из пары ES:DI. Таким образом, перед исполнением строковой команды необходимо инициировать сегментные регистры нужным образом. Во-вторых, строковые команды используют индексную адресацию с автоматическим изменением смещения в SI/DI после однократного исполнения примитива. Содержимое этих регистров изменяется на 1 при обработке байтов и на 2 при обработке слов, причем наращивается, если флаг направления DF сброшен, и уменьшается, если он равен 1.

Вот как можно осуществить пересылку массива А в массив В:

var

А,В: array [1..250] of Integer;

.......

asm

lea si, A {Смещение А - в SI (источник)'} 

push ds pop es {Инициируем ES := DS} 

lea di,B {Смещение В - в DI (приемник)} 

mov ex,250 {Счетчик- переноса} 

сld {Направление переноса - наращивать}

rep movsw {Переносим 500 байт}

end;

В программе на Турбо Паскале регистр DS всегда содержит сегмент данных, поэтому инициировать его необязательно. Что касается регистра дополнительного сегмента ES, такого правила нет, и хотя в большинстве случаев он также ссылается на сегмент данных, рекомендуется проводить его инициацию перед использованием строковой команды (см. выше команды push ds, popes).

Команды прерываний

Мнемоника

Формат

Комментарий

INT

INT номер

Выполнить прерывание

INTO

INTO

Выполнить прерывание по переполнению

IRET

IRET

Вернуться из прерывания

Выполнение прерываний во многом напоминает косвенный вызов дальней процедуры. По команде INT (INTO) в стек помещается регистр флагов, сегмент CS и указатель IP, а новые значения этих регистров берутся из 4-байтного вектора прерывания, соответствующего номеру прерывания в команде INT, или из вектора 4 -для команды INTO. Таким образом, единственным отличием от команды CALL является то, что в стек предварительно заносится регистр флагов. Следует, правда, оговориться: перед передачей управления программе обработки прерывания микропроцессор сбрасывает флаги трассировки TF и прерываний IF; сброс TF необходим для обеспечения нормальной работы отладчиков, использующих прерывание по вектору 1 или 4, сброс IF блокирует вмешательство других процессов в ход обработки прерывания.

Команда INTO представляет собой условное прерывание и выполняется, если в этот момент взведен флаг переполнения OF. Команда IRET реализует правильный выход из программы обработки прерывания: она считывает из стека 3 двухбайтные слова и помещает их в регистры IP, CS и регистр флагов.

Команды управления

Мнемоника

Формат

Комментарий

Управление флагами

STC

STC

Установить перенос

CLC

CLC

Очистить перенос

CMC

CMC

Инвертировать CF

STD

STD

Установить направление

CLD

CLD

Очистить направление

STI

STI

Разрешить прерывания

CLI

CLI

Запретить прерывания

Внешняя синхронизация

HLT

HLT

Остановить вычисления

WAIT

WAIT

Ждать активности на шине

ESC

ESC код, источник

Передать команду

LOCK

LOCK

Захватить шину

Пустая команда

NOP

NOP

Нет операции

Команды внешней синхронизации работают следующим образом.

HAL Т переводит МП в состояние останова, из которого его можно вывести только при перезагрузке системы или при наступлении немаскируемого прерывания.

WAIT заставляет МП выполнять холостой режим работы и каждые 5 тактов проверять уровень сигнала на входной шине: пока на этой шине нет сигнала активности, процессор выполняет WAIT, но как только шина активизируется, он продолжит исполнение программы. Эта инструкция обычно используется для ожидания сигнала обслуживания (прерывания) высокоприоритетного устройства типа контроллера прямого доступа к памяти.

Команда ESC используется для передачи указанного в ней операнда на шину данных. Тем самым обеспечивается возможность передачи команд другим процессорам. Эта команда чаще всего используется для управления работой арифметического сопроцессора. В этом случае код представляет собой код команды сопроцессора, а источник - используемый в этой команде операнд.

Команда LOCK фактически представляет собой однобайтовый префикс, который можно использовать совместно с любой другой командой микропроцессора. По этой команде МП активизирует одноименный сигнал на своей шине, что исключает возможность использования этой шины любым другим внешним устройством (процессором).









Содержание  Назад  Вперед