制作一门语言，需要一个好的后端

Question

我想制作一种编译语言。 我目前正在评估后端。 到目前为止，我之所以关注 C，是因为它的执行速度、编译速度以及一个名为 TCC 的小型且易于使用的编译器。

阅读了这里关于将其用作中间语言的讨论后，我正在尝试思考如何使其与垃圾收集兼容并处理异常。 到目前为止，我认为我可以解决这两个问题，但开销很大。

以下是我对其他可能的后端的一些想法：

1. 程序集：不可移植，并且在 .NET 中编程非常痛苦
2. 。 .NET：感觉非常慢。 Ironpython 和 Boo 上 5 秒启动，5 秒评估 1+2。 没有大库就无法运行。
3. JVM：感觉有点慢。 无法访问二进制库。 没有大库就无法运行。
4. LLVM：不支持 Windows。 我听说编译后的可执行文件大小为 16 mb+
5. C--: 看起来不发达。
6. C++：可能。 找不到一个可以捆绑的漂亮的小型免费产品。

你们中有人可以改变我的想法或者有更多内容可以添加到此列表中吗？

编辑

我最近一直在尝试 LLVM。 我发现他们有预编译的二进制文件，并且可以编译为本机程序集。

http://www.antlr.org/wiki /display/CS652/Generate+machine+executable+binaries+with+LLVM

步骤如下：

1. 在 LLVM 程序集上运行 llvm-as，这会生成 LLVM 字节码文件。
2. 在 LLVM 字节码文件上运行 llc 以生成汇编文件。
3. 对汇编文件运行汇编程序以生成目标文件。 （或者运行 llvm-ld ，它似乎依赖于外部安装的 c 编译器）
4. 使用 gcc 等编译为可执行文件。

Answer 1

您是否考虑过为 GCC 编写前端？ 我提到这一点只是为了完整起见——据我所知，后端接口相当复杂，代码库庞大且难以理解。

另一方面，GCC 是一个成熟的产品，有许多专家程序员在开发它。 至少，它可能提供了所有替代方案中最坚实的基础。

就我个人而言，我更喜欢 LLVM（令人兴奋的架构）或 .NET 的 IL：非常非常容易使用，具有强大的工具支持（反射器，塞西尔，Reflexil 以及最后但并非最不重要的，.NET 反射 API）和两个非常高效的实现（即 Microsoft 的规范实现和 Mono）。

但我不能声称自己拥有任何架构方面的专业知识，因此对这个答案持保留态度。

Answer 2

在这种情况下，LLVM 可能是更好的选择。

LLVM有Windows支持，只是编译需要一些时间

Answer 3

对于 SmartEiffel，我们使用 C 作为后端。

Tcc 对于开发来说是一个非常好的选择 - 尽管不是最终版本（生成的对象相当于 gcc -O0）

Answer 4

C++ 不会给你太多，请使用 C。 但是，如果您希望您的语言在 Web 中使用，请使用 .NET 或 Java，当然它们加载速度很慢，但当它们加载时，它们与 C 一样快。

Answer 5

TCC是最好的选择。 它是可移植的，并且有一个库，因此可以很容易地用作后端，称为 libtcc。 可执行文件比 gcc 小，并且是 ANSI C。

Answer 6

另一个要添加到列表中的是：Slava 最近在 因素后端。 我自己没有尝试过，但我感觉它会提供更多您想要的高级功能的功能，并且更像低级功能的尺寸/性能。