[PATCH] D59386: [ValueTracking] ConstantRange based overflow detection for unsigned add/sub

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:5708
 
 ConstantRange llvm::computeConstantRange(const Value *V, bool UseInstrInfo) {
+  Type *Ty = V->getType();
----------------
This is used in `simplifyICmpWithConstant()`. thus i think this can be split off too,
although i'm not sure if that will show any test changes as-is?


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

https://reviews.llvm.org/D59386