[llvm] [InferAddressSpaces] Infer pointer stored and then loaded from global variable (PR #159755)

Wenju He via llvm-commits llvm-commits at lists.llvm.org
Wed Dec 24 04:31:59 PST 2025


wenju-he wrote:

> Scanning all of the uses in the module is a bit dodgy. I guess you can get away with it for now? This would be more appropriate in Attributor AAAddressSpace.

The scanning code is now deleted. Is there still need to implement in Attributor AAAddressSpace?

> I think it would help if this followed along closer with the assume handling. This is essentially an implied assumption

sorry I don't follow, could you please elaborate more, thanks?

https://github.com/llvm/llvm-project/pull/159755


More information about the llvm-commits mailing list