[all-commits] [llvm/llvm-project] b554e4: [CVP] Canonicalize signed relational comparisons o...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b554e41e2d15b78679231b390e543153e05c9efe
      https://github.com/llvm/llvm-project/commit/b554e41e2d15b78679231b390e543153e05c9efe
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-11-01 (Mon, 01 Nov 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/deopt.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/minmaxabs.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/overflow_predicate.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/range.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/sdiv.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/srem.ll
    M llvm/test/Transforms/PhaseOrdering/X86/vector-reductions-logical.ll

  Log Message:
  -----------
  [CVP] Canonicalize signed relational comparisons of scalar integers to unsigned comparison predicates

Now that the reasoning was added to ConstantRange in D90924,
this replicates IndVars variant of this transform (D111836)
in a pass that uses value range reasoning for the transform.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D112895