[all-commits] [llvm/llvm-project] 1c26e2: [ArgPromotion] Perform alias analysis on actual ar...

[Hari Limaye via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1c26e2b6f90253efdf38a5a70d011722d4eb1216
      https://github.com/llvm/llvm-project/commit/1c26e2b6f90253efdf38a5a70d011722d4eb1216
  Author: Hari Limaye <hari.limaye at arm.com>
  Date:   2024-09-27 (Fri, 27 Sep 2024)

  Changed paths:
    M llvm/lib/Transforms/IPO/ArgumentPromotion.cpp
    M llvm/test/Transforms/ArgumentPromotion/actual-arguments.ll

  Log Message:
  -----------
  [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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications