LLVM: lib/Analysis/AssumeBundleQueries.cpp File Reference (original) (raw)
Go to the source code of this file.
◆ DEBUG_TYPE
#define DEBUG_TYPE "assume-queries"
◆ bundleHasArgument()
◆ DEBUG_COUNTER()
| DEBUG_COUNTER |
( |
AssumeQueryCounter |
, |
| "assume-queries-counter" |
, |
|
|
| "Controls which assumes gets created" |
) |
|
|
◆ getBundleFromUse()
| CallInst::BundleOpInfo * getBundleFromUse ( const Use * U) |
static |
◆ getValueFromBundleOpInfo()
◆ STATISTIC() [1/2]
| STATISTIC |
( |
NumAssumeQueries |
, |
| "Number of Queries into an assume assume bundles" |
) |
|
|
◆ STATISTIC() [2/2]
| STATISTIC |
( |
NumUsefullAssumeQueries |
, |
| "Number of Queries into an assume assume bundles that were satisfied" |
) |
|
|