[all-commits] [llvm/llvm-project] 41b876: [ValueTracking] Add tests for Known{Bits, NonZero, F...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 41b876dba420d09ba1015798a06b2b101cbb21bf
      https://github.com/llvm/llvm-project/commit/41b876dba420d09ba1015798a06b2b101cbb21bf
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-07-17 (Wed, 17 Jul 2024)

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

  Log Message:
  -----------
  [ValueTracking] Add tests for Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`; NFC


  Commit: 769952d72ff383e0e5fda46802fb8717712784d3
      https://github.com/llvm/llvm-project/commit/769952d72ff383e0e5fda46802fb8717712784d3
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-07-17 (Wed, 17 Jul 2024)

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

  Log Message:
  -----------
  [ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`

`llvm.vector.reverse` preserves each of the elements and thus elements
common to them.

Alive2 doesn't support the intrin yet, but the logic seems pretty
self-evident.

Closes #99013


Compare: https://github.com/llvm/llvm-project/compare/d3f8105c6504...769952d72ff3

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