[all-commits] [llvm/llvm-project] 73f5f1: [ValueTracking] Add some additional tests for `isK...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1
      https://github.com/llvm/llvm-project/commit/73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-26 (Wed, 26 Apr 2023)

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

  Log Message:
  -----------
  [ValueTracking] Add some additional tests for `isKnownNonZero`; NFC

Differential Revision: https://reviews.llvm.org/D149201


  Commit: 9b3c865d32d84f13a19fe3b45cc66fcef910a368
      https://github.com/llvm/llvm-project/commit/9b3c865d32d84f13a19fe3b45cc66fcef910a368
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-26 (Wed, 26 Apr 2023)

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

  Log Message:
  -----------
  [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`

Alive2 Link:
    https://alive2.llvm.org/ce/z/TAFcjF

Differential Revision: https://reviews.llvm.org/D149202


  Commit: 75b48b40771ae8124f8624fff8f1fb422a5d1fc7
      https://github.com/llvm/llvm-project/commit/75b48b40771ae8124f8624fff8f1fb422a5d1fc7
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-26 (Wed, 26 Apr 2023)

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

  Log Message:
  -----------
  [ValueTracking] Add logic for `add nuw x,y != 0` -> `x != 0 || y != 0`

Alive2 Link:
    https://alive2.llvm.org/ce/z/TKpqxc

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149204


  Commit: ddfee6d0b6979fc6e61fa5ac7424096c358746fb
      https://github.com/llvm/llvm-project/commit/ddfee6d0b6979fc6e61fa5ac7424096c358746fb
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-04-26 (Wed, 26 Apr 2023)

  Changed paths:
    M llvm/lib/Target/X86/X86ISelLowering.cpp
    M llvm/test/CodeGen/X86/combine-srl.ll
    M llvm/test/CodeGen/X86/fpclamptosat_vec.ll
    M llvm/test/CodeGen/X86/masked_store_trunc_usat.ll
    M llvm/test/CodeGen/X86/psubus.ll
    M llvm/test/CodeGen/X86/sat-add.ll
    M llvm/test/CodeGen/X86/vec_setcc-2.ll
    M llvm/test/CodeGen/X86/vector-popcnt-128-ult-ugt.ll
    M llvm/test/CodeGen/X86/vector-trunc-usat.ll

  Log Message:
  -----------
  [X86] Support `X86ISD::PCMPEQ` and `X86ISD::PCMPGT` in ComputeKnownBits

These functions where missing support but are used enough that it
makes sense to track them.

Reviewed By: RKSimon

Differential Revision: https://reviews.llvm.org/D148963


Compare: https://github.com/llvm/llvm-project/compare/faf8407aecd1...ddfee6d0b697