[PATCH] D21010: Replace the implementation of ConstantRange::binaryAnd.

[Nick Lewycky via llvm-commits]

Thank you. I looked around but all I found were ways to compute the 
binary-and of all integers in an interval, not between two intervals.

I'll study this and come back with an update ...

John Regehr wrote:
> regehr added a comment.
>
> Also see section 3.5 of this paper (by the authors of the code above):
>
> https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0ahUKEwjc4LqtgJPNAhXENhoKHRuLDX8QFggdMAA&url=https%3A%2F%2Fti.arc.nasa.gov%2Fpublications%2F20091%2Fdownload%2F&usg=AFQjCNEQ7Z1NLOlnzVYsL8PmV-z5w7mzyA&sig2=CDe8MBmoIeeGGyc0sd318w
>
>
> http://reviews.llvm.org/D21010
>
>
>
>