memmove関数は、memcpy関数とほとんど同じなのですが、コピー元とコピー先の領域が重なっていても構わない点が異なります。したがって、memcpyでは付けていたrestrict修飾子がmemmoveでは付きません。では、早速コードを見てみましょう。

#include <stddef.h>

void *memmove(void *s1, const void *s2, size_t n)
{
  register char *ss1 = s1;
  register const char *ss2 = s2;
  if (n != 0)
  {
    if (ss1 < ss2)
    {
      register const char *t = ss2 + n;
      do
        *ss1++ = *ss2++;
      while (ss2 != t);
    }
    else if (ss1 > ss2)
    {
      register const char *t = ss2;
      ss1 += n;
      ss2 += n;
      do
        *--ss1 = *--ss2;
      while (ss2 != t);
    }
  }
  return s1;
}

領域が重なっている場合、コピー先の終端部分に重なっているのか、先頭部分に重なっているのかによって、配列の最初からコピーするか最後からコピーするかを切り替えています。

配列の最後からコピーする場合（ss1 > ss2の条件）、ss1およびss2を配列の最後の要素を一つ越えたところを指すように初期化しています。そして、tはコピー元の配列の最初を指しています。これは、ポインタに整数値を加減算するとき、結果のポインタは、同じ配列内の要素を指すか、配列の最後の要素を一つ越えたところを指さなければならないからです。結果がそれらの範囲に収まらない場合、すなわちオーバーフローした場合の動作は未定義になります。

また、ss1とss2の比較ですが、ss1とss2は同じ集成体（配列または構造体）を指しているとは限らないため、厳密にいえば、この部分は未定義の動作になってしまいます。ただ、効率と可読性を考えると、他に妥当な手もないので、こうしています。コンパイル結果を調べて、期待通りに展開されていることは確認しています。