leadpogrommer/llvm-project-cdm

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

llvm-project-cdm's Issues

Поддержка разных конфигураций памяти

Сейчас бэкэнд не поддерживает разные адресные пространства, а LLVM/Clang сконфигрурирован складывать всё в стандартное пространство (0). Это затрудняет использование компилятора с гарвардской архитектурой.

У DataLayout есть параметры, отвечающие за стандартные адресные пространства для кода, глобальных переменных и стэка:

P<address space>
    Specifies the address space that corresponds to program memory.

G<address space>
    Specifies the address space to be used by default when creating global variables.

A<address space>
    Specifies the address space of objects created by ‘alloca’.

Также можно указать адресное пространство для конкретной переменной:

__attribute__((address_space(1)))
char string[128];

Используя это, можно реализовать поддержку разных конфигураций памяти.

Соглашения о вызовах

В основное соглашение нужно добавить передачу аргументов через стек. Также хотелось бы поддержку regcall.

Тернарный оператор не работает

Простой код

char foo(int a) {
    return a > 15 ? '1' : '2';
}

не компилируется с ошибкой cannot select

Лишний пролог и эпилог функции

Бэкэнд генерирует пролог и эпилог функции там, где его можно опустить.

void foo(int a, int b);

void bar() {
    foo(5, 6);
}

-O3:

foo: ext

bar>                                    # -- Begin function bar
# %bb.0:
	push	fp
	ldsp	fp
	addsp	0
	ldi	r0, 5
	ldi	r1, 6
	jsr	foo
	addsp	0
	pop	fp
	rts
                                        # -- End function

Вместо move $rs, $rd используется push $rs; pop $rd

Функции, принимающие указатель, не компилируются на -O0

Пример файла

void test(int *a) {

}

Ошибка

fatal error: error in backend: Cannot select: 0x62cf29dba870: i16 = srl 0x62cf29dba5d0, Constant:i16<8>
  0x62cf29dba5d0: i16,ch = CopyFromReg 0x62cf29d93e50, Register:i16 %0
    0x62cf29dba560: i16 = Register %0
  0x62cf29dba6b0: i16 = Constant<8>
In function: test

Размещение данных на стеке

Сейчас все данные на стеке имеют выравнивание 2 байта. Это приводит к излишнему использованию памяти, например, у char[] каждый символ имеет паддинг.

Нужно научить бэкэнд более компактно размещать данные на стеке.

Большие стековые кадры

int main(){
  volatile int a = 228;
  volatile int b[100] = {0};
  volatile int c = 1337;
  return 0;
}

генерит некорректный код (ssw r0, -206)

Бэкэнд не может получить адрес переменной на стеке

Следующий код не собирается:

extern volatile int UART0_DATA;

__attribute__((noinline))
void write_char_ptr(char* c) {
    UART0_DATA = *c;
}

void __bootloader_panic_c() {
    char c = 'f';

    write_char_ptr(&c);
}

-O0:

fatal error: error in backend: Cannot select: 0x16dd8168be8: i16 = srl 0x16dd81689b8, Constant:i16<8>
  0x16dd81689b8: i16,ch = CopyFromReg 0x16dd81af058, Register:i16 %0
    0x16dd8168948: i16 = Register %0
  0x16dd8168fd8: i16 = Constant<8>
In function: write_char_ptr

-O1,2,3,s:

fatal error: error in backend: Cannot select: 0x1fd5fb34b18: i16 = FrameIndex<0>
In function: __bootloader_panic_c

Вывод отладочной информации

Необходимо реализовать вывод отладочной информации в выходные ассемблерные файлы. Функция должна быть переключаемой.

В начале файла с помощью директивы dbg_source <idx>, <path> задаются индексы исходных файлов.
Далее, в коде нужно на каждую строчку исходного кода генерировать директиву dbg_loc <file idx>, <line>, <column>.

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

Когда данная функция отключена, dbg_loc генерировать не надо, но комментарий лучше оставить, dbg_source также можно не генерировать.

dbg_source 0, "full path"
dbg_source 1, "C:/some/full/path/uart.c"

asect 0
STATUS_DISP: ext

loader_start>

    dbg_loc 0, 5, 0         # if (a > b)
    ldi r0, STATUS_DISP
    ldi r1, 0xbeef

    dbg_loc 1, 2, 0         # UART0 = 0xaabb
    stw r0, r1

    halt

end.