https://github.com/razvanlupusoru approved this pull request. Great idea and I appreciate the consistent semantics with the LLVM operation. Being able to represent immutable memory loads seems really useful. https://github.com/llvm/llvm-project/pull/206204