[all-commits] [llvm/llvm-project] 877ecd: [ValueTracking] Add tests for computing knownbits ...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 877ecdf52f40472d31205f107d39097268d3e3e3
      https://github.com/llvm/llvm-project/commit/877ecdf52f40472d31205f107d39097268d3e3e3
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-11 (Thu, 11 Apr 2024)

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

  Log Message:
  -----------
  [ValueTracking] Add tests for computing knownbits from `(icmp upred X (and/or X, Y))`; NFC


  Commit: b8659600c3af6e5f1a5dd51ac59d6ab2554603d8
      https://github.com/llvm/llvm-project/commit/b8659600c3af6e5f1a5dd51ac59d6ab2554603d8
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-11 (Thu, 11 Apr 2024)

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

  Log Message:
  -----------
  [ValueTracking] compute knownbits from `(icmp upred X (and/or X, Y))`; NFC

`(icmp uge/ugt (and X, Y), C)` implies both `(icmp uge/ugt X, C)` and
`(icmp uge/ugt Y, C)`. We can use this to deduce leading ones in `X`.

`(icmp ule/ult (or X, Y), C)` implies both `(icmp ule/ult X, C)` and
`(icmp ule/ult Y, C)`. We can use this to deduce leading zeros in `X`.

Closes #86059


Compare: https://github.com/llvm/llvm-project/compare/62fa12ad2405...b8659600c3af

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