Reply To: The Belt

Hi Jonathan,

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 call can.

I might have missed if this has been explained in any of the talks so far.