单参数yul循环

Question

我试图理解这个循环模式：

                for {
                    // Shift n right by 1 before looping to halve it.
                    n := shr(1, n)
                } n {
                    // Shift n right by 1 each iteration to halve it.
                    n := shr(1, n)
                } { ... }

我想它可以被翻译成

for(uint256 n = n/2; n > 0; n = n/2) { ... }

OR 

for(n >> 1; n > 0; n >> 1) { ... }

是这样吗？我主要关注停止(中间)参数，但可能甚至其他参数都不正确。

Answer 1

这件事解决了。我很肯定这是正确的，因为我现在可以得到我想要的结果。