Доступ к периферийным регистрам из Паскаля

[vak]

Сейчас к периферийным регистрам можно обращаться из Паскаля через указатели. К примеру, код:

program test();
var
    src, dst: @integer;
begin
    src := ptr(77755B);
    dst := ptr(77756B);
    repeat
        dst@ := src@
    until false;
end.

превращается в:

    c2:  10 010 0000  xta (8)        ; =77755
         01 000 0050  atx 050(1)     ; src
    c3:  10 010 0001  xta 1(8)       ; =77756
         01 000 0051  atx 051(1)     ; dst
    c4:  01 23 00050  wtc 050(1)     ; src@
         00 010 0000  xta
    c5:  01 23 00051  wtc 051(1)     ; dst@
         00 000 0000  atx
    c6:  00 30 00004  uj 4
         00 22 00000  utc

Команда WTC выполняет косвенное обращение к периферийному регистру через указатель. При этом нужно выделять память на указатели.

Есть более эффективный способ, если чуть улучшить линкер в юниксном стиле. Объявляем внешнюю структуру, которая по адресам сооветствует расположению периферийных регистров. Обращение к полям этой структуры будет превращаться в чтение/запись регистров. При этом будет использоваться команда UTC, чуть более эффективная, и не нужна дополнительная память на указатели. Пример:

program test(gpio);
var
    gpio: record            { периферийные регистры блока GPIO }
            unused0,        { 77750 - на будущее }
            unused1,        { 77751 }
            unused2,        { 77752 }
            unused3,        { 77753 }
            CNEN,           { 77754 - маска отслеживаемых пинов }
            CNIE,           { 77755 - вкл. прерывание по изменению сигнала }
            PORT,           { 77756 - запись - выдача, чтение - прием }
            TRIS: integer   { 77757 - направление данных }
        end;
begin
    repeat
        gpio.PORT := gpio.CNIE
    until false;
end.

Результат:

    c2:  00 22 77750  utc 77750
         00 010 0005  xta 5        ; gpio.CNIE
    c3:  00 22 77750  utc 77750
         00 000 0006  atx 6        ; gpio.PORT
    c4:  00 30 00002  uj 2
         00 22 00000  utc

Надо только научить линкер привязывать внешние common-блоки к фиксированным адресам, но это нетрудно.