<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Mar 6, 2012, at 12:17 PM, Rafael Espíndola wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div><blockquote type="cite"><br class="Apple-interchange-newline">"dominatesUse()" was ok, but as Duncan pointed out could be misleading, since there's no assumption of data flow between operands. "properlyDominates()" could be misleading because of the unreachable case above, and theoretically wrong because "proper" dominance essentially refers nodes in the domtree, not instructions. I just don't have a better idea.<br></blockquote><br>Same here. Chris, just waiting for you OK on<br><br>* Dominates for BB is changed so that anything dominates an<br> unreachable block. This does create a case where<br> A != B && dominates(A, B) && dominates(B,A) is true.<br><br>:-)</div></span></blockquote></div><br><div>Sounds fine to me. I think that this would eliminate some cases where we have to say that "something dominates or is in an unreachable block".</div><div><br></div><div>-Chris</div></body></html>