废弃的分支与常规分支有何不同？

StackOverflow https://stackoverflow.com/questions/604119

  •  03-07-2019
  •  | 
  •  

题

特别是对于SPARC Assembly，如何废除分支与常规分支不同？

我一直认为当需要填充分支指令的nop延迟槽时，需要取消分支指令。但是，我不认为我在这方面是正确的，因为你可以在不取消分支的情况下填写nop。

有帮助吗？

解决方案

如果不采用分支，则无效分支指令会导致延迟时隙中的指令 - 分支后的指令被忽略。

为什么这很重要？因为通常，即使执行分支，也会执行分支之后的指令。这是因为有两个程序计数器，PC和NPC。指示正在执行的指令的PC在NPC被更新到分支指令的目标的同时被更新为NPC，即PC + 4。因此，由于这些事件的时间安排，必须加载下一条指令。如果可以的话，不要只是抛弃那个循环，使用这个循环更有利可图。然后我们将该指令作为循环的一部分。

loop:   someOp                
        someOtherOp
        branch      loop      ;
        delayslotOp           ; will actually be executed, before someOp, after branch

如果我们不能在分支之后使用指令槽，那么我们在那里粘贴一个nop，并且在该循环中什么都不做。

那么为什么然后在废止和非废止分支选项上有不同的指令？让我们选择退出循环时会发生什么。如果我们将延迟槽作为循环活动的一部分，我们可能不希望在从循环离开时执行该操作。因此，我们添加“，a”，到分支指令的末尾。

此页面有一些很好的例子。

其他提示

根据 SPARC架构手册（第9版）：

  

3.2.3控制转移

     

[...]

     

大多数控制转移指令被延迟;也就是说，紧随其后的指令   逻辑序列中的控制转移指令之前被分派   控制转移到目标地址完成。

     

[...]

     

调用延迟控制传输指令后的指令   延迟指令。延迟控制转移指令中的一点   （annul位）可以导致延迟指令被废止（即   如果不采取分支，则无效。

     

6.3.4控制转移指令（CTI）

     

[...]

     

编程注释：annul位增加了a的可能性   编译器可以找到一个有用的指令来填充a之后的延迟槽   分支，从而减少了a执行的指令数量   程序。例如，annul位可用于移动指令   从循环内填充关闭的分支的延迟槽   循环。同样，annul位可用于移动指令   来自＆＃8220;其他＆＃8221;或＆＃8220;然后＆＃8221; ＆＃8220; ifthen- else＆＃8221;程序   阻止在它们之间进行选择的分支的延迟槽。以来   提供了一整套条件，编译器可以安排代码   （可能扭转了条件的意义）这样一条指令   来自＆＃8220;其他＆＃8221;分支或＆＃8220;然后＆＃8221;分支可以移动到   延迟槽。

以下代码显示了两个分支，在第一个分支中始终执行延迟指令，在第二个分支中，如果不执行分支，则取消延迟指令：

cmp   %i3, %i0
ble   %icc, -0x5c
ld    [%l0 - 0x4], %i5  ; executed whether the branch is taken or not

...

cmp   %l1, 0x80
bl,a  %icc, +0x40
ld    [%fp + 0x7c7], %g2    ; annulled if the branch is not taken, executed otherwise
许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top