fc64ccc627
Import TupleTree and TupleTreeReference
2021-05-03 16:59:05 +02:00
d46c397e5d
model::FunctionEdge: carve out CallEdge
2021-04-30 14:52:25 +02:00
90c93bfc26
Do not include PassSupport.h directly
2021-04-22 18:06:27 +02:00
b25c43705c
SerializeModelPass: support new pass manager
2021-03-16 11:55:58 +01:00
c2d6631216
LoadModelPass: support new pass manager
2021-03-16 11:55:58 +01:00
0f7de0c2e0
Call to noreturn functions are not killer
...
We used to mark call to noreturn functions as killers, but this is not
correct.
Note that this is a temporary solution, we need to explicitly handle
such situations.
2021-02-19 09:39:49 +01:00
93b7420c8a
Implement model::Function::dumpCFG
2021-02-19 09:39:49 +01:00
82605514c4
model: prepare for ABI information
...
This commit also drops some dead code and fixes Model tests accordingly.
2021-02-19 09:39:49 +01:00
10b90d6e15
SerializeModelPass: static method to write Model
2021-02-17 11:37:00 +01:00
645484f699
LoadModelPass: add static function to read Model
2021-02-17 11:37:00 +01:00
8ba9930638
Invert inheritance of GenericGraph nodes
...
GenericGraphs no longer require CRTP.
2021-01-27 19:46:53 +01:00
38031f2f8a
Import preliminary model
...
This commit imports:
* support for (de-)serializing tuple-like objects in YAML
* the Model data structure
* the {Load,Serialize}ModelPass
2021-01-27 19:46:53 +01:00
Alessandro Di Federico