[all-commits] [llvm/llvm-project] 3fee3e: KnownBits: refine srem for high-bits (#109121)

[Ramkumar Ramachandra via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c
      https://github.com/llvm/llvm-project/commit/3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c
  Author: Ramkumar Ramachandra <ramkumar.ramachandra at codasip.com>
  Date:   2024-09-27 (Fri, 27 Sep 2024)

  Changed paths:
    M llvm/lib/Support/KnownBits.cpp
    M llvm/test/Analysis/ValueTracking/knownbits-rem.ll
    M llvm/test/CodeGen/ARM/select-imm.ll

  Log Message:
  -----------
  KnownBits: refine srem for high-bits (#109121)

KnownBits::srem does not correctly set the leader zero-bits, omitting
the fact that LHS may be known-negative or known-non-negative. Fix this.

Alive2 proof: https://alive2.llvm.org/ce/z/Ugh-Dq



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