Reply To: Pipelining

I have tinkered with the Software Pipelining approach for the last few months and I think it’s a good idea to do it the Mill way instead of using the usual modulo technique.
I have a few open questions though and I’ll start with the most high-level one:
Which part of the SWP transformation happens in the compiler vs. in the specializer?
I’m currently thinking of these transformation steps:
* determine if SWP is applicable to this loop
* determine steady state
* prime values with NaRs
* add SPILL/FILL for long term dependencies
* add computation of condition vector
* add PICKs
* … whatever I forgot