問題タブ [berkeley-cil]

CIL 構造体を出力したい例Cil.instr CIL API によると、たとえば のような関数があり、これを使用し て、値を変数に格納したいなどのようCil.d_instrに Errormsg に出力できます。Errormsg.log "Instruction: %a\n" d_instr i;私は試した：

ただし、これにより型不一致のコンパイル エラーが発生します。誰でもこれについて私を助けることができますか? ありがとう！

CIL の命令にコメントを追加したい。このコメントでは、その命令のすべての変数を表示したいと思います。CIL ドライバを使用する OCaml モジュールを作成しました。コードは次のようになります

一致内で、instr i?内のすべての変数を反復する方法 たとえば、命令x[i] = y[j] * (z[k] + l);で、変数の名前を取得したいと思いますx, i, y, j, z, k, l。
ご協力いただきありがとうございます。

私は CIL の初心者で、CIL の拡張機能を変更しようとしています。

これが私が扱っているCコードの一部です：

lvalの型を出力するためにCILを使用しています（また、正しい式の型を出力しようとしました）

コードは次のとおりです。

驚いたことに、生成された結果は次のとおりです。

そして、正しい式のタイプを出力しようとしましたが、結果も次のようになります。

わからないのですが、なぜポインター型の使用法が見つからないのですか?

誰か助けてくれませんか？