diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:35 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:35 +0000 |
| commit | 9fa662b29637119bb43b2b3a2fb44b9825504c45 (patch) | |
| tree | 29de52d79b317af1fbbaeb47bb6137dcfd9ba2b0 /lldb/packages/Python/lldbsuite/support/gmodules.py | |
| parent | 766a189dfddd4fb6e46aab9454331783d03b063a (diff) | |
| download | bcm5719-llvm-9fa662b29637119bb43b2b3a2fb44b9825504c45.tar.gz bcm5719-llvm-9fa662b29637119bb43b2b3a2fb44b9825504c45.zip | |
[analyzer] added cache for SMT queries in the SMTConstraintManager
Summary:
This patch implements a new cache for the result of SMT queries; with this patch the regression tests are 25% faster.
It's implemented as a `llvm::DenseMap` where the key is the hash of the set of the constraints in a state.
There is still one method that does not use the cache, `getSymVal`, because it needs to get a symbol interpretation from the SMT, which is not cached yet.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D50773
llvm-svn: 340535
Diffstat (limited to 'lldb/packages/Python/lldbsuite/support/gmodules.py')
0 files changed, 0 insertions, 0 deletions
