B2R2


Register Module

This module exposes several useful functions to handle CIL registers.

Functions and values

Function or value Description

Register.ofRegID n

Full Usage: Register.ofRegID n

Parameters:
Returns: Register
n : RegisterID
Returns: Register

Register.ofString str

Full Usage: Register.ofString str

Parameters:
    str : string

Returns: Register
str : string
Returns: Register

Register.toRegID reg

Full Usage: Register.toRegID reg

Parameters:
Returns: int<MeasureProduct<T, MeasureOne>>
reg : Register
Returns: int<MeasureProduct<T, MeasureOne>>

Register.toRegType _arg1

Full Usage: Register.toRegType _arg1

Parameters:
Returns: int<MeasureProduct<rt, MeasureOne>>
_arg1 : Register
Returns: int<MeasureProduct<rt, MeasureOne>>

Register.toString _arg1

Full Usage: Register.toString _arg1

Parameters:
Returns: string
_arg1 : Register
Returns: string