Header menu logo B2R2

RegType Module

Provides several helper functions to deal with RegType.

Functions and values

Function or value Description

RegType.fromBitWidth n

Full Usage: RegType.fromBitWidth n

Parameters:
    n : int - Bit width in integer.

Returns: int<'u> A RegType.
Modifiers: inline
Type parameters: 'u

Gets the corresponding integer RegType from the given bit width.

n : int

Bit width in integer.

Returns: int<'u>

A RegType.

RegType.fromByteWidth n

Full Usage: RegType.fromByteWidth n

Parameters:
    n : int - Byte width in integer.

Returns: int<'u> A RegType.
Type parameters: 'u

Gets the corresponding integer RegType from the given byte width.

n : int

Byte width in integer.

Returns: int<'u>

A RegType.

RegType.makeMask t

Full Usage: RegType.makeMask t

Parameters:
Returns: bigint A bit mask in big integer.

Makes a bitmask (in integer) from the given RegType.

t : int<MeasureProduct<rt, MeasureOne>>
Returns: bigint

A bit mask in big integer.

RegType.toBitWidth t

Full Usage: RegType.toBitWidth t

Parameters:
Returns: int A bit width in integer of the given RegType.

Converts a RegType to an integer of bit width.

t : RegType

RegType.

Returns: int

A bit width in integer of the given RegType.

RegType.toByteWidth t

Full Usage: RegType.toByteWidth t

Parameters:
Returns: int A byte width in integer of the given RegType.

Gets a byte width from a RegType.

t : RegType

RegType.

Returns: int

A byte width in integer of the given RegType.

RegType.toString t

Full Usage: RegType.toString t

Parameters:
Returns: string A string representation for RegType. For example, I32 means a 32-bit integer type.

Converts RegType to string.

t : RegType

RegType.

Returns: string

A string representation for RegType. For example, I32 means a 32-bit integer type.

Type something to start searching.