https://github.com/gysit approved this pull request. Nice! LGTM, it could make sense to add a verifier to the load op that checks the return type is indeed a pointer? https://github.com/llvm/llvm-project/pull/130974