There are various transformations - one main one is the assumption stripping in codegenprepare, but there's also target-specific stuff like the AMDGPU kernel argument lowering - that lose alias information.

This alias information could be preserved in !noalias and !alias.scope metadata (somewhat like the inliner does), but, currently, no effort is made to do so.