LLVM 20.0.0git
|
A pass to instrument code and perform run-time bounds checking on loads, stores, and other memory intrinsics. More...
#include "llvm/Transforms/Instrumentation/BoundsChecking.h"
Public Types | |
enum class | ReportingMode { Trap , MinRuntime , MinRuntimeAbort , FullRuntime , FullRuntimeAbort } |
Public Member Functions | |
BoundsCheckingPass (ReportingMode Mode) | |
PreservedAnalyses | run (Function &F, FunctionAnalysisManager &AM) |
void | printPipeline (raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName) |
Public Member Functions inherited from llvm::PassInfoMixin< BoundsCheckingPass > | |
void | printPipeline (raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName) |
Static Public Member Functions | |
static bool | isRequired () |
Static Public Member Functions inherited from llvm::PassInfoMixin< BoundsCheckingPass > | |
static StringRef | name () |
Gets the name of the pass we are mixed into. | |
A pass to instrument code and perform run-time bounds checking on loads, stores, and other memory intrinsics.
Definition at line 19 of file BoundsChecking.h.
|
strong |
Enumerator | |
---|---|
Trap | |
MinRuntime | |
MinRuntimeAbort | |
FullRuntime | |
FullRuntimeAbort |
Definition at line 21 of file BoundsChecking.h.
|
inline |
Definition at line 33 of file BoundsChecking.h.
|
inlinestatic |
Definition at line 35 of file BoundsChecking.h.
void BoundsCheckingPass::printPipeline | ( | raw_ostream & | OS, |
function_ref< StringRef(StringRef)> | MapClassName2PassName | ||
) |
Definition at line 298 of file BoundsChecking.cpp.
References FullRuntime, FullRuntimeAbort, MinRuntime, MinRuntimeAbort, OS, printPipeline(), and Trap.
Referenced by printPipeline().
PreservedAnalyses BoundsCheckingPass::run | ( | Function & | F, |
FunctionAnalysisManager & | AM | ||
) |
Definition at line 288 of file BoundsChecking.cpp.
References addBoundsChecking(), llvm::PreservedAnalyses::all(), F, llvm::AnalysisManager< IRUnitT, ExtraArgTs >::getResult(), and llvm::PreservedAnalyses::none().