<html>
<head>
<base href="https://bugs.webkit.org/" />
</head>
<body>
<p>
<div>
<b><a class="bz_bug_link
bz_status_NEW "
title="NEW - DFG plays fast and loose with the shadow values of a Phi"
href="https://bugs.webkit.org/show_bug.cgi?id=164309#c11">Comment # 11</a>
on <a class="bz_bug_link
bz_status_NEW "
title="NEW - DFG plays fast and loose with the shadow values of a Phi"
href="https://bugs.webkit.org/show_bug.cgi?id=164309">bug 164309</a>
from <span class="vcard"><a class="email" href="mailto:sbarati@apple.com" title="Saam Barati <sbarati@apple.com>"> <span class="fn">Saam Barati</span></a>
</span></b>
<pre>Comment on <span class=""><a href="attachment.cgi?id=293741&action=diff" name="attach_293741" title="it's a start">attachment 293741</a> <a href="attachment.cgi?id=293741&action=edit" title="it's a start">[details]</a></span>
it's a start
View in context: <a href="https://bugs.webkit.org/attachment.cgi?id=293741&action=review">https://bugs.webkit.org/attachment.cgi?id=293741&action=review</a>
<span class="quote">> Source/JavaScriptCore/dfg/DFGLivenessAnalysisPhase.cpp:-124
> - // p: Phi()</span >
Maybe this is too simplistic, but why can't we just solve the liveness bug by saying:
p: Phi() => defs p
n: Upsilon(@x, ^p) => defs n, uses x
Maybe I'm not completely understanding the implications of such a rule?</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>