SCEV currently does not model vector expressions.
We could in theory extend SCEV to vector types, and I've given that a
tiny bit of thought. At the moment, I'm not convinced that such an
extension is worthwhile. Even if worthwhile, it's a very substantial
piece of work.
Philip
On 11/3/21 6:06 AM, Darshan Bhat via llvm-dev wrote:> Is it possible to get a meaningful SCEV expression on a vector element ?
>
> I am having a vector and I am extracting an element using
> "extractelement" instruction like below :
> %2 = extractelement <5 x i32> %vecins32, i32 0
>
> The extracted value will be a scalar. This value is being set in each
> iteration of a loop. I want to see how this value is getting incremented.
>
> Is it possible to run Scalar Evolution analysis on this and get a
> meaningful SCEV expression ?
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20211103/e2ea4d09/attachment.html>