详细描述cpu体系结构的文件，用于编写可重定向的编译器
我正在寻找一个文件Fi每个中央处理器-架构Ai。每个文件Fi将提供足够的关于体系结构Ai的信息，使得对于任何语言L，可以编写采用任何Fi的程序P，并为语言L生成编译器优化器Ci到本机Ai。当然，P关于Ai的知识完全来自Fi。
每个Fi都应该包含足够的信息，以便对于语言L到本机Ai的任何给定编译器C‘，我们可以编写一个P，它产生一个和C’一样好的Ci。理想情况下，Fi文件应该用能够描述未来DescL架构的相同语言编写。
这样的文件Fi是否存在(至少对于最常见的cpu架构)？那么我可以在哪里下载它们呢？这样的DescL已经存在了吗？
回答 4
Stack Overflow用户
发布于 2012-08-25 00:53:25
我想你会对Zephyr“国家编译器基础设施”项目感兴趣；参见128.143.136.29/zephyr/我放了一个真正的链接，但StackOverflow不允许我为这个主机做这件事。尽管苏的观点是有效的，但这种联系是有效的。不，我不明白为什么它没有一个很好的象征性名称，但是嘿，这不是我的网站..
他们认真地尝试定义机器描述形式，我相信他们编码了许多“通用”的机器指令集。在做任何选择之前，你应该先阅读他们的论文。
Stack Overflow用户
发布于 2012-09-27 05:41:21
Joao Dias证明了，至少对于代码生成来说，这个问题是无法决定的。也就是说，对于一般的机器架构，不能存在这样的程序P。他还开发了对典型机器架构完全有效的启发式算法。我建议您阅读his dissertation，它还回顾了在这个问题上所做的大量工作。
您将找到一些与New Jersey Machine-Code Toolkit和Lambda-RTL规范语言相关的工具和描述。规范本身可能处于混乱状态，而Dias博士更有可能拥有准确和最新的规范。
Zephyr的网页非常旧，肯定已经过时了，不应该被链接到。但你可以阅读our papers :-)
Stack Overflow用户
发布于 2012-08-24 23:29:09
我不知道有这样的数据库，，
- ，
，
- ，据我所知，最近的公开的，这样的数据库，应该是GCC使用的处理器描述。它们将处理器描述与一些代码混合在一起，以非数据驱动的方式处理代码生成的某些方面。
https://stackoverflow.com/questions/12099268
复制相似问题
腾讯云开发者
