Feature Request: symbolic simulation profiling

[ntc2]

It would be useful to get a timing profile for symbolic simulation: a list of (e.g. LLVM) function names followed by the cumulative (including sub calls) and non cumulative run time. Sorting the results by cumulative time might be a good default. To get other sort orders, we can pipe the output into sort -k <i>,<i>n or whatever.

The best approximation I have right now is running saw -v2 and paying attention to which function names stay on the screen for a long time.

[langston-barrett]

@robdockins @lukemaurer There appears to be some support in Crucible for profiling, can you comment on the status of this issue?

[atomb]

There's pretty comprehensive support in Crucible, and I think what remains for this issue is mostly a matter of adding the UI to enable it.

[robdockins]

Indeed, it's really just a question of how to expose that functionality to the SAW user.

[langston-barrett]

Looks like this and #364 are duplicates.