<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 15, 2015 at 6:29 AM, Angel Garcia <span dir="ltr"><<a href="mailto:angelgarcia@google.com" target="_blank" class="cremed">angelgarcia@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">angelgarcia added a comment.<br>
<br>
I cannot find a way to make Daniel's idea work with equal intervals:<br>
<br>
In this case, fix A can be applied because B is completely contained inside<br>
it.<br>
A: [a, b)[c, d)<br>
B: [a, b)<br>
<br>
This time, we should not apply anyone:<br>
A: [a, b)<br>
B: [a, b)<br>
<br>
And here they both have to be discarded again, but for a different reason:<br>
A:        [a, b)[c, d)<br>
B: [e, f)[a, b)<br></blockquote><div><br></div><div>Why? I think in the latter two cases, it is fine to keep one of them and it doesn't really matter which one.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
The problem is that we have three completely different situations that are<br>
the same from the point of view of interval "[a, b)". The local situation<br>
of individual intervals doesn't provide enough information.<br>
<br>
<br>
<a href="http://reviews.llvm.org/D13516" rel="noreferrer" target="_blank" class="cremed">http://reviews.llvm.org/D13516</a><br>
<br>
<br>
<br>
</blockquote></div><br></div></div>