Superoptimization for RISC-V: What is the state of the art now?

[Wei Wu (吴伟)]

Hi all,

In the last code optimization meeting (formly code-size-reduction and code-speed-opt), the idea of using superoptimization[4] for RISC-V had been discussed. I'm interested in this area. After a quick search I found very few results, though. GNU/Embecosm had a superopt [1] but I am not sure it still works either for GCC 10 or RISC-V backend. Google open sourced a LLVM-IR level tool named souper[2] would help. STOKE[3] is yet another optimizer which targets x86 only.

I appreciate it if you can drop some information/papers/open source project urls that are related to superoptimization. I am going to stand on the basis of gnu-superopt[1], and not sure it is the right/effective way to go.

Thanks.

[1] https://github.com/embecosm/gnu-superopt

[2] https://github.com/google/souper

[3] https://github.com/StanfordPL/stoke

[4] https://en.wikipedia.org/wiki/Superoptimization

--

Best wishes,
Wei Wu (吴伟)