From: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> Date: Sat, 21 Mar 2015 11:49:12 -0700 > Davem? I don't read sparc assembly, so I'm *really* not going to try > to verify that (a) all the memcpy implementations always copy > low-to-high and (b) that I even read the address comparisons in > memmove.S right. All of the sparc memcpy implementations copy from low to high. I'll eat my hat if they don't. :-) The guard tests at the beginning of memmove() are saying: if (dst <= src) memcpy(...); if (src + len <= dst) memcpy(...); And then the reverse copy loop (and we do have to copy in reverse for correctness) is basically: src = (src + len - 1); dst = (dst + len - 1); 1: tmp = *(u8 *)src; len -= 1; src -= 1; *(u8 *)dst = tmp; dst -= 1; if (len != 0) goto 1b; And then we return the original 'dst' pointer. So at first glance it looks at least correct. memmove() is a good idea to look into though, as SLAB and SLUB are the only really heavy users of it, and they do so with overlapping contents. And they end up using that byte-at-a-time code, since SLAB and SLUB do mmemove() calls of the form: memmove(X + N, X, LEN); In which case neither of the memcpy() guard tests will pass. Maybe there is some subtle bug in there I just don't see right now. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>