Module util 

Functions

memory_read_native

memory_read_native_from_state

memory_read_or_imm_native

memory_read_or_imm_native_from_state

memory_write_native

memory_write_native_from_state

timed_read_native

Atomic read operation which increments the timestamp by 1. Returns (t_prev, [ptr:BLOCK_SIZE]_4) where t_prev is the timestamp of the last memory access.

timed_write_native

tracing_read_native

Reads register value at ptr from memory and records the previous timestamp. Reads are only done from address space NATIVE_AS.

tracing_read_or_imm_native

Reads value at _ptr from memory and records the previous timestamp. If the read is an immediate, the previous timestamp will be set to u32::MAX.

tracing_write_native

Writes ptr, vals into memory and records the previous timestamp and data. Writes are only done to address space NATIVE_AS.

tracing_write_native_inplace

Writes ptr, vals into memory and records the previous timestamp and data.