Регистр флагов

Регистр флагов или слово состояния процессора (ССП) — специализированный регистр, отражающий текущее состояние процессора.

Архитектура x86Править

В микропроцессорах Intel 8086 имеет название FLAGS и является 16-разрядным. Расширенные регистры EFLAGS и RFLAGS, введённые в архитектурах IA-32 (процессоры 80386) и x86-64, являются 32-битными и 64-битными соответственно. Расширенные регистры сохраняют обратную совместимость.

Регистр флагов содержит группу флагов состояния, управляющий флаг и группу системных флагов^[1]:

Регистр флагов Intel x86
Бит, №	Обозначение	Название	Описание	Тип флага	Когда введён
FLAGS
0	CF	Carry Flag	Флаг переноса	Состояние
1	1	Зарезервирован
2	PF	Parity Flag	Флаг чётности	Состояние
3	0	Зарезервирован
4	AF	Auxiliary Carry Flag	Вспомогательный флаг переноса	Состояние
5	0	Зарезервирован
6	ZF	Zero Flag	Флаг нуля	Состояние
7	SF	Sign Flag	Флаг знака	Состояние
8	TF	Trap Flag	Флаг трассировки (пошаговое выполнение)	Системный
9	IF	Interrupt Enable Flag	Флаг разрешения прерываний	Системный
10	DF	Direction Flag	Флаг направления	Управляющий
11	OF	Overflow Flag	Флаг переполнения	Состояние
12	IOPL	I/O Privilege Level	Уровень приоритета ввода-вывода	Системный	80286
13
14	NT	Nested Task	Флаг вложенности задач	Системный	80286
15	0	Зарезервирован
EFLAGS
16	RF	Resume Flag	Флаг возобновления	Системный	80386
17	VM	Virtual-8086 Mode	Режим виртуального процессора 8086	Системный	80386
18	AC	Alignment Check	Проверка выравнивания	Системный	80486SX
19	VIF	Virtual Interrupt Flag	Виртуальный флаг разрешения прерывания	Системный	Pentium
20	VIP	Virtual Interrupt Pending	Ожидающее виртуальное прерывание	Системный	Pentium
21	ID	ID Flag	Проверка на доступность инструкции `CPUID`	Системный	Поздние 80486^[2]
22	0	Зарезервированы
…
31
RFLAGS
32	0	Зарезервированы
…
63

Значение некоторых флагов в регистре флагов можно изменять напрямую, с помощью специальных инструкций (например, CLD для сброса флага направления), но нет инструкций, которые позволяют обратиться (проверить или изменить) к регистру флагов как к обычному регистру. Однако, можно сохранять регистр флагов в стек или регистр (E)AX и восстанавливать регистр флагов из них с помощью инструкций LAHF, SAHF, PUSHF, PUSHFD, POPF и POPFD.

При приостановке задачи (используя многозадачные возможности процессора), процессор автоматически сохраняет значение флага регистров в TSS (task state segment), при активизации новой задачи процессор загружает регистр флагов из TSS новой задачи.

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

Флаги состояния в активном состоянииПравить

Флаги состояния (биты 0, 2, 4, 6, 7 и 11) отражают результат выполнения арифметических инструкций, таких как ADD, SUB, MUL, DIV.

CF — устанавливается при переносе из/заёме в (при вычитании) старший значащий бит результата и показывает наличие переполнения в беззнаковой целочисленной арифметике. Также используется в длинной арифметике.

PF — устанавливается, если младший значащий байт результата содержит чётное число единичных (ненулевых) битов. Изначально этот флаг был ориентирован на использование в коммуникационных программах: при передаче данных по линиям связи для контроля мог также передаваться бит чётности (см., например: RS-232#Принцип работы) и инструкции для проверки флага чётности облегчали проверку целостности данных.

AF — устанавливается при переносе или заёме из бита 4 результата. Этот флаг ориентирован на использование в двоично-десятичной (binary coded decimal, BCD) арифметике.

ZF — устанавливается, если результат машинной операции по модулю 2 в степени k (где k — разрядность ячейки) равен нулю.

SF — равен значению старшего значащего бита результата, который является знаковым битом в знаковой арифметике.

OF — устанавливается, если целочисленный результат слишком длинный для размещения в целевом операнде (регистре или ячейке памяти). Этот флаг показывает наличие переполнения в знаковой целочисленной арифметике (в дополнительном коде).

Из перечисленных флагов только флаг CF можно изменять напрямую с помощью инструкций STC, CLC и CMC. Также, битовые инструкции (BT, BTS, BTR и BTC) копируют указанный бит во флаг CF.

Флаги состояния позволяют одной и той же арифметической инструкции выдавать результат трёх различных типов: беззнаковое, знаковое и двоично-десятично кодированное (BCD) целое число. Если результат считать беззнаковым числом, то флаг CF показывает условие переполнения (перенос или заём), для знакового результата (в дополнительном коде) перенос или заём показывает флаг OF, а для BCD-результата перенос/заём показывает флаг AF. Флаг SF отражает знак знакового результата, флаг ZF отражает и беззнаковый, и знаковый нулевой результат.

В длинной целочисленной арифметике флаг CF используется совместно с инструкциями сложения с переносом (ADC) и вычитания с заёмом (SBB) для распространения переноса или заёма из одного вычисляемого разряда длинного числа в другой.

Инструкции условного перехода Jcc (переход по условию cc — например, JNZ для перехода, если результат не ноль), SETcc (установить значение байта-результата в зависимости от условия cc), LOOPcc (организация цикла) и CMOVcc (условное копирование) используют один или несколько флагов состояния для проверки условия. Например, инструкция перехода JLE (jump if less or equal — переход, если «меньше или равен», ≤) проверяет условие «ZF=1 или SF ≠ OF».

Флаг PF был введён для совместимости с другими микропроцессорными архитектурами и по прямому назначению используется редко. Более распространено его использование совместно с остальными флагами состояния в арифметике с плавающей запятой^[3]: инструкции сравнения (FCOM, FCOMP и т. п.) в математическом сопроцессоре устанавливают в нём флаги-условия C0, C1, C2 и C3 и эти флаги можно скопировать в регистр флагов. Для этого рекомендуется использовать инструкцию FSTSW AX для сохранения слова состояния сопроцессора в регистре AX и инструкцию SAHF для последующего копирования содержимого регистра AH в младшие 8 битов регистра флагов^[4], при этом C0 попадает во флаг CF, C2 — в PF, а C3 — в ZF. Флаг C2 устанавливается, например, в случае несравнимых аргументов (NaN или неподдерживаемый формат) в инструкции сравнения FUCOM.

Управляющий флагПравить

Флаг направления (DF, бит 10 в регистре флагов) управляет строковыми инструкциями (MOVS, CMPS, SCAS, LODS и STOS): установка флага заставляет уменьшать адреса (обрабатывать строки от старших адресов к младшим), обнуление заставляет адреса увеличивать. Инструкции STD и CLD соответственно устанавливают и обнуляют флаг DF.

Системные флаги и поле IOPLПравить

Системные флаги и поле IOPL управляют операционной средой и не предназначены для использования в прикладных программах.

IF — обнуление этого флага запрещает отвечать на маскируемые запросы на прерывание.

TF — установка этого флага разрешает пошаговый режим отладки, когда после каждой выполненной инструкции происходит прерывание программы и вызов специального обработчика прерывания (см. также: Int3).

IOPL — показывает уровень приоритета ввода-вывода исполняемой программы или задачи: чтобы программа или задача могла выполнять инструкции ввода-вывода или менять флаг IF, её текущий уровень приоритета (CPL) должен быть ≤ IOPL.

NT — этот флаг устанавливается, когда текущая задача «вложена» в другую, прерванную задачу, и сегмент состояния TSS текущей задачи обеспечивает обратную связь с TSS предыдущей задачи. Флаг NT проверяется инструкцией IRET для определения типа возврата — межзадачного или внутризадачного.

RF — флаг маскирования ошибок отладки.

VM — установка этого флага в защищённом режиме вызывает переключение в режим виртуального 8086.

AC — установка этого флага вместо с битом AM в регистре CR0 включает контроль выравнивания операндов при обращениях к памяти — обращение к невыравненному операнду вызывает исключительную ситуацию.

VIF — виртуальная копия флага IF; используется совместно с флагом VIP.

VIP — устанавливается для указания наличия отложенного прерывания; используется совместно с флагом VIF.

ID — возможность программно изменить этот флаг в регистре флагов указывает на поддержку инструкции CPUID.^[2]

Идентификация процессораПравить

В поздних версиях процессора 80486 появилась инструкция CPUID, позволяющая идентифицировать процессор, на котором работает программа. В более ранних процессорах для идентификации нужно анализировать особенности поведения инструкций и, в том числе, регистра флагов.

К примеру, в процессорах 8086 и 80186 биты 12-15 регистра флагов всегда установлены, в процессорах 80286 и новее биты 12-14 содержат поле IOPL и флаг NT и в реальном режиме всегда сброшены. Это позволяет в 16-битном коде различать процессоры 808x/8018x, 80286 и 80386 (и новее):

Код на языке ассемблера MASM для различения процессоров 8086 — 80386

	pushf			; (Сохранить исходное состояние регистра флагов)
	pushf			; Скопировать регистр флагов...
	pop ax			; ...в регистр AX
	xor ah,11110000b	; Поменять значение старших 4 битов
	push ax			; Скопировать регистр AX
	popf			; ...в регистр флагов
	pushf			; Скопировать регистр флагов...
	pop bx			; ...в регистр BX
	popf			; (Восстановить исходное состояние регистра флагов)
	xor ah,bh		; AH=0 (биты в регистре флагов не поменялись) → 808x-80286, иначе 80386+
	and bh,11110000b	; BH=F0h (все 4 бита установлены) → 808x/8018x, 0 → 80286

Также, флаг AC (бит 18), введённый в 80486, всегда сброшен в 80386, что и позволяет различить эти процессоры:

Код на языке ассемблера MASM для различения процессоров 80386 и 80486

        and sp,not 3		; Выравнять стек, чтобы не было ошибок выравнивания при обращении к нему
	pushfd			; (Сохранить исходное состояние регистра флагов)
	pushfd			; Скопировать регистр флагов...
	pop eax			; ...в регистр EAX
	xor eax,40000h		; Поменять значение бита 18 (флаг AC)
	push eax		; Скопировать регистр EAX
	popfd			; ...в регистр флагов
	pushfd			; Скопировать регистр флагов...
	pop ecx			; ...в регистр ECX
	popfd			; (Восстановить исходное состояние регистра флагов)
	xor eax,ecx		; EAX=0 (бит в регистре флагов не поменялся) → 80386

Аналогично, в старых моделях 80486, где инструкция CPUID ещё не введена, флаг ID (бит 21) всегда сброшен, что позволяет идентифицировать процессоры 80386 и старые модели 80486:

Код на языке ассемблера MASM для определения старых 80486

	pushfd			; (Сохранить исходное состояние регистра флагов)
	pushfd			; Скопировать регистр флагов...
	pop eax			; ...в регистр EAX
	mov ecx,eax		; ...и в регистр ECX
	or eax,200000h		; Установить бит 21 (флаг ID)
	push eax		; Скопировать регистр EAX
	popfd			; ...в регистр флагов
	pushfd			; Скопировать регистр флагов...
	pop eax			; ...в регистр EAX
	popfd			; (Восстановить исходное состояние регистра флагов)
	xor eax,ecx		; EAX=0 (бит в регистре флагов не устанавливался) → 80386/старые 80486

См. такжеПравить

Флаг (компьютерная техника)

ПримечанияПравить

↑ 3.4.3. EFLAGS Register // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 1: Basic Architecture. Order number: 253665-013
↑ ¹ ² Инструкция CPUID была добавлена в поздних версиях процессора 80486 и процессоре Pentium. См.: CPUID — CPU Identification // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 2A: Instruction Set Reference, A-M. Order number: 253666-013
↑ 8.1.3. Branching and Conditional Moves on Condition Codes // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 1: Basic Architecture. Order number: 253665-013
↑ В архитектуре P6 были введены инструкции FCOMI, FCOMIP и т. п., которые в результате сравнения устанавливают флаги в регистре флагов напрямую. Ранее это было невозможно, поскольку сопроцессор реализовывался отдельной микросхемой, и только начиная с 80486DX сопроцессор начали встраивать в процессор.

[1] 3.4.3. EFLAGS Register // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 1: Basic Architecture. Order number: 253665-013

[CPUID-2] ¹ ² Инструкция CPUID была добавлена в поздних версиях процессора 80486 и процессоре Pentium. См.: CPUID — CPU Identification // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 2A: Instruction Set Reference, A-M. Order number: 253666-013

[3] 8.1.3. Branching and Conditional Moves on Condition Codes // The IA-32 Intel Architecture Software Developer’s Manual. — Intel, 2004. — Т. 1: Basic Architecture. Order number: 253665-013

[4] В архитектуре P6 были введены инструкции FCOMI, FCOMIP и т. п., которые в результате сравнения устанавливают флаги в регистре флагов напрямую. Ранее это было невозможно, поскольку сопроцессор реализовывался отдельной микросхемой, и только начиная с 80486DX сопроцессор начали встраивать в процессор.

[1]

[2]

[3]

[4]