GCC 11.2.1 с поддержкой процессоров 1801вм1 и 1801вм2

[yu.zxpk]

у PDP-11 слишком мало регистров, чтоб через них передавать параметры. Например, в том же i386 так же все через стек сделано. Только в AMD64 изменили ABI, плюс регистров добавили.

Поломать GCC, чтоб передавать параметры через регистры -- можно. Вот только в внутри вызванной функции опять таки будет использоваться стек, чтоб сохранить R0...R4 на стек и уже относительно стека работать со значениями

[BlaireCas]

Поломать GCC, чтоб передавать параметры через регистры -- можно

Хакир Но возможно это не требуется. Ассемблерные процедурки которые требуют скорости - они вообще без параметров-же будут (ожидая значения в регистрах). А регистры можно загрузить через asm() как в примере там показано:

#define RT11_TTYOUT(c) asm(" mov %[input_c],r0\n emt 0341\n bcs .-2\n" : : [input_c] "r" (c) : "r0", "cc" )

Я не знаю что означают символы : : например, надо гуглить синтаксис. Но оно работает и судя по дизасму все верно делает. Вставляет код который загружает параметр в регистр R0 и вызывает EMT и надеюсь компилятор понимает что регистр R0 был использован и учитывает это.

- - - Добавлено - - -

Чего еще хочется от GCC - чтобы FIS инструкции (эти четыре FADD, FSUB, FDIV, FMUL) использовал и формат float-а был-бы DEC-овский. Например на УКНЦ эти инструкции повешены пусть и на прерывание, но у меня работали в какой-то версии RT-11.
А то ценность сишника без плавучки нереально сильно падает.

[yu.zxpk]

Я посмотрю, что можно сделать с поддержкой FIS для 1801ВМ2.
Уже пора прикрутить тесты собранного кода на "железной" реализации 1801ВМ1 и 1801ВМ2 в виде FPGA.
То есть разбираться с DejaGNU framework, написать минимальный ROM, который будет уметь только LDA грузить и работать с 1 COM-портом, сделать соотвествующее описание "board" в DejaGNU и методы работы с ним.

[BlaireCas]

Попробовал на УКНЦ комманды FIS, например FADD сработало. Вообще даже не встраивая их в сам GCC можно прикрутить обертки как я понимаю для операций с float. Но я не знаю какой формат GCCшного float-a да и конечно хорошо если бы они встроены были.
Как пример теста - складывает 12.0 и 12.0 получается 24.0, работает норм. Команды типа fadd ассемблер понимает, уже плюс.

test.c

#define _TTYOUT(c) asm(" mov %[input_c],r0\n emt 0341\n bcs .-2\n" : : [input_c] "r" (c) : "r0", "cc" )
#define LOAD_R0(c) asm(" mov %[input_c],r0\n" : : [input_c] "r" (c) : "r0", "cc" )
	
/*
	char* buf = "00000";
	
extern void rt11_decimal (unsigned int u)
{
	unsigned int k = 5;
	while (u > 0) { buf[--k] = u%10+48; u = u/10; }
	while (k < 5) RT11_TTYOUT(buf[k++]);
}
*/

extern void rt11_bin (unsigned int u)
{
	for (int k=0; k<16; k++) {
		if (u&0x8000) _TTYOUT('1'); else _TTYOUT('0');
		u = u<<1;
	}
}

	unsigned int fbuf[4];

void main()
{
	// 12.0f
	unsigned int Ahi = 0b0100001001000000; // [1-bit sign] [8-bits exponent, 177=-1, 200=0, 201=1 etc] [24-bit mantissa with first hidden bit always assume = 1]
	unsigned int Alo = 0b0000000000000000;
	// 12.0f
	unsigned int Bhi = 0b0100001001000000;
	unsigned int Blo = 0b0000000000000000;
	// output
	rt11_bin(Ahi); rt11_bin(Alo); _TTYOUT('+'); _TTYOUT('\n'); _TTYOUT('\r');
	rt11_bin(Bhi); rt11_bin(Blo); _TTYOUT('='); _TTYOUT('\n'); _TTYOUT('\r');
	// struct for fis
	fbuf[0] = Bhi;
	fbuf[1] = Blo;
	fbuf[2] = Ahi;
	fbuf[3] = Alo;
	// fadd
	LOAD_R0(fbuf);
	asm ("fadd r0\n");
	// output
	rt11_bin(fbuf[2]); rt11_bin(fbuf[3]);
}

[свернуть]

[yu.zxpk]

в DECUS есть реализации FADD, FSUB, FMUL. Это можно "притянуть" в GAS (GNU Asm)/GCC. Но вот отмаппить `float` на FIS -- не просто, кмк

[Oleg N. Cher]

Директива asm в GCC имеет дополнительные параметры для макроподстановки входных и выходных аргументов. Думаю, мы должны их использовать вместо явного указания N(sp) и это, возможно, поможет правильно генерировать код в inline-функциях:

void Palette (int n)
{
  asm("BICB $0177774, %0"::"g"(n)); // превращается в BICB $0177774, 02(sp)
  ...
}

• https://ru.wikipedia.org/wiki/GCC_Inline_Assembly

• http://asmcourse.cs.msu.ru/wp-conten...inline-asm.pdf

[Oleg N. Cher]

Коллеги, как можно установить вручную адрес секции .data? У меня .data всегда устанавливается в адрес (.code + 0x2000)
Хотя по содержимому скрипта pdp11-aout.ld этого и не скажешь.

То есть, когда юзаются библиотеки с переменными, я получаю бинарник от 8 Кб.

Простые неинициализированные переменные в .data ложатся раньше константного массива.

Если выкусить секцию .data вообще:

pdp11-aout-objcopy.exe --only-section .text --output-target binary %1.out ..\%1.bin

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

В идеале хотелось бы, чтобы константный массив ложился в секцию .data раньше, чем неинициализированные переменные (чтобы не увеличивать ими размер бинаря).

Пробовал пихать код и данные в одну секцию .text:

OUTPUT_FORMAT("a.out-pdp11")
ENTRY(start)
phys = 00001000;
SECTIONS
{
  .text phys : AT(phys) {
    code = .;
    *(.text)
    *(.rodata);
    data = .;
    *(.data)
  }
  end = .;
}

Но с таким скриптом сборки переменные налазят на константный массив и занимают с ним одно адресное пространство. Помогает ALIGN:

OUTPUT_FORMAT("a.out-pdp11")
ENTRY(start)
phys = 00001000;
SECTIONS
{
  .text phys : AT(phys) {
    code = .;
    *(.text)
    *(.rodata)
    . = ALIGN(0100);
    data = .;
    *(.data)
  }
  end = .;
}

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

В общем, нужен хороший совет. Как сделать, чтобы секция .data ложилась сразу после секции кода?

[Sandro]

Попробовал на УКНЦ комманды FIS, например FADD сработало. Вообще даже не встраивая их в сам GCC можно прикрутить обертки как я понимаю для операций с float. Но я не знаю какой формат GCCшного float-a да и конечно хорошо если бы они встроены были.

IEEE-754 single precision, разумеется. Который совместим с плавучкой от PDP-11, только слова в обратном порядке.

[yu.zxpk]

Полезно посмотреть на *.map файл, там будет раскладка символов по адресам.
ALIGN можно сделать маленьким, хоть 010.
Не инициализированные переменные ложатся в секцию BSS.

Перезалил свои примеры `hello-gcc` на github.

https://github.com/yshestakov/pdp11-.../pdp11-aout.ld

[Oleg N. Cher]

Насчёт ALIGN'а понятно, спасибо. Непонятно почему наслаиваются друг на друга переменные и конст. массив. И почему задано такое огромное окошко между .text и .data (0x2000). И как задать его размер. Это ведь не ALIGN 0100 так работает. Даже если убрать ALIGN - будет то же самое.

Среди опций pdp11-aout-objcopy.exe вроде бы нужных нет (чтобы задать размер окна между .text и .data).

Да, один нюанс: я экспериментирую с генерацией не в .sav, а в .bin для БК-0010/0011. Возможно, дело в этом.

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

- - - Добавлено - - -

Не инициализированные переменные ложатся в секцию BSS.

Вы в этом точно уверены? Мне так не показалось. По-моему, GCC для PDP-11 вообще не использует секцию .bss