[all-commits] [llvm/llvm-project] e80f48: [SCEV] BECount to zero if `((-C + (C smax %x)) /u ...

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e80f48986c7ba6cc41378b8d8e12d804cf26895d
      https://github.com/llvm/llvm-project/commit/e80f48986c7ba6cc41378b8d8e12d804cf26895d
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2024-09-05 (Thu, 05 Sep 2024)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    A llvm/test/Analysis/ScalarEvolution/udiv-of-x-xsmaxone-fold.ll

  Log Message:
  -----------
  [SCEV] BECount to zero if `((-C + (C smax %x)) /u %x), C > 0` holds

The SCEV expression `((-C + (C smax %x)) /u %x)` can be folded
to zero for any positive constant C.

Proof: https://alive2.llvm.org/ce/z/_dLm8C.



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