Компилятор языка Паскаль - планы на будущее

[Bolt]

Версия 0.2

Исправления и дополнения:
- константы-массивы (массивы констант?), пока только массивы байтов;
- удаление неиспользуемых подпрограмм (smart linking);
- исправлено размещение многомерных массивов в памяти;
- исправлены ошибки работы с boolean;
- написан wrapper для некоторых подпрограмм из бибилиотеки ZX Like Pascal;
- адаптирована "demo_lode_runner.prg" из ZX Like Pascal;
- адаптирована life.pas.

"Умная линковка" позволяет писать на Паскале библиотеки любого размера, в код будут включены только используемые подпрограммы.

В архиве бинарники win32 и linux64, библиотеки, файлы-примеры .pas и .tap.

bmpascal_v0.2.zip

life.pas не зависла, она работает, 20 секунд идёт инициализация и 60 секунд на итерацию

[Advertiser]

[Bolt]

Эта неделя получилась непродуктивной в плане компиляторостроения. В основном внутренние изменения, никаких новых функций. Плюс появились другие задачи, кроме компилятора.

Планы: оператор case, чтобы запустить demo_z. Так как код пока не оптимизирован и бинарник с картинками имеет объём около 60 килобайт, запускать будем в режиме Spectrum +3, отключая ROM. Следующим пунктом будет поддержка константных выражений в описаниях констант и типов.
Пример:

const
   c=20;
   size=c*5+4;
type
   tArray=[1..size] of byte;

Потом будет большая работа по внутреннему "тюнингу", после чего, надеюсь, удастся избавиться от приведения всей арифметики к 32 битам, что должно немного уменьшить размер кода и значительно увеличить его скорость.

Ещё очень нужны inline-подпрограммы. Но без оптимизации кода они смысла не имеют.

[Andrew771]

Потом будет большая работа по внутреннему "тюнингу", после чего, надеюсь, удастся избавиться от приведения всей арифметики к 32 битам, что должно немного уменьшить размер кода и значительно увеличить его скорость.

Bolt, у тебя сейчас кодогенерация происходит в пи-код или сразу в ассемблер?
Для выражений рекомендуют в книжках сначала определить максимальный используемый числовой тип данных в выражении и уже отталкиваться от этого, какое выражение - 8-битное, 16-битное, 32-битное и т.д.
Т.е., если у тебя в выражении максимальный тип byte, то всё выражение рассчитывается по 8-битному алгоритму.
В ZX Like Pascal везде 16-битные выражения, только есть отдельные оптимизации, превращающие в 8-битные, где надо.

[Shiny]

ладно, оставлю в покое тогда.
mysystem.inc не корректный. По идее inc(a) это a:=a+1, inc (a,5) это a:=a+5

и вопрос по ассемблерным вставкам: можно ли обращаться к переменным? например, LD DE,@a ?

[Bolt]

mysystem.inc не корректный. По идее inc(a) это a:=a+1, inc (a,5) это a:=a+5

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

и вопрос по ассемблерным вставкам: можно ли обращаться к переменным? например, LD DE,@a ?

К сожалению нет. Пока нет... но когда "да" - большой вопрос.
Пока можно так:

var a:word absolute $7000;
...
asm
   ld de,(0x7000)
end;

Аргументы передаются в стеке, по 4 байта на аргумент, обращаться через регистр IX (это base pointer).
[IX+4] это последний аргумент подпрограммы, [IX+8] предпоследний, и т.д.
Могу попробовать развернуть порядок аргументов, [IX+4] это будет первый, [IX+8] второй и т.д.
При переделке кодогенератора смещения могут измениться.

[OrionExt]

Error404, простейшая ли? Не видал таких. Отладочную инфу гнать по стандадарту. И возможно ли это. Платформы 8-бит даже от одного родителя сами себе противоречат. Вроде были попытки, но воз и ныне там. Хотя тема очень актуальная, для меня уж точно. Так и живем.

[Shiny]

строчки с комментариями как раз то, что нужно.

[Andrew771]

ща, как время появится и доберусь до своих паскаль-исходников для PC, позапускаю на твоем компиле. Хочется симулятор футбола хотя бы запустить (есть такой). Там куча типов записей.

[Bolt]

К-какой симулятор футбола? Мне аж страшно... но интересно.
Оно скорее всего в оперативку не поместится. Зато будет понятно в какую сторону дальше копать.

Сейчас у моего кодогенератора бинарник получается раза в 3 больше, чем в ZX Like Pascal. В demo_z.prg один только код, без спрайтов, около 45 килобайт.

[Andrew771]

К-какой симулятор футбола? Мне аж страшно... но интересно.
Оно скорее всего в оперативку не поместится. Зато будет понятно в какую сторону дальше копать.

Не бойся, он текстовый.) Симулятор чемпионата Европы по футболу. Надеюсь, влезет.
Еще есть прога на Delphi поиска оптимального маршрута в Московском метро, тоже текстовая. Тоже попробую.)

Сейчас у моего кодогенератора бинарник получается раза в 3 больше, чем в ZX Like Pascal. В demo_z.prg один только код, без спрайтов, около 45 килобайт.

Ого. Да, надо потом над оптимизацией кода компилятора работать - это отдельная большая тема.