>>182
その通り。restrictポインタでないと、ポインタの指す領域同士のコピーの
ループに、その都度ポインタからアドレスをロードしてしまうようなコードを
吐く所を、restrictポインタはアドレスをレジスタに代入しっぱなしのコードに
最適化しても良くなる。

volatileの事情とよく似て、ポインタ変数の領域を上書きしてしまって、レジスタ
の値と整合が取れなくなるのを防止するために最適化が抑制されてしまって
いたエイリアシングの問題を、restrictキーワードはパスしても構わない事を
コンパイラに伝える。