<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<div class="moz-cite-prefix">On 09/10/2014 02:55 PM, Kevin
Modzelewski wrote:<br>
</div>
<blockquote
cite="mid:CAO=oM6tJ7j08AEOoHTE3uNvv8sYj6Yy6o3-KH+dN09XMrC2F=A@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, Sep 9, 2014 at 9:27 PM,
Philip Reames <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000"><span class="">
<div><br>
</div>
</span> I'm guessing the key difference in our reasoning
is about the constant 5. :) I'm also guessing that you
have an example in mind which motivates the need for 5
to be considered associated with the address range.
Could you expand on why?<span class=""><br>
<br>
</span></div>
</blockquote>
<div><br>
</div>
<div>Can't speak for Dan, but in Pyston we certainly make
use of these types of constructs to embed JIT-time
constants (say, an interned string, or a reference to the
current function object) into the function being compiled.
Heuristically, we can all see the different of intent
between "ptr + 5" and "load (int*)0x2aaaaa0000", but it
seems like it'd be difficult to come up with reasonable
rules that would separate them.</div>
</div>
<br>
</div>
</div>
</blockquote>
All of the cases I've seen in JITed code can be dealt with
differently. By emitting a global variable and then using the "link
time" address resolution to map it to the right address, you get the
same effect while remaining entirely within the well defined part of
the IR. I don't see this case as being worth restricting an
otherwise reasonable optimization. <br>
<br>
One problem with Dan's interpretation of the current rules is that
this otherwise legal transform becomes problematic:<br>
%addr = inttoptr 0x2aaaaa0005 to %i32*<br>
===><br>
%tmp = add i32 0x2aaaaa0000, i32 5<br>
%addr = inttoptr %tmp to %i32*<br>
<br>
We probably wouldn't do this at the IR level, but we definitely do
perform this transform in the backends. There's no reason it
*shouldn't* be valid at the IR level either. <br>
<br>
Philip<br>
<br>
</body>
</html>