はじめに

LLVMを使ったNode.jsミニコンパイラ作りはひと段落しましたが、やってみたいことの一つにWebAssembly(WASM)への変換がありました。

ミニNode.js → LLVM IR → WASM

そこでWebAssembly(WASM)入門もかねて、emscriptenを使った変換にチャレンジしてみます。

emscrpiten の導入

インストールはこちらのドキュメントに従って行います。

emascripten Download and install

Mac OS X の場合

私は Mac OS X 10.12 Sierra だったので、次の様にインストールしました。

$ git clone https://github.com/juj/emsdk.git
$ cd emsdk
$ git pull
$ ./emsdk install latest
$ ./emsdk activate latest

利用するには、パスを通してあげる必要があります。一時的な利用であれば、次のようにすれば利用できます

$ source ./emsdk_env.sh

前提環境

Mac OS X にインストールする前提環境はこちらにある通りです。

Python V2.7.12 以上 ... システムデフォルトは V2.7.10 だったので、そのままではインストールできませんでした。今回は V3.6.0 を使いました
git ... Xcodeのコマンドラインツール一式でインストールできます
cmake
Node.js

WASMの生成

Node.js でつくる Node.js ミニコンパイラ - 11 : FizzBuzzとフィボナッチ数列で作ったFizzBuzzのサンプルで試してみましょう。

LLVM IR の生成

$ node mininode_compiler11.js sample/fizzbuzz_func.js

これで、generated.ll が生成されます。

WASM, HTML, JSの生成

emascriptenにパスを通してから、次の様にHTML出力を指定して変換します。

$ emcc -o fizzbuzz.html generated.ll

これで次の3つのファイルが生成されます。

fizzbuzz.html
fizzbuzz.js
fizzbuzz.wasm

WebAssamblyのバイナリは .wasm ファイルですが、それを読み込んで結果を表示するための .html と .js ファイルも一緒に生成されます。

WASM (WebAssembly) の実行

上記で生成した HTML ファイルをブラウザで読み込みませれば、実行結果がブラウザに表示されます（コンソール出力がエミュレートされます）。

この時、ブラウザによって挙動が違いました。Firefoxのみ、直接htmlを開いても実行できます。

Chrome 69 ... file://〜で直接HTMLを開くと、wasmのロードでエラー。Webサーバーに配置して http://〜で読み込ませればOK
FireFox 62 ... file://〜で直接HTMLを開いても実行可能。http://〜でももちろんOK
Safari 11 ... file://〜で直接HTMLを開くと、wasmのロードでエラー。Webサーバーに配置して http://〜で読み込ませればOK

生成結果を覗いてみる

HTMLとJS

長大なHTMLが生成されるので、中身の理解はできていません。が、次のあたりがポイントになりそうです。


    <script type='text/javascript'>
      // ... 省略 ...
      var Module = {
        preRun: [],
        postRun: [],
        print: (function() {
          // ... 省略 ...
        })(),
        printErr: function(text) {
          // ... 省略 ...
        },
        canvas: (function() {
          var canvas = document.getElementById('canvas');
          // ... 省略 ...
          return canvas;
        })(),
        setStatus: function(text) {
          // ... 省略 ...
          statusElement.innerHTML = text;
        },
        totalDependencies: 0,
        monitorRunDependencies: function(left) {
          this.totalDependencies = Math.max(this.totalDependencies, left);
          Module.setStatus(left ? 'Preparing... (' + (this.totalDependencies-left) + '/' + this.totalDependencies + ')' : 'All downloads complete.');
        }
      };
      // ... 省略 ...
    </script>
    <script async type="text/javascript" src="fizzbuzz.js"></script>

Module に print() などのJavaScriptの関数を用意していて、これをWASM側から呼び出すことで画面への出力を実現していると考えていています。
また、実際にWASMを呼び出す部分は、fizzbuzz.js に書かれているようです。こちらも長大で内容は理解できていません。

WASM

テキスト形式(WAT)に変換

.wasm はバイナリなので、直接中身を理解するのは難しいです。そこでアセンブラのようなテキセスト形式に変換します。
変換には binaryen のツールを利用しますが、emscrpiten 導入時に一緒にインストールされています。

emsdkのディレクトリ/clang/e1.38.11_64bit/binaryen/bin/wasm-dis

これを用いて、テキスト形式(WAT)に変換します。

$ emsdkのディレクトリ/clang/e1.38.11_64bit/binaryen/bin/wasm-dis fizzbuzz.wasm > fizzbuzz.wat

ループ部分

変換された .wat ファイルも長大なので、全体の内容は理解できていません。しかし、コンパイル前のjsファイルと見比べると、次のループ処理が対応しているようです。

fizzbuzz_func.js抜粋

while (i <= 100) {
  ret = fizzbuzz(i)
  i = i + 1;
}

.wat抜粋


  (loop $label$2
   (block $label$3
    (set_local $var$7
     (get_local $var$0)
    )
    (set_local $var$8
     (i32.const 100)
    )
    (set_local $var$9
     (i32.le_s
      (get_local $var$7)
      (get_local $var$8)
     )
    )
    (if
     (i32.eqz
      (get_local $var$9)
     )
     (br $label$3)
    )
    (set_local $var$10
     (get_local $var$0)
    )
    (set_local $var$11
     (call $8
      (get_local $var$10)
     )
    )
    (set_local $var$6
     (get_local $var$11)
    )
    (set_local $var$1
     (get_local $var$0)
    )
    (set_local $var$2
     (i32.const 1)
    )
    (set_local $var$3
     (i32.add
      (get_local $var$1)
      (get_local $var$2)
     )
    )
    (set_local $var$0
     (get_local $var$3)
    )
    (br $label$2)
   )
  )

ユーザ定義関数部分

.watのループ処理の中を見ると、 call が使われているところがあります。

     (call $8
      (get_local $var$10)
     )

おそらく、これが関数呼び出しでしょう。となると、$8 というラベルがついた部分が、ユーザ定義関数になっているハズです。