在yul中如何分配负数？

Question

取下面的代码片段：

function powOfTen(uint256 x) internal pure returns (int256 result) {
    assembly {
        switch x
        case 1 { result := -18 }
    }
}

它不编译：

ParserError: Literal or identifier expected.
   --> contracts/PRBMath.sol:352:32:
    |
352 |             case 1 { result := -18 }
    |

我如何分配一个负数在yul中？

Answer 1

这是因为您需要使用二补表示来使用yul中的带符号整数，因为EVM就是这样理解它们的：

关于稳健文档中的两个补充，有一些评论：

• 两国的补充/潜流/溢出
• 显式转换

所以，解决你的疑问：

-15表示为：0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1

-3表示为：0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd

function powOfTen(uint256 x) public pure returns (int256 result) {
    assembly {
        switch x
        case 1 { result := 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1 }
        case 2 { result := 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd }
    }
}

我已经将函数从internal修改为public，如果您想在Remix上测试它的话。

Answer 2

@alberto解决方案的另一种选择是使用sub指令：

function powOfTen(uint256 x) internal pure returns (int256 result) {
    assembly {
        switch x
        case 1 { result := sub(0, 18) }
    }
}

这样做的好处是它更干净，但在启用优化器编译时仍然需要支付相同的气体量。这归功于吉特用户@hrkrshnn告诉我这种方法。