Added by Sergey Smolov over 10 years ago. Updated over 9 years ago.
100%
Description
Пусть имеется путь basic_block_1 -> switch -> basic_block_2 в графе потока управления, и оба базовых блока содержат concurrent-присваивания.
Необходимо корректным образом объединять такие базовые блоки после выполнения "подъема" условного оператора
Implement and HDL parser backend, that transforms non-blocking (concurrent, continuous) basic blocks (i.e. containing assignments of the defined type) into separate processes with the specific sensitivity lists. To that sensitivity list the events from parent process and signals from assignments's right part should be merged. Also some switch/case nodes should be put into the separate process if they are one the same CFG path. The backend should throw an exception when it identifies both blocking and non-blocking statements in the same CFG path (and they do not separated by "switch/merge" braces).
Task redetection:
Mark basic blocks as concurrent/non-concurrent. All the internal assignments are treated as concurrent/non-concurrent. It should be used, for example, while backward substitution.
Assignments do not have concurrent/non-concurrent flag.
Almost done in r1448, multi-assignments support should be implemented as the last step.
Multi-assigments support is added but not finished. The method for Fortress array element size calculation is needed for this feature to be finished.