<div dir="ltr"><div dir="ltr"><div>Hi Paulo,</div><div><br></div><div>I am really excited to know that you are planning to open source S10!<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 17, 2021 at 7:55 PM Paulo Matos <<a href="mailto:pmatos@igalia.com">pmatos@igalia.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
Hi Wei,<br>
<br>
Back in 2018 I worked in a commercial superoptimizer for RISCV - S10,<br>
which I presented as a poster in the RISCV Workshop in Barcelona:<br>
<a href="https://youtu.be/ylTA63vPHYU?t=1969" rel="noreferrer" target="_blank">https://youtu.be/ylTA63vPHYU?t=1969</a><br>
<a href="https://linki.tools/s10.html" rel="noreferrer" target="_blank">https://linki.tools/s10.html</a><br>
<br>
To be fair, this was mostly used for consultancy into specific hot code<br>
blocks. Since then I moved on to other things but still hold a keen<br>
interest in Superoptimization.<br>
<br>
S10 was built upon greenthumb:<br>
<a href="https://github.com/mangpo/greenthumb" rel="noreferrer" target="_blank">https://github.com/mangpo/greenthumb</a><br>
<br>
I have been meaning to open source S10 but writing the documentation,<br>
cleaning up the code, etc is taking quite a bit of time although it's<br>
one of my priorities for 2021.<br>
<br>
In any case, if you want to know more or if I can help any further, feel<br>
free to drop me an email.<br>
<br>
--<br>
Paulo Matos<br>
<br>
Wei Wu (吴伟) via llvm-dev writes:<br>
<br>
> Hi all,<br>
><br>
> I appreciate it if you can drop some information/papers/open source project<br>
> urls that are related to superoptimization. Although I am targeting RISC-V<br>
> ISA, there might be some other research works / open source projects<br>
> available in the LLVM community.<br>
><br>
> (Sorry for the duplicate email.)<br>
><br>
> ---------- Forwarded message ---------<br>
> From: Wei Wu (吴伟) <<a href="mailto:lazyparser@gmail.com" target="_blank">lazyparser@gmail.com</a>><br>
> Date: Wed, Feb 17, 2021 at 12:26 PM<br>
> Subject: Superoptimization for RISC-V: What is the state of the art now?<br>
> To: RISC-V SW Dev <<a href="mailto:sw-dev@groups.riscv.org" target="_blank">sw-dev@groups.riscv.org</a>><br>
><br>
><br>
> Hi all,<br>
><br>
> In the last code optimization meeting (formly code-size-reduction and<br>
> code-speed-opt), the idea of using superoptimization[4] for RISC-V had been<br>
> discussed. I'm interested in this area. After a quick search I found very<br>
> few results, though. GNU/Embecosm had a superopt [1] but I am not sure it<br>
> still works either for GCC 10 or RISC-V backend. Google open sourced a<br>
> LLVM-IR level tool named souper[2] would help. STOKE[3] is yet another<br>
> optimizer which targets x86 only.<br>
><br>
> I appreciate it if you can drop some information/papers/open source project<br>
> urls that are related to superoptimization. I am going to stand on the<br>
> basis of gnu-superopt[1], and not sure it is the right/effective way to go.<br>
><br>
> Thanks.<br>
><br>
> [1] <a href="https://github.com/embecosm/gnu-superopt" rel="noreferrer" target="_blank">https://github.com/embecosm/gnu-superopt</a><br>
> [2] <a href="https://github.com/google/souper" rel="noreferrer" target="_blank">https://github.com/google/souper</a><br>
> [3] <a href="https://github.com/StanfordPL/stoke" rel="noreferrer" target="_blank">https://github.com/StanfordPL/stoke</a><br>
> [4] <a href="https://en.wikipedia.org/wiki/Superoptimization" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/Superoptimization</a><br>
><br>
> -- <br>
> Best wishes,<br>
> Wei Wu (吴伟)<br>
<br>
<br>
-- <br>
Paulo Matos<br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature">Best wishes,<br>Wei Wu (吴伟)<br></div></div>