loop is exactly like dec ecx / jnz（除了不修改状态标志、地址大小前缀的怪异和being much slower on most CPUs）。
它的分支位移范围是标准的rel8 [-128 .. +127]，所以没有要求它用于后向分支。
因此，您可以将其用作条件，甚至无需跳过任何环节，只需使用它来跳过递归基本案例的代码（可能只是 ret）：
; first arg in ECX = recursion count
my_func:
loop @keep_descending
;; fall-through path: ecx was 1 before loop, and is now 0
... do something here ...
ret
@keep_descending:
; ecx has been decremented by 1
push ebx ; save a call-preserved reg; use it to save state across the recursive call
... main body of function here ...
call my_func ; clobbers ecx; save it if needed
... more stuff
; If your function way was tail-recursive, you should have just made a loop
lea eax, [edx+ecx] ; return in EAX
pop ebx
ret
如果您的递归终止条件不是递减计数器，则很容易滥用loop 将其用作通用if (n != 0) 而无需修改n。
inc ecx ; 1 byte in 32-bit mode
loop ecx_was_non_zero
;; fall-through path: ecx was zero before inc, and is now zero again
这比test ecx, ecx / jnz 短1 个字节（在32 位模式下），因此对a code-golf GCD loop 很有用，其中唯一重要的是代码大小，而不是性能。 （CX 的等效技巧适用于 16 位模式，但 64 位模式没有 1 字节 inc。）
使用过程时，您需要确保保留寄存器和标志。您需要使用 PUSHFD/POPFD 和 PUSHAD/POPAD。
这是一个糟糕的调用约定，会在您调用的每个函数上施加大量工作。允许函数破坏标志和 eax/ecx/edx 是完全正常的，因此它们可以使用一些寄存器而无需保存/恢复。
POPAD 使用起来真的很不方便，因为它会覆盖所有寄存器，包括您想要放置返回值的 EAX。因此，您要么必须在 POPAD 周围保存/恢复 EAX，要么必须将结果存储到堆栈上的正确位置，以便 POPAD 将其加载到 EAX。
此外，不使用pushad/popad 也可以不修改寄存器和FLAGS，因此该语句是错误的。除非您将其视为单独的要求，否则也会像 loop 要求那样给您带来不便。
MASM可以不用条件语句创建递归函数吗？
这是一个不同的问题（因为loop 是一个条件分支），但答案仍然是肯定的。您的选项包括自修改代码。 （例如，请参阅The Story of Mel。）在您的情况下，您可能会在函数的开头将call 指令覆盖为nop 或其他内容。
您可以使用cmov 无分支地执行此操作，以获取指向该指令或某个无害位置的指针到寄存器中。或者您可能会调用cmov 条件指令。它不是分支，但名称中有条件。无论如何，自修改代码对于现代 CPU 的性能来说是很糟糕的，所以你也不应该使用它。
但是，如果您只是想出一些愚蠢的计算机技巧，例如滥用 loop，那么您还应该考虑自我修改代码，或指针查找表，或其他影响流控制的方法，而无需标准条件指令喜欢jcc。