uint_decomposition.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
 
namespace bb::avm2::simulation {
 
struct U256Decomposition {
    uint128_t lo;
    uint128_t hi;
 
    bool operator==(const U256Decomposition& other) const = default;
};
 
U256Decomposition decompose_256(const uint256_t& x);
 
struct U128Decomposition {
    uint64_t lo;
    uint64_t hi;
 
    bool operator==(const U128Decomposition& other) const = default;
};
 
U128Decomposition decompose_128(const uint128_t& x);
 
} // namespace bb::avm2::simulation