Closed rrthomas closed 4 years ago
Have a tool to run make specialize-mit multiple times and save the best profile. Write log file of summary information to help understand the process.
make specialize-mit
Do timing checks with oprofile instead of time for better reproducibility.
oprofile
time
Have a tool to run
make specialize-mitmultiple times and save the best profile. Write log file of summary information to help understand the process.Do timing checks with
oprofileinstead oftimefor better reproducibility.