[all-commits] [llvm/llvm-project] 824e9b: [ValueTracking] Add tests for checking whether `di...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 824e9bb2e33655734eb3e9169ba5c4964cc1861c
      https://github.com/llvm/llvm-project/commit/824e9bb2e33655734eb3e9169ba5c4964cc1861c
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-30 (Sun, 30 Apr 2023)

  Changed paths:
    A llvm/test/Transforms/LICM/speculate-div.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for checking whether `div`/`rem` is safe to speculate; NFC

Differential Revision: https://reviews.llvm.org/D149422


  Commit: fbc7fcf5ae26fad7db3e7c861fc6447e02b39cf0
      https://github.com/llvm/llvm-project/commit/fbc7fcf5ae26fad7db3e7c861fc6447e02b39cf0
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-30 (Sun, 30 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/LICM/speculate-div.ll

  Log Message:
  -----------
  [ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate

This just replaces the exact constant requirements with known-bits
which can prove better results.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149423


Compare: https://github.com/llvm/llvm-project/compare/424b10d6cc05...fbc7fcf5ae26