Assembly Math

Exemplo de erro em assembly

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

contract AssemblyMath {
    function yul_add(uint x, uint y) public pure returns (uint z) {
        assembly {
            z := add(x, y)
            if lt(z, x) { revert(0, 0) }
        }
    }
    
    function yul_mul(uint x, uint y) public pure returns (uint z) {
        assembly {
            switch x
            case 0 { z := 0 }
            default {
                z := mul(x, y)
                if iszero(eq(div(z, x), y)) { revert(0, 0) }
            }
        }
    }
    
    // Arredondar para o múltiplo mais próximo de b
    function yul_fixed_point_round(uint x, uint b) public pure returns (uint z) {
        assembly {
            // b = 100
            // x = 90
            // z = 90 / 100 * 100 = 0, want z = 100
            // z := mul(div(x, b), b)
            
            let half := div(b, 2)
            z := add(x, half)
            z := mul(div(z, b), b)
            // x = 90
            // half = 50
            // z = 90 + 50 = 140
            // z = 140 / 100 * 100 = 100
        }
    }
}

Teste no Remix

• AssemblyVariable.sol (opens new window)