[SVE] In LoopIdiomRecognize::isLegalStore bail out for scalable vectors
authorDavid Sherwood <david.sherwood@arm.com>
Thu, 10 Sep 2020 07:40:17 +0000 (08:40 +0100)
committerDavid Sherwood <david.sherwood@arm.com>
Mon, 14 Sep 2020 10:28:31 +0000 (11:28 +0100)
commit816663adb5f1362597c9b2947586e0847c5cdf9b
treeb55c2fcc5186906aa90ae9d8dceec1800ef20412
parent6e2a86ed5abfdb75ba9c08ea94ed8dbd41e75c9e
[SVE] In LoopIdiomRecognize::isLegalStore bail out for scalable vectors

The function LoopIdiomRecognize::isLegalStore looks for stores in loops
that could be transformed into memset or memcpy. However, the algorithm
currently requires that we know how big the store is at runtime, i.e.
that the store size will not overflow an unsigned integer. For scalable
vectors we cannot guarantee this so I have changed the code to bail out
for now. In addition, even if we add a way to query the maximum value of
vscale in future we will still need to update the algorithm to cope with
non-constant strides. The additional cost associated with calculating
the memset and memcpy arguments will need to be taken into account as
well.

This patch also fixes up an implicit TypeSize -> uint64_t cast,
thereby removing a warning. I've added tests here showing a fixed
width vector loop being transformed into memcpy, and a scalable
vector loop remaining unchanged:

  Transforms/LoopIdiom/memcpy-vectors.ll

Differential Revision: https://reviews.llvm.org/D87439
llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
llvm/test/Transforms/LoopIdiom/memcpy-vectors.ll [new file with mode: 0644]