Rearrange twelve samples into three exact lanes
On this page · Permalink · Source line 202
Lane extraction changes addresses while preserving all twelve values. For \(r=0,1,2\) and \(m=0,1,2,3\), define \((E_rx)(m)=x(r+3m)\).

The lanes are \((9,2,-5,2)\), \((2,3,2,1)\), and \((1,2,3,2)\). Twelve values remain twelve values. A shorter address in each lane does not by itself reduce information content or computation cost.