[all-commits] [llvm/llvm-project] cba6df: [ValueTracking] Add basic tests tracking `or disjo...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cba6df99e0d5271393eb3861f9a3ebc58779169c
      https://github.com/llvm/llvm-project/commit/cba6df99e0d5271393eb3861f9a3ebc58779169c
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-28 (Thu, 28 Mar 2024)

  Changed paths:
    M llvm/test/Transforms/InstCombine/known-bits.ll

  Log Message:
  -----------
  [ValueTracking] Add basic tests tracking `or disjoint` conditions as `add`; NFC


  Commit: 637421cb887fd51e6edde31d8f9e041f53c3f495
      https://github.com/llvm/llvm-project/commit/637421cb887fd51e6edde31d8f9e041f53c3f495
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-28 (Thu, 28 Mar 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/known-bits.ll

  Log Message:
  -----------
  [ValueTracking] Tracking `or disjoint` conditions as `add` in Assumption/DomCondition Cache

We can definitionally treat `or disjoint` as `add` anywhere.

Closes #86302


  Commit: efa1544c2c3551e014c2d73aebe4fd0d4cc30462
      https://github.com/llvm/llvm-project/commit/efa1544c2c3551e014c2d73aebe4fd0d4cc30462
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-28 (Thu, 28 Mar 2024)

  Changed paths:
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll

  Log Message:
  -----------
  [LVI] Add tests for tracking `or disjoint` like add; NFC


  Commit: 0e786557317d6dbf7dfba5115531f39096c6904d
      https://github.com/llvm/llvm-project/commit/0e786557317d6dbf7dfba5115531f39096c6904d
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-28 (Thu, 28 Mar 2024)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll

  Log Message:
  -----------
  [LVI] Use m_AddLike instead of m_Add when matching simple condition

We have more complete logic for handling `Add`, so try to use that
logic for `or disjoint` (which can definitionally be treated as
`add`).

Closes #86058


Compare: https://github.com/llvm/llvm-project/compare/8ee5a3fd1cf5...0e786557317d

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