問題タブ [intermediate-language]

コンパイラの IR 表現では、デカルト積を使用して関数型を表現できることがわかっています。

例えば：

関数型は(int × double)->intのように表すことができます。

（ここでは、すべてのタイプが既知であると仮定していることに注意してください）

したがって、次のようにJavascriptでオブジェクトを宣言すると

Javascript のオブジェクト型であるobjを表す正式な表現はありますか?

ありがとうございました。

次のように関数を書くと

コンパイラは return ステートメントを 3 つのアドレス コード/中間コードでどのように表現しますか? する

私の解釈では、最初のケースではiが追加され、次にi-1をパラメーターとしてsumが再帰的に呼び出され、他のケースではiをパラメーターとしてsumが呼び出され、 i-1が追加されます。そうですか？誰かがコンパイラレベルで何が起こるか説明できますか?

また、1）と2）を次のように変更するとどうなりますか

再帰的な意味で何が起こりますか？無限ループになると思いますが、 i-- はどうですか？

私は、必要な IR の仕様を提供し、その IR を含むファイルをマシン コードにコンパイルするためのプログラムを提供するライブラリがあるかどうかを尋ねています。LLVM を使用したくない理由は次のとおりです。

• IR を生成するコードを自分で書きたいと思っています。

• LLVM 開発ライブラリをインストールするのは、私が別のコンピューターで作業しているときは、ちょっと面倒です。

• LLVM を使用すると、プログラマーは IR を生成でき、アセンブリへのコンパイルを心配する必要がないので、この機能が必要です。

私は MSIL (CIL) コード カラーライザーに取り組んでいますが、MSIL にはあまり詳しくありません。

Common Language Infrastructure (CLI)ですべてのキーワードのリストを見つけました。

これらのキーワードには、、、、などがaddあります。.fileconv.i4unaligned.

ドットがキーワードの一部であることに少し苦労しています。私はドットがキーワードの一部である必要があると確信していますi4. そして、いくつかのキーワードの先頭にあるドットをキーワードの一部にしたいと確信しています。

しかし、最後のドットなど、末尾にドットが付いているいくつかのものはどうでしょうか? 末尾のドットがキーワードの一部である理由はありますか?

CIL はオブジェクト指向のアセンブリ言語であり、完全にスタックベースです。そのバイトコードはネイティブ コードに変換されるか、最も一般的には仮想マシンによって実行されます。

なぜ CIL が必要なのですか? CIL の代わりに C# をネイティブ コードに変換することはできませんか? すべての .Net 言語が CIL にコンパイルされる場合、IL の代わりに C# が使用されないのはなぜですか? CIL は C# や VB よりも表現力がありますか?

LLVMフロントエンドが利用可能なプログラミング言語でいくつかのロジックを書き留めたとしましょう。このロジックをいくつかの C++ アプリケーションで再利用したいと考えています。一般的な LLVM バックエンドを使用してある種のライブラリを生成し、パフォーマンスを大幅に低下させることなくアプリケーションから呼び出すことはできますか? このユースケースに対処する方法に関するヒントはありますか?

clang を使用する場合、clang が生成する抽象構文ツリー (AST)、制御フロー グラフ (CFG)、および LLVM IR を調べると役立つことがわかりました。

Intel の icc コンパイラ (バージョン 15.0.2) を調べ始めましたが、同じアーティファクトを生成できるかどうか、またはどのように生成できるかを示すドキュメントが見つかりません。

私が見つけた最も近いものは、とりわけ IR を含むファット リンク時オブジェクトを生成できることです。しかし、IR がユーザーにとって理解しやすいものであることを示唆するものは何も見当たりません。

これらのアーティファクトをiccから取得する方法があるかどうかは誰にもわかりませんか?