哪个是好的且简单的中间代码？

发布于 2024-09-10 15:24:23 字数 364 浏览 1 评论 0原文

假设作业的目的是编写一个适用于 C 语言子集的编译器（您可以假设任何语言的子集，仅支持基本的脚本表达能力，而无需将复杂的事物作为对象）。

什么样的中间代码可以用来验证编译器的正确性？我正在与一位教授交谈，他谈到了这样一个事实：他不知道应该为他的学生提供什么作为用于“编译代码”的虚拟机，所以我想知道这可能是一个好的解决方案。

Subset of C -> Compiler -> Code? -> VM

其中代码可以是二进制格式，也可以是更好的 ASCII 格式（类似于伪 asm）。

我正在寻找已经制作好的东西，而不是如何构建这个中间代码和VM，只是一个简单的准备好用于测试一些编译程序的东西。

原文

Suppose that the purpose of an assignment is to write a compiler that works on a subset of C language (you can assume a subset of whatever language, just supporting basic scripting expressiveness without having complex things as objects).

What kind of intermediate code could be used to verify the correctness of the compiler? I was talking with a professor and he spoke about the fact that he didn't know what to give to his students as the VM to be used for the "compiled code" so I wondered which could be a good solution.

Subset of C -> Compiler -> Code? -> VM

in which code could be either in binary format or better in an ASCII format (something like pseudo-asm).

I'm looking for something already made, not how to structure this intermediate code and the VM, just an easy and simple one ready to be used to test some compiled programs..

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

稳稳的幸福 2024-09-17 15:24:23

您可以描述一些抽象的机器设计，然后为其提供列表格式的指令集。我的小型 LISP 解析器是解析器中的轻而易举的事。

(label add-two)
(init-stack-frame 2)
(load r1 0)
(load r2 1)
(add val r1 r2)
(goto cont)

另外，编写一个 lisp 解释器来读取此内容也是轻而易举的事情。

load_labels (index, expr, env)
    if expr.first == 'label'
        env.set(expr.second, index)

interpret (machine, expr, env)
    return env.lookup(expr.first).eval(machine, expr.tail)

You could describe some abstract machine design and then provide it an instruction set in list-format. I small LISP parser is a nobrainer in parsers.

(label add-two)
(init-stack-frame 2)
(load r1 0)
(load r2 1)
(add val r1 r2)
(goto cont)

Also, writing a lisp interpreter to read this in is a nobrainer.

load_labels (index, expr, env)
    if expr.first == 'label'
        env.set(expr.second, index)

interpret (machine, expr, env)
    return env.lookup(expr.first).eval(machine, expr.tail)

回复收藏 0 原文