Вопрос про data flow анализ: Как правильно join-ить ветки с break/continue

Question

Compiler Development

Mar Ort

Вопрос про data flow анализ: Как правильно join-ить ветки с break/continue

внутри циклов? В статьях, которые гуглятся, почему-то этого места не касаются.

#compilerdev #it #programming #russian

0

28.08.2023

15 ответов

16 просмотров

Mar Ort Автор вопроса

А если делать поверх АСТ? Вроде бы можно, через подпрыгиваение же?

0

28.08.2023

Mar Ort Автор вопроса

Alexander Chichigin
Во-первых, это зависит от решётки, в которой Вы ра...

Если такое не в цикле, и какая-то из веток терминируется (например else), то мы берем то что было в оставшейся (then) Если же у нас к примеру такое for (;;) { if (c) { x = 10 } else { x= 20; continue/break } use(x) // 1 } use (x) // 2 То что должно быть в 1 и 2 для x?

0

28.08.2023

Alexander Chichigin

Mar Ort
Если такое не в цикле, и какая-то из веток термини...

> Если такое не в цикле, и какая-то из веток терминируется (например else), то мы берем то что было в оставшейся (then) Вот этого я не понял, что значит "берем то что было в оставшейся"? Какой именно анализ Вы делаете и в какой решётке? > То что должно быть в 1 и 2 для x? Та от решётки же зависит, может быть просто Number, например...

0

28.08.2023

Mar Ort Автор вопроса

Alexander Chichigin
> Если такое не в цикле, и какая-то из веток терми...

Решетка, видимо, символьная (выражение)

0

28.08.2023

Alexander Chichigin

Mar Ort
Решетка, видимо, символьная (выражение)

Символьные тоже разные бывают. Без конкретики я не знаю, что Вам ответить...

0

28.08.2023

Mar Ort Автор вопроса

Alexander Chichigin
Символьные тоже разные бывают. Без конкретики я не...

Какие например?

0

28.08.2023

Alexander Chichigin

Во-первых, 1, 2, 3, ..., Number тоже можно обозвать "символьной", потому что Number. Во-вторых, можно символьно использовать выражения того же самого языка, а можно другого. В-третьих, можно в символьные выражения ещё включать условия, а можно не включать. Это то, что из головы, и я символьными непосредственно не занимался, специалисты, поди, больше оттенков различают...

0

28.08.2023

Mar Ort Автор вопроса

Alexander Chichigin
Во-первых, 1, 2, 3, ..., Number тоже можно обозват...

У меня в качестве символов используются выражения ast и есть флаги которые выводятся из проверок

0

28.08.2023

Mar Ort Автор вопроса

Ну да

0

28.08.2023

Alexander Chichigin

Mar Ort
Ну да

Z3, CVC4 плюс ещё по мелочи...

0

28.08.2023

Владислав Катасонов

Mar Ort
А если делать поверх АСТ? Вроде бы можно, через по...

Тогда результат блока с continue должен пропагироваться в начало цикла(в проверку условия), а результат блока с break должен пропагироваться в конец цикла (в statement непосредственно после цикла) Или по-другому, нужно предшественниками условия цикла сделать не только прехедер и конец цикла, но все блоки с continue (для этого цикла). Break похожим образом делается

0

28.08.2023

Mar Ort Автор вопроса

Владислав Катасонов
Тогда результат блока с continue должен пропагиров...

И правильно ли я понимаю, что каскадные условия (&& и ||) тоже декомпозируются в набор блоков с понятными входами и выходами

0

28.08.2023

Владислав Катасонов

Mar Ort
И правильно ли я понимаю, что каскадные условия (&...

Вообще да

0

28.08.2023

Владислав Катасонов

Mar Ort
И правильно ли я понимаю, что каскадные условия (&...

В целом, для них можно не хранить информацию о состоянии анализа - просто линейно пробегаться, как по if. Хранить информацию, вроде, достаточно только для блоков, тел цикла(с учётом условия) и goto-таргетов

0

28.08.2023

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Во-первых, это зависит от решётки, в которой Вы работаете, а во-вторых — в чём конкретно вопрос? Или какой неправильный способ их джойнить (в отличие от джойна if-then-else)?

0

28.08.2023

185 похожих чатов

Вопрос про data flow анализ: Как правильно join-ить ветки с break/continue

15 ответов

Похожие вопросы