LegacyPassManagerTest.cpp 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548
  1. //===- llvm/unittest/IR/LegacyPassManager.cpp - Legacy PassManager tests --===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is distributed under the University of Illinois Open Source
  6. // License. See LICENSE.TXT for details.
  7. //
  8. //===----------------------------------------------------------------------===//
  9. //
  10. // This unit test exercises the legacy pass manager infrastructure. We use the
  11. // old names as well to ensure that the source-level compatibility is preserved
  12. // where possible.
  13. //
  14. //===----------------------------------------------------------------------===//
  15. #include "llvm/IR/LegacyPassManager.h"
  16. #include "llvm/ADT/SmallVector.h"
  17. #include "llvm/Analysis/CallGraphSCCPass.h"
  18. #include "llvm/Analysis/LoopInfo.h"
  19. #include "llvm/Analysis/LoopPass.h"
  20. #include "llvm/IR/BasicBlock.h"
  21. #include "llvm/IR/CallingConv.h"
  22. #include "llvm/IR/Constants.h"
  23. #include "llvm/IR/DataLayout.h"
  24. #include "llvm/IR/DerivedTypes.h"
  25. #include "llvm/IR/Function.h"
  26. #include "llvm/IR/GlobalVariable.h"
  27. #include "llvm/IR/IRPrintingPasses.h"
  28. #include "llvm/IR/InlineAsm.h"
  29. #include "llvm/IR/Instructions.h"
  30. #include "llvm/IR/LLVMContext.h"
  31. #include "llvm/IR/Module.h"
  32. #include "llvm/IR/Verifier.h"
  33. #include "llvm/Pass.h"
  34. #include "llvm/Support/MathExtras.h"
  35. #include "llvm/Support/raw_ostream.h"
  36. #include "gtest/gtest.h"
  37. using namespace llvm;
  38. namespace llvm {
  39. void initializeModuleNDMPass(PassRegistry&);
  40. void initializeFPassPass(PassRegistry&);
  41. void initializeCGPassPass(PassRegistry&);
  42. void initializeLPassPass(PassRegistry&);
  43. void initializeBPassPass(PassRegistry&);
  44. namespace {
  45. // ND = no deps
  46. // NM = no modifications
  47. struct ModuleNDNM: public ModulePass {
  48. public:
  49. static char run;
  50. static char ID;
  51. ModuleNDNM() : ModulePass(ID) { }
  52. bool runOnModule(Module &M) override {
  53. run++;
  54. return false;
  55. }
  56. void getAnalysisUsage(AnalysisUsage &AU) const override {
  57. AU.setPreservesAll();
  58. }
  59. };
  60. char ModuleNDNM::ID=0;
  61. char ModuleNDNM::run=0;
  62. struct ModuleNDM : public ModulePass {
  63. public:
  64. static char run;
  65. static char ID;
  66. ModuleNDM() : ModulePass(ID) {}
  67. bool runOnModule(Module &M) override {
  68. run++;
  69. return true;
  70. }
  71. };
  72. char ModuleNDM::ID=0;
  73. char ModuleNDM::run=0;
  74. struct ModuleNDM2 : public ModulePass {
  75. public:
  76. static char run;
  77. static char ID;
  78. ModuleNDM2() : ModulePass(ID) {}
  79. bool runOnModule(Module &M) override {
  80. run++;
  81. return true;
  82. }
  83. };
  84. char ModuleNDM2::ID=0;
  85. char ModuleNDM2::run=0;
  86. struct ModuleDNM : public ModulePass {
  87. public:
  88. static char run;
  89. static char ID;
  90. ModuleDNM() : ModulePass(ID) {
  91. initializeModuleNDMPass(*PassRegistry::getPassRegistry());
  92. }
  93. bool runOnModule(Module &M) override {
  94. run++;
  95. return false;
  96. }
  97. void getAnalysisUsage(AnalysisUsage &AU) const override {
  98. AU.addRequired<ModuleNDM>();
  99. AU.setPreservesAll();
  100. }
  101. };
  102. char ModuleDNM::ID=0;
  103. char ModuleDNM::run=0;
  104. template<typename P>
  105. struct PassTestBase : public P {
  106. protected:
  107. static int runc;
  108. static bool initialized;
  109. static bool finalized;
  110. int allocated;
  111. void run() {
  112. EXPECT_TRUE(initialized);
  113. EXPECT_FALSE(finalized);
  114. EXPECT_EQ(0, allocated);
  115. allocated++;
  116. runc++;
  117. }
  118. public:
  119. static char ID;
  120. static void finishedOK(int run) {
  121. EXPECT_GT(runc, 0);
  122. EXPECT_TRUE(initialized);
  123. EXPECT_TRUE(finalized);
  124. EXPECT_EQ(run, runc);
  125. }
  126. PassTestBase() : P(ID), allocated(0) {
  127. initialized = false;
  128. finalized = false;
  129. runc = 0;
  130. }
  131. void releaseMemory() override {
  132. EXPECT_GT(runc, 0);
  133. EXPECT_GT(allocated, 0);
  134. allocated--;
  135. }
  136. };
  137. template<typename P> char PassTestBase<P>::ID;
  138. template<typename P> int PassTestBase<P>::runc;
  139. template<typename P> bool PassTestBase<P>::initialized;
  140. template<typename P> bool PassTestBase<P>::finalized;
  141. template<typename T, typename P>
  142. struct PassTest : public PassTestBase<P> {
  143. public:
  144. #ifndef _MSC_VER // MSVC complains that Pass is not base class.
  145. using llvm::Pass::doInitialization;
  146. using llvm::Pass::doFinalization;
  147. #endif
  148. bool doInitialization(T &t) override {
  149. EXPECT_FALSE(PassTestBase<P>::initialized);
  150. PassTestBase<P>::initialized = true;
  151. return false;
  152. }
  153. bool doFinalization(T &t) override {
  154. EXPECT_FALSE(PassTestBase<P>::finalized);
  155. PassTestBase<P>::finalized = true;
  156. EXPECT_EQ(0, PassTestBase<P>::allocated);
  157. return false;
  158. }
  159. };
  160. struct CGPass : public PassTest<CallGraph, CallGraphSCCPass> {
  161. public:
  162. CGPass() {
  163. initializeCGPassPass(*PassRegistry::getPassRegistry());
  164. }
  165. bool runOnSCC(CallGraphSCC &SCMM) override {
  166. run();
  167. return false;
  168. }
  169. };
  170. struct FPass : public PassTest<Module, FunctionPass> {
  171. public:
  172. bool runOnFunction(Function &F) override {
  173. // FIXME: PR4112
  174. // EXPECT_TRUE(getAnalysisIfAvailable<DataLayout>());
  175. run();
  176. return false;
  177. }
  178. };
  179. struct LPass : public PassTestBase<LoopPass> {
  180. private:
  181. static int initcount;
  182. static int fincount;
  183. public:
  184. LPass() {
  185. initializeLPassPass(*PassRegistry::getPassRegistry());
  186. initcount = 0; fincount=0;
  187. EXPECT_FALSE(initialized);
  188. }
  189. static void finishedOK(int run, int finalized) {
  190. PassTestBase<LoopPass>::finishedOK(run);
  191. EXPECT_EQ(run, initcount);
  192. EXPECT_EQ(finalized, fincount);
  193. }
  194. using llvm::Pass::doInitialization;
  195. using llvm::Pass::doFinalization;
  196. bool doInitialization(Loop* L, LPPassManager &LPM) override {
  197. initialized = true;
  198. initcount++;
  199. return false;
  200. }
  201. bool runOnLoop(Loop *L, LPPassManager &LPM) override {
  202. run();
  203. return false;
  204. }
  205. bool doFinalization() override {
  206. fincount++;
  207. finalized = true;
  208. return false;
  209. }
  210. };
  211. int LPass::initcount=0;
  212. int LPass::fincount=0;
  213. struct BPass : public PassTestBase<BasicBlockPass> {
  214. private:
  215. static int inited;
  216. static int fin;
  217. public:
  218. static void finishedOK(int run, int N) {
  219. PassTestBase<BasicBlockPass>::finishedOK(run);
  220. EXPECT_EQ(inited, N);
  221. EXPECT_EQ(fin, N);
  222. }
  223. BPass() {
  224. inited = 0;
  225. fin = 0;
  226. }
  227. bool doInitialization(Module &M) override {
  228. EXPECT_FALSE(initialized);
  229. initialized = true;
  230. return false;
  231. }
  232. bool doInitialization(Function &F) override {
  233. inited++;
  234. return false;
  235. }
  236. bool runOnBasicBlock(BasicBlock &BB) override {
  237. run();
  238. return false;
  239. }
  240. bool doFinalization(Function &F) override {
  241. fin++;
  242. return false;
  243. }
  244. bool doFinalization(Module &M) override {
  245. EXPECT_FALSE(finalized);
  246. finalized = true;
  247. EXPECT_EQ(0, allocated);
  248. return false;
  249. }
  250. };
  251. int BPass::inited=0;
  252. int BPass::fin=0;
  253. struct OnTheFlyTest: public ModulePass {
  254. public:
  255. static char ID;
  256. OnTheFlyTest() : ModulePass(ID) {
  257. initializeFPassPass(*PassRegistry::getPassRegistry());
  258. }
  259. bool runOnModule(Module &M) override {
  260. for (Module::iterator I=M.begin(),E=M.end(); I != E; ++I) {
  261. Function &F = *I;
  262. {
  263. SCOPED_TRACE("Running on the fly function pass");
  264. getAnalysis<FPass>(F);
  265. }
  266. }
  267. return false;
  268. }
  269. void getAnalysisUsage(AnalysisUsage &AU) const override {
  270. AU.addRequired<FPass>();
  271. }
  272. };
  273. char OnTheFlyTest::ID=0;
  274. TEST(PassManager, RunOnce) {
  275. Module M("test-once", getGlobalContext());
  276. struct ModuleNDNM *mNDNM = new ModuleNDNM();
  277. struct ModuleDNM *mDNM = new ModuleDNM();
  278. struct ModuleNDM *mNDM = new ModuleNDM();
  279. struct ModuleNDM2 *mNDM2 = new ModuleNDM2();
  280. mNDM->run = mNDNM->run = mDNM->run = mNDM2->run = 0;
  281. legacy::PassManager Passes;
  282. Passes.add(mNDM2);
  283. Passes.add(mNDM);
  284. Passes.add(mNDNM);
  285. Passes.add(mDNM);
  286. Passes.run(M);
  287. // each pass must be run exactly once, since nothing invalidates them
  288. EXPECT_EQ(1, mNDM->run);
  289. EXPECT_EQ(1, mNDNM->run);
  290. EXPECT_EQ(1, mDNM->run);
  291. EXPECT_EQ(1, mNDM2->run);
  292. }
  293. TEST(PassManager, ReRun) {
  294. Module M("test-rerun", getGlobalContext());
  295. struct ModuleNDNM *mNDNM = new ModuleNDNM();
  296. struct ModuleDNM *mDNM = new ModuleDNM();
  297. struct ModuleNDM *mNDM = new ModuleNDM();
  298. struct ModuleNDM2 *mNDM2 = new ModuleNDM2();
  299. mNDM->run = mNDNM->run = mDNM->run = mNDM2->run = 0;
  300. legacy::PassManager Passes;
  301. Passes.add(mNDM);
  302. Passes.add(mNDNM);
  303. Passes.add(mNDM2);// invalidates mNDM needed by mDNM
  304. Passes.add(mDNM);
  305. Passes.run(M);
  306. // Some passes must be rerun because a pass that modified the
  307. // module/function was run in between
  308. EXPECT_EQ(2, mNDM->run);
  309. EXPECT_EQ(1, mNDNM->run);
  310. EXPECT_EQ(1, mNDM2->run);
  311. EXPECT_EQ(1, mDNM->run);
  312. }
  313. Module* makeLLVMModule();
  314. template<typename T>
  315. void MemoryTestHelper(int run) {
  316. std::unique_ptr<Module> M(makeLLVMModule());
  317. T *P = new T();
  318. legacy::PassManager Passes;
  319. Passes.add(P);
  320. Passes.run(*M);
  321. T::finishedOK(run);
  322. }
  323. template<typename T>
  324. void MemoryTestHelper(int run, int N) {
  325. Module *M = makeLLVMModule();
  326. T *P = new T();
  327. legacy::PassManager Passes;
  328. Passes.add(P);
  329. Passes.run(*M);
  330. T::finishedOK(run, N);
  331. delete M;
  332. }
  333. TEST(PassManager, Memory) {
  334. // SCC#1: test1->test2->test3->test1
  335. // SCC#2: test4
  336. // SCC#3: indirect call node
  337. {
  338. SCOPED_TRACE("Callgraph pass");
  339. MemoryTestHelper<CGPass>(3);
  340. }
  341. {
  342. SCOPED_TRACE("Function pass");
  343. MemoryTestHelper<FPass>(4);// 4 functions
  344. }
  345. {
  346. SCOPED_TRACE("Loop pass");
  347. MemoryTestHelper<LPass>(2, 1); //2 loops, 1 function
  348. }
  349. {
  350. SCOPED_TRACE("Basic block pass");
  351. MemoryTestHelper<BPass>(7, 4); //9 basic blocks
  352. }
  353. }
  354. TEST(PassManager, MemoryOnTheFly) {
  355. Module *M = makeLLVMModule();
  356. {
  357. SCOPED_TRACE("Running OnTheFlyTest");
  358. struct OnTheFlyTest *O = new OnTheFlyTest();
  359. legacy::PassManager Passes;
  360. Passes.add(O);
  361. Passes.run(*M);
  362. FPass::finishedOK(4);
  363. }
  364. delete M;
  365. }
  366. Module* makeLLVMModule() {
  367. // Module Construction
  368. Module* mod = new Module("test-mem", getGlobalContext());
  369. mod->setDataLayout("e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-"
  370. "i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-"
  371. "a:0:64-s:64:64-f80:128:128");
  372. mod->setTargetTriple("x86_64-unknown-linux-gnu");
  373. // Type Definitions
  374. std::vector<Type*>FuncTy_0_args;
  375. FunctionType* FuncTy_0 = FunctionType::get(
  376. /*Result=*/IntegerType::get(getGlobalContext(), 32),
  377. /*Params=*/FuncTy_0_args,
  378. /*isVarArg=*/false);
  379. std::vector<Type*>FuncTy_2_args;
  380. FuncTy_2_args.push_back(IntegerType::get(getGlobalContext(), 1));
  381. FunctionType* FuncTy_2 = FunctionType::get(
  382. /*Result=*/Type::getVoidTy(getGlobalContext()),
  383. /*Params=*/FuncTy_2_args,
  384. /*isVarArg=*/false);
  385. // Function Declarations
  386. Function* func_test1 = Function::Create(
  387. /*Type=*/FuncTy_0,
  388. /*Linkage=*/GlobalValue::ExternalLinkage,
  389. /*Name=*/"test1", mod);
  390. func_test1->setCallingConv(CallingConv::C);
  391. AttributeSet func_test1_PAL;
  392. func_test1->setAttributes(func_test1_PAL);
  393. Function* func_test2 = Function::Create(
  394. /*Type=*/FuncTy_0,
  395. /*Linkage=*/GlobalValue::ExternalLinkage,
  396. /*Name=*/"test2", mod);
  397. func_test2->setCallingConv(CallingConv::C);
  398. AttributeSet func_test2_PAL;
  399. func_test2->setAttributes(func_test2_PAL);
  400. Function* func_test3 = Function::Create(
  401. /*Type=*/FuncTy_0,
  402. /*Linkage=*/GlobalValue::ExternalLinkage,
  403. /*Name=*/"test3", mod);
  404. func_test3->setCallingConv(CallingConv::C);
  405. AttributeSet func_test3_PAL;
  406. func_test3->setAttributes(func_test3_PAL);
  407. Function* func_test4 = Function::Create(
  408. /*Type=*/FuncTy_2,
  409. /*Linkage=*/GlobalValue::ExternalLinkage,
  410. /*Name=*/"test4", mod);
  411. func_test4->setCallingConv(CallingConv::C);
  412. AttributeSet func_test4_PAL;
  413. func_test4->setAttributes(func_test4_PAL);
  414. // Global Variable Declarations
  415. // Constant Definitions
  416. // Global Variable Definitions
  417. // Function Definitions
  418. // Function: test1 (func_test1)
  419. {
  420. BasicBlock* label_entry = BasicBlock::Create(getGlobalContext(), "entry",func_test1,nullptr);
  421. // Block entry (label_entry)
  422. CallInst* int32_3 = CallInst::Create(func_test2, "", label_entry);
  423. int32_3->setCallingConv(CallingConv::C);
  424. int32_3->setTailCall(false);AttributeSet int32_3_PAL;
  425. int32_3->setAttributes(int32_3_PAL);
  426. ReturnInst::Create(getGlobalContext(), int32_3, label_entry);
  427. }
  428. // Function: test2 (func_test2)
  429. {
  430. BasicBlock* label_entry_5 = BasicBlock::Create(getGlobalContext(), "entry",func_test2,nullptr);
  431. // Block entry (label_entry_5)
  432. CallInst* int32_6 = CallInst::Create(func_test3, "", label_entry_5);
  433. int32_6->setCallingConv(CallingConv::C);
  434. int32_6->setTailCall(false);AttributeSet int32_6_PAL;
  435. int32_6->setAttributes(int32_6_PAL);
  436. ReturnInst::Create(getGlobalContext(), int32_6, label_entry_5);
  437. }
  438. // Function: test3 (func_test3)
  439. {
  440. BasicBlock* label_entry_8 = BasicBlock::Create(getGlobalContext(), "entry",func_test3,nullptr);
  441. // Block entry (label_entry_8)
  442. CallInst* int32_9 = CallInst::Create(func_test1, "", label_entry_8);
  443. int32_9->setCallingConv(CallingConv::C);
  444. int32_9->setTailCall(false);AttributeSet int32_9_PAL;
  445. int32_9->setAttributes(int32_9_PAL);
  446. ReturnInst::Create(getGlobalContext(), int32_9, label_entry_8);
  447. }
  448. // Function: test4 (func_test4)
  449. {
  450. Function::arg_iterator args = func_test4->arg_begin();
  451. Value* int1_f = args++;
  452. int1_f->setName("f");
  453. BasicBlock* label_entry_11 = BasicBlock::Create(getGlobalContext(), "entry",func_test4,nullptr);
  454. BasicBlock* label_bb = BasicBlock::Create(getGlobalContext(), "bb",func_test4,nullptr);
  455. BasicBlock* label_bb1 = BasicBlock::Create(getGlobalContext(), "bb1",func_test4,nullptr);
  456. BasicBlock* label_return = BasicBlock::Create(getGlobalContext(), "return",func_test4,nullptr);
  457. // Block entry (label_entry_11)
  458. BranchInst::Create(label_bb, label_entry_11);
  459. // Block bb (label_bb)
  460. BranchInst::Create(label_bb, label_bb1, int1_f, label_bb);
  461. // Block bb1 (label_bb1)
  462. BranchInst::Create(label_bb1, label_return, int1_f, label_bb1);
  463. // Block return (label_return)
  464. ReturnInst::Create(getGlobalContext(), label_return);
  465. }
  466. return mod;
  467. }
  468. }
  469. }
  470. INITIALIZE_PASS(ModuleNDM, "mndm", "mndm", false, false)
  471. INITIALIZE_PASS_BEGIN(CGPass, "cgp","cgp", false, false)
  472. INITIALIZE_PASS_DEPENDENCY(CallGraphWrapperPass)
  473. INITIALIZE_PASS_END(CGPass, "cgp","cgp", false, false)
  474. INITIALIZE_PASS(FPass, "fp","fp", false, false)
  475. INITIALIZE_PASS_BEGIN(LPass, "lp","lp", false, false)
  476. INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass)
  477. INITIALIZE_PASS_END(LPass, "lp","lp", false, false)
  478. INITIALIZE_PASS(BPass, "bp","bp", false, false)