Skip to content

Verify dominance relations in IR graph

rarbore2 requested to merge ir_dev into main

This MR implements the following:

  • Verify dominance properties for IR (fork / join dominance / postdominance, phis/thread_ids/collects dominate uses, thread_ids uses are postdominated by corresponding join)
  • Change control type to explicitly storing fork nodes, rather than fork factors

Merge request reports