x86/x64最適化勉強会#7

とみながたけひろ @takehiro_t

円周率の世界記録を出すならFFT, 整数イデアル使った準同期暗号ならKaratsuba, 楕円関数暗号だと素の掛け算がいい(と予想される) #x86opti

きしもと @ksmakoto

#x86opti 数式処理系と比べると何桁も、GMPと比べて数倍（任意多倍長vs固定多倍長）速い

きしもと @ksmakoto

#x86opti 多倍長をワードにきっちり詰め込むか、少し空けるか。2ワードとかだと詰め込む

とみながたけひろ @takehiro_t

多倍長演算といえばGMPだけど、桁数が固定されてたりする専用コードには勝てない #x86opti

きしもと @ksmakoto

#x86opti PARI（数式処理系）での結果が欲しい、と、査読で言われたり...悩ましい

とみながたけひろ @takehiro_t

実装系の論文を出して「再現性」があることを示してもらうのはつらいよねぇ… 企業の研究系だと特に #x86opti

kitok @kitokjp

確かに暗号系の論文，実装系は公開が少ない． #x86opti

きしもと @ksmakoto

参: 準同型暗号の高速化技術を開発（富士通プレスリリース） pr.fujitsu.com/jp/news/2013/0… #x86opti

きしもと @ksmakoto

非正規化数のFZとDAZ、サンプル置きました metanest.jp/denormals/ #x86opti

とみながたけひろ @takehiro_t

みつなりさんの発表タイトルが変わってる、でもARMの話だよーと #x86opti

とみながたけひろ @takehiro_t

x86で最適なコードが出るようにllvmアセンブラを書くとARMでも最適になる…といいなあというモチベーション #x86opti

とみながたけひろ @takehiro_t

MIPSだとキャリーフラグがないとか、そういうのもあってx86とかにぴったりの命令をllvmには実装しなかったのかなあ #x86opti

とみながたけひろ @takehiro_t

ちょいとテストのつもりがついうっかりllvmが確実に落ちるコードを書いてしまう #x86opti

きしもと @ksmakoto

nビット × nビット = 2nビット みたいな命令はllvmにはない。でも上位がゼロで埋まってる、みたいなのは理解して賢いコードを吐く #x86opti

きしもと @ksmakoto

0xfff...fffefff...fff で割る、みたいな場合に対して良いコードを生成する #x86opti

とみながたけひろ @takehiro_t

llvmの罠で64bit環境と32bit環境で違うコードが必要になった。x86-64とAArch64が同じコードだがx86-64とx86は別コードに。テンプレートで頑張って自動生成 #x86opti

yoh @yohhoy

C restrict的なLLVM noalias #x86opti

とみながたけひろ @takehiro_t

"opt"命令だとー、名前空間汚すんじゃねーよ、と言いたくなるllvmファミリの命令 #x86opti

きしもと @ksmakoto

構造体渡し・返しみたいな大技は... #x86opti

茂木 和洋 @kzmogi

x86/x64 最適化勉強会第7回 ( atnd.org/events/61785 ) 終了しました。ustrream も終了します。#x86opti

小倉唯 @Constellation

大変面白かった, #x86opti

kitok @kitokjp

大変面白かった。 #x86opti

kitok @kitokjp

主催の光成さんをはじめ、準備設営に関わった方、発表された方々、ありがとうございました。#x86opti

小倉唯 @Constellation

#x86opti の CSS JIT の, ブラウザ技術先端観測会のアップデート版なので後でアップデートしとこう

nothingcosmos @nothingcosmos

github.com/CRogers/LLVM-W… windows向けllvmのtoolsがbuild済みの状態で配布されてるっぽい。非常に助かる。