Skip to content

Fix dominator based verification, add structural checks

rarbore2 requested to merge ir_dev into main
  • Fix the dominator based verification, and refactor it in the process
  • Add edges to parameter, constant, and dynamic constant nodes from start for dataflow analysis
  • Add structural checks for checking uses of certain control nodes
  • Add invalid example, where phi doesn't dominate use
Edited by rarbore2

Merge request reports