Question

上一学期大学时，我的计算机语言课程老师教给我们一种名为Whitespace的深奥语言。为了在非常繁忙的日程安排（midterms）中更好地学习语言，我在interpreter中写了assembler和Python。 assembly language旨在帮助您轻松编写程序，并使用给定的程序集sample program编写mnemonics。

现在是夏天，一个新项目已经开始，其目标是为Whitespace 0.3重写解释器和汇编程序，之后会有进一步的发展。由于有很多额外的时间来处理它的设计，因此这里给出的是一个大纲，它为汇编语言提供了一套修订的助记符。这篇文章被标记为维基讨论。

您曾经有过汇编语言的经验吗？是否有一些您认为应该重命名为不同的指令？您是否发现自己在盒子外面思考并使用与助记符命名不同的范例？如果您对这些问题的回答都是肯定的，那么欢迎您。主观答案值得赞赏！

堆栈操作（IMP：[空格]）

堆栈操作是更常见的操作之一，因此IMP [空间]的短缺。有四个堆栈指令。

hold N       Push the number onto the stack
copy         Duplicate the top item on the stack
copy N       Copy the nth item on the stack (given by the argument) onto the top of the stack
swap         Swap the top two items on the stack
drop         Discard the top item on the stack
drop N       Slide n items off the stack, keeping the top item

算术（IMP：[Tab] [空格]）

算术命令对堆栈中的前两项进行操作，并将其替换为操作结果。推送的第一个项目被认为是操作员的左侧。

add          Addition
sub          Subtraction
mul          Multiplication
div          Integer Division
mod          Modulo

堆访问（IMP：[Tab] [Tab]）

堆访问命令查看堆栈以查找要存储或检索的项目的地址。要存储项目，请按地址然后按值并运行store命令。要检索项目，请按地址并运行retrieve命令，该命令将存储在堆栈顶部位置的值。

save         Store
load         Retrieve

流量控制（IMP：[LF]）

流量控制操作也很常见。子程序由标签标记，以及条件和无条件跳转的目标，通过它们可以实现循环。程序必须通过[LF] [LF] [LF]结束，以便解释器可以干净地退出。

L:           Mark a location in the program
call L       Call a subroutine
goto L       Jump unconditionally to a label
if=0 L       Jump to a label if the top of the stack is zero
if<0 L       Jump to a label if the top of the stack is negative
return       End a subroutine and transfer control back to the caller
halt         End the program

I / O（IMP：[Tab] [LF]）

最后，我们需要能够与用户进行交互。有用于读取和写入数字和单个字符的IO指令。有了这些，就可以编写字符串操作例程。读取指令采用堆栈地址来存储堆栈顶部的结果。

print chr    Output the character at the top of the stack
print int    Output the number at the top of the stack
input chr    Read a character and place it in the location given by the top of the stack
input int    Read a number and place it in the location given by the top of the stack

问题：您如何重新设计，重写或重命名以前的助记符以及原因？

Answer 1

我认为我建议的第一个改变是分别改变hold和drop to push和pop。

然后我可能会将副本重命名为dup（我认为这是面向堆栈的语言中此操作的最常见名称）。

我有点疑惑为什么你经常会对助记符进行简短的单词解释不同。例如，助记符是保存，解释是存储。助记符是加载，解释是检索。顺便提一下，这两个助记符并没有给我充分的解释。保存在哪里？从哪里加载什么？（编辑后来编辑了这个问题，使这些含义清晰明了）

感谢有趣的帖子。

Answer 2

按#n，表明n是即时的。
“swap”有时候是“exc”或“exch”我认为。
“save”通常是“st”（商店）
“load”通常是“ld”
“call”也可以是“jsr”或“bl”。
“goto”通常是“jmp”或“bra”
“if = 0”通常是“beq”
“if＆lt; 0”通常是“blt”
“return”通常是“ret”或“blr”
“exit”在CPU的上下文中通常是“halt”/“hlt”。
“print chr”和“print int”可以是“print.c”和“print.i”。有许多方法可以指定指令变体，但通常它不在操作数中。

修改

如果您不介意使用CISCy语法来混淆操作码和寻址模式，

“push（sp）”而不是“copy”

“推N（sp）”而不是“复制N”（模数乘以字数）

“push *（sp）”而不是“load”（除非它在按下加载的值之前弹出）

“pop * 1（sp）”而不是“push”（除了它实际弹出两次）

另一方面，基于堆栈的代码通常将push和pop视为隐式。在那种情况下，“imm n”（立即）而不是“推”。然后所有堆栈操作都是纯粹的堆栈操作，这很好且一致。

我不知道我怎么写“drop N” - 这个描述听起来像“drop 1”并不等同于“drop”这看起来很奇怪。

Answer 3

我不确定我是否完全理解你的问题，所以如果我离开基地，请原谅我。

除了你的堆栈，我可能会添加一个“状态寄存器”，其中包含由算术运算符设置的各种不同的标志（如Carry，Overflow和Zero）。

然后我会添加“if”表单来测试这些标志。

我会添加位移和旋转（左右）指令，以及对位进行操作的AND / OR / XOR / NOT操作。

您很可能希望获得某种内存访问权限，除非您打算将I / O指令视为一种价值流来处理内存的图灵机。

你对这些组装助记符有什么建议吗？

3 个答案: