<html>

    <head>

      <base href="https://bugs.webkit.org/" />

    </head>

    <body>

      <p>

        <div>

            <b><a class="bz_bug_link 

          bz_status_NEW "

   title="NEW - B3 should have store elimination"

   href="https://bugs.webkit.org/show_bug.cgi?id=154658#c1">Comment # 1</a>

              on <a class="bz_bug_link 

          bz_status_NEW "

   title="NEW - B3 should have store elimination"

   href="https://bugs.webkit.org/show_bug.cgi?id=154658">bug 154658</a>

              from <span class="vcard"><a class="email" href="mailto:fpizlo&#64;apple.com" title="Filip Pizlo &lt;fpizlo&#64;apple.com&gt;"> <span class="fn">Filip Pizlo</span></a>

</span></b>

        <pre>The main issue here is doing backward dominators: if we have &#64;s = Store(&#64;x, &#64;p) and &#64;t = Store(&#64;y, &#64;p) then we can eliminate &#64;s if it is backward dominated by &#64;t and there does not exist a path from &#64;s to &#64;t that could observe the store.

On the other hand, maybe you could just do this by forward flow. If you do forward flow from &#64;s and we find any number of &#64;t's without ever hitting a side exit, return, read or write, then we can eliminate &#64;s.</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>