“Skipcond”在 MARIE 汇编语言中如何工作？

Question

我正在尝试理解 MARIE 汇编语言。我不太明白 skipcond 执行诸如 <、>、乘法或除法之类的操作。

我正在使用这个简单的程序：

x = 1
while x < 10 do
x  = x +1
endwhile;

我不明白的是如何使用某些跳过条件：

Skipcond 800 if AC > 0,
Skipcond 400 if AC = 0,
Skipcond 000 if AC < 0

现在，我知道我会从 10 中减去 x 并使用skipcond 进行测试。

我不确定是哪一个以及为什么。我想如果我知道它们是如何工作的，也许会更容易理解。为什么要用它来和零比较呢？

这就是我所拥有的：

100     load one
101     store x
102     subt ten
103     skipcond400  if x-10 = 0?   // or skpcond000 x -10 < 0?? 

Answer 1

while x < 10 do
    x  = x + 1

一旦 x 等于 10，就会跳出循环。如果从 x 中减去 10，您将得到一个负值，直到 x 等于 10（并且该值为 0）。因此使用 skpcond000 是错误的，因为它会很快跳出。所以 skpcond400 是正确的。

如果您更改 C 代码，使其更接近汇编代码，也许会更容易理解：

Original:            while (x < 10) do
Subtract 10:         while ((x - 10) < 0) do
Use != instead of <: while ((x - 10) != 0) do

另请注意，您必须在条件之后增加 x after 才能重现相同的情况while 循环的行为。

Answer 2

这可能会有所帮助。有很多方法可以写这个，但我认为这是理解循环中发生的事情的最简单的方法。注意：通常变量放在程序的底部。

    while x<10
          x = x+1

Org 100  
         Load     One  / loads accumulator = 1 from a decimal constant
         Store    X    / initialize the var x = 1

loop,    Load     X    / loads x into the accumulator
         Subt     Ten  / compares x to 10 
         Skipcond 000  / if ac < 0 i.e. if x < 10 run rest of loop body
         Jump     Endloop / if ac => 10  terminate loop
         Load     X    / begin the Loop
         Add      One  / add 1 to x
         Store    X    / store new value in X
         Jump     loop / continue loop

Endloop, Halt   / ends loop

One,     Dec 1  / Constant
Ten,     Dec 10 / Constant
X,       Dec 0  / Variable

Answer 3

SkipCond 可能会令人困惑。假设您始终将其与紧随其下方的 Jump 结合使用，这可能会有所帮助。无论如何，这是最常见的使用方式，但也有助于将其视为 if...then 构造——这更直观。

您已经给出了这张表：

Skipcond 800 if AC > 0,
Skipcond 400 if AC = 0,
Skipcond 000 if AC < 0

现在，如果我们想将其理解为更直观的 if...then 结构，请将其与 Jump 结合起来，反转条件（在注释中），并缩进 Jump 以便直观地表明它仅在注释中的条件为 true 时执行。以下是查找其中一种 SkipCond 格式的方式：

Skipcond 800 / if AC <= 0, then:
         Jump Address
/ Else continue here

我发现这更容易阅读。强调一点：我建议在 SkipCond 指令旁边添加一条注释，在其中反转它何时跳过的含义，以便表达它何时不是跳过，而是实际上进行了跳跃。

如果我们将此方法应用于伪代码循环，我们会得到：

          Load  One    / AC := 1
While,    Store X
          Subt  Ten    / AC := X - 10
          SkipCond 000 / If X - 10 >= 0, then exit loop
                   Jump EndWhile
          Load  X
          Add   One
          Jump  While
EndWhile, Halt