https://github.com/nikic approved this pull request. LGTM. I'm a bit concerned that this will make it harder to create DL-independent test cases. Possibly we'll need an option to disable named address spaces during printing. https://github.com/llvm/llvm-project/pull/170559