language-agnostic - 详尽描述 cpu 体系结构以编写可重定向编译器的文件

Question

我正在为每个 cpu 架构 A[i](x86-32、x86-64、ARM、Itanium 等)寻找一个文件 F[i]。每个文件 F[i] 将提供关于体系结构 A[i] 的足够信息(寄存器、指令集、语义等)，因此对于任何语言 L 都可以编写一个程序 P，该程序采用任何 F[ i] 并为语言 L 生成一个编译器优化器 C[i] 到原生 A[i]。当然P关于A[i]的知识完全来自F[i]。

每个 F[i] 都应该包含足够的信息，以便对于任何给定的编译器 C'，从语言 L 到原生 A[i]，我们都可以编写一个 P 来生成性能与 C' 一样好的 C[i]。理想情况下，F[i] 文件将使用能够描述 future cpu 架构的相同语言 DescL 编写。

这样的文件 F[i] 是否存在(至少对于最常见的 cpu 架构而言)？那我在哪里可以下载它们？这样的 DescL 是否已经存在？

Answer 1

Joao Dias 证明至少对于代码生成来说，这个问题是不可判定的。也就是说，对于一般的机器架构，不可能存在这样的程序P。他还开发了对典型机器架构完全有效的启发式算法。我建议你阅读 his dissertation ，其中还回顾了针对此问题所做的大量工作。

您会发现一些与 New Jersey Machine-Code Toolkit 有关的相关工具和说明和 Lambda-RTL规范语言。规范本身可能处于困惑状态，而 Dias 博士更有可能拥有准确且最新的规范。

Zephyr 网页非常陈旧，绝对过时，不应链接到。但是你可以阅读 our papers :-)