[all-commits] [llvm/llvm-project] eca0bd: [ValueTracking] Add tests for tracking `(and/or co...

[goldsteinn via All-commits]

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

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

  Log Message:
  -----------
  [ValueTracking] Add tests for tracking `(and/or cond0, cond1)` on both sides of branch; NFC


  Commit: 6f9b0a7095cbb7781e1f387f99d5725c950ce79b
      https://github.com/llvm/llvm-project/commit/6f9b0a7095cbb7781e1f387f99d5725c950ce79b
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-02-25 (Sun, 25 Feb 2024)

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

  Log Message:
  -----------
  [ValueTracking] Compute knownbits for `(and/or cond0, cond1)` on both sides of branch

The false branch for `and` and true branch for `or` provide less
information (intersection as opposed to union), but still can give
some useful information.

Closes #82818


Compare: https://github.com/llvm/llvm-project/compare/ac9e67756e01...6f9b0a7095cb

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