[llvm] [llubi] Experimental support for noalias (PR #195808)

[Zhige Chen via llvm-commits]

nofe1248 wrote:

This PR should be ready for review now. One notable thing about the implementation: the proposed noalias model does not fully specify roundtrip casts (ptrtoint-inttoptr), so the implementation makes additional choices about preserving and resolving noalias ancestry through those casts. Feedback on those choices would be especially helpful.

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