nastyboget / msu_compilers_2021 Goto Github PK

определение критичных инструкций
в результате будут список помеченных команд и ворклист для марка (отдельные пометки планируются для команд возврата, для команд перехода и для фи-функций)

работа с постдоминаторами
на входе объект функции
от этого требуется получение RDF и просто списка постдоминаторов для конкретного блока (вероятнее всего, просто формирование двух списков: пара блок-рдф и пара блок-постдоминаторы)

алгоритм Mark
на псевдокоде он есть, тут подразумевается часть, которая начинается с while worklist != 0
из того, над чем можно будет подумать, - нахождение def переменной, определение, является ли текущая команда вида x <- y op z (скорее всего, будет решаться на 1), определение последней инструкции перед ветвлением

алгоритм Sweep
на псевдокоде тоже есть
из того, над чем можно будет подумать, - переписывание инструкций, определение ближайшего помеченного постдоминатора, удаление инструкций