<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 13, 2017 at 4:08 PM, bryant via Phabricator <span dir="ltr"><<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">bryant marked 3 inline comments as done.<br>
bryant added inline comments.<br>
<br>
<br>
================<br>
Comment at: lib/Transforms/Scalar/PDSE.<wbr>cpp:59<br>
+// (resp. post-dominate) their successor (resp. predecessor) blocks (SSAPRE<br>
+// assumes this condition).<br>
+<br>
<span class="">----------------<br>
> This TODO really belongs here or you can throw it away?<br>
<br>
</span>SSAPRE (resp. PDSE) needs critical edges to be broken in order for down-unsafety (resp. up-unsafety) propagation to be correct. </blockquote><div><br></div><div>FWIW:This is fixable.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
<br>
</div></div></blockquote></div><br></div></div>