Inferno
0.2
|
Make sure every SystemC wait is followed by a goto. More...
#include <state_out.hpp>
Public Member Functions | |
GotoAfterWait () |
Make sure every SystemC wait is followed by a goto.
This is in preparation for state-out/fall-out. We will only reorganise the program around gotos, and so we need to have a goto in place to re-organise. This means we can't then optimise away ineffectual gotos, to do that we would need to mark the goto in some way, or just ignore it if preceeded by a wait
Definition at line 13 of file state_out.hpp.
Definition at line 18 of file state_out.cpp.