[all-commits] [llvm/llvm-project] b1c59b: [SCCP] Infer nneg on zext when forming from non-ne...

[Craig Topper via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/add-nuw-nsw-flags.ll
    M llvm/test/Transforms/SCCP/ip-ranges-casts.ll
    M llvm/test/Transforms/SCCP/ip-ranges-sext.ll
    M llvm/test/Transforms/SCCP/ranges-sext.ll
    M llvm/test/Transforms/SCCP/widening.ll

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

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