LLVM 20.0.0git
Macros | Functions
AssumeBundleQueries.cpp File Reference
#include "llvm/Analysis/AssumeBundleQueries.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/Support/DebugCounter.h"

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "assume-queries"
 

Functions

 STATISTIC (NumAssumeQueries, "Number of Queries into an assume assume bundles")
 
 STATISTIC (NumUsefullAssumeQueries, "Number of Queries into an assume assume bundles that were satisfied")
 
 DEBUG_COUNTER (AssumeQueryCounter, "assume-queries-counter", "Controls which assumes gets created")
 
static bool bundleHasArgument (const CallBase::BundleOpInfo &BOI, unsigned Idx)
 
static ValuegetValueFromBundleOpInfo (AssumeInst &Assume, const CallBase::BundleOpInfo &BOI, unsigned Idx)
 
static CallInst::BundleOpInfo * getBundleFromUse (const Use *U)
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "assume-queries"

Definition at line 19 of file AssumeBundleQueries.cpp.

Function Documentation

◆ bundleHasArgument()

static bool bundleHasArgument ( const CallBase::BundleOpInfo BOI,
unsigned  Idx 
)
static

◆ DEBUG_COUNTER()

DEBUG_COUNTER ( AssumeQueryCounter  ,
"assume-queries-counter"  ,
"Controls which assumes gets created"   
)

◆ getBundleFromUse()

static CallInst::BundleOpInfo * getBundleFromUse ( const Use U)
static

◆ getValueFromBundleOpInfo()

static Value * getValueFromBundleOpInfo ( AssumeInst Assume,
const CallBase::BundleOpInfo BOI,
unsigned  Idx 
)
static

◆ 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"   
)