tree 65d7e5d9ed1e44708dd1d50896f1307c921bc611
parent 2fe123a1195e16e065f913ba2bba8582370a8707
author Dominik Adamski <dominik.adamski@amd.com> 1744280633 +0200
committer GitHub <noreply@github.com> 1744280633 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn95w5CRC1aQ7uu5UhlAAASB0QAD6y6WtvXlJNFYR70BHvkN0I
 wLUb8sdIvVqXfO8eDVnLIR31Nz5LIuFdhLo5IWkwpGG8N9+1FMnl9rghGZkF7KP/
 AT3SEHSXeivLd/RietXn6NjtSZ+phwPQuaBNx8cUMhhDqWeMiqnx9he53ubV6FfX
 M3NWZQm3y0MLcKCQD7mXjqU9diDGyd4QGZBaWjpUDuacMfke4VWQC1ShN/Xk1PQd
 A4ojMkDn6VS1yZc/nZ7eiZmRo8iBhAAx31izf5SwyeXzLcuo7Oo4QYTVS5yndILv
 SNcJywQnBOzXFNvbOUO5Bsux2Vk2wpPH5KUtBR4pr+64VROqEFe23MG1V+rsk0TY
 hVVgc/niA285TCsPDmjrIfo3QgkUy4ULjrzrKHCahtkKPwryGXl80bkYVzzs5bjz
 lFt456qmJNyS6fqnQ+K/r4GX/JW2u3IPFZzCv4vlabZJldb+gJqeiVMSsmo7IwBu
 uPGkuIkIFMZsXGLYOy9M8ZCows6btEru7bmH6cdc7DRkAxPJgVhO2AhOWefC42e4
 AErS2AdtL4kPcfIs3JzL0sTorvzCUgrT6TSKAkGS3K3DCTWosgoM9onTo1nnamCQ
 NhX6Dyp9ggfEhAycbB2h9BFZ4TggGAvANzlH6OD/5IPGK8aiptn1Unhv9kW7Q4Ql
 QVd9FjMD2xraiuuzRUWJ
 =KE7h
 -----END PGP SIGNATURE-----
 

[LLVM][MemCpyOpt] Unify alias tags if we optimize allocas (#129537)

Optimization of alloca instructions may lead to invalid alias tags.
Incorrect alias tags can result in incorrect optimization outcomes for
Fortran source code compiled by Flang with flags: `-O3 -mmlir
-local-alloc-tbaa -flto`.

This commit removes alias tags when memcpy optimization replaces two
arrays with one array, thus ensuring correct compilation of Fortran
source code using flags: `-O3 -mmlir -local-alloc-tbaa -flto`.

This commit is also a proposal to fix the reported issue:
https://github.com/llvm/llvm-project/issues/133984

---------

Co-authored-by: Shilei Tian <i@tianshilei.me>