Chris Lattner | 9432111 | 2003-10-20 17:57:13 +0000 | [diff] [blame] | 1 | //===- bugpoint.cpp - The LLVM Bugpoint utility ---------------------------===// |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 21c62da | 2007-12-29 20:44:31 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 9 | // |
| 10 | // This program is an automated compiler debugger tool. It is used to narrow |
| 11 | // down miscompilations and crash problems to a specific pass in the compiler, |
| 12 | // and the specific Module or Function input that is causing the problem. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| 16 | #include "BugDriver.h" |
Chris Lattner | f1b20d8 | 2006-06-06 22:30:59 +0000 | [diff] [blame] | 17 | #include "ToolRunner.h" |
Nico Weber | 0f38c60 | 2018-04-30 14:59:11 +0000 | [diff] [blame] | 18 | #include "llvm/Config/llvm-config.h" |
Chandler Carruth | 0b8c9a8 | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 19 | #include "llvm/IR/LLVMContext.h" |
Chandler Carruth | 417c5c1 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 20 | #include "llvm/IR/LegacyPassManager.h" |
Chandler Carruth | f7591dd | 2014-03-04 12:32:42 +0000 | [diff] [blame] | 21 | #include "llvm/IR/LegacyPassNameParser.h" |
Jakub Staszak | 446991d | 2013-01-10 21:56:40 +0000 | [diff] [blame] | 22 | #include "llvm/LinkAllIR.h" |
Chandler Carruth | 90230c8 | 2013-01-19 08:03:47 +0000 | [diff] [blame] | 23 | #include "llvm/LinkAllPasses.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 24 | #include "llvm/Support/CommandLine.h" |
Rui Ueyama | 0b9d56a | 2018-04-13 18:26:06 +0000 | [diff] [blame] | 25 | #include "llvm/Support/InitLLVM.h" |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 26 | #include "llvm/Support/ManagedStatic.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 27 | #include "llvm/Support/PluginLoader.h" |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 28 | #include "llvm/Support/PrettyStackTrace.h" |
Michael J. Spencer | 1f6efa3 | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Process.h" |
Tobias Grosser | 7f3bf01 | 2017-06-24 08:09:33 +0000 | [diff] [blame] | 30 | #include "llvm/Support/TargetSelect.h" |
Michael J. Spencer | 1f6efa3 | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Valgrind.h" |
Chandler Carruth | b699f7b | 2016-08-17 02:56:20 +0000 | [diff] [blame] | 32 | #include "llvm/Transforms/IPO/AlwaysInliner.h" |
Rafael Espindola | 3d453ac | 2011-08-02 21:50:24 +0000 | [diff] [blame] | 33 | #include "llvm/Transforms/IPO/PassManagerBuilder.h" |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 34 | |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 35 | // Enable this macro to debug bugpoint itself. |
Devang Patel | 3f84a45 | 2011-01-14 15:55:50 +0000 | [diff] [blame] | 36 | //#define DEBUG_BUGPOINT 1 |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 37 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 38 | using namespace llvm; |
| 39 | |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 40 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 41 | FindBugs("find-bugs", cl::desc("Run many different optimization sequences " |
| 42 | "on program to find bugs"), |
| 43 | cl::init(false)); |
Reid Spencer | c4bb052 | 2005-12-22 20:02:55 +0000 | [diff] [blame] | 44 | |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 45 | static cl::list<std::string> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 46 | InputFilenames(cl::Positional, cl::OneOrMore, |
| 47 | cl::desc("<input llvm ll/bc files>")); |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 48 | |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 49 | static cl::opt<unsigned> TimeoutValue( |
| 50 | "timeout", cl::init(300), cl::value_desc("seconds"), |
| 51 | cl::desc("Number of seconds program is allowed to run before it " |
| 52 | "is killed (default is 300s), 0 disables timeout")); |
Chris Lattner | 9686ae7 | 2006-06-13 03:10:48 +0000 | [diff] [blame] | 53 | |
Vitaly Buka | fe70e7d | 2017-09-01 01:47:34 +0000 | [diff] [blame] | 54 | static cl::opt<int> MemoryLimit( |
| 55 | "mlimit", cl::init(-1), cl::value_desc("MBytes"), |
| 56 | cl::desc("Maximum amount of memory to use. 0 disables check. Defaults to " |
| 57 | "400MB (800MB under valgrind, 0 with sanitizers).")); |
Jeffrey Yasskin | c3e6859 | 2010-03-19 00:09:28 +0000 | [diff] [blame] | 58 | |
| 59 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 60 | UseValgrind("enable-valgrind", |
| 61 | cl::desc("Run optimizations through valgrind")); |
Anton Korobeynikov | 9ba8a76 | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 62 | |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 63 | // The AnalysesList is automatically populated with registered Passes by the |
| 64 | // PassNameParser. |
| 65 | // |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 66 | static cl::list<const PassInfo *, bool, PassNameParser> |
| 67 | PassList(cl::desc("Passes available:"), cl::ZeroOrMore); |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 68 | |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 69 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 70 | StandardLinkOpts("std-link-opts", |
| 71 | cl::desc("Include the standard link time optimizations")); |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 72 | |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 73 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 74 | OptLevelO1("O1", cl::desc("Optimization level 1. Identical to 'opt -O1'")); |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 75 | |
| 76 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 77 | OptLevelO2("O2", cl::desc("Optimization level 2. Identical to 'opt -O2'")); |
| 78 | |
| 79 | static cl::opt<bool> OptLevelOs( |
| 80 | "Os", |
| 81 | cl::desc( |
| 82 | "Like -O2 with extra optimizations for size. Similar to clang -Os")); |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 83 | |
| 84 | static cl::opt<bool> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 85 | OptLevelO3("O3", cl::desc("Optimization level 3. Identical to 'opt -O3'")); |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 86 | |
Daniel Dunbar | ca74096 | 2009-08-18 03:35:57 +0000 | [diff] [blame] | 87 | static cl::opt<std::string> |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 88 | OverrideTriple("mtriple", cl::desc("Override target triple for module")); |
Daniel Dunbar | ca74096 | 2009-08-18 03:35:57 +0000 | [diff] [blame] | 89 | |
Chris Lattner | f9aaae0 | 2005-08-02 02:16:17 +0000 | [diff] [blame] | 90 | /// BugpointIsInterrupted - Set to true when the user presses ctrl-c. |
| 91 | bool llvm::BugpointIsInterrupted = false; |
| 92 | |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 93 | #ifndef DEBUG_BUGPOINT |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 94 | static void BugpointInterruptFunction() { BugpointIsInterrupted = true; } |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 95 | #endif |
Chris Lattner | f9aaae0 | 2005-08-02 02:16:17 +0000 | [diff] [blame] | 96 | |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 97 | // Hack to capture a pass list. |
| 98 | namespace { |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 99 | class AddToDriver : public legacy::FunctionPassManager { |
| 100 | BugDriver &D; |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 101 | |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 102 | public: |
| 103 | AddToDriver(BugDriver &_D) : FunctionPassManager(nullptr), D(_D) {} |
| 104 | |
| 105 | void add(Pass *P) override { |
| 106 | const void *ID = P->getPassID(); |
| 107 | const PassInfo *PI = PassRegistry::getPassRegistry()->getPassInfo(ID); |
| 108 | D.addPass(PI->getPassArgument()); |
| 109 | } |
| 110 | }; |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Sebastian Pop | beaa95d | 2014-03-14 04:04:14 +0000 | [diff] [blame] | 113 | #ifdef LINK_POLLY_INTO_TOOLS |
| 114 | namespace polly { |
| 115 | void initializePollyPasses(llvm::PassRegistry &Registry); |
| 116 | } |
| 117 | #endif |
| 118 | |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 119 | int main(int argc, char **argv) { |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 120 | #ifndef DEBUG_BUGPOINT |
Rui Ueyama | 0b9d56a | 2018-04-13 18:26:06 +0000 | [diff] [blame] | 121 | InitLLVM X(argc, argv); |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 122 | #endif |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 123 | |
Owen Anderson | 081c34b | 2010-10-19 17:21:58 +0000 | [diff] [blame] | 124 | // Initialize passes |
| 125 | PassRegistry &Registry = *PassRegistry::getPassRegistry(); |
| 126 | initializeCore(Registry); |
| 127 | initializeScalarOpts(Registry); |
Michael Gottesman | 24c4898 | 2013-01-28 01:35:51 +0000 | [diff] [blame] | 128 | initializeObjCARCOpts(Registry); |
Hal Finkel | 0ae2510 | 2012-02-07 21:11:12 +0000 | [diff] [blame] | 129 | initializeVectorization(Registry); |
Owen Anderson | 081c34b | 2010-10-19 17:21:58 +0000 | [diff] [blame] | 130 | initializeIPO(Registry); |
| 131 | initializeAnalysis(Registry); |
Owen Anderson | 081c34b | 2010-10-19 17:21:58 +0000 | [diff] [blame] | 132 | initializeTransformUtils(Registry); |
| 133 | initializeInstCombine(Registry); |
Craig Topper | 043b235 | 2018-04-24 00:05:21 +0000 | [diff] [blame] | 134 | initializeAggressiveInstCombine(Registry); |
Owen Anderson | 081c34b | 2010-10-19 17:21:58 +0000 | [diff] [blame] | 135 | initializeInstrumentation(Registry); |
| 136 | initializeTarget(Registry); |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 137 | |
Sebastian Pop | beaa95d | 2014-03-14 04:04:14 +0000 | [diff] [blame] | 138 | #ifdef LINK_POLLY_INTO_TOOLS |
| 139 | polly::initializePollyPasses(Registry); |
| 140 | #endif |
| 141 | |
Tobias Grosser | 7f3bf01 | 2017-06-24 08:09:33 +0000 | [diff] [blame] | 142 | if (std::getenv("bar") == (char*) -1) { |
| 143 | InitializeAllTargets(); |
| 144 | InitializeAllTargetMCs(); |
| 145 | InitializeAllAsmPrinters(); |
| 146 | InitializeAllAsmParsers(); |
Tobias Grosser | 7f3bf01 | 2017-06-24 08:09:33 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Chris Lattner | 670406d | 2003-10-18 21:55:35 +0000 | [diff] [blame] | 149 | cl::ParseCommandLineOptions(argc, argv, |
Dan Gohman | 82a13c9 | 2007-10-08 15:45:12 +0000 | [diff] [blame] | 150 | "LLVM automatic testcase reducer. See\nhttp://" |
Chris Lattner | 3a4baf1 | 2009-02-07 18:56:30 +0000 | [diff] [blame] | 151 | "llvm.org/cmds/bugpoint.html" |
Chris Lattner | 670406d | 2003-10-18 21:55:35 +0000 | [diff] [blame] | 152 | " for more information.\n"); |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 153 | #ifndef DEBUG_BUGPOINT |
Chris Lattner | f9aaae0 | 2005-08-02 02:16:17 +0000 | [diff] [blame] | 154 | sys::SetInterruptFunction(BugpointInterruptFunction); |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 155 | #endif |
Owen Anderson | 8b477ed | 2009-07-01 16:58:40 +0000 | [diff] [blame] | 156 | |
Mehdi Amini | 8be7707 | 2016-04-14 21:59:01 +0000 | [diff] [blame] | 157 | LLVMContext Context; |
Daniel Dunbar | ca74096 | 2009-08-18 03:35:57 +0000 | [diff] [blame] | 158 | // If we have an override, set it and then track the triple we want Modules |
| 159 | // to use. |
Chris Lattner | 3061108 | 2009-08-31 03:22:35 +0000 | [diff] [blame] | 160 | if (!OverrideTriple.empty()) { |
Duncan Sands | 75ebbce | 2010-08-28 01:30:02 +0000 | [diff] [blame] | 161 | TargetTriple.setTriple(Triple::normalize(OverrideTriple)); |
| 162 | outs() << "Override triple set to '" << TargetTriple.getTriple() << "'\n"; |
Chris Lattner | 3061108 | 2009-08-31 03:22:35 +0000 | [diff] [blame] | 163 | } |
Daniel Dunbar | ca74096 | 2009-08-18 03:35:57 +0000 | [diff] [blame] | 164 | |
Jeffrey Yasskin | c3e6859 | 2010-03-19 00:09:28 +0000 | [diff] [blame] | 165 | if (MemoryLimit < 0) { |
| 166 | // Set the default MemoryLimit. Be sure to update the flag's description if |
| 167 | // you change this. |
| 168 | if (sys::RunningOnValgrind() || UseValgrind) |
| 169 | MemoryLimit = 800; |
| 170 | else |
Daniel Sanders | 18481aa | 2015-05-05 16:29:40 +0000 | [diff] [blame] | 171 | MemoryLimit = 400; |
Vitaly Buka | fe70e7d | 2017-09-01 01:47:34 +0000 | [diff] [blame] | 172 | #if (LLVM_ADDRESS_SANITIZER_BUILD || LLVM_MEMORY_SANITIZER_BUILD || \ |
| 173 | LLVM_THREAD_SANITIZER_BUILD) |
| 174 | // Starting from kernel 4.9 memory allocated with mmap is counted against |
| 175 | // RLIMIT_DATA. Sanitizers need to allocate tens of terabytes for shadow. |
| 176 | MemoryLimit = 0; |
| 177 | #endif |
Jeffrey Yasskin | c3e6859 | 2010-03-19 00:09:28 +0000 | [diff] [blame] | 178 | } |
| 179 | |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 180 | BugDriver D(argv[0], FindBugs, TimeoutValue, MemoryLimit, UseValgrind, |
| 181 | Context); |
| 182 | if (D.addSources(InputFilenames)) |
| 183 | return 1; |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 184 | |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 185 | AddToDriver PM(D); |
NAKAMURA Takumi | 7871309 | 2014-01-15 08:21:38 +0000 | [diff] [blame] | 186 | |
Chris Lattner | 817a01f | 2011-05-22 00:20:07 +0000 | [diff] [blame] | 187 | if (StandardLinkOpts) { |
| 188 | PassManagerBuilder Builder; |
Rafael Espindola | 0b994a70 | 2014-08-21 13:35:30 +0000 | [diff] [blame] | 189 | Builder.Inliner = createFunctionInliningPass(); |
| 190 | Builder.populateLTOPassManager(PM); |
Chris Lattner | 817a01f | 2011-05-22 00:20:07 +0000 | [diff] [blame] | 191 | } |
Daniel Dunbar | 1488670 | 2009-07-20 07:01:01 +0000 | [diff] [blame] | 192 | |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 193 | if (OptLevelO1 || OptLevelO2 || OptLevelO3) { |
| 194 | PassManagerBuilder Builder; |
| 195 | if (OptLevelO1) |
Chandler Carruth | b699f7b | 2016-08-17 02:56:20 +0000 | [diff] [blame] | 196 | Builder.Inliner = createAlwaysInlinerLegacyPass(); |
David Majnemer | 5494cee | 2016-07-31 19:25:16 +0000 | [diff] [blame] | 197 | else if (OptLevelOs || OptLevelO2) |
Dehao Chen | 287fe25 | 2017-03-21 19:55:36 +0000 | [diff] [blame] | 198 | Builder.Inliner = createFunctionInliningPass( |
| 199 | 2, OptLevelOs ? 1 : 0, false); |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 200 | else |
| 201 | Builder.Inliner = createFunctionInliningPass(275); |
Eli Friedman | be2d123 | 2011-06-06 22:45:46 +0000 | [diff] [blame] | 202 | Builder.populateFunctionPassManager(PM); |
| 203 | Builder.populateModulePassManager(PM); |
| 204 | } |
Rafael Espindola | 8261dfe | 2010-08-08 03:55:08 +0000 | [diff] [blame] | 205 | |
Davide Italiano | bd133e6 | 2015-10-15 01:12:01 +0000 | [diff] [blame] | 206 | for (const PassInfo *PI : PassList) |
Rafael Espindola | 8261dfe | 2010-08-08 03:55:08 +0000 | [diff] [blame] | 207 | D.addPass(PI->getPassArgument()); |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 208 | |
Justin Bogner | 388e8b9 | 2016-09-02 01:21:37 +0000 | [diff] [blame] | 209 | // Bugpoint has the ability of generating a plethora of core files, so to |
| 210 | // avoid filling up the disk, we prevent it |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 211 | #ifndef DEBUG_BUGPOINT |
Reid Spencer | 5116330 | 2004-12-27 06:18:02 +0000 | [diff] [blame] | 212 | sys::Process::PreventCoreFiles(); |
Devang Patel | bc8d5f1 | 2011-01-13 19:48:54 +0000 | [diff] [blame] | 213 | #endif |
Misha Brukman | 67b36e4 | 2003-09-12 20:42:57 +0000 | [diff] [blame] | 214 | |
Justin Bogner | d8090ae | 2016-09-06 17:18:22 +0000 | [diff] [blame] | 215 | if (Error E = D.run()) { |
| 216 | errs() << toString(std::move(E)); |
Justin Bogner | 79a93a6 | 2016-09-06 04:45:37 +0000 | [diff] [blame] | 217 | return 1; |
| 218 | } |
Justin Bogner | d8090ae | 2016-09-06 17:18:22 +0000 | [diff] [blame] | 219 | return 0; |
Chris Lattner | afade92 | 2002-11-20 22:28:10 +0000 | [diff] [blame] | 220 | } |