[all-commits] [llvm/llvm-project] 691bad: [InstCombine] C - ctpop(a) - > ctpop(~a)) if C is ...

[Dávid Bolvanský via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 691badc3d6a76ceb98530d58f80c11565337d767
      https://github.com/llvm/llvm-project/commit/691badc3d6a76ceb98530d58f80c11565337d767
  Author: Dávid Bolvanský <david.bolvansky at gmail.com>
  Date:   2021-04-26 (Mon, 26 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/test/Transforms/InstCombine/ctpop-cttz.ll
    M llvm/test/Transforms/InstCombine/ctpop.ll

  Log Message:
  -----------
  [InstCombine] C - ctpop(a) - > ctpop(~a)) if C is bitwidth (PR50104)

Proof: https://alive2.llvm.org/ce/z/mncA9K
Solves https://bugs.llvm.org/show_bug.cgi?id=50104

Reviewed By: spatel

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