[PATCH] D76446: [ConstantRange] Use APInt::or/APInt::and for single elements.

Thu Mar 19 13:45:35 PDT 2020

fhahn added a comment.

In D76446#1932013 <https://reviews.llvm.org/D76446#1932013>, @nikic wrote:

> I'd like to see a unit test that exhaustively tests this for all binary operators (or the ones where it holds). I don't think single element ranges are handled accurately for all the ops (e.g. probably not for urem/srem?)

Yes, ideally we would handle all single element ranges in ConstantRange::binaryOp directly, by delegating to APInt, rather than doing it separately for each one I think. Maybe we should add an APInt::binaryOp? Or just dispatch in ConstantRange::binaryOp?

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D76446/new/

https://reviews.llvm.org/D76446