765219d58c
Support for control-flow graph out of the model
...
The control-flow graph has been taken out of the model. Related changes
to `getCallSitePrototype` have been here addressed.
2022-04-06 16:25:05 +02:00
096ab1f5a1
Segregate: copy metadata on the new Call
...
Before this commit, SegregateStackAccessPass did not update properly the
metadata. Missing metadata did not allow the rest of the pipeline to
detect the special call.
This commit properly copies the metadata and updates the rest of the
pipeline to take care of the special call.
2022-03-22 11:48:27 +01:00
77335d036a
Rename Lifted tag to Isolated
2022-03-17 14:08:05 +01:00
5d197bff15
Adopt API changes in the model
2022-03-10 17:59:05 +01:00
198ecd08d9
Update to new revng API for getCallSitePrototype
...
This commit updates the calls to getCallSitePrototype according to the
new API introduced in revng in commit 0659e6b6a3
2022-03-02 18:04:36 +01:00
f2f783bf9d
SegregateStackAccessPass: avoid 0-sized stacks
2022-01-11 09:46:21 +01:00
7a910eeb48
PromoteStackPointer: ignore CABIFunctionType
2022-01-09 14:14:03 +01:00
6fcf1673c9
Adopt eraseFromParent
2021-12-17 14:01:28 +01:00
24f5515842
Import passes of the new stack promotion pipeline
2021-12-17 14:01:00 +01:00
Antonio Frighetto