[PATCH] D125603: [ConstantRange] Improve the implementation of binaryAnd

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/unittests/IR/ConstantRangeTest.cpp:2563
+        return false; // Check correctness only.
+      });
+}
----------------
Pass CheckSingleElementsOnly instead, we want to guarantee that two single-element ranges are always precise.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125603