diff options
| author | Tyker <tyker1@outlook.com> | 2020-07-14 21:41:45 +0200 |
|---|---|---|
| committer | Tyker <tyker1@outlook.com> | 2020-07-14 21:49:14 +0200 |
| commit | 16f777f4217cfcdcf6ddce8eb1e3525a65563c43 (patch) | |
| tree | 98eedd7869b26bb19629ed4999972a896c145e7e /llvm/lib/IR/Function.cpp | |
| parent | 00d97b758e8d3286abb7bd07899e4d3aed6e8165 (diff) | |
| download | llvm-16f777f4217cfcdcf6ddce8eb1e3525a65563c43.zip llvm-16f777f4217cfcdcf6ddce8eb1e3525a65563c43.tar.gz llvm-16f777f4217cfcdcf6ddce8eb1e3525a65563c43.tar.bz2 | |
[NFC] Add debug and stat counters to assume queries and assume builder
Summary:
Add debug counter and stats counter to assume queries and assume builder
here is the collected stats on a build of check-llvm + check-clang.
"assume-builder.NumAssumeBuilt": 2720879,
"assume-builder.NumAssumesMerged": 761396,
"assume-builder.NumAssumesRemoved": 1576212,
"assume-builder.NumBundlesInAssumes": 6518809,
"assume-queries.NumAssumeQueries": 85566380,
"assume-queries.NumUsefullAssumeQueries": 2727360,
the NumUsefullAssumeQueries stat is actually pessimistic because in a few places queries
ask to keep providing information to try to get better information. and this isn't counted
as a usefull query evem tho it can be usefull
Reviewers: jdoerfert
Reviewed By: jdoerfert
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83506
Diffstat (limited to 'llvm/lib/IR/Function.cpp')
0 files changed, 0 insertions, 0 deletions