[all-commits] [llvm/llvm-project] e1aa91: [InstCombine] Use KnownBits::shl() in SimplifyDema...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e1aa91b36325086164b2dffd761b6d3960e40171
      https://github.com/llvm/llvm-project/commit/e1aa91b36325086164b2dffd761b6d3960e40171
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
    M llvm/test/Transforms/InstCombine/canonicalize-ashr-shl-to-masking.ll
    M llvm/test/Transforms/InstCombine/canonicalize-lshr-shl-to-masking.ll
    M llvm/test/Transforms/InstCombine/select-obo-peo-ops.ll

  Log Message:
  -----------
  [InstCombine] Use KnownBits::shl() in SimplifyDemandedBits()

It is more precise than the custom logic we had. This came up when
trying to enforce a consistency assertion with computeKnownBits().