[PATCH] D75423: [OpenCL] Mark pointers to constant address space as invariant

[Yaxun Liu via Phabricator via cfe-commits]

yaxunl added a comment.

In D75423#1901206 <https://reviews.llvm.org/D75423#1901206>, @hliao wrote:

> invariant checking already takes account of loading from constant address space or memory (AA::pointsToConstantMemory), that's almost equivalent to adding invariant attributes. Why do we mark these constant loads with additional attributes?


I got this request from Matt. He wants a consistent representation for invariant load, not relying on alias analysis.


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

https://reviews.llvm.org/D75423