admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,607 Commits 215 Branches 0 Tags
feature/invalidation
Commit Graph

3 Commits

Author SHA1 Message Date
Pietro Fezzardi 918bf8d2b1 Use new OpaqueFunctionsPool init methods 2022-03-30 17:21:48 +02:00
Alvise de Faveri 267410ac43 Add Attribute::WillReturn to ReadOnly funcs 
Without this attribute, newer versions of llvm are not able to
remove calls to `ReadOnly` functions whose return value is unused.

This is instead the expected behavior for the functions that are
generated by `revng` with the `ReadOnly` attribute.
 2021-11-19 10:17:02 +01: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