1 //===- Transforms/Instrumentation.h - Instrumentation passes ----*- C++ -*-===//
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
7 //===----------------------------------------------------------------------===//
9 // This file defines constructor functions for instrumentation passes.
11 //===----------------------------------------------------------------------===//
13 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_H
14 #define LLVM_TRANSFORMS_INSTRUMENTATION_H
16 #include "llvm/ADT/StringRef.h"
17 #include "llvm/IR/BasicBlock.h"
29 class OptimizationRemarkEmitter
;
32 /// Instrumentation passes often insert conditional checks into entry blocks.
33 /// Call this function before splitting the entry block to move instructions
34 /// that must remain in the entry block up before the split point. Static
35 /// allocas and llvm.localescape calls, for example, must remain in the entry
37 BasicBlock::iterator
PrepareToSplitEntryBlock(BasicBlock
&BB
,
38 BasicBlock::iterator IP
);
40 // Create a constant for Str so that we can pass it to the run-time lib.
41 GlobalVariable
*createPrivateGlobalForString(Module
&M
, StringRef Str
,
43 const char *NamePrefix
= "");
45 // Returns F.getComdat() if it exists.
46 // Otherwise creates a new comdat, sets F's comdat, and returns it.
47 // Returns nullptr on failure.
48 Comdat
*GetOrCreateFunctionComdat(Function
&F
, Triple
&T
,
49 const std::string
&ModuleId
);
51 // Insert GCOV profiling instrumentation
53 static GCOVOptions
getDefault();
55 // Specify whether to emit .gcno files.
58 // Specify whether to modify the program to emit .gcda files when run.
61 // A four-byte version string. The meaning of a version string is described in
65 // Emit a "cfg checksum" that follows the "line number checksum" of a
66 // function. This affects both .gcno and .gcda files.
69 // Add the 'noredzone' attribute to added runtime library calls.
72 // Emit the name of the function in the .gcda files. This is redundant, as
73 // the function identifier can be used to find the name from the .gcno file.
74 bool FunctionNamesInData
;
76 // Emit the exit block immediately after the start block, rather than after
77 // all of the function body's blocks.
78 bool ExitBlockBeforeBody
;
80 // Regexes separated by a semi-colon to filter the files to instrument.
83 // Regexes separated by a semi-colon to filter the files to not instrument.
87 ModulePass
*createGCOVProfilerPass(const GCOVOptions
&Options
=
88 GCOVOptions::getDefault());
91 ModulePass
*createPGOInstrumentationGenLegacyPass();
93 createPGOInstrumentationUseLegacyPass(StringRef Filename
= StringRef(""));
94 ModulePass
*createPGOIndirectCallPromotionLegacyPass(bool InLTO
= false,
95 bool SamplePGO
= false);
96 FunctionPass
*createPGOMemOPSizeOptLegacyPass();
98 // The pgo-specific indirect call promotion function declared below is used by
99 // the pgo-driven indirect call promotion and sample profile passes. It's a
100 // wrapper around llvm::promoteCall, et al. that additionally computes !prof
101 // metadata. We place it in a pgo namespace so it's not confused with the
102 // generic utilities.
105 // Helper function that transforms Inst (either an indirect-call instruction, or
106 // an invoke instruction , to a conditional call to F. This is like:
107 // if (Inst.CalledValue == F)
112 // TotalCount is the profile count value that the instruction executes.
113 // Count is the profile count value that F is the target function.
114 // These two values are used to update the branch weight.
115 // If \p AttachProfToDirectCall is true, a prof metadata is attached to the
116 // new direct call to contain \p Count.
117 // Returns the promoted direct call instruction.
118 Instruction
*promoteIndirectCall(Instruction
*Inst
, Function
*F
, uint64_t Count
,
120 bool AttachProfToDirectCall
,
121 OptimizationRemarkEmitter
*ORE
);
124 /// Options for the frontend instrumentation based profiling pass.
125 struct InstrProfOptions
{
126 // Add the 'noredzone' attribute to added runtime library calls.
127 bool NoRedZone
= false;
129 // Do counter register promotion
130 bool DoCounterPromotion
= false;
132 // Use atomic profile counter increments.
135 // Name of the profile file to use as output
136 std::string InstrProfileOutput
;
138 InstrProfOptions() = default;
141 /// Insert frontend instrumentation based profiling.
142 ModulePass
*createInstrProfilingLegacyPass(
143 const InstrProfOptions
&Options
= InstrProfOptions());
145 FunctionPass
*createHWAddressSanitizerPass(bool CompileKernel
= false,
146 bool Recover
= false);
148 // Insert DataFlowSanitizer (dynamic data flow analysis) instrumentation
149 ModulePass
*createDataFlowSanitizerPass(
150 const std::vector
<std::string
> &ABIListFiles
= std::vector
<std::string
>(),
151 void *(*getArgTLS
)() = nullptr, void *(*getRetValTLS
)() = nullptr);
153 // Options for EfficiencySanitizer sub-tools.
154 struct EfficiencySanitizerOptions
{
159 } ToolType
= ESAN_None
;
161 EfficiencySanitizerOptions() = default;
164 // Insert EfficiencySanitizer instrumentation.
165 ModulePass
*createEfficiencySanitizerPass(
166 const EfficiencySanitizerOptions
&Options
= EfficiencySanitizerOptions());
168 // Options for sanitizer coverage instrumentation.
169 struct SanitizerCoverageOptions
{
175 } CoverageType
= SCK_None
;
176 bool IndirectCalls
= false;
177 bool TraceBB
= false;
178 bool TraceCmp
= false;
179 bool TraceDiv
= false;
180 bool TraceGep
= false;
181 bool Use8bitCounters
= false;
182 bool TracePC
= false;
183 bool TracePCGuard
= false;
184 bool Inline8bitCounters
= false;
185 bool PCTable
= false;
186 bool NoPrune
= false;
187 bool StackDepth
= false;
189 SanitizerCoverageOptions() = default;
192 // Insert SanitizerCoverage instrumentation.
193 ModulePass
*createSanitizerCoverageModulePass(
194 const SanitizerCoverageOptions
&Options
= SanitizerCoverageOptions());
196 /// Calculate what to divide by to scale counts.
198 /// Given the maximum count, calculate a divisor that will scale all the
199 /// weights to strictly less than std::numeric_limits<uint32_t>::max().
200 static inline uint64_t calculateCountScale(uint64_t MaxCount
) {
201 return MaxCount
< std::numeric_limits
<uint32_t>::max()
203 : MaxCount
/ std::numeric_limits
<uint32_t>::max() + 1;
206 /// Scale an individual branch count.
208 /// Scale a 64-bit weight down to 32-bits using \c Scale.
210 static inline uint32_t scaleBranchCount(uint64_t Count
, uint64_t Scale
) {
211 uint64_t Scaled
= Count
/ Scale
;
212 assert(Scaled
<= std::numeric_limits
<uint32_t>::max() && "overflow 32-bits");
215 } // end namespace llvm
217 #endif // LLVM_TRANSFORMS_INSTRUMENTATION_H