123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619 |
- //===- llvm/unittest/IR/LegacyPassManager.cpp - Legacy PassManager tests --===//
- //
- // 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
- //
- //===----------------------------------------------------------------------===//
- //
- // This unit test exercises the legacy pass manager infrastructure. We use the
- // old names as well to ensure that the source-level compatibility is preserved
- // where possible.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/IR/LegacyPassManager.h"
- #include "llvm/Analysis/CallGraphSCCPass.h"
- #include "llvm/Analysis/LoopInfo.h"
- #include "llvm/Analysis/LoopPass.h"
- #include "llvm/IR/BasicBlock.h"
- #include "llvm/IR/CallingConv.h"
- #include "llvm/IR/DataLayout.h"
- #include "llvm/IR/DerivedTypes.h"
- #include "llvm/IR/Function.h"
- #include "llvm/IR/GlobalVariable.h"
- #include "llvm/IR/Instructions.h"
- #include "llvm/IR/LLVMContext.h"
- #include "llvm/IR/Module.h"
- #include "llvm/IR/OptBisect.h"
- #include "llvm/Pass.h"
- #include "llvm/Support/MathExtras.h"
- #include "llvm/Support/raw_ostream.h"
- #include "gtest/gtest.h"
- using namespace llvm;
- namespace llvm {
- void initializeModuleNDMPass(PassRegistry&);
- void initializeFPassPass(PassRegistry&);
- void initializeCGPassPass(PassRegistry&);
- void initializeLPassPass(PassRegistry&);
- void initializeBPassPass(PassRegistry&);
- namespace {
- // ND = no deps
- // NM = no modifications
- struct ModuleNDNM: public ModulePass {
- public:
- static char run;
- static char ID;
- ModuleNDNM() : ModulePass(ID) { }
- bool runOnModule(Module &M) override {
- run++;
- return false;
- }
- void getAnalysisUsage(AnalysisUsage &AU) const override {
- AU.setPreservesAll();
- }
- };
- char ModuleNDNM::ID=0;
- char ModuleNDNM::run=0;
- struct ModuleNDM : public ModulePass {
- public:
- static char run;
- static char ID;
- ModuleNDM() : ModulePass(ID) {}
- bool runOnModule(Module &M) override {
- run++;
- return true;
- }
- };
- char ModuleNDM::ID=0;
- char ModuleNDM::run=0;
- struct ModuleNDM2 : public ModulePass {
- public:
- static char run;
- static char ID;
- ModuleNDM2() : ModulePass(ID) {}
- bool runOnModule(Module &M) override {
- run++;
- return true;
- }
- };
- char ModuleNDM2::ID=0;
- char ModuleNDM2::run=0;
- struct ModuleDNM : public ModulePass {
- public:
- static char run;
- static char ID;
- ModuleDNM() : ModulePass(ID) {
- initializeModuleNDMPass(*PassRegistry::getPassRegistry());
- }
- bool runOnModule(Module &M) override {
- run++;
- return false;
- }
- void getAnalysisUsage(AnalysisUsage &AU) const override {
- AU.addRequired<ModuleNDM>();
- AU.setPreservesAll();
- }
- };
- char ModuleDNM::ID=0;
- char ModuleDNM::run=0;
- template<typename P>
- struct PassTestBase : public P {
- protected:
- static int runc;
- static bool initialized;
- static bool finalized;
- int allocated;
- void run() {
- EXPECT_TRUE(initialized);
- EXPECT_FALSE(finalized);
- EXPECT_EQ(0, allocated);
- allocated++;
- runc++;
- }
- public:
- static char ID;
- static void finishedOK(int run) {
- EXPECT_GT(runc, 0);
- EXPECT_TRUE(initialized);
- EXPECT_TRUE(finalized);
- EXPECT_EQ(run, runc);
- }
- PassTestBase() : P(ID), allocated(0) {
- initialized = false;
- finalized = false;
- runc = 0;
- }
- void releaseMemory() override {
- EXPECT_GT(runc, 0);
- EXPECT_GT(allocated, 0);
- allocated--;
- }
- };
- template<typename P> char PassTestBase<P>::ID;
- template<typename P> int PassTestBase<P>::runc;
- template<typename P> bool PassTestBase<P>::initialized;
- template<typename P> bool PassTestBase<P>::finalized;
- template<typename T, typename P>
- struct PassTest : public PassTestBase<P> {
- public:
- #ifndef _MSC_VER // MSVC complains that Pass is not base class.
- using llvm::Pass::doInitialization;
- using llvm::Pass::doFinalization;
- #endif
- bool doInitialization(T &t) override {
- EXPECT_FALSE(PassTestBase<P>::initialized);
- PassTestBase<P>::initialized = true;
- return false;
- }
- bool doFinalization(T &t) override {
- EXPECT_FALSE(PassTestBase<P>::finalized);
- PassTestBase<P>::finalized = true;
- EXPECT_EQ(0, PassTestBase<P>::allocated);
- return false;
- }
- };
- struct CGPass : public PassTest<CallGraph, CallGraphSCCPass> {
- public:
- CGPass() {
- initializeCGPassPass(*PassRegistry::getPassRegistry());
- }
- bool runOnSCC(CallGraphSCC &SCMM) override {
- run();
- return false;
- }
- };
- struct FPass : public PassTest<Module, FunctionPass> {
- public:
- bool runOnFunction(Function &F) override {
- // FIXME: PR4112
- // EXPECT_TRUE(getAnalysisIfAvailable<DataLayout>());
- run();
- return false;
- }
- };
- struct LPass : public PassTestBase<LoopPass> {
- private:
- static int initcount;
- static int fincount;
- public:
- LPass() {
- initializeLPassPass(*PassRegistry::getPassRegistry());
- initcount = 0; fincount=0;
- EXPECT_FALSE(initialized);
- }
- static void finishedOK(int run, int finalized) {
- PassTestBase<LoopPass>::finishedOK(run);
- EXPECT_EQ(run, initcount);
- EXPECT_EQ(finalized, fincount);
- }
- using llvm::Pass::doInitialization;
- using llvm::Pass::doFinalization;
- bool doInitialization(Loop* L, LPPassManager &LPM) override {
- initialized = true;
- initcount++;
- return false;
- }
- bool runOnLoop(Loop *L, LPPassManager &LPM) override {
- run();
- return false;
- }
- bool doFinalization() override {
- fincount++;
- finalized = true;
- return false;
- }
- };
- int LPass::initcount=0;
- int LPass::fincount=0;
- struct BPass : public PassTestBase<BasicBlockPass> {
- private:
- static int inited;
- static int fin;
- public:
- static void finishedOK(int run, int N) {
- PassTestBase<BasicBlockPass>::finishedOK(run);
- EXPECT_EQ(inited, N);
- EXPECT_EQ(fin, N);
- }
- BPass() {
- inited = 0;
- fin = 0;
- }
- bool doInitialization(Module &M) override {
- EXPECT_FALSE(initialized);
- initialized = true;
- return false;
- }
- bool doInitialization(Function &F) override {
- inited++;
- return false;
- }
- bool runOnBasicBlock(BasicBlock &BB) override {
- run();
- return false;
- }
- bool doFinalization(Function &F) override {
- fin++;
- return false;
- }
- bool doFinalization(Module &M) override {
- EXPECT_FALSE(finalized);
- finalized = true;
- EXPECT_EQ(0, allocated);
- return false;
- }
- };
- int BPass::inited=0;
- int BPass::fin=0;
- struct OnTheFlyTest: public ModulePass {
- public:
- static char ID;
- OnTheFlyTest() : ModulePass(ID) {
- initializeFPassPass(*PassRegistry::getPassRegistry());
- }
- bool runOnModule(Module &M) override {
- for (Module::iterator I=M.begin(),E=M.end(); I != E; ++I) {
- Function &F = *I;
- {
- SCOPED_TRACE("Running on the fly function pass");
- getAnalysis<FPass>(F);
- }
- }
- return false;
- }
- void getAnalysisUsage(AnalysisUsage &AU) const override {
- AU.addRequired<FPass>();
- }
- };
- char OnTheFlyTest::ID=0;
- TEST(PassManager, RunOnce) {
- LLVMContext Context;
- Module M("test-once", Context);
- struct ModuleNDNM *mNDNM = new ModuleNDNM();
- struct ModuleDNM *mDNM = new ModuleDNM();
- struct ModuleNDM *mNDM = new ModuleNDM();
- struct ModuleNDM2 *mNDM2 = new ModuleNDM2();
- mNDM->run = mNDNM->run = mDNM->run = mNDM2->run = 0;
- legacy::PassManager Passes;
- Passes.add(mNDM2);
- Passes.add(mNDM);
- Passes.add(mNDNM);
- Passes.add(mDNM);
- Passes.run(M);
- // each pass must be run exactly once, since nothing invalidates them
- EXPECT_EQ(1, mNDM->run);
- EXPECT_EQ(1, mNDNM->run);
- EXPECT_EQ(1, mDNM->run);
- EXPECT_EQ(1, mNDM2->run);
- }
- TEST(PassManager, ReRun) {
- LLVMContext Context;
- Module M("test-rerun", Context);
- struct ModuleNDNM *mNDNM = new ModuleNDNM();
- struct ModuleDNM *mDNM = new ModuleDNM();
- struct ModuleNDM *mNDM = new ModuleNDM();
- struct ModuleNDM2 *mNDM2 = new ModuleNDM2();
- mNDM->run = mNDNM->run = mDNM->run = mNDM2->run = 0;
- legacy::PassManager Passes;
- Passes.add(mNDM);
- Passes.add(mNDNM);
- Passes.add(mNDM2);// invalidates mNDM needed by mDNM
- Passes.add(mDNM);
- Passes.run(M);
- // Some passes must be rerun because a pass that modified the
- // module/function was run in between
- EXPECT_EQ(2, mNDM->run);
- EXPECT_EQ(1, mNDNM->run);
- EXPECT_EQ(1, mNDM2->run);
- EXPECT_EQ(1, mDNM->run);
- }
- Module *makeLLVMModule(LLVMContext &Context);
- template<typename T>
- void MemoryTestHelper(int run) {
- LLVMContext Context;
- std::unique_ptr<Module> M(makeLLVMModule(Context));
- T *P = new T();
- legacy::PassManager Passes;
- Passes.add(P);
- Passes.run(*M);
- T::finishedOK(run);
- }
- template<typename T>
- void MemoryTestHelper(int run, int N) {
- LLVMContext Context;
- Module *M = makeLLVMModule(Context);
- T *P = new T();
- legacy::PassManager Passes;
- Passes.add(P);
- Passes.run(*M);
- T::finishedOK(run, N);
- delete M;
- }
- TEST(PassManager, Memory) {
- // SCC#1: test1->test2->test3->test1
- // SCC#2: test4
- // SCC#3: indirect call node
- {
- SCOPED_TRACE("Callgraph pass");
- MemoryTestHelper<CGPass>(3);
- }
- {
- SCOPED_TRACE("Function pass");
- MemoryTestHelper<FPass>(4);// 4 functions
- }
- {
- SCOPED_TRACE("Loop pass");
- MemoryTestHelper<LPass>(2, 1); //2 loops, 1 function
- }
- {
- SCOPED_TRACE("Basic block pass");
- MemoryTestHelper<BPass>(7, 4); //9 basic blocks
- }
- }
- TEST(PassManager, MemoryOnTheFly) {
- LLVMContext Context;
- Module *M = makeLLVMModule(Context);
- {
- SCOPED_TRACE("Running OnTheFlyTest");
- struct OnTheFlyTest *O = new OnTheFlyTest();
- legacy::PassManager Passes;
- Passes.add(O);
- Passes.run(*M);
- FPass::finishedOK(4);
- }
- delete M;
- }
- // Skips or runs optional passes.
- struct CustomOptPassGate : public OptPassGate {
- bool Skip;
- CustomOptPassGate(bool Skip) : Skip(Skip) { }
- bool shouldRunPass(const Pass *P, StringRef IRDescription) {
- if (P->getPassKind() == PT_Module)
- return !Skip;
- return OptPassGate::shouldRunPass(P, IRDescription);
- }
- bool isEnabled() const { return true; }
- };
- // Optional module pass.
- struct ModuleOpt: public ModulePass {
- char run = 0;
- static char ID;
- ModuleOpt() : ModulePass(ID) { }
- bool runOnModule(Module &M) override {
- if (!skipModule(M))
- run++;
- return false;
- }
- };
- char ModuleOpt::ID=0;
- TEST(PassManager, CustomOptPassGate) {
- LLVMContext Context0;
- LLVMContext Context1;
- LLVMContext Context2;
- CustomOptPassGate SkipOptionalPasses(true);
- CustomOptPassGate RunOptionalPasses(false);
- Module M0("custom-opt-bisect", Context0);
- Module M1("custom-opt-bisect", Context1);
- Module M2("custom-opt-bisect2", Context2);
- struct ModuleOpt *mOpt0 = new ModuleOpt();
- struct ModuleOpt *mOpt1 = new ModuleOpt();
- struct ModuleOpt *mOpt2 = new ModuleOpt();
- mOpt0->run = mOpt1->run = mOpt2->run = 0;
- legacy::PassManager Passes0;
- legacy::PassManager Passes1;
- legacy::PassManager Passes2;
- Passes0.add(mOpt0);
- Passes1.add(mOpt1);
- Passes2.add(mOpt2);
- Context1.setOptPassGate(SkipOptionalPasses);
- Context2.setOptPassGate(RunOptionalPasses);
- Passes0.run(M0);
- Passes1.run(M1);
- Passes2.run(M2);
- // By default optional passes are run.
- EXPECT_EQ(1, mOpt0->run);
- // The first context skips optional passes.
- EXPECT_EQ(0, mOpt1->run);
- // The second context runs optional passes.
- EXPECT_EQ(1, mOpt2->run);
- }
- Module *makeLLVMModule(LLVMContext &Context) {
- // Module Construction
- Module *mod = new Module("test-mem", Context);
- mod->setDataLayout("e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-"
- "i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-"
- "a:0:64-s:64:64-f80:128:128");
- mod->setTargetTriple("x86_64-unknown-linux-gnu");
- // Type Definitions
- std::vector<Type*>FuncTy_0_args;
- FunctionType *FuncTy_0 = FunctionType::get(
- /*Result=*/IntegerType::get(Context, 32),
- /*Params=*/FuncTy_0_args,
- /*isVarArg=*/false);
- std::vector<Type*>FuncTy_2_args;
- FuncTy_2_args.push_back(IntegerType::get(Context, 1));
- FunctionType *FuncTy_2 = FunctionType::get(
- /*Result=*/Type::getVoidTy(Context),
- /*Params=*/FuncTy_2_args,
- /*isVarArg=*/false);
- // Function Declarations
- Function* func_test1 = Function::Create(
- /*Type=*/FuncTy_0,
- /*Linkage=*/GlobalValue::ExternalLinkage,
- /*Name=*/"test1", mod);
- func_test1->setCallingConv(CallingConv::C);
- AttributeList func_test1_PAL;
- func_test1->setAttributes(func_test1_PAL);
- Function* func_test2 = Function::Create(
- /*Type=*/FuncTy_0,
- /*Linkage=*/GlobalValue::ExternalLinkage,
- /*Name=*/"test2", mod);
- func_test2->setCallingConv(CallingConv::C);
- AttributeList func_test2_PAL;
- func_test2->setAttributes(func_test2_PAL);
- Function* func_test3 = Function::Create(
- /*Type=*/FuncTy_0,
- /*Linkage=*/GlobalValue::ExternalLinkage,
- /*Name=*/"test3", mod);
- func_test3->setCallingConv(CallingConv::C);
- AttributeList func_test3_PAL;
- func_test3->setAttributes(func_test3_PAL);
- Function* func_test4 = Function::Create(
- /*Type=*/FuncTy_2,
- /*Linkage=*/GlobalValue::ExternalLinkage,
- /*Name=*/"test4", mod);
- func_test4->setCallingConv(CallingConv::C);
- AttributeList func_test4_PAL;
- func_test4->setAttributes(func_test4_PAL);
- // Global Variable Declarations
- // Constant Definitions
- // Global Variable Definitions
- // Function Definitions
- // Function: test1 (func_test1)
- {
- BasicBlock *label_entry =
- BasicBlock::Create(Context, "entry", func_test1, nullptr);
- // Block entry (label_entry)
- CallInst* int32_3 = CallInst::Create(func_test2, "", label_entry);
- int32_3->setCallingConv(CallingConv::C);
- int32_3->setTailCall(false);
- AttributeList int32_3_PAL;
- int32_3->setAttributes(int32_3_PAL);
- ReturnInst::Create(Context, int32_3, label_entry);
- }
- // Function: test2 (func_test2)
- {
- BasicBlock *label_entry_5 =
- BasicBlock::Create(Context, "entry", func_test2, nullptr);
- // Block entry (label_entry_5)
- CallInst* int32_6 = CallInst::Create(func_test3, "", label_entry_5);
- int32_6->setCallingConv(CallingConv::C);
- int32_6->setTailCall(false);
- AttributeList int32_6_PAL;
- int32_6->setAttributes(int32_6_PAL);
- ReturnInst::Create(Context, int32_6, label_entry_5);
- }
- // Function: test3 (func_test3)
- {
- BasicBlock *label_entry_8 =
- BasicBlock::Create(Context, "entry", func_test3, nullptr);
- // Block entry (label_entry_8)
- CallInst* int32_9 = CallInst::Create(func_test1, "", label_entry_8);
- int32_9->setCallingConv(CallingConv::C);
- int32_9->setTailCall(false);
- AttributeList int32_9_PAL;
- int32_9->setAttributes(int32_9_PAL);
- ReturnInst::Create(Context, int32_9, label_entry_8);
- }
- // Function: test4 (func_test4)
- {
- Function::arg_iterator args = func_test4->arg_begin();
- Value *int1_f = &*args++;
- int1_f->setName("f");
- BasicBlock *label_entry_11 =
- BasicBlock::Create(Context, "entry", func_test4, nullptr);
- BasicBlock *label_bb =
- BasicBlock::Create(Context, "bb", func_test4, nullptr);
- BasicBlock *label_bb1 =
- BasicBlock::Create(Context, "bb1", func_test4, nullptr);
- BasicBlock *label_return =
- BasicBlock::Create(Context, "return", func_test4, nullptr);
- // Block entry (label_entry_11)
- BranchInst::Create(label_bb, label_entry_11);
- // Block bb (label_bb)
- BranchInst::Create(label_bb, label_bb1, int1_f, label_bb);
- // Block bb1 (label_bb1)
- BranchInst::Create(label_bb1, label_return, int1_f, label_bb1);
- // Block return (label_return)
- ReturnInst::Create(Context, label_return);
- }
- return mod;
- }
- }
- }
- INITIALIZE_PASS(ModuleNDM, "mndm", "mndm", false, false)
- INITIALIZE_PASS_BEGIN(CGPass, "cgp","cgp", false, false)
- INITIALIZE_PASS_DEPENDENCY(CallGraphWrapperPass)
- INITIALIZE_PASS_END(CGPass, "cgp","cgp", false, false)
- INITIALIZE_PASS(FPass, "fp","fp", false, false)
- INITIALIZE_PASS_BEGIN(LPass, "lp","lp", false, false)
- INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass)
- INITIALIZE_PASS_END(LPass, "lp","lp", false, false)
- INITIALIZE_PASS(BPass, "bp","bp", false, false)
|