Module bytecode::debug_instrumentation
source · Expand description
Transformation which injects trace instructions which are used to visualize execution.
This transformation should run before copy propagation and any other bytecode modifications.
It emits instructions of the form trace_local[original_idx](idx). Initially
original_idx == idx, where the temp idx is a named variable from the Move
compiler. Later transformations may replace idx but original_idx will be preserved so
the user sees the value of their named variable.