6 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	fdfeb2b6e9	LoadModelPass: support for external model	2022-01-05 14:45:01 +01:00
Pietro Fezzardi	c050dcb621	Handle missing model in SerializeModelPass ... Before this commit, SerializeModelPass and SerializeModelWrapperPass had hard dependencies on the passes that load the model from LLVM-IR. This commit makes this dependency optional. When the passes for model serialization are executed, if they see that nobody requested to load the model, they will not try to serialize it. This prevents them from crashing when running in pipelines that only contain passes that ignore the model. This is particularly beneficial because `revng opt` automatically adds `-serialize-model` at the end of each pipeline and, before this commit, this meant that `revng opt` could not be used for unit-testing simple llvm passes that do not use the model. With this commit, `revng opt` can be used for unit-tests, even on LLVM IR with missing model.	2021-10-21 15:02:01 +02:00
Alessandro Di Federico	b25c43705c	SerializeModelPass: support new pass manager	2021-03-16 11:55:58 +01:00
Alessandro Di Federico	c2d6631216	LoadModelPass: support new pass manager	2021-03-16 11:55:58 +01:00
Pietro Fezzardi	10b90d6e15	SerializeModelPass: static method to write Model	2021-02-17 11:37:00 +01:00
Alessandro Di Federico	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