Skip to content

Conversation

@sipma
Copy link
Contributor

@sipma sipma commented Aug 5, 2025

This pull request includes the following:

  • initial redesign of handling stack variables. It replaces the classes StackLayout and FnStackFrame with the single class FunctionStackframe. The FunctionStackframe consists of a collection of Stackslots that form the logical division of a stackframe;
  • improved handling of side-effect values, that is values that are assigned by a callee via a pointer passed to that callee;
  • a collection of PIR examples that illustrate how predicated instructions are represented in PIR.

@sipma sipma merged commit 941aaea into static-analysis-engineering:master Aug 5, 2025
1 check passed
@sipma sipma deleted the pirexamples branch August 5, 2025 04:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant