https://github.com/jmorse approved this pull request. LGTM -- I'm not quite sure of the path taken whereby the debuginfo records point at the right alloca, but it's already covered by existing tests. https://github.com/llvm/llvm-project/pull/80906