On 11/11/2014 01:52 PM, Wilco Dijkstra wrote: > No - in the worst case we need to write 64 bytes. The proof is trivial, > dst = x0 & -64, tmp2 = x0 & -16, so tmp2 = dst + (x0 & 0x30) or tmp2 >= dst. > Since we start doing the dc's at dst + 64, the stp to [tmp2 + 64] is redundant. Quite right, my mistake. r~