https://github.com/gysit commented: Thanks, direction looks good. I would add a `setRangeCode` tablegen helper for setting the metadata that follows the alias analysis metadata kinds (see my comment inline). https://github.com/llvm/llvm-project/pull/228571