[all-commits] [llvm/llvm-project] 1eec81: [CVP][LVI] Add support for vectors (#97428)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1eec81a831dcf925c0c86c153e8dce019a5b5436
      https://github.com/llvm/llvm-project/commit/1eec81a831dcf925c0c86c153e8dce019a5b5436
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-07-03 (Wed, 03 Jul 2024)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/vectors.ll

  Log Message:
  -----------
  [CVP][LVI] Add support for vectors (#97428)

The core change here is to add support for converting vector constants
into constant ranges. The rest is just relaxing isIntegerTy() checks and
making sure we don't use APIs that assume vectors.

There are a couple of places that don't support vectors yet, most
notably the "simplest" fold (comparisons to a constant) isn't supported
yet. I'll leave these to a followup.



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