123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138 |
- //===- InjectorIRStrategyTest.cpp - Tests for injector strategy -----------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/ADT/StringRef.h"
- #include "llvm/AsmParser/Parser.h"
- #include "llvm/AsmParser/SlotMapping.h"
- #include "llvm/FuzzMutate/IRMutator.h"
- #include "llvm/FuzzMutate/Operations.h"
- #include "llvm/IR/Instructions.h"
- #include "llvm/IR/LLVMContext.h"
- #include "llvm/IR/Module.h"
- #include "llvm/IR/Verifier.h"
- #include "llvm/Support/SourceMgr.h"
- #include "gtest/gtest.h"
- using namespace llvm;
- static constexpr int Seed = 5;
- namespace {
- std::unique_ptr<IRMutator> createInjectorMutator() {
- std::vector<TypeGetter> Types{
- Type::getInt1Ty, Type::getInt8Ty, Type::getInt16Ty, Type::getInt32Ty,
- Type::getInt64Ty, Type::getFloatTy, Type::getDoubleTy};
- std::vector<std::unique_ptr<IRMutationStrategy>> Strategies;
- Strategies.push_back(
- std::make_unique<InjectorIRStrategy>(
- InjectorIRStrategy::getDefaultOps()));
- return std::make_unique<IRMutator>(std::move(Types), std::move(Strategies));
- }
- std::unique_ptr<IRMutator> createDeleterMutator() {
- std::vector<TypeGetter> Types{
- Type::getInt1Ty, Type::getInt8Ty, Type::getInt16Ty, Type::getInt32Ty,
- Type::getInt64Ty, Type::getFloatTy, Type::getDoubleTy};
- std::vector<std::unique_ptr<IRMutationStrategy>> Strategies;
- Strategies.push_back(std::make_unique<InstDeleterIRStrategy>());
- return std::make_unique<IRMutator>(std::move(Types), std::move(Strategies));
- }
- std::unique_ptr<Module> parseAssembly(
- const char *Assembly, LLVMContext &Context) {
- SMDiagnostic Error;
- std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context);
- std::string ErrMsg;
- raw_string_ostream OS(ErrMsg);
- Error.print("", OS);
- assert(M && !verifyModule(*M, &errs()));
- return M;
- }
- void IterateOnSource(StringRef Source, IRMutator &Mutator) {
- LLVMContext Ctx;
- for (int i = 0; i < 10; ++i) {
- auto M = parseAssembly(Source.data(), Ctx);
- ASSERT_TRUE(M && !verifyModule(*M, &errs()));
- Mutator.mutateModule(*M, Seed, Source.size(), Source.size() + 100);
- EXPECT_TRUE(!verifyModule(*M, &errs()));
- }
- }
- TEST(InjectorIRStrategyTest, EmptyModule) {
- // Test that we can inject into empty module
- LLVMContext Ctx;
- auto M = std::make_unique<Module>("M", Ctx);
- ASSERT_TRUE(M && !verifyModule(*M, &errs()));
- auto Mutator = createInjectorMutator();
- ASSERT_TRUE(Mutator);
- Mutator->mutateModule(*M, Seed, 1, 1);
- EXPECT_TRUE(!verifyModule(*M, &errs()));
- }
- TEST(InstDeleterIRStrategyTest, EmptyFunction) {
- // Test that we don't crash even if we can't remove from one of the functions.
- StringRef Source = ""
- "define <8 x i32> @func1() {\n"
- "ret <8 x i32> undef\n"
- "}\n"
- "\n"
- "define i32 @func2() {\n"
- "%A9 = alloca i32\n"
- "%L6 = load i32, i32* %A9\n"
- "ret i32 %L6\n"
- "}\n";
- auto Mutator = createDeleterMutator();
- ASSERT_TRUE(Mutator);
- IterateOnSource(Source, *Mutator);
- }
- TEST(InstDeleterIRStrategyTest, PhiNodes) {
- // Test that inst deleter works correctly with the phi nodes.
- LLVMContext Ctx;
- StringRef Source = "\n\
- define i32 @earlyreturncrash(i32 %x) {\n\
- entry:\n\
- switch i32 %x, label %sw.epilog [\n\
- i32 1, label %sw.bb1\n\
- ]\n\
- \n\
- sw.bb1:\n\
- br label %sw.epilog\n\
- \n\
- sw.epilog:\n\
- %a.0 = phi i32 [ 7, %entry ], [ 9, %sw.bb1 ]\n\
- %b.0 = phi i32 [ 10, %entry ], [ 4, %sw.bb1 ]\n\
- ret i32 %a.0\n\
- }";
- auto Mutator = createDeleterMutator();
- ASSERT_TRUE(Mutator);
- IterateOnSource(Source, *Mutator);
- }
- }
|