[llvm] RFC: [TTI] Assume casts between aliasing addrspaces are valid. NFCI. (PR #137969)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

I don't think this is the right thing to do, as these should have inverse defaults. We want to assume that all address spaces alias and no addrspacecasts are valid by default. A precise addrspacesMayAlias + addrspacesMayAlias will converge to being the same, but if either of them approximate (including the full conservative default approximation) they will differ.

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