Task #5445
closed[cgaa][transformer][efsm] Реализовать Static Single Assignment для Action.
100%
Description
Необходимо избавиться от двойных присваиваний в одну и ту же переменную при построении EFSM, т.к. conflict-extractor воспринимает двойное присваивание в одном и том же action'е как потенциальный конфликт.
Updated by Sergey Smolov over 10 years ago
Делаем не полноценный SSA, а упрощенную реализацию.
Особенности упрощенной реализации:
1. Трансформации подвергается GADD-представление, а не CFG.
2. В одинаковых базовых блоках, "размноженных" по разным ветвям GADD-представления, для одних и тех же присваиваний используются разные(!) версии.
3. В каждом действии GADD-представления если переменная несколько раз определяется в присваиваниях, последнее присваивание делается самОй переменной, а не её версии (упрощенная реализация ф-функций).
Updated by Sergey Smolov over 10 years ago
Если задача выполнена с т.з. создателя, то предлагается поставить статус Verified.
Updated by Sergey Smolov over 10 years ago
- Status changed from Closed to Resolved
Закрывает задачи только менеджер проекта.