Ада-95. Компилятор GNAT



       лестницы на второй этаж цены |   

Использование самостоятельно описываемых типов


Параметры вывода позволяют использовать не только предопределенные типы.

Они также позволяют использовать типы которые самостоятельно описаны программистом.

В качестве примера, рассмотрим ситуацию в которой необходимо прочитать содержимое регистра флагов процессора и проверить состояние флага переноса (carry flag).

Известно, что флаг переноса находится в бите 0 регистра флагов процессора.

Следовательно, можно использовать соответствующую битовую маску для проверки его состояния:

if (Eax and 16#00000001#) = 1 then

Put_Line ("Carry flag set"); end if;

Однако, может возникнуть необходимость в установке или чтении других битов.

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

Примером, который демонстрирует такой подход, может служить следующая программа:

with Ada.Text_IO; use Ada.Text_IO; with System.Machine_Code; use System.Machine_Code; with Ada.Characters.Latin_1; use Ada.Characters.Latin_1;

procedure Bits is

subtype Num_Bits is Natural range 0 .. 31;

type Flags_Register is array (Num_Bits) of Boolean; pragma Pack (Flags_Register); for Flags_Register'Size use 32;

Carry_Flag : constant Num_Bits := 0;

Register : Flags_Register;

begin

Asm ("pushfl" & LF & HT & -- сохранить регистр флагов в стеке "pop %0", -- загрузить флаги из стека в переменную Register Outputs => Flags_Register'Asm_Output ("=g", Register));

if Register(Carry_Flag) = True then

Put_Line ("Carry flag set"); end if;

end Bits;

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

При использовании полной оптимизации (-O2), генерируемый компилятором код ассемблера будет идентичен для обоих вариантов:

#APP pushfl pop %eax #NO_APP testb $1,%al

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




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