43349943a7
Stop serializing the model in the IR
2024-06-20 09:57:36 +02:00
fe1dffcffd
Add some missing includes
...
This is in preparation of reducing headers in Debug.h.
2024-05-03 21:52:40 +02:00
de976fab13
Externalize ModelWrapper::get*Model
2022-12-09 09:07:16 +01:00
fff0fbd874
LoadModelPass: cache TTRs on getReadOnlyModel
...
The cache is evicted on the next call to getWritableModel.
2022-10-29 16:46:19 +02:00
5bdce4bf36
LoadModelPass: support command-line path
...
It is now possible to load a model from file instead of the one written
in the module itself:
revng opt --model-path=<path>
2022-03-28 12:17:05 +02:00
0a5d2c04a7
Rework LoadModelPass
2022-03-08 15:04:34 +01:00
b982b69c5d
revng-model-inject: support model-less modules
...
Inject is meant to inject a model into an `llvm::Module`, but it fails
when operating on a Module that had no model metadata.
This commit fixes the bug.
2022-03-02 15:40:27 +01:00
fdfeb2b6e9
LoadModelPass: support for external model
2022-01-05 14:45:01 +01:00
8fa8ca2d03
Rework getWriteableModel to return a TupleTree
...
The previous design returned a model::Binary &, which did not allow
users writing the model to properly initialize cross references between
different parts of the model.
2021-07-15 13:30:25 +02:00
9650369fa7
Import TupleTree and TupleTreeReference
2021-05-05 17:10:12 +02:00
c2d6631216
LoadModelPass: support new pass manager
2021-03-16 11:55:58 +01:00
645484f699
LoadModelPass: add static function to read Model
2021-02-17 11:37:00 +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
Massimo Fioravanti