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
7,705 Commits 215 Branches 0 Tags
next-develop
Commit Graph

2 Commits

Author SHA1 Message Date
Alessandro Di Federico 63734b7ca0 Canonicalize: ban pointers 
In order to ensure there are no `alloca`s containing pointers, we change
the passes that emit them to emit instead integer scalars of the same
type.
 2026-06-19 09:18:16 +02:00
Alessandro Di Federico 3e31edf817 Introduce FixPointerSize 
This commit introduces `FixPointerSize`, a pipe changing the
`DataLayout` of module in order to have a pointer size identical to the
one of `targetABI()`.

The pipe also performs safety checks to ensure this does not corrupt
semantics.
 2026-06-19 09:18:16 +02:00