[PATCH] D112080: [SCEV] Avoid long execution time in ScalarEvolution::isImpliedCond

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Compile time for...
...this patch: https://llvm-compile-time-tracker.com/compare.php?from=54d868991ab79abc5c52cf38939f0a45292e7506&to=c630a0d16f0f00c4e06bdd2ea9e4fa95a3f9e16e&stat=instructions
...non-recursive reasoning: https://llvm-compile-time-tracker.com/compare.php?from=54d868991ab79abc5c52cf38939f0a45292e7506&to=b6e305314a9fd6fb2d05987ac51ea836d9e64676&stat=instructions

So it's an improvement on CTMark either way, but I think using non-recursive reasoning is the more principled choice, because it doesn't rely on isImpliedCondBalancedTypes() returning false to prevent the CT explosion.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112080