[PATCH] D82085: [TRE] allow TRE for non-capturing calls.
Layton Kifer via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 25 05:47:26 PDT 2020
laytonio added inline comments.
================
Comment at: llvm/lib/Transforms/Scalar/TailRecursionElimination.cpp:838
+ if (isValidTRECandidate(CI))
+ HasValidCandidates = true;
+ }
----------------
Is there any reason to find and validate candidates now only to have to redo it when we actually perform the eliminations? If so, is there any reason this needs to follow a different code path than findTRECandidate? findTRECandidate is doing the same checks, except for canMoveAboveCall and canTransformAccumulatorRecursion, which should probably be refactored into findTRECandidate from eliminateCall anyway. If not then all of this code goes away and we're left with the same canTRE as in trunk.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D82085/new/
https://reviews.llvm.org/D82085
More information about the llvm-commits
mailing list