<span>Trying to handle the invalid code we allow in unreachable blocks had so far been a generally losing proposition. AFAIK we've always eventually given up before getting any pass actually bug free.  Can we just stop asking aa about this?</span><div><br><div dir="auto"><br><br><div class="gmail_quote"><div dir="ltr">On Fri, Apr 20, 2018, 10:33 PM Craig Topper via Phabricator <<a href="mailto:reviews@reviews.llvm.org">reviews@reviews.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">craig.topper added a comment.<br>
<br>
Sorry I meant it became unreachable during jump threading. And jump threading itself created the degenerate phi. The call into alias analysis also came from jump threading from SimplifyPartiallyRedundantLoad.<br>
<br>
But we do have our own internal changes in jump threading so its still possible that this is a problem there.<br>
<br>
I found other code that handles phis with no incoming values in the phi handling in computeKnownBitsFromOperator. That code is exercised by 3 lit tests, 2 of them due to jump threading.<br>
<br>
<br>
<a href="https://reviews.llvm.org/D45910" rel="noreferrer" target="_blank">https://reviews.llvm.org/D45910</a><br>
<br>
<br>
<br>
</blockquote></div></div></div>