[all-commits] [llvm/llvm-project] ffd263: [InstCombine] Fold mul (shr exact (X, N)), 2^N + 1...

[AZero13 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ffd263306194f3d8246e2f25184a44a7f78185be
      https://github.com/llvm/llvm-project/commit/ffd263306194f3d8246e2f25184a44a7f78185be
  Author: AZero13 <gfunni234 at gmail.com>
  Date:   2025-02-13 (Thu, 13 Feb 2025)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    M llvm/test/Transforms/InstCombine/ashr-lshr.ll

  Log Message:
  -----------
  [InstCombine] Fold mul (shr exact (X, N)), 2^N + 1 -> add (X , shr exact (X, N)) (#112407)

Alive2 Proofs:
https://alive2.llvm.org/ce/z/aJnxyp
https://alive2.llvm.org/ce/z/dyeGEv



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