Files
Andrea Gussoni 35b0da291a InlineHelpers: add post-inlining no-GEP verifier
Add `PostInlineHelpersVerifyPass`, a `ModulePass` derived class that
aborts on any `getelementptr` instruction found in any Isolated
function. `inline-helpers` is the only pass in the post-isolate chain
that could import a GEP into an Isolated function by inlining a helper
body that contains one, so the verifier is invoked at the end of
`InlineHelpersPass::runOnModule`. In this way, we early catch this
invariant on the IR.
2026-05-29 17:12:35 +02:00
..
2026-05-29 17:12:35 +02:00
2026-05-25 09:00:41 +02:00
2025-12-16 17:41:55 +01:00
2026-05-14 11:26:41 +02:00
2025-12-16 17:41:55 +01:00
2026-04-23 13:40:42 +02:00
2026-02-16 10:34:38 +01:00
2026-05-04 10:49:03 +03:00
2026-04-23 13:40:43 +02:00
2025-12-16 17:41:55 +01:00
2025-12-16 17:41:55 +01:00
2025-12-16 17:41:55 +01:00
2026-02-16 10:34:38 +01:00