<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 08/15/2013 11:33 AM, Matt Arsenault
wrote:<br>
</div>
<blockquote
cite="mid:2E45BA50-8AE9-4E2E-A8A1-E43C82225D3E@gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=ISO-8859-1">
<br>
<div>
<div>On Aug 15, 2013, at 11:24 , Chandler Carruth <<a
moz-do-not-send="true" href="mailto:chandlerc@google.com">chandlerc@google.com</a>>
wrote:</div>
<br class="Apple-interchange-newline">
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Aug 8, 2013 at 11:04 PM,
Matt Arsenault <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:arsenm2@gmail.com" target="_blank"
class="cremed">arsenm2@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Aug 8, 2013, at 0:36 , Chandler
Carruth <<a moz-do-not-send="true"
href="mailto:chandlerc@gmail.com" class="cremed">chandlerc@gmail.com</a>>
wrote:<br>
<br>
> I don't think this is the correct fix. Your
original message indicates there something wrong
with tracking a base and offset through an integer
that happens to be wider than necessary for the
pointer value?<br>
</div>
It's more that it's different and not that it's
bigger. stripAndComputeInBoundsConstantOffsets returns
a constant integer that is the pointer size, and is
kept in the ConstantOffsetPtrs. In the test case, when
the sub is visited, it uses those 32-bit constants for
constant simplified value. This simplified value is
then 32 bits which is inconsistent with its uses. When
the simplified value is used when visiting the icmp,
it isn't the same type as the i64 other operand.</blockquote>
</div>
<br>
So, somewhere in the original code, there is a 32-bit
-> 64-bit extension (ptrtoint, or zext, or sext, or ?)
that feeds into the icmp. At that point, we should extend
the constant and should use the extended constant when
visiting the icmp.</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">Again, I can't give more detailed
help w/o a test case.</div>
</div>
</blockquote>
</div>
The test case is the one I added, the ptrtoint_larger one
</blockquote>
Ping<br>
</body>
</html>