[PATCH] D73240: [ValueLattice] Update markConstantRange to return false for subset ranges.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/include/llvm/Analysis/ValueLattice.h:252
     if (isConstantRange()) {
+      if (getConstantRange().contains(NewR))
+        return false;
----------------
If NewR is precisely equal to the current range, it makes sense to do nothing.  It doesn't make sense to call markConstantRange with a NewR that's a subset of the current range. 


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D73240