[all-commits] [llvm/llvm-project] 575e2a: [VectorCombine] Use constant range info for index ...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 575e2aff5574550d10278d9a41fca2926a5b8409
      https://github.com/llvm/llvm-project/commit/575e2aff5574550d10278d9a41fca2926a5b8409
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-05-25 (Tue, 25 May 2021)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/VectorCombine.cpp
    M llvm/test/Transforms/PhaseOrdering/AArch64/matrix-extract-insert.ll
    M llvm/test/Transforms/VectorCombine/AArch64/load-extractelement-scalarization.ll
    M llvm/test/Transforms/VectorCombine/load-insert-store.ll

  Log Message:
  -----------
  [VectorCombine] Use constant range info for index scalarization legality.

We can only scalarize memory accesses if we know the index is valid.

This patch adjusts canScalarizeAcceess to fall back to
computeConstantRange to check if the index is known to be valid.

Reviewed By: nlopes

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