[all-commits] [llvm/llvm-project] 54e5fb: [FuncSpec] Track the return values of specializati...

[Alexandros Lamprineas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 54e5fb789cfafc2eee4aa6df1650b89ee7b85ba4
      https://github.com/llvm/llvm-project/commit/54e5fb789cfafc2eee4aa6df1650b89ee7b85ba4
  Author: Alexandros Lamprineas <alexandros.lamprineas at arm.com>
  Date:   2023-04-24 (Mon, 24 Apr 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/Utils/SCCPSolver.h
    M llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression.ll
    M llvm/test/Transforms/FunctionSpecialization/non-argument-tracked.ll
    A llvm/test/Transforms/FunctionSpecialization/track-return.ll

  Log Message:
  -----------
  [FuncSpec] Track the return values of specializations.

To track the return values of specializations, we need to invalidate all
the lattice values across the use-def chain which originates from the
callsites, recompute and propagate.

Differential Revision: https://reviews.llvm.org/D146158