[all-commits] [llvm/llvm-project] aa7076: [ValueTracking] Add tests for constant range of `{...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa7076fc9b7d4b92fc71637bfdb7cb268bcd53bc
      https://github.com/llvm/llvm-project/commit/aa7076fc9b7d4b92fc71637bfdb7cb268bcd53bc
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-02-20 (Tue, 20 Feb 2024)

  Changed paths:
    M llvm/test/Analysis/ValueTracking/constant-ranges.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for constant range of `{s|u}rem C, x`; NFC


  Commit: 9facaaddadd63a1668c212c8a9ef94a5ad4c6629
      https://github.com/llvm/llvm-project/commit/9facaaddadd63a1668c212c8a9ef94a5ad4c6629
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-02-20 (Tue, 20 Feb 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/constant-ranges.ll

  Log Message:
  -----------
  [ValueTracking] Improve tracking for constant range of `{s|u}rem C, x`

Current we only support `C` as the remainder, but we can also limit
with a constant numerator.

Proofs: https://alive2.llvm.org/ce/z/QB95gU

Closes #82303


Compare: https://github.com/llvm/llvm-project/compare/a73e9244621a...9facaaddadd6

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