behaviorが存在しないなんとなくWebAssemblyを意識した仕様ですね。count;}以下のcretonneのIRに落ちるそうです。v100まあ、実際はファイルヘッダとかも付きますがこんな感じです。ebbに引数があったりebbの途中で平気でブランチしてたり中々やんちゃですね。使ってみるコードを吐くところまでやりたかったのですがまだ絶賛開発中ということもあってそのような操作が見当りませんでした。APIの方で関数を構築して正当性を検証してから中間言語を吐き出してみます。cretonneをcloneしてきます。&quot;path/cretonne/lib/cretonne/&quot;}を追加します。トップレベルのプロジェクトはただのユーティリティのようでした。本体はlib/cretonne/以下にいます。mainファイルの中身はこうです。{}おおまかにはfuncを構築してisaを決めてverify_functionで検証、さらにlegalize_functionで今回のアーキテクチャ向けに微調整、write_functionで書き出しです。スタックスロットの追加まあ、スタック領域ですね。8byteの領域を確保します。funcにstack_slotsフィールドがあるのでそこにpushします。8}pushの返り値はスタック領域を指すキーです。EBBの追加func構造体のフィールドにdfgがいて、そいつを色々いじります。i32):}EBBの追加にはカーソルを決めてあげて、dfgにebbを作ってあげて、カーソルの位置にebbの追加という形になります。EBBには任意に引数を追加出来ます。append_ebb_argの返り値はSSAの変数です。命令を追加する命令はpythonのスクリプトによって生成されるので補完が効かず、中々扱いづらいですが頑張ります。今回コードの検証を入れているので以下のようなコードは検証に落ちてしまいます。../src/libcore/result.rs:799最後の命令が定数であるため、正常なブロックと見做されないのです。v3を返すことで凌ぎます。[-]はlegalizeすると付くようです。ブランチもう1つebbを追加してあげる必要があります。}こんな感じで進めていこうと思いましたがどうやらまだstack/heapを触る命令がない??ようなので詰みました。APIを触ってみましたがダメでした。