diff options
| author | Philip Reames <listmail@philipreames.com> | 2019-06-22 17:54:25 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2019-06-22 17:54:25 +0000 |
| commit | 8deb84c8ef858e89dc418f133fb13ce5cb4ee329 (patch) | |
| tree | f6066234f3ff928ed1aed9ad8f2e2b2d3d17307b /lldb/packages/Python/lldbsuite/test/expression_command/inline-namespace/TestInlineNamespace.py | |
| parent | a5b83bc9e3b8e8945b55068c762bd6c73621a4b0 (diff) | |
| download | bcm5719-llvm-8deb84c8ef858e89dc418f133fb13ce5cb4ee329.tar.gz bcm5719-llvm-8deb84c8ef858e89dc418f133fb13ce5cb4ee329.zip | |
Exploit a zero LoopExit count to eliminate loop exits
This turned out to be surprisingly effective. I was originally doing this just for completeness sake, but it seems like there are a lot of cases where SCEV's exit count reasoning is stronger than it's isKnownPredicate reasoning.
Once this is in, I'm thinking about trying to build on the same infrastructure to eliminate provably untaken checks. There may be something generally interesting here.
Differential Revision: https://reviews.llvm.org/D63618
llvm-svn: 364135
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/inline-namespace/TestInlineNamespace.py')
0 files changed, 0 insertions, 0 deletions
