#include <leb128.hpp>

Public Member Functions
constexpr	varint (int8_t v)

constexpr	varint (int32_t v)

constexpr	varint (int64_t v)

constexpr	varint (guarded_ptr< uint8_t > &code)

constexpr void	from (int8_t v)

constexpr void	from (int32_t v)

constexpr void	from (int64_t v)

constexpr void	from (guarded_ptr< uint8_t > &code)

size_t	size () const

template<size_t M = N, typename = typename std::enable_if_t<M == 1, int>>
constexpr bool	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 7, int>>
constexpr int8_t	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 32, int>>
constexpr int32_t	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 64, int>>
constexpr int64_t	to ()

void	print () const

constexpr	varint (int8_t v)

constexpr	varint (int32_t v)

constexpr	varint (int64_t v)

constexpr	varint (guarded_ptr< uint8_t > &code)

constexpr void	from (int8_t v)

constexpr void	from (int32_t v)

constexpr void	from (int64_t v)

constexpr void	from (guarded_ptr< uint8_t > &code)

size_t	size () const

template<size_t M = N, typename = typename std::enable_if_t<M == 1, int>>
constexpr bool	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 7, int>>
constexpr int8_t	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 32, int>>
constexpr int32_t	to ()

template<size_t M = N, typename = typename std::enable_if_t<M == 64, int>>
constexpr int64_t	to ()

void	print () const

Detailed Description

template<size_t N>
class sysio::vm::varint< N >

Definition at line 111 of file leb128.hpp.

Constructor & Destructor Documentation

◆ varint() [1/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int8_t v )

inlineexplicitconstexpr

Definition at line 115 of file leb128.hpp.

115{ from(v); }

sysio::vm::varint::from

constexpr void from(int8_t v)

Definition leb128.hpp:120

Here is the call graph for this function:

◆ varint() [2/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int32_t v )

inlineexplicitconstexpr

Definition at line 116 of file leb128.hpp.

116{ from(v); }

Here is the call graph for this function:

◆ varint() [3/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int64_t v )

inlineexplicitconstexpr

Definition at line 117 of file leb128.hpp.

117{ from(v); }

Here is the call graph for this function:

◆ varint() [4/8]

template<size_t N>

sysio::vm::varint< N >::varint ( guarded_ptr< uint8_t > & code )

inlineconstexpr

Definition at line 118 of file leb128.hpp.

118{ from(code); }

Here is the call graph for this function:

◆ varint() [5/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int8_t v )

inlineexplicitconstexpr

Definition at line 115 of file leb128.hpp.

115{ from(v); }

Here is the call graph for this function:

◆ varint() [6/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int32_t v )

inlineexplicitconstexpr

Definition at line 116 of file leb128.hpp.

116{ from(v); }

Here is the call graph for this function:

◆ varint() [7/8]

template<size_t N>

sysio::vm::varint< N >::varint ( int64_t v )

inlineexplicitconstexpr

Definition at line 117 of file leb128.hpp.

117{ from(v); }

Here is the call graph for this function:

◆ varint() [8/8]

template<size_t N>

sysio::vm::varint< N >::varint ( guarded_ptr< uint8_t > & code )

inlineconstexpr

Definition at line 118 of file leb128.hpp.

118{ from(code); }

Here is the call graph for this function:

Member Function Documentation

◆ from() [1/8]

template<size_t N>

void sysio::vm::varint< N >::from ( guarded_ptr< uint8_t > & code )

inlineconstexpr

Definition at line 133 of file leb128.hpp.

                                                                  {
            uint8_t cnt = 0;
            for (;; cnt++) {
               SYS_VM_ASSERT( cnt < bytes_needed<N>(), wasm_interpreter_exception, "incorrect leb128 encoding" );
               SYS_VM_ASSERT( code.offset()+cnt < code.bounds(), wasm_interpreter_exception, "pointer out of bounds" );
               storage[cnt] = code[cnt];
               if ((storage[cnt] & 0x80) == 0) {
                  if( static_cast<size_t>(cnt + 1) == bytes_needed<N>() ) {
                    uint32_t offset = N - 7*(bytes_needed<N>()-1);
                     uint8_t mask = static_cast<uint8_t>(~(uint32_t)0 << offset) & 0x7F;
                     uint8_t expected = (storage[cnt] & (uint32_t(1) << uint32_t(offset - 1)))? mask : 0;
                     SYS_VM_ASSERT((mask & storage[cnt]) == expected, wasm_parse_exception, "unused bits of signed leb128 must be the same as the sign bit");
                  }
                  break;
               }
            }
            code += cnt+1;
            bytes_used = cnt+1;
         }

Here is the call graph for this function:

◆ from() [2/8]

template<size_t N>

void sysio::vm::varint< N >::from ( guarded_ptr< uint8_t > & code )

inlineconstexpr

Definition at line 133 of file leb128.hpp.

                                                                  {
            uint8_t cnt = 0;
            for (;; cnt++) {
               SYS_VM_ASSERT( cnt < bytes_needed<N>(), wasm_interpreter_exception, "incorrect leb128 encoding" );
               SYS_VM_ASSERT( code.offset()+cnt < code.bounds(), wasm_interpreter_exception, "pointer out of bounds" );
               storage[cnt] = code[cnt];
               if ((storage[cnt] & 0x80) == 0) {
                  if( static_cast<size_t>(cnt + 1) == bytes_needed<N>() ) {
                    uint32_t offset = N - 7*(bytes_needed<N>()-1);
                     uint8_t mask = static_cast<uint8_t>(~(uint32_t)0 << offset) & 0x7F;
                     uint8_t expected = (storage[cnt] & (uint32_t(1) << uint32_t(offset - 1)))? mask : 0;
                     SYS_VM_ASSERT((mask & storage[cnt]) == expected, wasm_parse_exception, "unused bits of signed leb128 must be the same as the sign bit");
                  }
                  break;
               }
            }
            code += cnt+1;
            bytes_used = cnt+1;
         }

Here is the call graph for this function:

◆ from() [3/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int32_t v )

inlineconstexpr

Definition at line 124 of file leb128.hpp.

                                               {
            static_assert(N >= 32, "cant use this constructor with N < 32");
            _from(v);
         }

◆ from() [4/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int32_t v )

inlineconstexpr

Definition at line 124 of file leb128.hpp.

                                               {
            static_assert(N >= 32, "cant use this constructor with N < 32");
            _from(v);
         }

◆ from() [5/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int64_t v )

inlineconstexpr

Definition at line 128 of file leb128.hpp.

                                               {
            static_assert(N >= 64, "cant use this constructor with N < 32");
            _from(v);
         }

◆ from() [6/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int64_t v )

inlineconstexpr

Definition at line 128 of file leb128.hpp.

                                               {
            static_assert(N >= 64, "cant use this constructor with N < 32");
            _from(v);
         }

◆ from() [7/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int8_t v )

inlineconstexpr

Definition at line 120 of file leb128.hpp.

                                              {
            static_assert(N >= 7, "cant use this constructor with N < 7");
            storage[0] = v & 0x7f;
         }

Here is the caller graph for this function:

◆ from() [8/8]

template<size_t N>

void sysio::vm::varint< N >::from ( int8_t v )

inlineconstexpr

Definition at line 120 of file leb128.hpp.

                                              {
            static_assert(N >= 7, "cant use this constructor with N < 7");
            storage[0] = v & 0x7f;
         }

◆ print() [1/2]

template<size_t N>

void sysio::vm::varint< N >::print ( ) const

inline

Definition at line 171 of file leb128.hpp.

                           {
            for (int i=0; i < bytes_used; i++) {
               std::cout << std::hex << "0x" << (int)storage[i] << ' ';
            }
            std::cout << std::endl;
         }

◆ print() [2/2]

template<size_t N>

void sysio::vm::varint< N >::print ( ) const

inline

Definition at line 171 of file leb128.hpp.

                           {
            for (int i=0; i < bytes_used; i++) {
               std::cout << std::hex << "0x" << (int)storage[i] << ' ';
            }
            std::cout << std::endl;
         }

◆ size() [1/2]

template<size_t N>

size_t sysio::vm::varint< N >::size ( ) const

inline

Definition at line 153 of file leb128.hpp.

153{ return bytes_used; }

◆ size() [2/2]

template<size_t N>

size_t sysio::vm::varint< N >::size ( ) const

inline

Definition at line 153 of file leb128.hpp.

153{ return bytes_used; }

◆ to() [1/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 1, int>>

bool sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 156 of file leb128.hpp.

156{ return storage[0]; }

Here is the caller graph for this function:

◆ to() [2/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 7, int>>

int8_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 159 of file leb128.hpp.

                                      {
            if (storage[0] & 0x40)
               return storage[0] | (~0u << 7);
            return storage[0];
         }

◆ to() [3/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 32, int>>

int32_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 166 of file leb128.hpp.

166{ return _to<int32_t>(); }

◆ to() [4/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 64, int>>

int64_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 169 of file leb128.hpp.

169{ return _to<int64_t>(); }

◆ to() [5/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 1, int>>

bool sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 156 of file leb128.hpp.

156{ return storage[0]; }

◆ to() [6/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 7, int>>

int8_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 159 of file leb128.hpp.

                                      {
            if (storage[0] & 0x40)
               return storage[0] | (~0u << 7);
            return storage[0];
         }

◆ to() [7/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 32, int>>

int32_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 166 of file leb128.hpp.

166{ return _to<int32_t>(); }

◆ to() [8/8]

template<size_t N>

template<size_t M = N, typename = typename std::enable_if_t<M == 64, int>>

int64_t sysio::vm::varint< N >::to ( )

inlineconstexpr

Definition at line 169 of file leb128.hpp.

169{ return _to<int64_t>(); }

The documentation for this class was generated from the following files:

libraries/sys-vm/include/sysio/sysio/vm/leb128.hpp
libraries/sys-vm/include/sysio/vm/leb128.hpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ varint() [1/8]

◆ varint() [2/8]

◆ varint() [3/8]

◆ varint() [4/8]

◆ varint() [5/8]

◆ varint() [6/8]

◆ varint() [7/8]

◆ varint() [8/8]

Member Function Documentation

◆ from() [1/8]

◆ from() [2/8]

◆ from() [3/8]

◆ from() [4/8]

◆ from() [5/8]

◆ from() [6/8]

◆ from() [7/8]

◆ from() [8/8]

◆ print() [1/2]

◆ print() [2/2]

◆ size() [1/2]

◆ size() [2/2]

◆ to() [1/8]

◆ to() [2/8]

◆ to() [3/8]

◆ to() [4/8]

◆ to() [5/8]

◆ to() [6/8]

◆ to() [7/8]

◆ to() [8/8]