LLVM 20.0.0git
SanitizerCoverage.h
Go to the documentation of this file.
1//===--------- Definition of the SanitizerCoverage class --------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
6// See https://llvm.org/LICENSE.txt for license information.
7// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8//
9//===----------------------------------------------------------------------===//
10//
11// SanitizerCoverage is a simple code coverage implementation.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_TRANSFORMS_INSTRUMENTATION_SANITIZERCOVERAGE_H
16#define LLVM_TRANSFORMS_INSTRUMENTATION_SANITIZERCOVERAGE_H
17
18#include "llvm/IR/PassManager.h"
22
23namespace llvm {
24class Module;
25
26/// This is the ModuleSanitizerCoverage pass used in the new pass manager. The
27/// pass instruments functions for coverage, adds initialization calls to the
28/// module for trace PC guards and 8bit counters if they are requested, and
29/// appends globals to llvm.compiler.used.
30class SanitizerCoveragePass : public PassInfoMixin<SanitizerCoveragePass> {
31public:
34 const std::vector<std::string> &AllowlistFiles =
35 std::vector<std::string>(),
36 const std::vector<std::string> &BlocklistFiles =
37 std::vector<std::string>())
38 : Options(Options) {
39 if (AllowlistFiles.size() > 0)
40 Allowlist = SpecialCaseList::createOrDie(AllowlistFiles,
42 if (BlocklistFiles.size() > 0)
43 Blocklist = SpecialCaseList::createOrDie(BlocklistFiles,
45 }
47 static bool isRequired() { return true; }
48
49private:
51
52 std::unique_ptr<SpecialCaseList> Allowlist;
53 std::unique_ptr<SpecialCaseList> Blocklist;
54};
55
56} // namespace llvm
57
58#endif
This header defines various interfaces for pass management in LLVM.
Machine Check Debug Module
Defines the virtual file system interface vfs::FileSystem.
A container for analyses that lazily runs them and caches their results.
Definition: PassManager.h:253
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
A set of analyses that are preserved following a run of a transformation pass.
Definition: Analysis.h:111
This is the ModuleSanitizerCoverage pass used in the new pass manager.
SanitizerCoveragePass(SanitizerCoverageOptions Options=SanitizerCoverageOptions(), const std::vector< std::string > &AllowlistFiles=std::vector< std::string >(), const std::vector< std::string > &BlocklistFiles=std::vector< std::string >())
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
static std::unique_ptr< SpecialCaseList > createOrDie(const std::vector< std::string > &Paths, llvm::vfs::FileSystem &FS)
Parses the special case list entries from files.
IntrusiveRefCntPtr< FileSystem > getRealFileSystem()
Gets an vfs::FileSystem for the 'real' file system, as seen by the operating system.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:69