Мне удалось получить лексер, средство проверки синтаксиса и семантику, и теперь я хочу перейти к генерации промежуточного кода. Проблема в том, что я не знаю, как обрабатывать логические выражения. Я читал кое-что о E.true и E.false. Этот пример есть везде, но я его не понял.
Например, если у меня есть следующий код
if x>y and x<y or x == 1 then
//super duper code here
x = x+1
else
//super duper wow code here
y = y+1
endif
Результат должен быть примерно таким
1: > x y 3
2: jmp _ _ 9
3: < x y 7
4: jmp _ _ 5
5: == x 1 _
6: jmp _ _ 9
7: + 1 x $1
8: = $1 _ x
9: + 1 y $2
10: = $2 _ y
но метки для переходов неизвестны, пока вы не закончите анализ оператора if.
Поэтому мне нужно сгенерировать квадроциклы, а затем исправить их. Как я могу сделать это с помощью грамматики этого сообщения?
Может кто-нибудь объяснить, как это пойдет, потому что я действительно запутался.