<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">On Sat, Jun 20, 2020 at 10:05 PM Grzegorz Junka <<a href="mailto:list1@gjunka.com">list1@gjunka.com</a>> wrote:</span><br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
    <p>Erlang tracing is one of them. Are those limitations inherent to
      the HiPE compiler, i.e. they can't be fixed, or they are simply
      there because they haven't been implemented? Or in other words, is
      AOT compilation of Erlang code into native code doomed and JIT is
      the only solution to speed it up?<br></p>
    <p></p></div></blockquote><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I don't think AOT is doomed. But it requires some serious static analysis to guess at types. With a JIT, you can figure the types out as you go. On the flip side, JITs are far more complex to get going. Personal guess: 10 times as much work is needed.</div><br></div></div></div>