13 Commits

Author SHA1 Message Date
Andrea Gussoni 06733a9f3a InlineHelpers: split into link / inline / delete
Split the `InlineHelpers` pass into the three phases:

- `link-helpers-to-inline` links the missing `revng_inline` helper
  bodies from the `libtcg-helpers-to-inline-arch` module.
- `inline-helpers` inlines, in every function except those tagged
  `Root` or `Helper`, the calls to `revng_inline` helpers whose
  critical arguments on the call site are constant.
- `delete-helper-bodies` drops from the module the body of every
  `revng_inline` function, leaving only the declaration.

The three passes live in a dedicated `revngInlineHelpers` library
(`lib/InlineHelpers/` + `include/revng/InlineHelpers/`), so that
libraries which do not depend on `revngFunctionIsolation` can use them
without creating cyclic dependencies.
2026-06-19 15:35:18 +02:00
Pietro Fezzardi aa1ea25ca7 ExitSSA: add unit tests 2026-06-19 11:07:44 +02:00
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
Ivan Krysak 1609bbe745 Restore the separate enum declaration node 2026-06-16 18:43:45 +02:00
Alessandro Di Federico e4ba9ca989 Drop precedence-tests 2026-06-15 17:28:22 +02:00
Ivan Krysak 3aeb6c8b25 enum-field-access test: fix broken locations 2026-06-15 17:28:22 +02:00
Ivan Krysak 9418844aa3 Add a const serialization test 2026-06-15 17:28:22 +02:00
Ivan Krysak f13a63ba97 Comment tests: make robust to new attributes 2026-06-15 17:28:22 +02:00
Ivan Krysak cdf22d56a5 Comment tests: restore the segment test 2026-06-15 17:28:22 +02:00
Ivan Krysak 7b86b7e890 import-types: create a new module 2026-06-15 11:47:41 +02:00
Pietro Fezzardi 73cbd99f0a Re-enable comment tests that check for no comments 2026-06-03 22:23:42 +02:00
Alessandro Di Federico 03e02771ac Add model drop-types tool 2026-06-03 13:59:53 +02:00
Alessandro Di Federico 5fa47e8d37 Reorganize lit tests under tests/filecheck 2026-06-03 13:59:53 +02:00