[PATCH] D32143: [InstSimplify] use ConstantRange to simplify more and-of-icmps

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

> I initially thought I could use equivalence of the intersection with one of the input ranges rather than 'contains', but ConstantRange intersection doesn't work like I expected

Do you mean there are cases where `A.contains(B)` is true but `A.intersect(B)` is not `B`?  If so, that does sound fishy.


https://reviews.llvm.org/D32143