I’m beginning to form my own (uninformed) mental model of the belt in loops.
The loop body must be in an EBB, and the parameters to an EBB are passed at the front of the belt. The
call instruction has a list of belt positions and order to make the new belt for the callee.
If you jump back to the start of the EBB, you have to put the parameters for the next iteration back at the front of the belt.
My intuition would be that the
branch ops can all specify a list of belt positions and order to put these back at the front of the belt for the next iteration, just like a
I might have missed if this has been explained in any of the talks so far.