[all-commits] [llvm/llvm-project] 882992: [ValueTracking] Add tests for inferring select arm...

[goldsteinn via All-commits]

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

  Changed paths:
    A llvm/test/Analysis/ValueTracking/knownbits-select-from-cond.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for inferring select arm bits from condition; NFC


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

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/knownbits-select-from-cond.ll

  Log Message:
  -----------
  [ValueTracking] Use select condition to help infer bits of arms

If we have something like `(select (icmp ult x, 8), x, y)`, we can use
the `(icmp ult x, 8)` to help compute the knownbits of `x`.

Closes #84699


Compare: https://github.com/llvm/llvm-project/compare/fbd7c5006570...744a23f24b08

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