[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