Possible statistics trivially implementable in the refimpl
These will provide more information about the characteristics of real-world Mu programs, and help implementers.
- counting instructions executed (how many ADD, LOAD, BRANCH, ... executed)
- number of instructions between branching (median)
- function call count
- register pressure (static analysis)
- simultaneous live variables