[all-commits] [llvm/llvm-project] f19d9e: [KnownBits] Add test for computing more informatio...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f19d9e1617292a95b665171574630b8674d3ae1e
      https://github.com/llvm/llvm-project/commit/f19d9e1617292a95b665171574630b8674d3ae1e
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-11 (Mon, 11 Mar 2024)

  Changed paths:
    A llvm/test/Analysis/ValueTracking/knownbits-shift.ll

  Log Message:
  -----------
  [KnownBits] Add test for computing more information for `lshr`/`ashr` with `exact` flag; NFC


  Commit: a9d913ebcd567ad14ffdc8c8684c4f0611e1e2da
      https://github.com/llvm/llvm-project/commit/a9d913ebcd567ad14ffdc8c8684c4f0611e1e2da
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-11 (Mon, 11 Mar 2024)

  Changed paths:
    M llvm/include/llvm/Support/KnownBits.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/lib/Support/KnownBits.cpp

  Log Message:
  -----------
  [KnownBits] Add API support for `exact` in `lshr`/`ashr`; NFC


  Commit: d81db0e5f5b1404ff4813af3050d671528ad45cc
      https://github.com/llvm/llvm-project/commit/d81db0e5f5b1404ff4813af3050d671528ad45cc
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-11 (Mon, 11 Mar 2024)

  Changed paths:
    M llvm/lib/Support/KnownBits.cpp
    M llvm/test/Analysis/ValueTracking/knownbits-shift.ll
    M llvm/unittests/Support/KnownBitsTest.cpp

  Log Message:
  -----------
  [KnownBits] Implement knownbits `lshr`/`ashr` with exact flag

The exact flag basically allows us to set an upper bound on shift
amount when we have a known 1 in `LHS`.

Typically we deduce exact using knownbits (on non-exact incoming
shifts), so this is particularly impactful, but may be useful in some
circumstances.

Closes #84254


Compare: https://github.com/llvm/llvm-project/compare/f832beebda6d...d81db0e5f5b1

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications