<div dir="ltr">I have <a href="https://github.com/bollu/tiny-optimising-compiler">https://github.com/bollu/tiny-optimising-compiler</a> which implements a tiny compiler for SSA. It has everything you ask for. It generates MIPS asm, so it performs register allocation as well. </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Apr 7, 2021 at 3:13 AM Vanessa McHale <<a href="mailto:vamchale@gmail.com">vamchale@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">
  
    
  
  <div>
    <p>I have kempe - the backend is the interesting part I guess
      <a href="http://hackage.haskell.org/package/kempe" target="_blank">http://hackage.haskell.org/package/kempe</a><br>
    </p>
    <p>It has blocks, it's effectful, it has no loops (just recursion)
      though.<br>
      <br>
      - Vanessa McHale<br>
    </p>
    <div>On 4/5/21 7:32 PM, Igor Moreno Santos
      wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">
        <div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small">
          <div class="gmail_default">Hi,</div>
          <div class="gmail_default"><br>
          </div>
          <div class="gmail_default">I'm looking for a toy imperative
            language implementation in Haskell for research purposes. I
            imagine something like the language of arithmetic
            expressions from TAPL ch. 3 augmented with</div>
          <div class="gmail_default">
            <div class="gmail_default">- while-loop (so the CFG has
              loops)</div>
            <div class="gmail_default">- blocks (sequence of statements
              to put inside loops and conditionals)<br>
            </div>
            <div class="gmail_default">- assignment (otherwise we can't
              show any effects from sequences)</div>
            <div class="gmail_default"><br>
            </div>
            <div class="gmail_default">I think there's probably nothing
              exactly like that so we might end up doing it ourselves
              but maybe there's already something out there.</div>
            <div class="gmail_default"><br>
            </div>
            <div class="gmail_default">Thank you in advance.</div>
            <div class="gmail_default"><br>
            </div>
            <div class="gmail_default">Regards,</div>
          </div>
        </div>
        <div>
          <div dir="ltr"><font face="tahoma,
              sans-serif">Igor Moreno<br>
              <br>
              <span style="font-size:13px"><br>
              </span></font></div>
        </div>
      </div>
      <br>
      <fieldset></fieldset>
      <pre>_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
    </blockquote>
  </div>

_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><a href="https://bollu.github.io/" target="_blank">https://bollu.github.io/</a><br></div></div>