[PATCH] D90924: [ConstantRange] Sign-flipping of signedness-invariant comparisons

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri updated this revision to Diff 303403.
lebedev.ri added a comment.

Ok, doesn't seem useful for SCEV.
Not sure if CVP-based fold is useful, so not really looking for review i guess.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90924

Files:
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/IR/ConstantRange.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
  llvm/test/Transforms/CorrelatedValuePropagation/deopt.ll
  llvm/test/Transforms/CorrelatedValuePropagation/minmaxabs.ll
  llvm/test/Transforms/CorrelatedValuePropagation/overflow_predicate.ll
  llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll
  llvm/test/Transforms/CorrelatedValuePropagation/range.ll
  llvm/test/Transforms/CorrelatedValuePropagation/sdiv.ll
  llvm/test/Transforms/CorrelatedValuePropagation/srem.ll
  llvm/unittests/IR/ConstantRangeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90924.303403.patch
Type: text/x-patch
Size: 22830 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201106/483d63ce/attachment.bin>