-
Christian Dietrich authored
The ApplicationFSM pass transforms the ICFG of a task to a finite state machine. This construction is done by transforming CFG-edges to FSM-states, and CFG-blocks to FSM-transitions. In a second step, the CFG-computation blocks are handled as FSM-epsilon transitions. Then a standard epsilon elimination is done for subtask-FSM. Change-Id: I874bc3b17ebaf16b58bb70226e5eef091e5cbbe9
2f69ade0