1 //===--- llvm-opt-fuzzer.cpp - Fuzzer for instruction selection ----------===//
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 // Tool to fuzz optimization passes using libFuzzer.
11 //===----------------------------------------------------------------------===//
13 #include "llvm/Bitcode/BitcodeReader.h"
14 #include "llvm/Bitcode/BitcodeWriter.h"
15 #include "llvm/CodeGen/CommandFlags.h"
16 #include "llvm/FuzzMutate/FuzzerCLI.h"
17 #include "llvm/FuzzMutate/IRMutator.h"
18 #include "llvm/IR/Verifier.h"
19 #include "llvm/MC/TargetRegistry.h"
20 #include "llvm/Passes/PassBuilder.h"
21 #include "llvm/Support/CommandLine.h"
22 #include "llvm/Support/SourceMgr.h"
23 #include "llvm/Support/TargetSelect.h"
24 #include "llvm/Target/TargetMachine.h"
28 static codegen::RegisterCodeGenFlags CGF
;
30 static cl::opt
<std::string
>
31 TargetTripleStr("mtriple", cl::desc("Override target triple for module"));
33 // Passes to run for this fuzzer instance. Expects new pass manager syntax.
34 static cl::opt
<std::string
> PassPipeline(
36 cl::desc("A textual description of the pass pipeline for testing"));
38 static std::unique_ptr
<IRMutator
> Mutator
;
39 static std::unique_ptr
<TargetMachine
> TM
;
41 std::unique_ptr
<IRMutator
> createOptMutator() {
42 std::vector
<TypeGetter
> Types
{
43 Type::getInt1Ty
, Type::getInt8Ty
, Type::getInt16Ty
, Type::getInt32Ty
,
44 Type::getInt64Ty
, Type::getFloatTy
, Type::getDoubleTy
};
46 std::vector
<std::unique_ptr
<IRMutationStrategy
>> Strategies
;
47 Strategies
.push_back(std::make_unique
<InjectorIRStrategy
>(
48 InjectorIRStrategy::getDefaultOps()));
49 Strategies
.push_back(std::make_unique
<InstDeleterIRStrategy
>());
50 Strategies
.push_back(std::make_unique
<InstModificationIRStrategy
>());
52 return std::make_unique
<IRMutator
>(std::move(Types
), std::move(Strategies
));
55 extern "C" LLVM_ATTRIBUTE_USED
size_t LLVMFuzzerCustomMutator(
56 uint8_t *Data
, size_t Size
, size_t MaxSize
, unsigned int Seed
) {
59 "IR mutator should have been created during fuzzer initialization");
62 auto M
= parseAndVerify(Data
, Size
, Context
);
64 errs() << "error: mutator input module is broken!\n";
68 Mutator
->mutateModule(*M
, Seed
, MaxSize
);
70 if (verifyModule(*M
, &errs())) {
71 errs() << "mutation result doesn't pass verification\n";
75 // Avoid adding incorrect test cases to the corpus.
81 raw_string_ostream
OS(Buf
);
82 WriteBitcodeToFile(*M
, OS
);
84 if (Buf
.size() > MaxSize
)
87 // There are some invariants which are not checked by the verifier in favor
88 // of having them checked by the parser. They may be considered as bugs in the
89 // verifier and should be fixed there. However until all of those are covered
90 // we want to check for them explicitly. Otherwise we will add incorrect input
91 // to the corpus and this is going to confuse the fuzzer which will start
92 // exploration of the bitcode reader error handling code.
93 auto NewM
= parseAndVerify(reinterpret_cast<const uint8_t *>(Buf
.data()),
96 errs() << "mutator failed to re-read the module\n";
103 memcpy(Data
, Buf
.data(), Buf
.size());
107 extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data
, size_t Size
) {
108 assert(TM
&& "Should have been created during fuzzer initialization");
111 // We get bogus data given an empty corpus - ignore it.
118 auto M
= parseAndVerify(Data
, Size
, Context
);
120 errs() << "error: input module is broken!\n";
124 // Set up target dependant options
127 M
->setTargetTriple(TM
->getTargetTriple().normalize());
128 M
->setDataLayout(TM
->createDataLayout());
129 codegen::setFunctionAttributes(TM
->getTargetCPU(),
130 TM
->getTargetFeatureString(), *M
);
132 // Create pass pipeline
135 PassBuilder
PB(TM
.get());
137 LoopAnalysisManager LAM
;
138 FunctionAnalysisManager FAM
;
139 CGSCCAnalysisManager CGAM
;
140 ModulePassManager MPM
;
141 ModuleAnalysisManager MAM
;
143 PB
.registerModuleAnalyses(MAM
);
144 PB
.registerCGSCCAnalyses(CGAM
);
145 PB
.registerFunctionAnalyses(FAM
);
146 PB
.registerLoopAnalyses(LAM
);
147 PB
.crossRegisterProxies(LAM
, FAM
, CGAM
, MAM
);
149 auto Err
= PB
.parsePassPipeline(MPM
, PassPipeline
);
150 assert(!Err
&& "Should have been checked during fuzzer initialization");
151 // Only fail with assert above, otherwise ignore the parsing error.
152 consumeError(std::move(Err
));
154 // Run passes which we need to test
159 // Check that passes resulted in a correct code
160 if (verifyModule(*M
, &errs())) {
161 errs() << "Transformation resulted in an invalid module\n";
168 static void handleLLVMFatalError(void *, const char *Message
, bool) {
169 // TODO: Would it be better to call into the fuzzer internals directly?
170 dbgs() << "LLVM ERROR: " << Message
<< "\n"
171 << "Aborting to trigger fuzzer exit handling.\n";
175 extern "C" LLVM_ATTRIBUTE_USED
int LLVMFuzzerInitialize(int *argc
,
177 EnableDebugBuffering
= true;
178 StringRef ExecName
= *argv
[0];
180 // Make sure we print the summary and the current unit when LLVM errors out.
181 install_fatal_error_handler(handleLLVMFatalError
, nullptr);
186 InitializeAllTargets();
187 InitializeAllTargetMCs();
189 // Parse input options
192 handleExecNameEncodedOptimizerOpts(ExecName
);
193 parseFuzzerCLOpts(*argc
, *argv
);
195 // Create TargetMachine
197 if (TargetTripleStr
.empty()) {
198 errs() << ExecName
<< ": -mtriple must be specified\n";
201 ExitOnError
ExitOnErr(std::string(ExecName
) + ": error:");
202 TM
= ExitOnErr(codegen::createTargetMachineForTriple(
203 Triple::normalize(TargetTripleStr
)));
205 // Check that pass pipeline is specified and correct
208 if (PassPipeline
.empty()) {
209 errs() << ExecName
<< ": at least one pass should be specified\n";
213 PassBuilder
PB(TM
.get());
214 ModulePassManager MPM
;
215 if (auto Err
= PB
.parsePassPipeline(MPM
, PassPipeline
)) {
216 errs() << ExecName
<< ": " << toString(std::move(Err
)) << "\n";
223 Mutator
= createOptMutator();