Mercurial > hg > CbC > CbC_llvm

annotate tools/bugpoint/OptimizerDriver.cpp @ 147:c2174574ed3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 10
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Aug 2019 16:55:33 +0900
parents 3a76565eade5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 //===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
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
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 // This file defines an interface that allows bugpoint to run various passes
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 // without the threat of a buggy pass corrupting bugpoint (of course, bugpoint
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 // may have its own bugs, but that's another story...). It achieves this by
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 // forking a copy of itself and having the child process do the optimizations.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 // If this client dies, we can always fork a new one. :)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 //===----------------------------------------------------------------------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 #include "BugDriver.h"
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
18 #include "ToolRunner.h"
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
19 #include "llvm/Bitcode/BitcodeWriter.h"
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 #include "llvm/IR/DataLayout.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 #include "llvm/IR/Module.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 #include "llvm/Support/CommandLine.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 #include "llvm/Support/Debug.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 #include "llvm/Support/FileUtilities.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 #include "llvm/Support/Path.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 #include "llvm/Support/Program.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 #include "llvm/Support/ToolOutputFile.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 #define DONT_GET_PLUGIN_LOADER_OPTION
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 #include "llvm/Support/PluginLoader.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 using namespace llvm;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
35 #define DEBUG_TYPE "bugpoint"
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
36
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 namespace llvm {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
38 extern cl::opt<std::string> OutputPrefix;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
41 static cl::opt<bool> PreserveBitcodeUseListOrder(
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
42 "preserve-bc-uselistorder",
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
43 cl::desc("Preserve use-list order when writing LLVM bitcode."),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
44 cl::init(true), cl::Hidden);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
45
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
46 static cl::opt<std::string>
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
47 OptCmd("opt-command", cl::init(""),
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
48 cl::desc("Path to opt. (default: search path "
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
49 "for 'opt'.)"));
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
51 /// This writes the current "Program" to the named bitcode file. If an error
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
52 /// occurs, true is returned.
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
53 static bool writeProgramToFileAux(ToolOutputFile &Out, const Module &M) {
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
54 WriteBitcodeToFile(M, Out.os(), PreserveBitcodeUseListOrder);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 Out.os().close();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 if (!Out.os().has_error()) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 Out.keep();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 return false;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 bool BugDriver::writeProgramToFile(const std::string &Filename, int FD,
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
64 const Module &M) const {
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
65 ToolOutputFile Out(Filename, FD);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 return writeProgramToFileAux(Out, M);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
69 bool BugDriver::writeProgramToFile(int FD, const Module &M) const {
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
70 raw_fd_ostream OS(FD, /*shouldClose*/ false);
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
71 WriteBitcodeToFile(M, OS, PreserveBitcodeUseListOrder);
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
72 OS.flush();
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
73 if (!OS.has_error())
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
74 return false;
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
75 OS.clear_error();
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
76 return true;
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
77 }
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
78
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 bool BugDriver::writeProgramToFile(const std::string &Filename,
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
80 const Module &M) const {
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
81 std::error_code EC;
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
82 ToolOutputFile Out(Filename, EC, sys::fs::OF_None);
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
83 if (!EC)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 return writeProgramToFileAux(Out, M);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
88 /// This function is used to output the current Program to a file named
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
89 /// "bugpoint-ID.bc".
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
90 void BugDriver::EmitProgressBitcode(const Module &M, const std::string &ID,
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
91 bool NoFlyer) const {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 // Output the input to the current pass to a bitcode file, emit a message
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 // telling the user how to reproduce it: opt -foo blah.bc
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 std::string Filename = OutputPrefix + "-" + ID + ".bc";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 if (writeProgramToFile(Filename, M)) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
97 errs() << "Error opening file '" << Filename << "' for writing!\n";
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 return;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 outs() << "Emitted bitcode to '" << Filename << "'\n";
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
102 if (NoFlyer || PassesToRun.empty())
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
103 return;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 outs() << "\n*** You can reproduce the problem with: ";
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
105 if (UseValgrind)
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
106 outs() << "valgrind ";
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 outs() << "opt " << Filename;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 outs() << " -load " << PluginLoader::getPlugin(i);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 outs() << " " << getPassesString(PassesToRun) << "\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
114 cl::opt<bool> SilencePasses(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
115 "silence-passes",
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
116 cl::desc("Suppress output of running passes (both stdout and stderr)"));
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 static cl::list<std::string> OptArgs("opt-args", cl::Positional,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 cl::desc("<opt arguments>..."),
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 cl::ZeroOrMore, cl::PositionalEatsArgs);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
121
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 /// runPasses - Run the specified passes on Program, outputting a bitcode file
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 /// and writing the filename into OutputFile if successful. If the
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 /// optimizations fail for some reason (optimizer crashes), return true,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 /// otherwise return false. If DeleteOutput is set to true, the bitcode is
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 /// deleted on success, and the filename string is undefined. This prints to
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 /// outs() a single line message indicating whether compilation was successful
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 /// or failed.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 ///
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
130 bool BugDriver::runPasses(Module &Program,
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 const std::vector<std::string> &Passes,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 std::string &OutputFilename, bool DeleteOutput,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 bool Quiet, unsigned NumExtraArgs,
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
134 const char *const *ExtraArgs) const {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 // setup the output file name
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 outs().flush();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 SmallString<128> UniqueFilename;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
138 std::error_code EC = sys::fs::createUniqueFile(
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 OutputPrefix + "-output-%%%%%%%.bc", UniqueFilename);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 if (EC) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
141 errs() << getToolName()
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
142 << ": Error making unique filename: " << EC.message() << "\n";
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 return 1;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 OutputFilename = UniqueFilename.str();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 // set up the input file name
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
148 Expected<sys::fs::TempFile> Temp =
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
149 sys::fs::TempFile::create(OutputPrefix + "-input-%%%%%%%.bc");
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
150 if (!Temp) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
151 errs() << getToolName()
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
152 << ": Error making unique filename: " << toString(Temp.takeError())
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
153 << "\n";
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 return 1;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 }
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
156 DiscardTemp Discard{*Temp};
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
157 raw_fd_ostream OS(Temp->FD, /*shouldClose*/ false);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
159 WriteBitcodeToFile(Program, OS, PreserveBitcodeUseListOrder);
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
160 OS.flush();
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
161 if (OS.has_error()) {
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
162 errs() << "Error writing bitcode file: " << Temp->TmpName << "\n";
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
163 OS.clear_error();
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 return 1;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
167 std::string tool = OptCmd;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
168 if (OptCmd.empty()) {
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
169 if (ErrorOr<std::string> Path =
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
170 FindProgramByName("opt", getToolName(), &OutputPrefix))
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
171 tool = *Path;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
172 else
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
173 errs() << Path.getError().message() << "\n";
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
174 }
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 if (tool.empty()) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 errs() << "Cannot find `opt' in PATH!\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 return 1;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 }
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
179 if (!sys::fs::exists(tool)) {
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
180 errs() << "Specified `opt' binary does not exist: " << tool << "\n";
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
181 return 1;
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
182 }
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
183
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
184 std::string Prog;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
185 if (UseValgrind) {
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
186 if (ErrorOr<std::string> Path = sys::findProgramByName("valgrind"))
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
187 Prog = *Path;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
188 else
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
189 errs() << Path.getError().message() << "\n";
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
190 } else
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
191 Prog = tool;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
192 if (Prog.empty()) {
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
193 errs() << "Cannot find `valgrind' in PATH!\n";
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
194 return 1;
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
195 }
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
196
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 // setup the child process' arguments
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
198 SmallVector<StringRef, 8> Args;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 if (UseValgrind) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 Args.push_back("valgrind");
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 Args.push_back("--error-exitcode=1");
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 Args.push_back("-q");
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
203 Args.push_back(tool);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 } else
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
205 Args.push_back(tool);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
206
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
207 for (unsigned i = 0, e = OptArgs.size(); i != e; ++i)
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
208 Args.push_back(OptArgs[i]);
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
209 Args.push_back("-disable-symbolication");
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 Args.push_back("-o");
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
211 Args.push_back(OutputFilename);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 std::vector<std::string> pass_args;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
214 pass_args.push_back(std::string("-load"));
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
215 pass_args.push_back(PluginLoader::getPlugin(i));
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 for (std::vector<std::string>::const_iterator I = Passes.begin(),
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
218 E = Passes.end();
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
219 I != E; ++I)
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
220 pass_args.push_back(std::string("-") + (*I));
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
222 E = pass_args.end();
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
223 I != E; ++I)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 Args.push_back(I->c_str());
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
225 Args.push_back(Temp->TmpName.c_str());
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 for (unsigned i = 0; i < NumExtraArgs; ++i)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 Args.push_back(*ExtraArgs);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
228
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
229 LLVM_DEBUG(errs() << "\nAbout to run:\t";
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
230 for (unsigned i = 0, e = Args.size() - 1; i != e; ++i) errs()
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
231 << " " << Args[i];
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
232 errs() << "\n";);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
233
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
234 Optional<StringRef> Redirects[3] = {None, None, None};
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
235 // Redirect stdout and stderr to nowhere if SilencePasses is given.
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
236 if (SilencePasses) {
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
237 Redirects[1] = "";
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
238 Redirects[2] = "";
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
239 }
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
240
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 std::string ErrMsg;
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
242 int result = sys::ExecuteAndWait(Prog, Args, None, Redirects, Timeout,
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 134
diff changeset
243 MemoryLimit, &ErrMsg);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
244
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 // If we are supposed to delete the bitcode file or if the passes crashed,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 // remove it now. This may fail if the file was never created, but that's ok.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
247 if (DeleteOutput || result != 0)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 sys::fs::remove(OutputFilename);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
249
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 if (!Quiet) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 if (result == 0)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 outs() << "Success!\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 else if (result > 0)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 outs() << "Exited with error code '" << result << "'\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
255 else if (result < 0) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 if (result == -1)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 outs() << "Execute failed: " << ErrMsg << "\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 else
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 outs() << "Crashed: " << ErrMsg << "\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 if (result & 0x01000000)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
262 outs() << "Dumped core\n";
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
264
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 // Was the child successful?
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 return result != 0;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
268
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
269 std::unique_ptr<Module>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
270 BugDriver::runPassesOn(Module *M, const std::vector<std::string> &Passes,
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
271 unsigned NumExtraArgs, const char *const *ExtraArgs) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 std::string BitcodeResult;
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
273 if (runPasses(*M, Passes, BitcodeResult, false /*delete*/, true /*quiet*/,
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
274 NumExtraArgs, ExtraArgs)) {
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
275 return nullptr;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
276 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
277
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
278 std::unique_ptr<Module> Ret = parseInputFile(BitcodeResult, Context);
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
279 if (!Ret) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
280 errs() << getToolName() << ": Error reading bitcode file '" << BitcodeResult
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
281 << "'!\n";
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 exit(1);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
283 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
284 sys::fs::remove(BitcodeResult);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
285 return Ret;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 }