CRuby向けのLLVMベースのJITコンパイラを書いている話 - k0kubun's blog
LLRBというRuby向けのメソッドJITコンパイラを書いている github.com RubyKaigi 2015の最後のキーノートで@evanphxが「LLVMでCRubyのコードをインライン化するメソッドJITを実装したら速いんじゃね」みたいな発表をしていたのを覚えているだろうか。 LLRBというのはまさにそれを実装しているプロジェクトであり、少なくとも現時点で「LLVMでCRubyのコードをインライン化するメソッドJIT」と言える状態まで実装でき、ものによっては効果が出る状態になったので公開した。 なんで書いてるの 言語を自分で実装するとその言語に関する理解が大分深まる、というのをHamlの実装とかCコンパイラとかで体験していて、僕が一番好きな言語はRubyなのでRubyでもそれをやっておきたい、というのがあった。また、Rubyは遅いと言われがちだが、どこに改善可能な点が眠っている
ThinLTO: Scalable and Incremental LTO
ThinLTO was first introduced at EuroLLVM in 2015, with results shown from a prototype implementation within clang and LLVM. Since then, the design was reviewed through several RFCs, it has been implemented in LLVM (for gold and libLTO), and tuning is ongoing. Results already show good performance for a number of benchmarks, with compile time close to a non-LTO build. This blog post covers the back
qrintfの最適化 - 開発日記
H2Oの内部では，数値，文字列のフォーマッタとしてsprintfが用いられています． 我々は，最近までsprintf専用ソースコード変換器, qrintfのチューニングを行っていました． 本稿ではqrintfの概要と今回適応した工夫，そして今後の課題についてまとめておきます． 1. qrintfとは？ qrintfとはCコンパイラの１つであるgccのプリプロセッサのラッパーであり，snprintfを高速化するソースコード変換器です． 本稿執筆時点でのqrintfの変換対象はsprintfとsnprintfです．以下本文中では特にことわりのない限りsprintfと記述した場合sprintf, snprintfの両方を指します． qrintfはソースコードに出現するsprintfで利用するフォーマット文字列を解析し，型ごとに用意された関数呼出にコードを書き換えsprintfの高速化を行います．
x86/x64最適化勉強会5 レポート - Cybozu Inside Out | サイボウズエンジニアのブログ
こんにちはサイボウズ・ラボの光成です。 今回は3月30日に開催された「x86/x64最適化勉強会5」の模様についてお伝えします。 x86/x64最適化勉強会会場 プログラム開発においては、開発の段階において早すぎる最適化は悪、本当に必要になってから最小限だけ行いなさいと言われています。 また今どきのコンパイラは優秀なので、下手な小細工はせずにコンパイラに任せておくのがよいとも言われています。 もちろん一般的にはそれは正しいのですが、普段動画や音声を利用するときに使われているコーデック、ネット上での決済時に利用される暗号ライブラリなどは、人の手によるアセンブリ言語で開発されていることが多いのもまた事実です。 私が主催しているこの勉強会はそういう下回りのライブラリを開発するときに必要な技術や情報の交換のために行っています。 ustreamで過去の会の動画も含めてみることができます。 以下、やや
LLVM 3.2 リリースノートの訳 - Boost Your Programming!
ようやくLLVM 3.2がでました。今回はスケジュールよりもそれほど遅れませんでした。 前回に引き続き、リリースノートを訳しました。 SROA周りとか訳がぶっこわれているところがありますが、気になる人は原文を読みましょう。 branchを見ながら訳したので抜けているところがあったらすみません。 変更の注目点としてはLLVM本体としては、ループベクトル化,SROAの新実装, NVPTX(旧PTX)バックエンド追加などがあります。 MIPSとPowerPCの変更点の多さは注目です。(個人的にMIPSをずっと見てたので変更量は本当にすごいです) Clangを含めスレッドローカルストレージ周りの追加や サブプロジェクトとしてClang Static Analyzerという項目が追加されていたり、 外部のオープンソースプロジェクトとしてEmbToolkitが追加されていたりします。 LLVM狐本もよ
きつねさんでもわかるLLVM - 達人出版会
内容紹介本書は趣味でLLVMを触っている著者二人のLLVMをもっと普及させていきたいと思いから生まれたLLVM解説本です。 LLVMは今非常に注目されていますが、度重なるAPI仕様の変更や公式ドキュメントの充実さなどが理由で、まとまった解説がなされたものはありませんでした。本書によりまとまった情報が日本語で手に入るようになり、多くの方にLLVMを知って頂けると幸いです。 本書ではLLVMを使用したコンパイラの作り方を順を追って説明しLLVMへの理解を深めてもらおうというのがコンセプトになっています。フロントエンド(中間表現出力まで)、ミドルエンド(最適化)、バックエンド(オブジェクト生成)と幅広く解説していますので多くの方に有用な内容を含んでいるのではないでしょうか。 LLVMの用途は多岐にわたり，本書では解説できていない部分もありますが，初心者向けの情報としてLLVMを利用するための基礎
Writing fast, processor-independent code using C++ and LLVM bitcode
Writing fast, processor-independent code using C++ and LLVM bitcode Using inline assembly along with C/C++ code has long been the best choice for developers writing optimized code. However the approach had its shortcomings: - the need to write assembly for each architecture - the use of inline assembly hinders certain compiler optimizations (such as register allocation) But thanks to LLVM it is no
LLVM.js: LLVM Itself Compiled to JavaScript via...
Badass JavaScriptA showcase of awesome JavaScript that pushes the boundaries of what's possible on the web, by @devongovett. Whoa, now this is a cool idea. The Emscripten guys are back at it again compiling LLVM itself to JavaScript to run in the browser. Now you can compile and run LLVM IR assembly directly in the browser using LLVM.js. Emscripten, for those that don’t know is an LLVM bytecode
Tumblr
はじめに JavaScript Advent Calendar 2011 (フレームワークコース) の17日目です。この記事では、C言語で書かれたアプリケーションを Javascript エンジン上で動かすためのツールである Emscripten について解説します。 Emscripten の原理 Emscripten はC言語のコードを Javascript のコードへ変換するツールですが、人間が移植作業を行うように「書き直し」をしてくれるものではありません。例として、以下のようなC言語のコードの移植を考えます。 #include <stdio.h> #define MESSAGE "Hello" int main() { int i; for (i = 0;i < 10;i++) { puts(MESSAGE); } return 0; } プログラマーが手作業で移植するなら、Java
VMKit: a substrate for virtual machines
You can still play with the last VMKit release, but the project is not more maintained. Moreover, the information on these pages may be out of date. If you are interested in restarting the project, please contact Gaël Thomas Current MREs are monolithic. Extending them to propose new features or reusing them to execute new languages is difficult. VMKit is a library that eases the development of new
llvm で Hello wolrd!! 〜llvm入門 その2〜 - tokuhirom's blog
http://www.ibm.com/developerworks/jp/opensource/library/os-createcompilerllvm1/ 最初なのでとりあえず↑の記事を基本なぞってますが、わかりやすく解説をいれています。 llvm であそぶには、まあいろいろな方法がありますが、わかりやすく大きくわけると以下の4ステップです。 llvm IR の動的生成llvm IRの最適化llvm IRの JIT コンパイルllvm IRのネイティブコードへの変換それぞれのフェーズごとに分離して動作させることができるので、創りたいところだけつくればいいのです。 とりあえず基本となる llvm IR の動的生成をおこなってみます。 とりあえずなにもしない main 関数をつくりましょう。 #include "llvm/LLVMContext.h" #include "llvm/Modu
llvmの基本となるツールたち 〜llvm 入門 その1〜 - tokuhirom's blog
3つのツールをためすhelloworld.c はこちら。 #include <stdio.h> int main( ) { printf("Hello World!\n"); }llvmアセンブリを生成! $ llvm-gcc -S -emit-llvm helloworld.c helloworld.s ができてた。 ; ModuleID = 'helloworld.c' target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target triple = "x86_64-apple-darwin11.4" @.str
Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3
[What Every C Programmer Should Know About Undefined Behavior #1/3 の翻訳です。] LLVMでコンパイルしたコードは、最適化を有効にしているとたまにSIGTRAPシグナルを生成するのはなぜなのか、と聞かれることがある。いろいろ調べたあと、(X86での話だが) Clangは "ud2" インストラクションを生成していたことがわかった。"ud2" は__builtin_trap()が生成するインストラクションと同じものだ。[訳注: #UD例外を発生させる命令。ソフトウェアが#UD例外をハンドルできているかテストするために使われる。つまり、ソースコードが未定義な振る舞いを使っていたから、LLVMはud2インストラクションを生成したのであって、LLVMのバグではない、ということ] こういう問題は幾つかあって、すべて、Cの未定義な振る
2011年10月31日 LLVM Clangデフォルトコンパイラ化 - カーネル/ユーザランド視点 | gihyo.jp
eurobsdcon LLVM Clang as default compiler - from kernel/world view FreeBSDのデフォルトコンパイラをLLVM Clangに変更した場合、ライセンス状のメリットが得られるだけでなく、最新のツールチェーンの機能を利用できるようになるというメリットがあります。LLVM Clangの開発は活発であり、そうした開発の恩恵を受けることができます。 amd64とi386に関してはほぼ問題なく移行が完了するとみられます。課題はそれ以外のアーキテクチャです。ARMやPowerPC系は組み込み用途での採用が期待できるのでLLVM Clangのデフォルト化の効果がもっとも期待できるところですが、amd64やi386ほどにはユーザがいないので、なかなか対応作業が進みにくいアーキテクチャでもあります。 すべてのアーキテクチャが一様にClangビ
Objective-C Automatic Reference Counting (ARC) — Clang 19.0.0git documentation
Objective-C Automatic Reference Counting (ARC)¶ About this document¶ Purpose¶ The first and primary purpose of this document is to serve as a complete technical specification of Automatic Reference Counting. Given a core Objective-C compiler and runtime, it should be possible to write a compiler and runtime which implements these new semantics. The secondary purpose is to act as a rationale for wh
Exception Handling in LLVM — LLVM 19.0.0git documentation
Exception Handling in LLVM¶ Introduction¶ This document is the central repository for all information pertaining to exception handling in LLVM. It describes the format that LLVM exception handling information takes, which is useful for those interested in creating front-ends or dealing directly with the information. Further, this document provides specific examples of what exception handling infor
LLVM GCC と LLVM Compiler 2.0 とどっちがいいのか？ - その後のその後
Xcode 4 からコンパイラのシステムデフォルトが GCC 4.2 から LLVM GCC 4.2 へ変更されましたが、その下にある LLVM Compiler 2.0 ってのが気になるので調べてみました。 LLVM GCC と LLVM Compiler 2.0 の違い GCCと比較した場合、LLVMコンパイラでビルドするとアプリが高速化されるらしいのですが、LLVM GCC と LLVM Compiler 2.0でそういった違いはあるのでしょうか。 WWDCのスライドによると、 LLVM GCCはGCCでパースしLLVMで機械語を生成、LLVM Compilerはパース部分をClangが行いLLVMで機械語を生成、とのことで、LLVM GCC / LLVM Compiler どちらを用いても生成されるバイナリは同じ、つまり生成されるアプリの速度などの違いはなさそうです。 (2011/
LLVM Pythonフロントエンドコンパイラ - name-3333’s memo （個人用メモなんで間違いがあるかも知れません）
TEC, Python | 12:44オラオラさんがLLVMのPythonフロントエンドを自作してしまったらしい。http://code.google.com/p/py2llvm/解説はここhttp://groups.google.co.jp/group/llvm_study/web/%E7%AC%AC%E4%B8%80%E5%9B%9E+llvm+%E5%8B%89%E5%BC%B7%E4%BC%9A（オラオラさんの書いたllvm紹介pdfもすばらしい） pythonに型推論を追加してllvm IRに変換、後はllvmが最適化＆ネイティブ化、simdの恩恵を受けられるようにする。Python codeをAST木に変換する標準モジュールとllvm APIのpython wrapperを使用。関数引数の型は推論できないのでデフォルト引数に型オブジェクトを与えてヒントにする。1000倍の高速化
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - graalvm/sulong: Obsolete repository. Moved to oracle/graal.
Charming Python: Functional programming in Python, Part 3
