[PATCH] D88178: [ConstantRange] Make binaryNot() more precise

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added a reviewer: lebedev.ri.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
nikic requested review of this revision.

@lebedev.ri This is what I had in mind. The code is correct and more precise without the check for wrapping sets, we just need a different testing function that can deal with wrapping ranges.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D88178

Files:
  llvm/lib/IR/ConstantRange.cpp
  llvm/unittests/IR/ConstantRangeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88178.293827.patch
Type: text/x-patch
Size: 3003 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200923/e26acabf/attachment.bin>