Spacetime_profiling
Insertion of instrumentation code for Spacetime profiling.
class virtual instruction_selection : Selectgen.selector_generic