[PATCH] D62463: [ValueTracking][ConstantRange] Distinguish low/high always overflow

[Nikita Popov via Phabricator via llvm-commits]

nikic marked an inline comment as done.
nikic added inline comments.


================
Comment at: llvm/lib/IR/ConstantRange.cpp:1211
 
   // a u+ b overflows iff a u> ~b.
   if (Min.ugt(~OtherMin))
----------------
lebedev.ri wrote:
> overflows low
What do you mean by this comment? The unsigned add is an overflow high case.


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

https://reviews.llvm.org/D62463