[all-commits] [llvm/llvm-project] 69cccb: [SVE] Fix isLoadInvariantInLoop for scalable vectors

[david-arm via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 69cccb3189d6e0535ab78411a37cfcccf06a58a7
      https://github.com/llvm/llvm-project/commit/69cccb3189d6e0535ab78411a37cfcccf06a58a7
  Author: David Sherwood <david.sherwood at arm.com>
  Date:   2020-09-15 (Tue, 15 Sep 2020)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/Scalar/LICM.cpp
    A llvm/test/Transforms/LICM/AArch64/lit.local.cfg
    A llvm/test/Transforms/LICM/AArch64/sve-load-hoist.ll
    M llvm/test/Transforms/LICM/hoisting.ll

  Log Message:
  -----------
  [SVE] Fix isLoadInvariantInLoop for scalable vectors

I've amended the isLoadInvariantInLoop function to bail out for
scalable vectors for now since the invariant.start intrinsic is only
ever generated by the clang frontend for thread locals or struct
and class constructors, neither of which support sizeless types.
In addition, the intrinsic itself does not currently support the
concept of a scaled size, which makes it impossible to compare
the sizes of different scalable objects, e.g. <vscale x 32 x i8>
and <vscale x 16 x i8>.

Added new tests here:

  Transforms/LICM/AArch64/sve-load-hoist.ll
  Transforms/LICM/hoisting.ll

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