[all-commits] [llvm/llvm-project] 55c9f2: [CVP] Infer nneg on zext when forming from non-neg...

[Craig Topper via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 55c9f24344a49cd1deb86af1d79d4dc3a798c6fb
      https://github.com/llvm/llvm-project/commit/55c9f24344a49cd1deb86af1d79d4dc3a798c6fb
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2023-10-30 (Mon, 30 Oct 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/cond-at-use.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/sext.ll
    M llvm/test/Transforms/PhaseOrdering/AArch64/loopflatten.ll

  Log Message:
  -----------
  [CVP] Infer nneg on zext when forming from non-negative sext. (#70715)

Builds on #67982 which recently introduced the nneg flag on a zext
instruction.