Компиляторы, 3 курс, 5 семестр, 2016/17

Лектор: Булычев Дмитрий Юрьевич.

https://github.com/dboulytchev/sample-compiler

Образ с настроенным софтом для виртуальной машины: OVA (логин внутри: me, пароль: me).

Результаты

Вся информация на этой странице сдублирована из почты!

Домашние задания

Домашнее задание от 13.09.2016

1. Дописать интерпретатор стековой машины с символическим стеком (там надо поддержать оставшиеся 5 инструкций).
2. Реализовать печать инструкций в правильном формате ассемблера x86 (см., например, https://en.wikibooks.org/wiki/X86_Assembly/GAS_Syntax).
3. Реализовать правильное "обрамление" порожденной программы:

            .text
            .globl main

main:
            <тут идет текст ассемблерного порождения>
            ret

Конструкции управления

Базовые:

1. if E then S1 else S2 fi, где E — выражение, а S1 и S2 — операторы. Если значение E вычисляется не в ноль, то исполняется <code>S1, иначе — S2.
2. while E do S od</code, где <code>E — выражение, <code>S — оператор. Если значение E вычисляется в не ноль, то исполняется S, а потом весь while заново; иначе не делается ничего.

Дополнительные:

1. if E1 then S1 {elif E2 then S2 elif E3 then S3} ... [else Sk] fi эквивалентно:

    if E1 then S1
    else if E2 then S2
           else if E3 then S3
           ....
           [else Sk]
    fi 

2. repeat S until E эквивалентно S; while E == 0 do S od
3. for S1, E, S2 do S od эквивалентно S1; while E do S; S2 od

Документация

Система сборки (новая)

Используется opam - это пакетный менеджер для OCaml.

Подготовка (альтернативно можно запустить скрипт от Димы):

1. Требуется установить opam версии хотя бы 1.2.2. Есть в репозиториях Debian/Ubuntu (sudo apt-get install opam).
2. Должен автоматически поставится компилятор ocaml. Проверяем версию: ocaml -version.
3. Если версия хотя бы 4.02 - запускаем из домашнего каталога opam init. Если версия древнее — запускаем opam init --comp 4.03.0.
4. Чтобы подцепить изменения в окружении в текущей сессии, надо запустить eval `opam config env`. Теперь версия компилятора точно должна быть хотя бы 4.02.
5. Выполняем команды:

opam pin add logger https://github.com/dboulytchev/logger.git -y -n
opam pin add GT https://github.com/dboulytchev/GT.git -y -n
opam pin add ostap https://github.com/dboulytchev/ostap.git -y -n
opam pin add ocanren https://github.com/dboulytchev/ocanren.git -y -n 
opam install ostap
opam install ocanren

6. Также для сборки runtime.o на Debian/Ubuntu может потребоваться пакет g++-multilib.

Как собирать:

• Если вы находитесь в корне репозитория: make -f Makefile.ob.
• Если вы находитесь не в корне, а, скажем, в папке src, то надо добавить параметр -C <путь-до-корня>: make -C .. -f Makefile.ob.