[all-commits] [llvm/llvm-project] c2e7fa: [DemandedBits] Support non-constant shift amounts ...

[Panagiotis Karouzakis via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2e7fad44691ed44281bde9e8322e70be0e6aeec
      https://github.com/llvm/llvm-project/commit/c2e7fad44691ed44281bde9e8322e70be0e6aeec
  Author: Panagiotis Karouzakis <45971450+karouzakisp at users.noreply.github.com>
  Date:   2025-08-19 (Tue, 19 Aug 2025)

  Changed paths:
    M llvm/lib/Analysis/DemandedBits.cpp
    A llvm/test/Analysis/DemandedBits/ashr.ll
    A llvm/test/Analysis/DemandedBits/lshr.ll
    M llvm/test/Analysis/DemandedBits/shl.ll

  Log Message:
  -----------
  [DemandedBits] Support non-constant shift amounts (#148880)

This patch adds support for the shift operators to handle non-constant
shift operands.

ashr proof -->https://alive2.llvm.org/ce/z/EN-siK
lshr proof --> https://alive2.llvm.org/ce/z/eeGzyB
shl proof --> https://alive2.llvm.org/ce/z/dpvbkq



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