tree a777a8b944e379bb7ef95711bc31c61bc32c1f95
parent 9e27db0a50162023f25f119dc18a0f41b0824aac
author John Brawn <john.brawn@arm.com> 1747041322 +0100
committer GitHub <noreply@github.com> 1747041322 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoIbwqCRC1aQ7uu5UhlAAA0mYQAIX1gZF/VHKKva+N1eH1fZP+
 hS3x6XpZw4TltYE92t2UVIBJeU0dle6ZsvZHAVPYg0HYYvCJYa96Iya31ECVEmgS
 eAIAPqvl1lNUaUH8nIcZZXQr2q58ndYUiiko/snDLFiVgeaRdFpXOCRuw1oSIASb
 9VzOk2tI79fTSf8QksEH3VEkt7294Vp6TU3+niKJ6uTTJATKlwIostteob3d/Nm7
 Q+fdJ4TkRJ01RaT3Ljk8GCpt9t2dAGoWUL9L9vfxTf2YSGc0zZPMz08Yil3jRmxp
 GlMgpoR5NBeQjg3QGkres8qeeWpyJJ5BXyUE5ZbGL2c1owapJR8jlg9M8IJo0Riu
 xpiJnW5/3VhjneD+qMkBAD8dgvRhkpnY5jRTvtqbAQrUcJF0UGxwnN3JovPbqvHV
 g1m2RJ8anbHdl+2qOBhfDUD5UKoAcWbqKvqDgr3IfRQaNzbgTnfTGdo++dKv4gfN
 Hu8wiw+ZQPTff2UuCjf2FTFyMvPG2aTBpjPMhWX87e746NFA+6HuzGypEjhhNwBn
 4IpQJZBn9c3lxmu6GsmrUlC0DmyzoPGL9Kk7XbtfLRWnKq2SZ30stXaxATd3u+Oh
 F8TOR1fwa0lwOP9nwWoGjhjC3NFHz9sLiy6fR/6UEfFIn2v8dn5d5ic3jJOA1R7K
 lRpmoZ9De/StcyelGAgl
 =sRvm
 -----END PGP SIGNATURE-----
 

[LoopVersioningLICM] Only mark pointers with generated checks as noalias (#135168)

Currently when we version a loop all loads and stores have the noalias
metadata added to them. If there were some pointers that could not be
analysed, and thus we could not generate runtime aliasing checks for,
then we should not mark loads and stores using these pointers as
noalias.

This is done by getting rid of setNoAliasToLoop and instead using
annotateLoopWithNoAlias, as that already correctly handles partial alias
information. This does result in slightly different aliasing metadata
being generated, but it looks like it's more precise.

Currently this doesn't result in any change to the transforms that
LoopVersioningLICM does, as LoopAccessAnalysis discards all results if
it couldn't analyse every pointer leading to no loop versioning
happening, but an upcoming patch will change that and we need this first
otherwise we incorrectly mark some pointers as noalias even when they
aren't.