[all-commits] [llvm/llvm-project] 74157b: [ValueTracking] Add tests for proving `fshr`/`fshl...

[goldsteinn via All-commits]

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

  Changed paths:
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for proving `fshr`/`fshl` is non-zero; NFC

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


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

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add logic for `fshl/fshr(A, B, C) != 0` if `A == B && A ! = 0`

Having `A == B` is quite common for rotate patterns.

Alive2 Links:
    - https://alive2.llvm.org/ce/z/mPXi9c
    - https://alive2.llvm.org/ce/z/UfDHoI

Reviewed By: nikic

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


Compare: https://github.com/llvm/llvm-project/compare/587f4d2efcf4...4cd1b67491df