[PATCH] D60656: [LVI][CVP] Calculate with.overflow result range

[Nikita Popov via Phabricator via llvm-commits]

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


================
Comment at: llvm/test/Transforms/CorrelatedValuePropagation/overflow_predicate.ll:486
 
 split:
   %c1 = icmp ugt i8 %val, 100
----------------
The BB split is here because CVP only simplifies (freestanding) icmps if they depend on a non-local value.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60656