Skip to content

Def use, dataflow, typechecking, structural verification, IR and DESIGN.md updates

rarbore2 requested to merge ir_dev into main
  • Add def use analysis, creates compact immutable def use map
  • Add reverse postorder and dataflow analysis - computes a generic dataflow analysis over an arbitrary lattice
  • Typecheck whole IR
  • Verify IR structure (verify projections mostly)
  • Add extractsum
  • Update DESIGN.md

Merge request reports