[PATCH] D80117: [analyzer] Introduce reasoning about symbolic remainder operator
Valeriy Savchenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon May 18 08:34:38 PDT 2020
vsavchenko added a comment.
Here is a short summary of the performance testing I conducted across a bunch of open-source projects:
| | vim | git | tmux | redis | cmake | pytorch | bitcoin | protobuf |
| ------------- | -------------------------------- | -------------------------------- | ------------------------------------------- | ----------------------------------- | -------------------------------- | ------------------------------------------ | ----------------------------------- | ----------------------------------- |
| Time (before) | 20m56s | 18m41s | 11m40s | 1h15m34s | 30m34s | 6h35m18s | 9m27s | 6m03s |
| Time (after) | 22m16s | 19m58s | 29m52s | 1h17m32s | 33m03s | 9h46m41s | 9m33s | 6m03s |
| Delta | {icon circle color=orange} +6.4% | {icon circle color=orange} +6.9% | {icon exclamation-circle color=red} +155.8% | {icon info-circle color=blue} +2.6% | {icon circle color=orange} +8.1% | {icon exclamation-circle color=red} +48.4% | {icon info-circle color=blue} -1.1% | {icon info-circle color=blue} +0.1% |
|
**Time (before)** was measured on a commit before //any of my solver changes//.
This shows that performance tweaks discussed in various `TODO`s are indeed required to reduce the hit.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D80117/new/
https://reviews.llvm.org/D80117
More information about the cfe-commits
mailing list