[all-commits] [llvm/llvm-project] 23099a: Add known and demanded bits support for zext nneg ...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 23099ac23983194e82d574b6bf53da14c57ae84d
      https://github.com/llvm/llvm-project/commit/23099ac23983194e82d574b6bf53da14c57ae84d
  Author: Philip Reames <preames at rivosinc.com>
  Date:   2023-11-06 (Mon, 06 Nov 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
    M llvm/test/Transforms/InstCombine/zext.ll
    M llvm/test/Transforms/LoopVectorize/reduction.ll

  Log Message:
  -----------
  Add known and demanded bits support for zext nneg (#70858)

zext nneg was recently added to the IR in #67982.   This patch teaches
demanded bits and known bits about the semantics of the instruction, and
adds a couple of test cases to illustrate basic functionality.