<div dir="ltr">On Tue, Aug 19, 2014 at 4:21 AM, Renato Golin <span dir="ltr"><<a href="mailto:renato.golin@linaro.org" target="_blank">renato.golin@linaro.org</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 17 August 2014 23:51, Saleem Abdulrasool <<a href="mailto:compnerd@compnerd.org">compnerd@compnerd.org</a>> wrote:<br>

> Author: compnerd<br>
> Date: Sun Aug 17 17:51:02 2014<br>
> New Revision: 215862<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=215862&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=215862&view=rev</a><br>
> Log:<br>
> ARM: improve RTABI 4.2 conformance on Linux<br>
><br>
> The set of functions defined in the RTABI was separated for no real reason.<br>
> This brings us closer to proper utilisation of the functions defined by the<br>
> RTABI.  It also sets the ground for correctly emitting function calls to AEABI<br>
> functions on all AEABI conforming platforms.<br>
><br>
> The previously existing lie on the behaviour of __ldivmod and __uldivmod is<br>
> propagated as it is beyond the scope of the change.<br>
><br>
> The changes to the test are due to the fact that we now use the divmod functions<br>
> which return both the quotient and remainder and thus we no longer need to<br>
> invoke two functions on Linux (making it closer to EABI's behaviour).<br>
<br>
<br>
</div>Hi Saleem,<br>
<br>
64-bit divmod was broken on ARM and AFAIK hasn't been fixed. Your<br>
tests seem to remove the [[sum]] dependency, making them a bit weaker<br>
than they were. I just want to make sure that 64-bit divmod is working<br>
as it should by making sure the generated code is *really* correct.<br></blockquote><div><br></div><div>Could you explain what exactly was broken?  I didn't notice anything in the generated assembly (but, I could have accidentally overlooked it).  Or did you mean that libgcc's implementation of __aeabi_ldivmod had a bug in it?</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Moritz (cc'd) had some concerns about it, it may be linked.<br>
<br>
cheers,<br>
--renato<br>
</blockquote></div><br>-- <br>Saleem Abdulrasool<br>compnerd (at) compnerd (dot) org
</div></div>