annotate unittests/FuzzMutate/RandomIRBuilderTest.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 //===- RandomIRBuilderTest.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/FuzzMutate/RandomIRBuilder.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
10 #include "llvm/ADT/StringRef.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
11 #include "llvm/AsmParser/Parser.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
12 #include "llvm/AsmParser/SlotMapping.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
13 #include "llvm/FuzzMutate/IRMutator.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
14 #include "llvm/FuzzMutate/OpDescriptor.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
15 #include "llvm/FuzzMutate/Operations.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
16 #include "llvm/IR/Constants.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
17 #include "llvm/IR/Instructions.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
18 #include "llvm/IR/LLVMContext.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
19 #include "llvm/IR/Module.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
20 #include "llvm/IR/Verifier.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
21 #include "llvm/Support/SourceMgr.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
22
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
23 #include "gtest/gtest.h"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
24
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
25 using namespace llvm;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
26
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
27 static constexpr int Seed = 5;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
28
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
29 namespace {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
30
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
31 std::unique_ptr<Module> parseAssembly(
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
32 const char *Assembly, LLVMContext &Context) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
33
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
34 SMDiagnostic Error;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
35 std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
36
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
37 std::string ErrMsg;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
38 raw_string_ostream OS(ErrMsg);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
39 Error.print("", OS);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
40
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
41 assert(M && !verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
42 return M;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
43 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
44
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
45 TEST(RandomIRBuilderTest, ShuffleVectorIncorrectOperands) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
46 // Test that we don't create load instruction as a source for the shuffle
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
47 // vector operation.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
48
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
49 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
50 const char *Source =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
51 "define <2 x i32> @test(<2 x i1> %cond, <2 x i32> %a) {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
52 " %A = alloca <2 x i32>\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
53 " %I = insertelement <2 x i32> %a, i32 1, i32 1\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
54 " ret <2 x i32> undef\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
55 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
56 auto M = parseAssembly(Source, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
57
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
58 fuzzerop::OpDescriptor Descr = fuzzerop::shuffleVectorDescriptor(1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
59
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
60 // Empty known types since we ShuffleVector descriptor doesn't care about them
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
61 RandomIRBuilder IB(Seed, {});
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
62
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
63 // Get first basic block of the first function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
64 Function &F = *M->begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
65 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
66
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
67 SmallVector<Instruction *, 32> Insts;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
68 for (auto I = BB.getFirstInsertionPt(), E = BB.end(); I != E; ++I)
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
69 Insts.push_back(&*I);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
70
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
71 // Pick first and second sources
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
72 SmallVector<Value *, 2> Srcs;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
73 ASSERT_TRUE(Descr.SourcePreds[0].matches(Srcs, Insts[1]));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
74 Srcs.push_back(Insts[1]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
75 ASSERT_TRUE(Descr.SourcePreds[1].matches(Srcs, Insts[1]));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
76 Srcs.push_back(Insts[1]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
77
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
78 // Create new source. Check that it always matches with the descriptor.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
79 // Run some iterations to account for random decisions.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
80 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
81 Value *LastSrc = IB.newSource(BB, Insts, Srcs, Descr.SourcePreds[2]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
82 ASSERT_TRUE(Descr.SourcePreds[2].matches(Srcs, LastSrc));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
83 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
84 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
85
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
86 TEST(RandomIRBuilderTest, InsertValueIndexes) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
87 // Check that we will generate correct indexes for the insertvalue operation
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
88
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
89 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
90 const char *Source =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
91 "%T = type {i8, i32, i64}\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
92 "define void @test() {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
93 " %A = alloca %T\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
94 " %L = load %T, %T* %A"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
95 " ret void\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
96 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
97 auto M = parseAssembly(Source, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
98
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
99 fuzzerop::OpDescriptor IVDescr = fuzzerop::insertValueDescriptor(1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
100
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
101 std::vector<Type *> Types =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
102 {Type::getInt8Ty(Ctx), Type::getInt32Ty(Ctx), Type::getInt64Ty(Ctx)};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
103 RandomIRBuilder IB(Seed, Types);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
104
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
105 // Get first basic block of the first function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
106 Function &F = *M->begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
107 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
108
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
109 // Pick first source
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
110 Instruction *Src = &*std::next(BB.begin());
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
111
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
112 SmallVector<Value *, 2> Srcs(2);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
113 ASSERT_TRUE(IVDescr.SourcePreds[0].matches({}, Src));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
114 Srcs[0] = Src;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
115
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
116 // Generate constants for each of the types and check that we pick correct
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
117 // index for the given type
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
118 for (auto *T: Types) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
119 // Loop to account for possible random decisions
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
120 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
121 // Create value we want to insert. Only it's type matters.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
122 Srcs[1] = ConstantInt::get(T, 5);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
123
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
124 // Try to pick correct index
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
125 Value *Src = IB.findOrCreateSource(
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
126 BB, &*BB.begin(), Srcs, IVDescr.SourcePreds[2]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
127 ASSERT_TRUE(IVDescr.SourcePreds[2].matches(Srcs, Src));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
128 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
129 }
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 TEST(RandomIRBuilderTest, ShuffleVectorSink) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
133 // Check that we will never use shuffle vector mask as a sink form the
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
134 // unrelated operation.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
135
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
136 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
137 const char *SourceCode =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
138 "define void @test(<4 x i32> %a) {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
139 " %S1 = shufflevector <4 x i32> %a, <4 x i32> %a, <4 x i32> undef\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
140 " %S2 = shufflevector <4 x i32> %a, <4 x i32> %a, <4 x i32> undef\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
141 " ret void\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
142 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
143 auto M = parseAssembly(SourceCode, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
144
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
145 fuzzerop::OpDescriptor IVDescr = fuzzerop::insertValueDescriptor(1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
146
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
147 RandomIRBuilder IB(Seed, {});
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
148
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
149 // Get first basic block of the first function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
150 Function &F = *M->begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
151 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
152
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
153 // Source is %S1
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
154 Instruction *Source = &*BB.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
155 // Sink is %S2
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
156 SmallVector<Instruction *, 1> Sinks = {&*std::next(BB.begin())};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
157
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
158 // Loop to account for random decisions
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
159 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
160 // Try to connect S1 to S2. We should always create new sink.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
161 IB.connectToSink(BB, Sinks, Source);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
162 ASSERT_TRUE(!verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
163 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
164 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
165
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
166 TEST(RandomIRBuilderTest, InsertValueArray) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
167 // Check that we can generate insertvalue for the vector operations
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
168
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
169 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
170 const char *SourceCode =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
171 "define void @test() {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
172 " %A = alloca [8 x i32]\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
173 " %L = load [8 x i32], [8 x i32]* %A"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
174 " ret void\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
175 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
176 auto M = parseAssembly(SourceCode, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
177
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
178 fuzzerop::OpDescriptor Descr = fuzzerop::insertValueDescriptor(1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
179
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
180 std::vector<Type *> Types =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
181 {Type::getInt8Ty(Ctx), Type::getInt32Ty(Ctx), Type::getInt64Ty(Ctx)};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
182 RandomIRBuilder IB(Seed, Types);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
183
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
184 // Get first basic block of the first function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
185 Function &F = *M->begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
186 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
187
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
188 // Pick first source
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
189 Instruction *Source = &*std::next(BB.begin());
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
190 ASSERT_TRUE(Descr.SourcePreds[0].matches({}, Source));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
191
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
192 SmallVector<Value *, 2> Srcs(2);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
193
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
194 // Check that we can always pick the last two operands.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
195 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
196 Srcs[0] = Source;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
197 Srcs[1] = IB.findOrCreateSource(BB, {Source}, Srcs, Descr.SourcePreds[1]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
198 IB.findOrCreateSource(BB, {}, Srcs, Descr.SourcePreds[2]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
199 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
200 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
201
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
202 TEST(RandomIRBuilderTest, Invokes) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
203 // Check that we never generate load or store after invoke instruction
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
204
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
205 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
206 const char *SourceCode =
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
207 "declare i32* @f()"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
208 "declare i32 @personality_function()"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
209 "define i32* @test() personality i32 ()* @personality_function {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
210 "entry:\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
211 " %val = invoke i32* @f()\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
212 " to label %normal unwind label %exceptional\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
213 "normal:\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
214 " ret i32* %val\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
215 "exceptional:\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
216 " %landing_pad4 = landingpad token cleanup\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
217 " ret i32* undef\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
218 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
219 auto M = parseAssembly(SourceCode, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
220
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
221
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
222 std::vector<Type *> Types = {Type::getInt8Ty(Ctx)};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
223 RandomIRBuilder IB(Seed, Types);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
224
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
225 // Get first basic block of the test function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
226 Function &F = *M->getFunction("test");
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
227 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
228
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
229 Instruction *Invoke = &*BB.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
230
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
231 // Find source but never insert new load after invoke
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
232 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
233 (void)IB.findOrCreateSource(BB, {Invoke}, {}, fuzzerop::anyIntType());
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
234 ASSERT_TRUE(!verifyModule(*M, &errs()));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
235 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
236 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
237
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
238 TEST(RandomIRBuilderTest, FirstClassTypes) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
239 // Check that we never insert new source as a load from non first class
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
240 // or unsized type.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
241
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
242 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
243 const char *SourceCode = "%Opaque = type opaque\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
244 "define void @test(i8* %ptr) {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
245 "entry:\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
246 " %tmp = bitcast i8* %ptr to i32* (i32*)*\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
247 " %tmp1 = bitcast i8* %ptr to %Opaque*\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
248 " ret void\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
249 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
250 auto M = parseAssembly(SourceCode, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
251
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
252 std::vector<Type *> Types = {Type::getInt8Ty(Ctx)};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
253 RandomIRBuilder IB(Seed, Types);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
254
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
255 Function &F = *M->getFunction("test");
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
256 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
257 // Non first class type
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
258 Instruction *FuncPtr = &*BB.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
259 // Unsized type
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
260 Instruction *OpaquePtr = &*std::next(BB.begin());
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
261
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
262 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
263 Value *V = IB.findOrCreateSource(BB, {FuncPtr, OpaquePtr});
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
264 ASSERT_FALSE(isa<LoadInst>(V));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
265 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
266 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
267
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
268 TEST(RandomIRBuilderTest, SwiftError) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
269 // Check that we never pick swifterror value as a source for operation
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
270 // other than load, store and call.
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
271
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
272 LLVMContext Ctx;
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
273 const char *SourceCode = "declare void @use(i8** swifterror %err)"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
274 "define void @test() {\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
275 "entry:\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
276 " %err = alloca swifterror i8*, align 8\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
277 " call void @use(i8** swifterror %err)\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
278 " ret void\n"
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
279 "}";
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
280 auto M = parseAssembly(SourceCode, Ctx);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
281
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
282 std::vector<Type *> Types = {Type::getInt8Ty(Ctx)};
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
283 RandomIRBuilder IB(Seed, Types);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
284
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
285 // Get first basic block of the test function
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
286 Function &F = *M->getFunction("test");
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
287 BasicBlock &BB = *F.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
288 Instruction *Alloca = &*BB.begin();
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
289
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
290 fuzzerop::OpDescriptor Descr = fuzzerop::gepDescriptor(1);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
291
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
292 for (int i = 0; i < 10; ++i) {
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
293 Value *V = IB.findOrCreateSource(BB, {Alloca}, {}, Descr.SourcePreds[0]);
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
294 ASSERT_FALSE(isa<AllocaInst>(V));
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
295 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
296 }
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
297
3a76565eade5 update 5.0.1
mir3636
parents:
diff changeset
298 }