[PATCH] D155389: [ValueTracking][ScalarEvolution] improving llvm.assume's support for the argument value without context & reducing the result range of ScalarEvolution::getRange using computeConstantRange

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Please see D93974 <https://reviews.llvm.org/D93974>, D97077 <https://reviews.llvm.org/D97077>, D97099 <https://reviews.llvm.org/D97099> and D97092 <https://reviews.llvm.org/D97092> for existing attempts to tackle this problem. In particular, you'll want to read the discussion on the last one of these.


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

https://reviews.llvm.org/D155389