Leveraging SIV in the DA Pass to Detect Loop Carried Dependencies

IR & Optimizations Loop Optimizations
2

CC @sebpop

I have spent some time on the DA pass, specifically as our team is looking at enabling the LoopInterchange pass. Enabling loop-interchange

This would help the DA pass to provide direction and distance across different but similar loops.

Some questions:

  1. Have you considered what it means to be “similar loops”? I think one needs to have a concrete definition for this.
  2. When it comes to analysis, are you thinking of limiting the number of Src and Dst pairs you want to analyze at some point?