[PATCH] D68831: [LV] Mark instructions with loop invariant arguments as uniform. (WIP)

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D68831#1731425 <https://reviews.llvm.org/D68831#1731425>, @Ayal wrote:

> Overall, wonder what the current forward-propagating invariance analysis is missing, and if it's better to keep it separate from the backward-propagating "DemandedLanes" analysis aka uniform-after-vectorization. More specific comments inline.

Just to note, the terminology "demanded lane" is much more clear than the existing uniform-after-vectorization.  It took me quite a while to figure out what that code was doing the first time I glanced at it, particular since it didn't consider values which were Legal->isUniform as being uniform after vectorization!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68831/new/

https://reviews.llvm.org/D68831