How the LLVM Compiler Infrastructure Works | What Is LLVM? | InformIT
LLVM is a virtual machine infrastructure that doesn’t provide any of the high-level features you’d find in something like the Java or .NET virtual machines, including garbage collection and an object model. The basic design of LLVM is an unlimited register machine (URM), familiar to most computer scientists as a universal model of computation. It differs from most URMs in two ways: Registers are s
性能を改善した「LLVM 2.5」がリリース | OSDN Magazine
コンパイラ・インフラ「Low Level Virtual Machine（LLVM）」を開発するLLVM Developer Groupは3月2日、最新版「LLVM 2.5」をリリースした。バグ修正と性能改善が主な強化点となる。 LLVMは、米イリノイ大学で開発された技術で、プログラム言語に依存しないコンパイラ基盤。コンパイル時、リンク時、実行時、さらにはアプリケーションがアイドルの状態でもコードを最適化する。現在、イリノイ大学のほか、米Apple、米Google、米Adobe Systemsなども開発に加わっている。 最新版では、「XCore」プロセッサを含むバックエンドを持ち、GCC互換フロントエンドのllvm-gccでGFortrunを、プリコンパイルしたバイナリリリースもFortrunをサポートした。GCCインライナーは、コード量急増の問題から完全に無効化されている。 ユニットテス
最適化・並列化コードを生み出す最新コンパイラ「インテル コンパイラー」 | OSDN Magazine
最近のコンパイラには、出力するバイナリコードをより高速に実行できるようにする「最適化」機能が搭載されている。CPUやPCアーキテクチャがより複雑化している近年、コンパイラによる最適化はより注目を浴びるようになっている。 たとえば、現在のCPUはいわゆる「マシン語」のコマンド列をそのまま実行するのではなく、内部でより細かい単位に分解して実行する。このとき、CPUのリソースをより効率良く利用できるよう、場合によってはその順序の並び替えや、並列化が行われる。また、処理を行うデータがキャッシュされているかどうかによっても処理速度が大きく変化する。CPUクロックの向上により、CPUとメモリ間でデータをやりとりする時間についても大きなボトルネックとなるようになったからだ。 このようにCPUの動作が複雑になっている現在、「より速く実行できるコード」を生成するには、CPUの構造やその動作についての知識も必
探索のパフォーマンスはどうやって比較すればいいか - 西尾泰和のはてなダイアリー
「N個の要素が与えられて、その中からM個を選んだ順列について何かを計算したい」というときの要素のたどり方って何が最速なんだろう。そしてどれが最速かを調べるベンチマークってどうやって書いたらいいんだろう。まわりのループの部分だけ書いたらコンパイラが「これは何もしていない」とか言って消してしまいそうだし、N個の要素だってうっかりプログラム中に記述するとコンパイルタイムにある程度計算されてしまったりしそうだ。 入力はまぁ、コマンドライン引数で渡すことにしてしまえばいいか。 あとは、なるべく処理時間を食わなくて、かつコンパイラが消さないようななにかを... グローバル変数を1個用意して、それに順列の各値を足すとか？
x86 とか - 兼雑記
最近あろはさんの文章を見ると必ず DIS りたくなるので、恋というやつだと思います。若者言葉で言うとツンデレのツンの方。 http://alohakun.blog7.fc2.com/blog-entry-952.html まず Intel ってμop の仕様ってそれなりに公開してたような…と思って少しぐぐったけど、今一つ見当たらず。とりあえず x86 命令が何μopになるかとかいうの見つけたけど Pen Pro 時代とかだった… http://download.intel.com/jp/developer/jpdoc/ia_opti.pdf まぁなんにせよこう、なんかこうまるで情報囲い込んでちょっぱやコンパイラ作ってがっぽがっぽみたいなことは別にインテルさん思ってなくて、 CPU 屋なんだから単に自分とこの CPU を十分に使いこなせるコンパイラも作ることで CPU 売りやすくするってだけ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Verifying Compiler Transformations for Concurrent Programs | Lambda the Ultimate
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20071030
