[InstCombine] Signed saturation patterns
[llvm-complete.git] / include / llvm / Transforms / Instrumentation / BoundsChecking.h
blob120c6a8fb09f7a3c74e4d8d4fc15067ad08a09c4
1 //===- BoundsChecking.h - Bounds checking instrumentation -------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
9 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_BOUNDSCHECKING_H
10 #define LLVM_TRANSFORMS_INSTRUMENTATION_BOUNDSCHECKING_H
12 #include "llvm/IR/PassManager.h"
14 namespace llvm {
16 /// A pass to instrument code and perform run-time bounds checking on loads,
17 /// stores, and other memory intrinsics.
18 struct BoundsCheckingPass : PassInfoMixin<BoundsCheckingPass> {
19 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
23 /// Legacy pass creation function for the above pass.
24 FunctionPass *createBoundsCheckingLegacyPass();
26 } // end namespace llvm
28 #endif // LLVM_TRANSFORMS_INSTRUMENTATION_BOUNDSCHECKING_H