Генерация кода для условных выражений?

Question

[Григорий Дикий]

Доброго времени суток, стоит задача написать генератор для условных выражений. Для этого я все эти выражения загнал в обратную польскую запись, то есть выражение: 7 > 6 and 6 < 3 в этой записи будет таким: 7 6 > 6 3 < and , что вполне нормально и соответствует приоритетам. Но вот как это запрограммировать ? в общем то есть идея но там есть несостыковочки.

Именно я планировал использовать стек в ассемблере и помещать туда результат выполнения операции в виде нуля и единицы, то есть до того как дойти до end, в стеке будет 0 1, после чего сам end возьмет 0 и 1 и также вернет результат ( а данном случае 0), после того как законченно логическое выражение мы смотрим в стек и если в нем 1, то выполняем ветку истинного условия, если ложно то соответственно ветку ложного условия.
Планировал я это реализовать при помощи меток, что-то типа:

zero:
push $0

one:
push $1

Зная что операции сравнения имеют семейство условных переходов я планировал к ним обращаться и таки способом заполнять стек нулями и единицами, но вопрос , а как вернуться назад ? (надо понимать, что это код будет писать генератор) а может есть по проще алгоритмы решения данной задачи?

Comments

[AtomKrieg]

теринарный оператор это аналог if, не операторов сравнения <>==!=

[Григорий Дикий]

AtomKrieg: а тернарный оператор тут причем ?

[AtomKrieg]

Григорий Дикий: ааа... зачем вы пробел перед знаками препинания ставите ? :)

Answer 1

[tsarevfs]

Подход с польской записью возможен, если нужны только выражения. По поводу "А как вернуться назад?":
1. Если вы храните строку с токенами в польской записи в каком-то массиве, и обрабатываете их в цикле, то после push $0/ push $1 можно сделать безусловный jump на начало цикла обработки.
2. Использовать call, адрес возврата будет положен на стек и вы вернетесь к месту вызова по ret. Но в этом случае не получится использовать аппаратный (push, pop) стек без дополнительных извращений. Заведите массив под еще один стек для ваших данных. Гуглите "стек на массиве", если не понятно о чем я. Это кажется усложнением, но с большой вероятностью вы захотите использовать стек для чего-то еще потом. Не стоит сразу его резервировать для одной цели.
3. Вместо условных переходов можно попытаться загрузить результат сравнений из регистра флагов напрямую.

pushf			; Скопировать регистр флагов...
pop ax			; ...в регистр AX

остается сделать and с маской для нужного флага и сдвинуть (shr) чтобы получить 0 или 1.

Comments

[Григорий Дикий]

Спасибо, буду разбираться с написанным выше

Answer 2

[Андрей]

До фразы "... мы смотрим в стек и если в нем 1, то выполняем ветку истинного условия, если ложно то соответственно ветку ложного условия" все абсолютно верно. А дальше я не понимаю ход Ваших мыслей, извините ... Поясните другими словами ? Какая у Вас в итоге цель ?

Comments

[Григорий Дикий]

Я создаю урезанный компилятор и мне надо чтобы это генерировалось на автомате. Я планировал использовать стек, мне надо чтобы операции сравнения записывались нулями и единицами в зависимости от результата, так как для логических отношений (and, or) я планировал брать со стека последних два результата и сравнивать и соответственно переходить куда надо. Так вот есть у в ассемблере оператор условного перехода в зависимости от операции отношений который может перейти на метку (к примеру где мы пишем 0 в стек) , но как вернуться обратно ? чтоб продолжить выполнять код с того места где он остановился? неужели надо создавать кучу меток для того чтоб он возвращался обратно?

[Андрей]

jc p1456_true
p1456_false:
исполняем код FALSE
jmp p1456_end
p1456_true:
исполняем код TRUE
p1456_end:

[Григорий Дикий]

Андрей: Вы не поняли, скорее вопрос состоит так: каков алгоритм вычисления сложных условных выражений?

[Андрей]

Логические выражения на методическом уровне вычисляются точно так же как и арифметические: та же польская запись, если в лоб, или оптимизация в регистрах и/или флагах, если хочется побыстрее. Изменяется только реализация операций, но результат все равно либо 0 либо 1. Вы все правильно описали в самом первом сообщении.

[Григорий Дикий]

Андрей: Проблема в том, что результат операций отношений нигде не сохраняется и для них возможны только условные переходы