Компилятор Oberon-07/11 для x86 Windows

[ilovb]

Забавно что эта разработка опубликована здесь а не там...

[valexey_u]

Оригинальный язык был XDS Oberon-2. При этом я старался не пользоваться средствами Oberon-2, отсутствующими в Oberon-07. В какой-то момент исходный код был просто переведен на Oberon-07, что было несложно сделать. Также первое время компилятор производил не машинный код, а ассемблерный masm32. Постепенно ассемблерный код был заменен машинным.

Кстати, а чем обусловлено использование в модуле Out функции WriteConsoleA а не WriteFile? Ведь у WriteConsoleA есть противная черта, она не работает с перенаправленными потоками вывода:

WriteConsole fails if it is used with a standard handle that is redirected to a file.

Поменял в Out'e на WriteFile - и перенаправление заработало. То есть теперь в консоли можно спокойно писать

Код: [Выделить]

HW.exe > res.txt
После выполнения появится файл res.txt, где будет содержаться то, что программа HW.exe выводила на консоль (точнее на stdout).

[akron1]

Кстати, а чем обусловлено использование в модуле Out функции WriteConsoleA а не WriteFile? Ведь у WriteConsoleA есть противная черта, она не работает с перенаправленными потоками вывода:

обусловлено моим недостаточным знанием winapi

[valexey_u]

Кстати, а чем обусловлено использование в модуле Out функции WriteConsoleA а не WriteFile? Ведь у WriteConsoleA есть противная черта, она не работает с перенаправленными потоками вывода:

обусловлено моим недостаточным знанием winapi

Ну, я тоже там не блистаю особо - наткнулся только потому, что привык редиректить, а оно не редиректится :-) Ну и фикс в одну строчку:

Код: [Выделить]

  (* GetProc("WriteConsoleA", kernel32, sys.ADR(WriteConsole)); *)
  GetProc("WriteFile", kernel32, sys.ADR(WriteConsole));

Пошел щупать дальше :-)

[vlad]

Оригинальный язык был XDS Oberon-2. При этом я старался не пользоваться средствами Oberon-2, отсутствующими в Oberon-07. В какой-то момент исходный код был просто переведен на Oberon-07, что было несложно сделать. Также первое время компилятор производил не машинный код, а ассемблерный masm32. Постепенно ассемблерный код был заменен машинным.

А как ты оцениваешь - насколько трудоемко добавить поддержку Win64?

[akron1]

А как ты оцениваешь - насколько трудоемко добавить поддержку Win64?

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

[Vartovyj]

Сколько времени у вас заняло написание компилятора?

[akron1]

Сколько времени у вас заняло написание компилятора?

Записал основные даты в истории компилятора:

18 мая 2012 - начало разработки
15 июля 2012 - самокомпиляция в ассемблер
20 сентября 2012 самокомпиляция в машкод

Параллельно с разработкой компилятора приходилось разбираться в ассемблере, структуре исполняемых файлов и многих более мелких системных вопросах (stdcall, выравнивание полей в структурах). Если бы я все это знал раньше, разработка заняла бы меньше времени. Кроме того, я почти не пользовался специализированной литературой. Если бы я воспользовался хотя бы книгой Вирта "Построение компилятора", я бы избежал многих ошибок и меньше пришлось бы вносить исправления, теряя время.

[Vartovyj]

Ну вот! А тут стращали что это минимум на 2-3 года работы:)

[Geniepro]

Ну вот! А тут стращали что это минимум на 2-3 года работы:)

В современных условиях только сам компилятор никому не нужен. Нужна платформа -- библиотеки, желательна среда разработки, документация ко всему хозяйству и т.д. А всё это займёт куда больше чем полгода. Одно тело и за три года вряд ли управится...

[Kemet]

akron1, здесь лежат исходники Оберон-07 под AVR.  Язык разработки - Активный Оберон.
Может будет полезен.

[valexey_u]

А можно описать что какое поле значит в экспортируемых типах модуля DECL?

Прямо сейчас меня интересует это:

Код: [Выделить]

  rIDENT* = RECORD (UTILS.rITEM)
    Name: SCAN.NODE;
    line*, col*: INTEGER;
    Number*: INTEGER;
    iType*: INTEGER;
    T*: pTYPE;
    Unit*: UNIT;
    Value*: LONGREAL;
    Export: BOOLEAN;
    StProc*: INTEGER;
    VarSize: INTEGER;
    ParamSize*: INTEGER;
    LocalSize: INTEGER;
    Offset*: INTEGER;
    VarKind*: INTEGER;
    current: BOOLEAN;
    Level*: INTEGER;
    Parent*: IDENT;
    ParamCount*: INTEGER
  END;

А еще конкретней - что такое тут Offset.

[akron1]

А еще конкретней - что такое тут Offset.

Offset - смещение переменной (это поле применяется только для идентификаторов переменных, для любых других видов идентификаторов оно равно 0)
Для глобальных -- относительно начала секции глобальных переменных (первая объявленная глобальная переменная имеет смещение 0).
Для локальных и параметров - относительно базы кадра стека (на него указывает регистр EBP). У параметров смещение положительное, у локальных переменных отрицательное.

[valexey_u]

А еще конкретней - что такое тут Offset.

Offset - смещение переменной (это поле применяется только для идентификаторов переменных, для любых других видов идентификаторов оно равно 0)
Для глобальных -- относительно начала секции глобальных переменных (первая объявленная глобальная переменная имеет смещение 0).
Для локальных и параметров - относительно базы кадра стека (на него указывает регистр EBP). У параметров смещение положительное, у локальных переменных отрицательное.

Смещение в байтах?

Я правильно понял, что это артефакт конкретного кодогенератора?

[akron1]

Смещение в байтах?

Да

Я правильно понял, что это артефакт конкретного кодогенератора?

Не понял. В каком смысле артефакт?