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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to