tree 367aad186128ee17809a709b57e2fc1ac6574805
parent 6fe723441b66c86bbe86bfc9c1f504d0c295c91b
author Hari Limaye <hari.limaye@arm.com> 1727431619 +0100
committer GitHub <noreply@github.com> 1727431619 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJm9oPDCRC1aQ7uu5UhlAAA/GUQAFls9e1mj2Yz4Dt7YNKOi1oy
 5NGxSMjsMTJ7oH/rNVJzdiD5AYuYbKnriI0lhzGYztEaYLoAR5ILSVaXa2KK4PIU
 WK8DIM8+8/RwWCYn0fKgfTT4cEMI+GRJIoNMaHE3WppE8U+1gEu8yo807GMWXl/Q
 0lm/vtvL1vx/K8KIXiL/hCJJY0fz8iqv2gpDolopWGi75zId0AvNzfJtq1rtb7df
 I82VwCOJL4RtLRCCZA5YjymdY7DBiw8GPG7eJ1HfKf+xEVdbWUdM7PrfaxiO7O/Q
 uoE/WDDklwEtwLvgLTNJAE7BcR0JKz4oyci1rNK5Ov/ZP+AHTLht6qf58g8Umzje
 +Zind4K7lziknoC4tiAXCSozQCuQvrjo8EikzhxvrL1VcDIf5MpzqcEwIptI/yHm
 Q4X0Y2e3NBon4rUeogkuuolw8eXJvGY2uQvioMFpWnjLDiWzdoFxNnxeUPxdIZ/g
 iAObS8+OTYJFaGHN6l4i2cNRIdbLN6p1jQ/G05UEDhfomXFxTEBhPpo/9XTLy9+4
 go+3jygypU2czXA8rqwl2OuI4JM3SRSgsaDlWfwLfmy5aND6Py5ayQL0KwC5UUCU
 jPRsF76fNnBHiANpSwqGVC/kLiPjov/Oc6fSJPWYebcM1VwVOQ1U3fHvcQ/IU77S
 b05SUouhl6V5cn2NgRwm
 =/Uwv
 -----END PGP SIGNATURE-----
 

[ArgPromotion] Perform alias analysis on actual arguments of Calls (#106216)

Teach Argument Promotion to perform alias analysis on actual arguments
of Calls to a Function, to try to prove that all Calls to the Function
do not modify the memory pointed to by an argument. This surfaces more
opportunities to perform Argument Promotion in cases where simply
looking at a Function's instructions is insufficient to prove that the
pointer argument is not invalidated before all loads from it.