arsenm wrote: > to be able to deprecate range metadata on calls in the future Meaning what exactly? I don't think calls should be special cased to disallow range metadata, it would just be a less canonical form? https://github.com/llvm/llvm-project/pull/94847