[PATCH] D35664: [SCEV] Limit max size of AddRecExpr during evolving

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Hi Sanjoy,

Investigating the impact of thresholds may be an interesting idea indeed. But it is not clear where should we measure them. This patch came from evaluation of bugs 33753 and 33494 (and actually is a fix for the 1st one and some subset of tests of the latter). The problem is that the impact of these parameters can differ dramatically on real workloads and fuzzed tests of special forms. For example, some of the tests from bug 33494 pass with only limit for AddRecs set, and others also need reduction of Arith limit to pass in reasonable time. The values of those limits are chosen absolutely randomly, though, and it is not clear what we should use as a reference when chosing their values.

I will make these experiments with test I have, but I can imagine that we won't see significant difference in real code.


https://reviews.llvm.org/D35664