[all-commits] [llvm/llvm-project] be32e3: [ValueTracking] Ignore poison values in `computeKn...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: be32e39892372d9fe069af6bfb829aa0071176a6
      https://github.com/llvm/llvm-project/commit/be32e39892372d9fe069af6bfb829aa0071176a6
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2023-11-18 (Sat, 18 Nov 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/X86/x86-vector-shifts-inseltpoison.ll
    M llvm/test/Transforms/InstCombine/add.ll
    M llvm/test/Transforms/InstCombine/extractelement.ll
    M llvm/test/Transforms/InstCombine/lshr.ll
    M llvm/test/Transforms/InstCombine/mul.ll

  Log Message:
  -----------
  [ValueTracking] Ignore poison values in `computeKnownBits` (#72683)

This patch handles `poison` elements of non-splat vectors in
`computeKnownBits`. It addresses test changes after I delete the
duplicate logic in https://github.com/llvm/llvm-project/pull/72535.

See also @nikic's comment:
https://github.com/llvm/llvm-project/pull/72535#pullrequestreview-1736991557