rrthomas / mit

A simple stack-based VM
Other
10 stars 3 forks source link

Remove profiler from libmit #351

Open rrthomas opened 4 years ago

rrthomas commented 4 years ago

Currently libmit provides two functions mit_run_specialize and mit_run_profile. The latter is only used to profile mit for the specializer, and only the former is used in production. Instead, gen-specializer should only produce one function, selected when gen-specializer is run.

The profiling functions can be built into a separate library, loaded directly in Python, with a binding private to the specializer.