https://github.com/daltenty approved this pull request. LGTM, this should be conservatively correct. We can relax the constrain further in follow on work. https://github.com/llvm/llvm-project/pull/126562