clang+llvmでさりげなくすごいコードが生成されていた話。 - 組み込みの人。

先日llvm 3.3がリリースされました。aarch64(arm 64bit)のコードが生成できるようになったということなので、ソースからビルドして遊んでいたのですが、さりげなく凄く最適化されたコードが生成されているのに気がつきました。aarch64だと今は実行して確認できる環境が手元に無いので、普通のarmv7-aで同じことを試しました。 ここで使ったコードとその結果はgistに貼りました。 https://gist.github.com/tetsu-koba/5835724 ソースコード int sum(int x) { int sum = 0; int i; for (i = 1; i <= x; i++) { sum += i; } return sum; } 1からnまでの総和を求める関数です。1から100までの総和が5050なのはガウス少年の逸話で有名ですね。 gcc 4.8.

[m-bird]

コンパイラの気持ちを分かってあげながら行儀の良いコードを書くことが必要だなぁ、と。共感だいじ。

[endo_5501]

「これからのコードを書く者の技量として、どう書くとどう最適化が効くか、いかに最適化を邪魔しないようにコードを書くかということが問われるのかなと思いました」

[kimikimi714]

さりげなくすごいコンパイラはさりげなくすごい人が作ってるんだよな。

[sh19910711]

"sum(100)=5050なのはコンパイルした時点でわかっているので、もうsum関数を呼ばずに定数で5050をprintfに渡しています"

[zyusou]

こんなコード吐いているのか。

[itochan]

実体験として何もないけど、最適化ってこういうものだと思ってた。　特定の速度ベンチマークへの最適化は論外として、一般的にも最適化されてしまうので、それは迂回するコードが書かれると聞いた記憶。

[stealthinu]

うわすっごいな。これは人が最適化するよりコンパイラに任せたほうが確実に速いわ。

[oinume]

副作用がない関数だとこんな風にコンパイラがインライン展開してくれるのか。すごいなー。

[sweet-programming]

最適化おもしろい

[iyoo14]

“)”

[kasumani]

clang+llvmでさりげなくすごいコードが生成されていた話。 先日llvm 3. Tags: from Pocket January 07, 2014 at 09:42AM via IFTTT

[mib-dbsinfra]

コンパイラの最適化を邪魔しないことが重要

[masterq]

"コンパイラの最適化を邪魔しにくい言語のひとつとしては関数型言語がありますね。" Ajhcでclangをサポートした方がいいな。。。

[mswar]

なるほ。単純なループなら確かに漸化式化できるもんな〜。。。かつ式化してしまえば、定数引数なら、計算すらさせずに定数化できるもんな〜・・・

[shonanshachu]

clang+llvmでさりげなくすごいコードが生成されていた話。

[tanakaBox]

副作用が無ければ、ごっそりアルゴリズムまで最適化するのか。

[manaten]

ループがなくなるどころか定数になってしまうのは凄いな。最適化には謎のロマンがある。

[YasuyukiMiura]

副作用がない関数だから最適化できるというのは意識したいところ。

[rryu]

chains of recurrencesでググっても日本語のページがヒットしない…

[vid]

この手のが増えると、アセンブラで追いかける羽目になった時に、ものすげー苦労するんだよなぁ（＾＾；；　CPU Core に頻度の低いバグがあったら、目も当てられないことになりそう。

[Rinta]

やばいな。人間が考えることがどんどん少なくなってきている。チューニング技術を持ったプログラマがお払い箱になる日が近づいている。思えば、SQL Serverだってパフォーマンスチューニングアドバイザあるしな。

[ka_ko_com]

最適化の話か。これくらいの最適化は最近では普通だと思ってた。 …… clang+llvmでさりげなくすごいコードが生成されていた話。

[vvakame]

ごいすー。

[gologo13]

すごい。こんなことできるのか

[cha-cha-ki]

あわわ

[ooblog]

定数化できる関数をコンパイラが判別と。

[JD30671011]

あとで見る

[sirocco]

ガウス少年は先生から1から100まで和を求める計算問題を出されて、101になる組み合わせが50個できるので5050と答えたそうですが、コンピュータもいちいち全部足し算しないという話。

[alunko]

こういう最適化ってブレークポイントとかどうなるんだろ

[rishida]

clang+llvmでさりげなくすごいコードが生成されていた話。 - 組み込みの人。 gcc, llvm先日llvm 3.3がリリースされました。aarch64(arm 64bit)のコードが生成できるようになったということなので、ソースからビルドして遊んでいたの

[gigi-net]

なぞのぎじゅつ

[masakih]

　すごい