LLVM Backend для Z80

[EARL]

Сейчас работаю над сабжем. Если кто-то не в курсе, то вот пара ссылок:
http://ru.wikipedia.org/wiki/LLVM
http://habrahabr.ru/post/47878/
http://llvm.org/
На данном этапе возник вопрос как эффективнее выделять память на стеке, т.е. интерпретировать команду alloca:

<result> = alloca <type>[, <ty> <NumElements>][, align <alignment>]

"Честный" способ выделения памяти выглядит примерно так:

	push hl
	ld hl,-size
	add hl,sp
	ld sp,hl
	...
	ld hl,size
	add hl,sp
	ld sp,hl
	pop hl
	ret

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

	ld hl,offset
	add hl,sp
	ld e,(hl)
	inc hl
	ld d,(hl)

Получается 7 байт на то, чтобы считать слово на стеке. Как-то не очень хорошо))
С другой стороны можно вместо HL использовать IX, тогда обращение будет выглядеть более приятно:

	ld e,(ix+offset)
	ld d,(ix+offset+1)

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

Если предположить, что наша программа будет находится в озу, то можно придти к такому варианту выделения памяти:

	ld (.stack),sp
	ld hl,-size
	add hl,sp
	ld sp,hl
	...
	ld sp,0
.stack	$-2
	ret

Дополнительно к этому можно добавить опцию, указывающую будет ли программа работать в озу или пзу, чтобы генерировать нужный код.

Собственно вопросов всего три:
1) Как лучше выделять память на стеке? Какой регистр использовать - HL или IX?
2) Как обращаться к переменным на стеке
3) Использовать лучше "честный" метод или сделать возможность включения более быстрого?

Если еще есть какие-то замечения и/или пожелания по данному вопросу, буду рад выслушать.

[Advertiser]

[Valen]

Интересная тема.
А на какой стадии находитесь ? Что-то уже работает или только в начале ?

По теме:
Если сможете адресовать по HL, то будет хорошо.
По IX тоже можно (чуть медленнее код будет).
Думаю главное стабильность.

P.S. Когда-то пробовал
LLVM C++ ==> C backend ==> sdcc
(хотелось на плюсах программить) но там свои проблемы были

[Vitamin]

А что мешает заимплементить оба варианта и переключаться между ними с помощью опций?

[EARL]

Интересная тема.
А на какой стадии находитесь ? Что-то уже работает или только в начале ?

Сейчас реализовано немного.. Хм.. Возможность возвращения типов i8, i16. Обработка формальных переменных, в т.ч. есть возможность передавать некоторые параметры в регистрах, остальные на стеке. По сути надо доделать выделение памяти на стеке и дальше уже просто добавлять новые и новые команды.

А что мешает заимплементить оба варианта и переключаться между ними с помощью опций?

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

PS. Все наработки сейчас лежат вот здесь http://sourceforge.net/projects/llvmz80/

[goblinish]

А что мешает заимплементить оба варианта и переключаться между ними с помощью опций?

Хабр головного мозга, очевидно же..

[NovaStorm]

1) Как лучше выделять память на стеке?

Сначала вариант №1. Потом опцией самомодифицирующийся код, но это под вопросом.

Какой регистр использовать - HL или IX?
2) Как обращаться к переменным на стеке

Сам вчера-сегодня интересовался подобным вопросом, IX удобнее вышел.

но тут у нас выделение и освобождение памяти на стеке будет чуть больше размером, т.к. работать будем с IX.

Выделяй через IX, освобождай через HL.

[SfS]

ИМХО, сделай, чтобы всё работало, а потом уж будешь оптимизировать.

или остановишься на какомто варианте, или опцией разрулишь.

[EARL]

NovaStorm, спасибо. Примерно так наверно и сделаю для начала.

ИМХО, сделай, чтобы всё работало, а потом уж будешь оптимизировать.

или остановишься на какомто варианте, или опцией разрулишь.

Да, оптимизацию буду делать уже на рабочем варианте)

PS Если есть кто-то, кто знаком с LLVM или просто желает помочь в разработке бэкенда для Z80, то пишите в эту тему или на почту earl1k[собака]mail.ru. Буду рад любой помощи. Одна голова хорошо, а много - лучше.

[SfS]

NovaStorm, спасибо. Примерно так наверно и сделаю для начала.


Да, оптимизацию буду делать уже на рабочем варианте)

PS Если есть кто-то, кто знаком с LLVM или просто желает помочь в разработке бэкенда для Z80, то пишите в эту тему или на почту earl1k[собака]mail.ru. Буду рад любой помощи. Одна голова хорошо, а много - лучше.

Да за gсс для z80 тебе пива не только я поставить готов)

[EARL]

Да за gсс для z80 тебе пива не только я поставить готов)

Ну это не gcc будет конечно, но clang тоже неплох, но сперва нужен рабочий LLVM backend