<div dir="ltr"><div class="gmail_quote">On Fri, Sep 26, 2008 at 7:15 PM, Mikael Pettersson <span dir="ltr"><<a href="mailto:mikpe@it.uu.se">mikpe@it.uu.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="Ih2E3d">Matthias Lang writes:<br>
 > On Friday, September 26, Corrado Santoro wrote:<br>
 ><br>
 > > The strange thing is that I've disabled hipe (./configure<br>
 > > --disable_hipe), but it seems that hipe is still considered?<br>
 ><br>
 > You've pretty much figured it out: --disable_hipe would more accurately<br>
 > be --disable_some_parts_of_hipe_but_not_others_which_is_fine_unless_you're_cross_compiling_in_which_case_its_a_bit_of_a_pain<br>
<br>
</div>The reason for that is that dialyzer for reasons I don't know/remember<br>
uses parts of HiPE, and it was decided (jointly by the dialyzer group<br>
and OTP) to keep parts of HiPE even if --disable-hipe is in effect so<br>
that dialyzer can work.<br></blockquote><div><br></div><div>Yes, that is correct.</div><div><br></div><div>Actually, I think that the current version of Dialyzer does not use HiPE as much as it used to.</div><div>It used to run the first pass of HiPE compiler and do its analysis on the icode format, but as</div>
<div>far as I know, Dialyzer now does the entire analysis using Core Erlang and only uses a few</div><div>modules in hipe/cerl (which are pure Erlang, and not dependent on any HiPE support in the</div><div>run-time system).</div>
<div><br></div><div>Tobias or Kostis could confirm those details, but I think that it would be enough to include</div><div>only the hipe/cerl sub-directory to support Dialyzer.</div><div><br></div><div>/Bjorn</div><div><br>
</div></div>-- <br>Björn Gustavsson, Erlang/OTP, Ericsson AB<br>
</div>