Sphinx C-- для Z80

[krt17]

Если есть большое желание сподвигнуть на написание компилятора, может лучше рассказать про bison/yacc/flex или что там нынче модно? Да вообще направить пытливый детский ум не в ручное написание лексического парсера и изучение исходников времен зеленых терминалов, а познакомить с правильным подходом. Может и не напишем, но книжки правильные и интересные почитаем. А то претенденты на лучший язык для спека каждые пол года новые, а реально используются максимум скрипты из агд и мк2, ну или С от безысходности.

[Advertiser]

[Oleg N. Cher]

может лучше рассказать про bison/yacc/flex или что там нынче модно?

Дык. Сподвигайтесь.

• http://other.jrsoftware.org/ip/

• http://www.ssw.uni-linz.ac.at/Coco/

• https://tproger.ru/books/compiler-design-books/

• http://alexei-s1.narod.ru/books/pishem_compilator.pdf

• http://www.exmortis.narod.ru/src_compilers.html

Но я продолжаю оставаться при мнении, что энтузиасту-самоделкину подвластен только простой компилятор ЯВУ со средним качеством генерации кода. То есть он даже не приблизится к SDCC, который здесь много ругали и много хвалили. Кстати, есть ещё ZSDCC из набора z88dk - SDCC с расширенным набором правил для peephole-оптимизатора. По утверждениям разработчиков - даёт код намного лучше.

Другое дело, если язык очень низкоуровневый - типа Metal, COLOSS, PL/M или C--
И тогда можно описывать все оптимизации руками и писать на нём демки и игры качества, сопоставимого с написанными на ассемблере.

[Andrew771]

я пробовал читать "Книгу Дракона" (известную в писи-кругах), но для Спека оттуда мало что применимо. Там слишком современные подходы

[Trol73]

Да, в 2018 году естественно использовать всякие там bison/yacc/flex/antlr/javacc и прочие LLVM, но их недостаток - высокий порог вхождения. Тогда как написать свой простой парсер реально за пару-тройку вечеров. Если изначально не ставить цель написания с нуля собственного ЯВУ, а сделать некоторую надстройку над ассемблером, которая улучшит структуру и читаемость кода, и постепенно её развивать, то можно получить ощутимый практический результат сравнительно небольшими усилиями.

[mastermind]

Вариация C--, кстати, на практике используется в GHC (компилятор Haskell) в качестве промежуточного кода: https://ghc.haskell.org/trac/ghc/wik...entary/Rts/Cmm

[Shiny]

кстати, кто копался в коде? выходит, что в x86 сравнение переменных выльется в не пойми что, если сравнивать с кодом z80.

[Bolt]

В коде не копался, но по-моему наоборот, в Z80 сравнение переменных выливается в не пойми что.
x86 более приспособлен под ЯВУ (локальные переменные, массивы, указатели...).

[Shiny]

как раз да. я увидел в Hitech C замысловатый код сравнения. в х86 выглядело бы как:

cmp ax,-1
jl..
jg..

[blackmirror]

как раз да. я увидел в Hitech C замысловатый код сравнения. в х86 выглядело бы как:

cmp ax,-1
jl..
jg..

это еще не самое замысловатое, на x86 можно сделать и такое:

switch:
  shl al,6  ;проверяем 3 младших разряда
  jc case47
  jz case0   ;x00
  jns case1  ;x0x
  jnp case2  ;x10
case3:   ;x11
...
case47:  ;1xx
  jz case4
  jns case5
  jnp case6
case7:
...

[Shiny]

это еще не самое замысловатое, на x86 можно сделать и такое:

ВОН ИЗ ПРОФЕССИИ!!