Skip to content

Conversation

@dibyendumajumdar
Copy link
Contributor

Various changes to support SSA transformation.

  • Added Dominator calculation
  • Added Phi and Arg instructions
  • Implemented SSA algorithm as described in Practical Improvements to the Construction and Destruction of Static Single Assignment Form, by Preston Briggs, with some parts from Engineering a Compiler.

Register type

Add Register type

Add Register type

Add DomTree and LoopFinding

WIP SSA

WIP SSA - add Phi instructions

WIP SSA - Initial implementation of SSA var renaming

WIP SSA - Fixes and first test cases

Fix test cases

Fix test cases

Fix Phi instruction to use register operands like all others.

Add test case

Bug fix

Updated test case

comments
@dibyendumajumdar dibyendumajumdar merged commit a91a7fb into main Dec 12, 2024
1 check passed
@dibyendumajumdar dibyendumajumdar deleted the typestate branch December 13, 2024 16:14
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.

2 participants