Alessandro Di Federico
06023b4555
BitLivenessWrapperPass::dump
2024-07-10 16:19:26 +02:00
Alessandro Di Federico
6ed958d614
Improve TypeShrinking
...
This commit fixes a TypeShrinking bug and extends it to better handle
more instructions. Specifically, we now handle shift left, select, phi
and bitwise operations.
2023-07-26 10:16:25 +02:00
Alessandro Di Federico
ee335eadf1
GraphTraits: improve handling of const MFP::Graph
...
Improve the handling of const MFP::Graph in GraphTraits and
DOTGraphTraits.
2023-07-26 10:16:25 +02:00
Alessandro Di Federico
537e25e440
TypeShrinking.h: add missing header
2023-07-26 10:16:25 +02:00
Ivan Krysak
bc98e0079f
Formatting: change PenaltyReturnTypeOnItsOwnLine
...
The new value is 21.
2023-07-02 13:20:49 +02:00
Alessandro Di Federico
394111ed40
Add missing includes
2023-04-08 08:42:24 +02:00
Massimo Fioravanti
0d3133cfc9
Fix missing includes
...
This ensures headers make sense on their own, without implicit
assumption about includers to also include other headers before them.
2022-12-09 18:09:39 +01:00
Alessandro Di Federico
7c050ee377
mv include/revng/{TypeShrinking,MFP}/SetLattices.h
2021-12-17 18:51:06 +01:00
Antonio Frighetto
cbd81e57d9
Improve MFP
2021-12-15 18:03:30 +01:00
Alessandro Di Federico
0d77258109
Introduce HasKeyObjectTraits concept
2021-05-05 17:10:12 +02:00
Alessandro Di Federico
53f6328507
Introduce PromoteCSVs
...
This commit takes out of EnforceABI the part taking care of creating
wrappers for calls to helpers and promoting CSV to local variables.
This decoupling, enables to run -promote-csvs multiple times, for
instance after inlining.
2021-04-22 18:07:24 +02:00
Alessandro Di Federico
035b75d540
TypeShrinking: do not expose dependency on MFP.h
2021-03-08 10:15:50 +01:00
Alessandro Di Federico
23470dc911
Convert TypeShrinking to new pass manager
2021-03-08 10:15:50 +01:00
Alessandro Di Federico
8f05cbf1ee
Convert BitLiveness to the new pass manager
2021-03-08 10:15:50 +01:00
Alessandro Di Federico
8a5cc6a020
Import TypeShrinking
2021-03-08 10:15:50 +01:00