<div dir="ltr">Yeah. The tracking is very fine, but is still an overshoot sometimes.<div>In these cases, i just want to make sure we are adding the right things to track, and not papering over it by just adding a lot of stuff and getting the right thing by accident.<br><div><div>Sometimes i wonder if the complexity compared to more coarse tracking is still worth it (but i haven't measured).</div><div>I actually suspect the best time tradeoff is probably something like "coarse tracking of scalars, fine tracking of memory" based on cost to evaluate the ops,  but then that requires the same level of infrastructure anyway.</div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 12, 2018 at 8:55 AM, Florian Hahn <span dir="ltr"><<a href="mailto:florian.hahn@arm.com" target="_blank">florian.hahn@arm.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
On 12/04/2018 16:48, Daniel Berlin wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sorry, i'll stare at this again.<br>
<br>
<br>
</blockquote>
<br></span>
Great thanks.<br>
<br>
I suppose this still leaves a few unnecessary users around in some cases, e.g. if we add additional users for `I` because we failed to find a leader for a ValueOp. When we later find a leader for that ValueOp, the other additional users are still stuck around, even though we only need them if we managed to make a phiOfOps.<br>
</blockquote></div><br></div>