antonkozlov / besc Goto Github PK

Анализ циклов. Некоторые циклы ограничены.

for (int i = 0; i < 5; ++i);

[ x ] - snippetы для pass pipeline
[ ] - построить правильный пайплайн (?)
[ ] - совместить с check_cycle

LLVM API: есть split у BB

Как взаимодействует итерация и split?

Сделать ревью: архитектура, алгоритм, код.

Возможно ли сократить количество проходов для упрощения.

Возможно ли обобщить dfs (не иметь несколько копий алгоритма)?

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

• LLVM-IR с пессимистичной оценкой кешей
• машинные инструкции, с пессимистичной оценкой кешей (каждый доступ имеет макс. задержку)
• м. и., оптимистичной оценой кешей (каждый доступ -- за один такт)

И оценить разницу между оценками.

Я думаю о том какой код анализировать. От выбора результаты будут сущетсвенно различаться. Это должен быть реалистичный код из нашей области