More informative file names for bril llvm IR dumps

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Closed rtjoa closed 6 months ago

rtjoa commented 6 months ago

Instead of compile-unopt.ll and compile.ll, produce names like ackermann.ll and ackermann_egglog_opt_opt_bril_llvm_O3.ll.

Always include the original file name
For the optimized file:
- Include _egglog_opt iff we optimize with egglog
- Include clang optimization level

oflatt commented 6 months ago

This one is going to have big conflicts with #546 Can we hold off? Lots of churn