jamieschmeiser added a comment. In D136284#3869306 <https://reviews.llvm.org/D136284#3869306>, @nlopes wrote:
>> However, multiple loads of the same memory must be equal > > This premise is incorrect w.r.t. with current semantics, which say that loads > return undef for uninit memory. > > As Nikita mentioned we are working towards changing this semantics. The work > is ongoing, but we pivoted to make a couple of improvements in other areas to > avoid perf regressions. For example, see the clang !noundef patches. This is a C/C++ language semantics statement. Yes, I realize that LLVM is not language specific, but this is what is generated for this, and also, what freeze appears specifically designed to handle. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D136284/new/ https://reviews.llvm.org/D136284 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
