unsigned の exact division などをうまくやる - えびちゃんの日記

unsigned の exact division などをうまくやる - えびちゃんの日記

背景としては、こちらの記事です。 rsk0315.hatenablog.com 1431655766, 1717986920, 1431655782, 14316...概要を表示 背景としては、こちらの記事です。 rsk0315.hatenablog.com 1431655766, 1717986920, 1431655782, 1431655768, 1840700272, 1431655966, -1431655056 などさまざまなマジックナンバーが登場します。 「$x$ が $3$ の倍数であることがわかっているとき、$1431655766x \equiv \tfrac23 x\pmod{2^{32}}$ となる」のような性質を持ちます。 一般に除算は重い処理なので、結果が同じになるような別の命令（乗算など）に置き換える最適化が典型的に行われるのですが、その過程で出てきた値になります。 今回は、そうした値を自分で求められるようになってみようという回です（コンパイル時定数であれば、多くの場合はコンパイラが勝手に最適化してくれるとは思います）。 exact di