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