@tomoya 自分では処理系とか全然書いてないしCraneliftはどうだか知らないけど多分LLVM IRとそんな変わらないだろうと思って書きますが、LLVM IRはバージョン間互換性とか割と破壊しながら先に進んでいくやつだったので、生成コードの形式としてそのまま採用できるかどうかはちゃんと検討したほうがいいと思います。アレをABIで前提にしたやつはApple bitcodeとかAndroid renderscriptとか割と死屍累々でした。