[all-commits] [llvm/llvm-project] 2e999b: Allow scalable vectors in ComputeNumSignBits and i...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2e999b7dd1934a44d38c3a753460f1e5a217e9a5
      https://github.com/llvm/llvm-project/commit/2e999b7dd1934a44d38c3a753460f1e5a217e9a5
  Author: Philip Reames <preames at rivosinc.com>
  Date:   2022-11-01 (Tue, 01 Nov 2022)

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

  Log Message:
  -----------
  Allow scalable vectors in ComputeNumSignBits and isKnownNonNull

This is a follow up to D136470 which extends the same scheme used there to ComputeNumSignBits and isKnownNonNull. As a reminder, for scalable vectors we track a single bit which is implicitly broadcast to all lanes. We do not know how many lanes there are statically, and thus have to be conservative along paths which require exact sizes.

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