[PATCH] D112895: [CVP] Canonicalize signed relational comparisons of scalar integers to unsigned comparison predicates

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri created this revision.
lebedev.ri added reviewers: reames, mkazantsev, nikic.
lebedev.ri added a project: LLVM.
Herald added a subscriber: hiraditya.
lebedev.ri requested review of this revision.

Now that the reasoning was added to ConstantRange in D90924 <https://reviews.llvm.org/D90924>,
this replicates IndVars variant of this transform (D111836 <https://reviews.llvm.org/D111836>)
in a pass that uses value range reasoning for the transform.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D112895

Files:
  llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.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/range.ll
  llvm/test/Transforms/CorrelatedValuePropagation/sdiv.ll
  llvm/test/Transforms/CorrelatedValuePropagation/srem.ll
  llvm/test/Transforms/PhaseOrdering/X86/vector-reductions-logical.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112895.383679.patch
Type: text/x-patch
Size: 15312 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211031/e66e921e/attachment.bin>