[PATCH] D106426: [FuncSpec] Support specialising recursive functions

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer updated this revision to Diff 363840.
SjoerdMeijer added a comment.

I have removed the changes in the SCCP solver, and have restored the cleanup of the ssa_copy intrinsics that are introduced by the solver.

Removing these intrinsics was already necessary for supporting recursive functions, but is also the easiest way to keep the internal state of the solver in a sane state for these intrinsics while iteratively invoking it.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D106426/new/

https://reviews.llvm.org/D106426

Files:
  llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
  llvm/test/Transforms/FunctionSpecialization/function-specialization-recursive.ll
  llvm/test/Transforms/FunctionSpecialization/function-specialization-recursive2.ll
  llvm/test/Transforms/FunctionSpecialization/function-specialization-recursive3.ll
  llvm/test/Transforms/FunctionSpecialization/function-specialization-recursive4.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D106426.363840.patch
Type: text/x-patch
Size: 17170 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210803/efe4f311/attachment.bin>