<div dir="ltr">Hi Dangeti and Sanjoy,<div><br></div><div>We have had issues with sdiv/srem creeping in due to address computation being "signed".</div><div>We work around that by running a transformation passe that transform sdiv/srem into udiv/urem when we can prove they work on non-negative values.</div><div><br></div><div>The cost you are talking about is development cost, or do you expect a runtime cost too?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 23, 2019 at 11:30 AM Sanjoy Das via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</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">The short answer is that introducing new operations to SCEV has a high<br>
cost, and we have not seen use cases that justify paying that cost.<br>
<br>
Have you run into situations where an sdiv operation would help?<br>
<br>
-- Sanjoy<br>
<br>
On Thu, Mar 21, 2019 at 6:01 AM Dangeti Tharun kumar via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
><br>
> Hi,<br>
><br>
> I am working with SCEVs, I see the unsigned division of SCEVs, it is not immediately clear to me why the signed division of SCEV expressions is not supported by SE?<br>
><br>
> I would appreciate if some could clarify or point me to some links.<br>
><br>
> --<br>
> Regards,<br>
> DTharun<br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><b>Alexandre Isoard</b><br></div></div>