rjmccall added a comment. In D74183#1937426 <https://reviews.llvm.org/D74183#1937426>, @efriedma wrote:
> I think we should remove the LangRef rule that says "sret" pointers have to > be dereferenceable/naturally aligned, and let the frontend add explicit > aligned/dereferenceable markings where appropriate. (At that point, sret has > no target-independent meaning; it's just to manipulate the target ABI.) It > would make the IR easier to understand, and resolves the interaction with > opaque pointers. That might be reasonable, yeah. And yeah, making the `dereferenceable` assumption explicit is going to be necessary with opaque pointer types eventually. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D74183/new/ https://reviews.llvm.org/D74183 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
