<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
Hi all,
<div><br>
</div>
<div>It appears phab hasn’t kept track of this thread; I’ve updated <a href="http://reviews.llvm.org/D7789">http://reviews.llvm.org/D7789</a> based upon our discussion.</div>
<div><br>
</div>
<div>Thanks for the review.</div>
<div><br>
</div>
<div>Cheers,</div>
<div><br>
</div>
<div>James</div>
<div><br>
<div>
<div>On 23 Feb 2015, at 03:56, Sanjoy Das <<a href="mailto:sanjoy@playingwithpointers.com">sanjoy@playingwithpointers.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<blockquote type="cite">
<blockquote type="cite">clearly identified a deficiency. ConstantRange::multiply could compute it<br>
twice once with zext and unsigned min/max and again with sext and signed<br>
min/max, then choose the one with the smaller range. Maybe there's an even<br>
better algorithm.<br>
</blockquote>
<br>
Do you think there is value in being more precise if one of the ranges<br>
has one element (or, by extension, a small number of elements)?<br>
Finding a precise range for [a, b) * { c } may be a much easier<br>
problem to solve than finding a precise range for [a, b) * [c, d) if<br>
the former shows up frequently enough.<br>
<br>
-- Sanjoy<br>
<br>
</blockquote>
</div>
<br>
</div>
<br>
<font face="Arial" color="Black" size="2">-- IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents
to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.<br>
<br>
ARM Limited, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2557590<br>
ARM Holdings plc, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2548782<br>
</font>
</body>
</html>