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

Nick Lewycky via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 6 22:22:23 PDT 2016


nicholas added a comment.

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



http://reviews.llvm.org/D21010





More information about the llvm-commits mailing list