<br><br><div class="gmail_quote">On Fri, Jun 18, 2010 at 1:28 PM, Jordy Rose <span dir="ltr"><<a href="mailto:jediknil@belkadan.com">jediknil@belkadan.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
On Thu, 17 Jun 2010 09:50:43 +0800, Zhongxing Xu <<a href="mailto:xuzhongxing@gmail.com">xuzhongxing@gmail.com</a>><br>
wrote:<br>
<div class="im">> I agree this patch should go in. It's great job. I haven't verified the<br>
> trick in  RangeConstraintManager::AssumeSymLT. It's not straightforward<br>
to<br>
> get it. But I believe it's right. Maybe some comments are helpful.<br>
<br>
</div>Well, I made one last set of simplifications, by making<br>
RangeSet::Intersect() handle wraparound ranges instead of worrying about<br>
that in the AssumeSym*() methods. The AssumeSym*() methods look /much/ more<br>
similar now, and are much easier to understand. Here's what that looks<br>
like.<br>
<br>
If and when we do switch to a generic Transformer, I'd be glad to help<br>
work on fitting it in to the SimpleConstraintManagers.<br>
<br>
I'll check this in soon, then?</blockquote><div><br>This patch looks cleaner, especially the wrap-around processing part. Great work, Jordy!<br></div></div><br>