https://github.com/kuhar requested changes to this pull request. I think we should be able to add type constrains that both `base_ptr` and `result` types match, and then remove the result type from the assembly format https://github.com/llvm/llvm-project/pull/116943