[all-commits] [llvm/llvm-project] 214e2d: [SCEV] Avoid repeated proveNoSignedWrapViaInductio...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Fri Jul 29 01:15:28 PDT 2022
Author: Florian Hahn <flo at fhahn.com>
Date: 2022-07-29 (Fri, 29 Jul 2022)
[SCEV] Avoid repeated proveNoSignedWrapViaInduction calls.
At the moment, proveNoSignedWrapViaInduction may be called for the
same AddRec a large number of times via getSignExtendExpr. This can have
a severe compile-time impact for very loop-heavy code.
If proveNoSignedWrapViaInduction failed to prove NSW the first time,
it is unlikely to succeed on subsequent tries and the cost doesn't seem
to be justified.
This is the signed version of 8daa338297d533d / D130648.
This can drastically improve compile-time in some excessive cases and
also has a slightly positive compile-time impact on CTMark:
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D130694
More information about the All-commits