[llvm] [InferAddressSpaces] apply InferAddressSpaces to inttoptr-zext-ptrtoint address expression. (PR #79108)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 20 23:50:35 PDT 2024


https://github.com/arsenm commented:

Can you elaborate more on what the use case where you need this form of reinterpret is?

I'm still nervous about touching inttoptr. alive2 will only help you so much to prove this is correct (e.g. you have to strip out the non-0 address spaces, https://alive2.llvm.org/ce/z/QxFvQe, which gives a not reassuring it couldn't prove it's correct) 

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


More information about the llvm-commits mailing list