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

[Michael Liao via Phabricator via cfe-commits]

hliao added a comment.

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?


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

https://reviews.llvm.org/D75423