annotate unittests/FuzzMutate/StrategiesTest.cpp @ 148:63bd29f05246

merged
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Aug 2019 19:46:37 +0900
parents c2174574ed3a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
134
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
1 //===- InjectorIRStrategyTest.cpp - Tests for injector strategy -----------===//
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
2 //
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
134
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
6 //
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
8
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
9 #include "llvm/ADT/StringRef.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
10 #include "llvm/AsmParser/Parser.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
11 #include "llvm/AsmParser/SlotMapping.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
12 #include "llvm/FuzzMutate/IRMutator.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
13 #include "llvm/FuzzMutate/Operations.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
14 #include "llvm/IR/Instructions.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
15 #include "llvm/IR/LLVMContext.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
16 #include "llvm/IR/Module.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
17 #include "llvm/IR/Verifier.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
18 #include "llvm/Support/SourceMgr.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
19
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
20 #include "gtest/gtest.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
21
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
22 using namespace llvm;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
23
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
24 static constexpr int Seed = 5;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
25
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
26 namespace {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
27
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
28 std::unique_ptr<IRMutator> createInjectorMutator() {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
29 std::vector<TypeGetter> Types{
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
30 Type::getInt1Ty, Type::getInt8Ty, Type::getInt16Ty, Type::getInt32Ty,
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
31 Type::getInt64Ty, Type::getFloatTy, Type::getDoubleTy};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
32
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
33 std::vector<std::unique_ptr<IRMutationStrategy>> Strategies;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
34 Strategies.push_back(
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
35 llvm::make_unique<InjectorIRStrategy>(
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
36 InjectorIRStrategy::getDefaultOps()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
37
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
38 return llvm::make_unique<IRMutator>(std::move(Types), std::move(Strategies));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
39 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
40
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
41 std::unique_ptr<IRMutator> createDeleterMutator() {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
42 std::vector<TypeGetter> Types{
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
43 Type::getInt1Ty, Type::getInt8Ty, Type::getInt16Ty, Type::getInt32Ty,
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
44 Type::getInt64Ty, Type::getFloatTy, Type::getDoubleTy};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
45
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
46 std::vector<std::unique_ptr<IRMutationStrategy>> Strategies;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
47 Strategies.push_back(llvm::make_unique<InstDeleterIRStrategy>());
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
48
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
49 return llvm::make_unique<IRMutator>(std::move(Types), std::move(Strategies));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
50 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
51
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
52 std::unique_ptr<Module> parseAssembly(
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
53 const char *Assembly, LLVMContext &Context) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
54
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
55 SMDiagnostic Error;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
56 std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
57
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
58 std::string ErrMsg;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
59 raw_string_ostream OS(ErrMsg);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
60 Error.print("", OS);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
61
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
62 assert(M && !verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
63 return M;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
64 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
65
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
66 void IterateOnSource(StringRef Source, IRMutator &Mutator) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
67 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
68
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
69 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
70 auto M = parseAssembly(Source.data(), Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
71 ASSERT_TRUE(M && !verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
72
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
73 Mutator.mutateModule(*M, Seed, Source.size(), Source.size() + 100);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
74 EXPECT_TRUE(!verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
75 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
76 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
77
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
78 TEST(InjectorIRStrategyTest, EmptyModule) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
79 // Test that we can inject into empty module
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
80
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
81 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
82 auto M = llvm::make_unique<Module>("M", Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
83 ASSERT_TRUE(M && !verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
84
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
85 auto Mutator = createInjectorMutator();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
86 ASSERT_TRUE(Mutator);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
87
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
88 Mutator->mutateModule(*M, Seed, 1, 1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
89 EXPECT_TRUE(!verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
90 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
91
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
92 TEST(InstDeleterIRStrategyTest, EmptyFunction) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
93 // Test that we don't crash even if we can't remove from one of the functions.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
94
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
95 StringRef Source = ""
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
96 "define <8 x i32> @func1() {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
97 "ret <8 x i32> undef\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
98 "}\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
99 "\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
100 "define i32 @func2() {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
101 "%A9 = alloca i32\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
102 "%L6 = load i32, i32* %A9\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
103 "ret i32 %L6\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
104 "}\n";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
105
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
106 auto Mutator = createDeleterMutator();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
107 ASSERT_TRUE(Mutator);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
108
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
109 IterateOnSource(Source, *Mutator);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
110 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
111
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
112 TEST(InstDeleterIRStrategyTest, PhiNodes) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
113 // Test that inst deleter works correctly with the phi nodes.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
114
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
115 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
116 StringRef Source = "\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
117 define i32 @earlyreturncrash(i32 %x) {\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
118 entry:\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
119 switch i32 %x, label %sw.epilog [\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
120 i32 1, label %sw.bb1\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
121 ]\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
122 \n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
123 sw.bb1:\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
124 br label %sw.epilog\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
125 \n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
126 sw.epilog:\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
127 %a.0 = phi i32 [ 7, %entry ], [ 9, %sw.bb1 ]\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
128 %b.0 = phi i32 [ 10, %entry ], [ 4, %sw.bb1 ]\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
129 ret i32 %a.0\n\
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
130 }";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
131
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
132 auto Mutator = createDeleterMutator();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
133 ASSERT_TRUE(Mutator);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
134
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
135 IterateOnSource(Source, *Mutator);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
136 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
137
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
138 }