b08da2c045
Serializing CFGs to file
2019-01-17 17:05:10 +01:00
46aafe13fc
Avoid absorption of nodes already in other SCS
...
We now avoid the absorption of some successor node in a metaregion, if
such node is already part of another processed metaregion, to avoid
breaking the nested structure of the metaregions.
2019-01-16 14:56:39 +01:00
da299f3095
EnforceCFGCombingPass: inject dummy nodes in CFG
2019-01-16 12:53:08 +01:00
5805679ead
RestructureCFGPass: fix use of include directory
2019-01-15 16:57:15 +01:00
b66774bcd2
Connect the successor of an SCS only once
...
In case we do not emit an exit dispatcher, take care of connecting the
successor of a SCS only once.
2019-01-14 15:45:08 +01:00
06717a6185
Import RestructureCFGPass from revamb branch
...
Import the RestructureCFGPass from the `feature/the-comb` branch on the
`revamb` repository.
2019-01-14 15:45:08 +01:00
Andrea Gussoni