[all-commits] [llvm/llvm-project] cc845e: [InstCombine] Handle assume(X & Pow2 != 0) in comp...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cc845e9de8c87c74d494f4e90e8fcf4fca264989
      https://github.com/llvm/llvm-project/commit/cc845e9de8c87c74d494f4e90e8fcf4fca264989
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-01-11 (Wed, 11 Jan 2023)

  Changed paths:
    M llvm/lib/Analysis/AssumptionCache.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/icmp-ne-pow2.ll

  Log Message:
  -----------
  [InstCombine] Handle assume(X & Pow2 != 0) in computeKnownBits()

If we know that X & Pow2 != 0, then the bit at that position is
known one.

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