<div dir="ltr"><div>Hi Daniel. I think Sven Tennie and the LoongArch contributors are the experts in NCG for these kinds of instruction sets. I have cced them.</div><div><br></div><div>Cheers,</div><div><br></div><div>Matt</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Apr 15, 2025 at 5:40 PM Daniel Trujillo Viedma <<a href="mailto:danihacker.viedma@gmail.com">danihacker.viedma@gmail.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">Hello, ghc-devs! My name is Daniel Trujillo, I'm a Haskell enthusiast <br>
from Spain and I'm trying to make my Master's thesis about accelerating <br>
Haskell programs with a custom ISA extension.<br>
<br>
<br>
Right now, my focus is in executing software written in Haskell within <br>
QEMU in order to get traces that tells me, basically, how many times <br>
each block (not exactly basic blocks, but sort of) of assembly code has <br>
been executed, with the hope of finding some patterns of RISCV <br>
instructions that I could implement together into 1 instruction.<br>
<br>
<br>
As you can see, my method is a bit crude, and I was wondering if the <br>
people involved with any of the different internal representations (STG, <br>
Cmm...) and/or native code generators (particularly RISCV) could provide <br>
me hints about assembly instructions that would have made the work <br>
easier, by removing the need of "massaging" the Cmm code to make CodeGen <br>
easier, or the need of particular optimizations, or in general, dirty <br>
tricks because of lacking of proper support of the standard RISCV ISA.<br>
<br>
<br>
And of course, I would also appreciate very much other hints from people <br>
involved in general performance (as oppossed to, for example, libraries <br>
for SIMD and parallel execution, or Haskell wrappers to lower-level code <br>
for performance reasons).<br>
<br>
<br>
P.D. I'm sorry if I broke any netiquette rule, but I'm very new to the <br>
email list, and haven't received yet any email from it.<br>
<br>
<br>
Looking forward to hear from you!<br>
<br>
Cheers,<br>
<br>
Dani.<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>