YARV ベリファイアを試作してみました。製作時間一晩、リファクタリング一晩なので適当です。不正なバイトコードを食わせると例外を投げます。 # encoding: utf-8 # bad_example.rb require "verifier" # ヘッダ header = [ "YARVInstructionSequence/SimpleDataFormat", 1, 1, 1, { :arg_size=>0, :local_size=>1, :stack_max=>3 }, "<dummy>", "foo.rb", :top, [], 0, [] ] # バイトコード本体 (スタックマシン) body = [ [:getlocal, 10000], # 10000 番目のローカル変数を読む [:leave] # 終わり ] bytecode = header + [body] # バ
ふとYARVの気持にふれてみようと思ったんですが、どうやるんだったかよく忘れてしまうのでメモ。 yoshimi% ruby -e 'puts RubyVM::InstructionSequence.compile("(0..100).each {|i| }").disasm' == disasm: <RubyVM::InstructionSequence:<compiled>@<compiled>>========== == catch table | catch type: break st: 0002 ed: 0012 sp: 0000 cont: 0012 |------------------------------------------------------------------------ 0000 trace 1 ( 1) 0002 trace 1 0004 putob
yarv2llvmの生成したコードが動くようになりました。 使い方は、 require 'vmtraverse' としておいて、こんな感じでメソッドを定義します。 YARV2LLVM::compile( <<EOS メソッドの定義 EOS ) 定義したメソッドはRubyで定義したメソッドと同じように使えます。 ベンチマークをやってみました。 llvmfibの+ 0はまだ型推論がうまく行かないためfixnumだよということを明示するためです。無くても型推論できるはずですが、難儀しています。 require 'benchmark' def fib(n) if n < 2 then 1 else fib(n - 1) + fib(n - 2) end end YARV2LLVM::compile( <<EOS def llvmfib(n) if n < 2 then 1 else llvmfib
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
