The memory aliasing point completely correct and very important (even though you probably want the `b[i] = val` outside the inner loop...) [...] Do you mean th

The memory aliasing point completely correct and very important (even though you probably want the `b[i] = val` outside the inner loop...) [...] Do you mean the assignment to b should be or must be outside of the inner loop? I am pretty sure it must be outside of the inner loop in order to make the assembly version correct.