blob: 449aadd62f2d56e4e39b5401b25bb2f7372660ee [file] [log] [blame]
Misha Brukman50733362003-07-24 18:17:43 +00001//===- CodeGeneratorBug.cpp - Debug code generation bugs ------------------===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Misha Brukman50733362003-07-24 18:17:43 +00009//
10// This file implements program code generation debugging support.
11//
12//===----------------------------------------------------------------------===//
13
14#include "BugDriver.h"
Misha Brukman50733362003-07-24 18:17:43 +000015#include "ListReducer.h"
Misha Brukman91eabc12003-07-28 19:16:14 +000016#include "llvm/Constants.h"
17#include "llvm/DerivedTypes.h"
18#include "llvm/GlobalValue.h"
19#include "llvm/iMemory.h"
20#include "llvm/iTerminators.h"
21#include "llvm/iOther.h"
Misha Brukman50733362003-07-24 18:17:43 +000022#include "llvm/Module.h"
Misha Brukman91eabc12003-07-28 19:16:14 +000023#include "llvm/Pass.h"
24#include "llvm/Analysis/Verifier.h"
Misha Brukmanc1e39ee2003-07-28 21:07:39 +000025#include "llvm/Support/Mangler.h"
Misha Brukman91eabc12003-07-28 19:16:14 +000026#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Misha Brukman50733362003-07-24 18:17:43 +000027#include "llvm/Transforms/Utils/Cloning.h"
28#include "llvm/Transforms/Utils/Linker.h"
Misha Brukmanbe6bf562003-07-30 20:15:56 +000029#include "Support/CommandLine.h"
Chris Lattnerc648dab2003-08-01 22:13:59 +000030#include "Support/Debug.h"
Misha Brukman50733362003-07-24 18:17:43 +000031#include "Support/StringExtras.h"
Misha Brukman3d9cafa2003-08-07 21:42:28 +000032#include "Support/FileUtilities.h"
Misha Brukman50733362003-07-24 18:17:43 +000033#include <algorithm>
34#include <set>
Chris Lattnerfa761832004-01-14 03:38:37 +000035using namespace llvm;
Misha Brukman50733362003-07-24 18:17:43 +000036
Brian Gaeked0fde302003-11-11 22:41:34 +000037namespace llvm {
Chris Lattnerfa761832004-01-14 03:38:37 +000038 extern cl::list<std::string> InputArgv;
Brian Gaeked0fde302003-11-11 22:41:34 +000039
Chris Lattnerfa761832004-01-14 03:38:37 +000040 class ReduceMisCodegenFunctions : public ListReducer<Function*> {
41 BugDriver &BD;
42 public:
43 ReduceMisCodegenFunctions(BugDriver &bd) : BD(bd) {}
44
45 virtual TestResult doTest(std::vector<Function*> &Prefix,
46 std::vector<Function*> &Suffix) {
47 if (!Prefix.empty() && TestFuncs(Prefix))
48 return KeepPrefix;
49 if (!Suffix.empty() && TestFuncs(Suffix))
50 return KeepSuffix;
51 return NoFailure;
52 }
53
54 bool TestFuncs(const std::vector<Function*> &CodegenTest,
55 bool KeepFiles = false);
56 };
57}
Misha Brukman50733362003-07-24 18:17:43 +000058
Misha Brukman91eabc12003-07-28 19:16:14 +000059bool ReduceMisCodegenFunctions::TestFuncs(const std::vector<Function*> &Funcs,
Chris Lattner769f1fe2003-10-14 21:59:36 +000060 bool KeepFiles) {
Misha Brukmanbe6bf562003-07-30 20:15:56 +000061 std::cout << "Testing functions: ";
62 BD.PrintFunctionList(Funcs);
63 std::cout << "\t";
Misha Brukman91eabc12003-07-28 19:16:14 +000064
Misha Brukman50733362003-07-24 18:17:43 +000065 // Clone the module for the two halves of the program we want.
Chris Lattnerbe21ca52004-03-14 19:27:19 +000066 Module *SafeModule = CloneModule(BD.getProgram());
Misha Brukman50733362003-07-24 18:17:43 +000067
Chris Lattnerbe21ca52004-03-14 19:27:19 +000068 // The JIT must extract the 'main' function.
69 std::vector<Function*> RealFuncs(Funcs);
70 if (BD.isExecutingJIT()) {
71 if (Function *F = BD.Program->getMainFunction())
72 RealFuncs.push_back(F);
Misha Brukman50733362003-07-24 18:17:43 +000073 }
Chris Lattnerbe21ca52004-03-14 19:27:19 +000074 Module *TestModule = SplitFunctionsOutOfModule(SafeModule, RealFuncs);
Misha Brukman91eabc12003-07-28 19:16:14 +000075
76 // This is only applicable if we are debugging the JIT:
77 // Find all external functions in the Safe modules that are actually used
78 // (called or taken address of), and make them call the JIT wrapper instead
79 if (BD.isExecutingJIT()) {
80 // Must delete `main' from Safe module if it has it
Misha Brukmanc1e39ee2003-07-28 21:07:39 +000081 Function *safeMain = SafeModule->getNamedFunction("main");
Misha Brukmande9720f2003-07-29 16:02:28 +000082 assert(safeMain && "`main' function not found in safe module!");
Misha Brukmanc1e39ee2003-07-28 21:07:39 +000083 DeleteFunctionBody(safeMain);
Misha Brukman91eabc12003-07-28 19:16:14 +000084
85 // Add an external function "getPointerToNamedFunction" that JIT provides
86 // Prototype: void *getPointerToNamedFunction(const char* Name)
87 std::vector<const Type*> Params;
88 Params.push_back(PointerType::get(Type::SByteTy)); // std::string&
89 FunctionType *resolverTy = FunctionType::get(PointerType::get(Type::VoidTy),
90 Params, false /* isVarArg */);
Misha Brukman91eabc12003-07-28 19:16:14 +000091 Function *resolverFunc = new Function(resolverTy,
92 GlobalValue::ExternalLinkage,
Misha Brukmanc1e39ee2003-07-28 21:07:39 +000093 "getPointerToNamedFunction",
Misha Brukman91eabc12003-07-28 19:16:14 +000094 SafeModule);
95
96 // Use the function we just added to get addresses of functions we need
97 // Iterate over the global declarations in the Safe module
98 for (Module::iterator F=SafeModule->begin(),E=SafeModule->end(); F!=E; ++F){
Chris Lattner9fc2adc2003-10-19 23:32:50 +000099 if (F->isExternal() && !F->use_empty() && &*F != resolverFunc &&
100 F->getIntrinsicID() == 0 /* ignore intrinsics */ &&
101 // Don't forward functions which are external in the test module too.
102 !TestModule->getNamedFunction(F->getName())->isExternal()) {
Misha Brukman91eabc12003-07-28 19:16:14 +0000103 // If it has a non-zero use list,
104 // 1. Add a string constant with its name to the global file
105 // The correct type is `const [ NUM x sbyte ]' where NUM is length of
106 // function name + 1
107 const std::string &Name = F->getName();
108 GlobalVariable *funcName =
109 new GlobalVariable(ArrayType::get(Type::SByteTy, Name.length()+1),
110 true /* isConstant */,
111 GlobalValue::InternalLinkage,
112 ConstantArray::get(Name),
113 Name + "_name",
114 SafeModule);
115
116 // 2. Use `GetElementPtr *funcName, 0, 0' to convert the string to an
117 // sbyte* so it matches the signature of the resolver function.
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000118 std::vector<Constant*> GEPargs(2, Constant::getNullValue(Type::LongTy));
Misha Brukman91eabc12003-07-28 19:16:14 +0000119
120 // 3. Replace all uses of `func' with calls to resolver by:
121 // (a) Iterating through the list of uses of this function
122 // (b) Insert a cast instruction in front of each use
123 // (c) Replace use of old call with new call
124
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000125 // GetElementPtr *funcName, ulong 0, ulong 0
126 Value *GEP =
127 ConstantExpr::getGetElementPtr(ConstantPointerRef::get(funcName),
128 GEPargs);
129 std::vector<Value*> ResolverArgs;
130 ResolverArgs.push_back(GEP);
Misha Brukman91eabc12003-07-28 19:16:14 +0000131
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000132 // Insert code at the beginning of the function
Chris Lattnerb656c202003-10-19 21:48:27 +0000133 while (!F->use_empty())
134 if (Instruction *Inst = dyn_cast<Instruction>(F->use_back())) {
Misha Brukman91eabc12003-07-28 19:16:14 +0000135 // call resolver(GetElementPtr...)
136 CallInst *resolve = new CallInst(resolverFunc, ResolverArgs,
137 "resolver", Inst);
138 // cast the result from the resolver to correctly-typed function
139 CastInst *castResolver =
140 new CastInst(resolve, PointerType::get(F->getFunctionType()),
Misha Brukmanbe6bf562003-07-30 20:15:56 +0000141 "resolverCast", Inst);
Misha Brukman91eabc12003-07-28 19:16:14 +0000142 // actually use the resolved function
143 Inst->replaceUsesOfWith(F, castResolver);
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000144 } else {
Brian Gaeke744b5fb2004-03-12 21:37:46 +0000145 // FIXME: need to take care of cases where a function is used by
146 // something other than an instruction; e.g., global variable
147 // initializers and constant expressions.
148 std::cerr << "UNSUPPORTED: Non-instruction is using an external "
149 << "function, " << F->getName() << "().\n";
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000150 abort();
Misha Brukman91eabc12003-07-28 19:16:14 +0000151 }
Misha Brukman91eabc12003-07-28 19:16:14 +0000152 }
153 }
154 }
155
Chris Lattner10b9fa82003-08-01 16:14:33 +0000156 if (verifyModule(*SafeModule) || verifyModule(*TestModule)) {
157 std::cerr << "Bugpoint has a bug, an corrupted a module!!\n";
158 abort();
159 }
160
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000161 DEBUG(std::cerr << "Safe module:\n";
162 typedef Module::iterator MI;
163 typedef Module::giterator MGI;
Misha Brukman91eabc12003-07-28 19:16:14 +0000164
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000165 for (MI I = SafeModule->begin(), E = SafeModule->end(); I != E; ++I)
166 if (!I->isExternal()) std::cerr << "\t" << I->getName() << "\n";
167 for (MGI I = SafeModule->gbegin(), E = SafeModule->gend(); I!=E; ++I)
168 if (!I->isExternal()) std::cerr << "\t" << I->getName() << "\n";
169
170 std::cerr << "Test module:\n";
171 for (MI I = TestModule->begin(), E = TestModule->end(); I != E; ++I)
172 if (!I->isExternal()) std::cerr << "\t" << I->getName() << "\n";
173 for (MGI I=TestModule->gbegin(),E = TestModule->gend(); I!= E; ++I)
174 if (!I->isExternal()) std::cerr << "\t" << I->getName() << "\n";
175 );
Misha Brukman91eabc12003-07-28 19:16:14 +0000176
Misha Brukman50733362003-07-24 18:17:43 +0000177 // Write out the bytecode to be sent to CBE
Misha Brukman91eabc12003-07-28 19:16:14 +0000178 std::string SafeModuleBC = getUniqueFilename("bugpoint.safe.bc");
Chris Lattner10b9fa82003-08-01 16:14:33 +0000179
Misha Brukman50733362003-07-24 18:17:43 +0000180 if (BD.writeProgramToFile(SafeModuleBC, SafeModule)) {
181 std::cerr << "Error writing bytecode to `" << SafeModuleBC << "'\nExiting.";
182 exit(1);
183 }
184
Misha Brukman50733362003-07-24 18:17:43 +0000185 // Remove all functions from the Test module EXCEPT for the ones specified in
186 // Funcs. We know which ones these are because they are non-external in
187 // ToOptimize, but external in ToNotOptimize.
188 //
189 for (Module::iterator I = TestModule->begin(), E = TestModule->end();I!=E;++I)
190 if (!I->isExternal()) {
191 Function *TNOF = SafeModule->getFunction(I->getName(),
192 I->getFunctionType());
193 assert(TNOF && "Function doesn't exist in ToNotOptimize module??");
194 if (!TNOF->isExternal())
195 DeleteFunctionBody(I);
196 }
197
Misha Brukman91eabc12003-07-28 19:16:14 +0000198 std::string TestModuleBC = getUniqueFilename("bugpoint.test.bc");
199 if (verifyModule(*TestModule)) {
200 std::cerr << "Bytecode file corrupted!\n";
201 exit(1);
202 }
Chris Lattner15d11272003-08-03 22:29:43 +0000203
204 // Clean up the modules, removing extra cruft that we don't need anymore...
Chris Lattnerfcb6ec02003-11-05 21:45:35 +0000205 SafeModule = BD.performFinalCleanups(SafeModule);
206 TestModule = BD.performFinalCleanups(TestModule);
Chris Lattner15d11272003-08-03 22:29:43 +0000207
Misha Brukman50733362003-07-24 18:17:43 +0000208 if (BD.writeProgramToFile(TestModuleBC, TestModule)) {
209 std::cerr << "Error writing bytecode to `" << SafeModuleBC << "'\nExiting.";
210 exit(1);
211 }
212
Chris Lattner15d11272003-08-03 22:29:43 +0000213 // Make a shared library
Chris Lattner769f1fe2003-10-14 21:59:36 +0000214 std::string SharedObject = BD.compileSharedObject(SafeModuleBC);
Chris Lattner15d11272003-08-03 22:29:43 +0000215
Misha Brukman91eabc12003-07-28 19:16:14 +0000216 delete SafeModule;
217 delete TestModule;
218
Misha Brukman50733362003-07-24 18:17:43 +0000219 // Run the code generator on the `Test' code, loading the shared library.
220 // The function returns whether or not the new output differs from reference.
Chris Lattner6730c812003-08-04 00:56:27 +0000221 int Result = BD.diffProgram(TestModuleBC, SharedObject, false);
222
223 if (Result)
Misha Brukman11c65922003-08-07 21:05:13 +0000224 std::cerr << ": still failing!\n";
Chris Lattner6730c812003-08-04 00:56:27 +0000225 else
226 std::cerr << ": didn't fail.\n";
227
Misha Brukman91eabc12003-07-28 19:16:14 +0000228 if (KeepFiles) {
Chris Lattner6730c812003-08-04 00:56:27 +0000229 std::cout << "You can reproduce the problem with the command line: \n";
230 if (BD.isExecutingJIT()) {
231 std::cout << " lli -load " << SharedObject << " " << TestModuleBC;
232 } else {
Chris Lattner6730c812003-08-04 00:56:27 +0000233 std::cout << " llc " << TestModuleBC << " -o " << TestModuleBC << ".s\n";
234 std::cout << " gcc " << SharedObject << " " << TestModuleBC
Chris Lattner365f09a2003-10-18 21:55:47 +0000235 << ".s -o " << TestModuleBC << ".exe -Wl,-R.\n";
Chris Lattner6730c812003-08-04 00:56:27 +0000236 std::cout << " " << TestModuleBC << ".exe";
237 }
Misha Brukmanbe6bf562003-07-30 20:15:56 +0000238 for (unsigned i=0, e = InputArgv.size(); i != e; ++i)
239 std::cout << " " << InputArgv[i];
240 std::cout << "\n";
Chris Lattnerc4601bf2004-02-17 06:40:51 +0000241 std::cout << "The shared object was created with:\n llc -march=c "
Chris Lattnere533cef2003-08-17 22:08:25 +0000242 << SafeModuleBC << " -o temporary.c\n"
Chris Lattner57c69412003-08-17 23:38:53 +0000243 << " gcc -xc temporary.c -O2 -o " << SharedObject
244#if defined(sparc) || defined(__sparc__) || defined(__sparcv9)
Chris Lattner182a21e2003-10-14 20:55:56 +0000245 << " -G" // Compile a shared library, `-G' for Sparc
Chris Lattner8deb5812003-10-14 21:01:51 +0000246#else
247 << " -shared" // `-shared' for Linux/X86, maybe others
Chris Lattner57c69412003-08-17 23:38:53 +0000248#endif
Chris Lattnerb7154972003-10-18 21:08:57 +0000249 << " -fno-strict-aliasing\n";
Misha Brukman91eabc12003-07-28 19:16:14 +0000250 } else {
251 removeFile(TestModuleBC);
252 removeFile(SafeModuleBC);
253 removeFile(SharedObject);
254 }
Misha Brukmana259c9b2003-07-24 21:59:10 +0000255 return Result;
Misha Brukman50733362003-07-24 18:17:43 +0000256}
257
258namespace {
Misha Brukmana259c9b2003-07-24 21:59:10 +0000259 struct Disambiguator {
Misha Brukman91eabc12003-07-28 19:16:14 +0000260 std::set<std::string> SymbolNames;
261 std::set<GlobalValue*> Symbols;
Misha Brukman50733362003-07-24 18:17:43 +0000262 uint64_t uniqueCounter;
263 bool externalOnly;
Misha Brukmana259c9b2003-07-24 21:59:10 +0000264 public:
Misha Brukman50733362003-07-24 18:17:43 +0000265 Disambiguator() : uniqueCounter(0), externalOnly(true) {}
266 void setExternalOnly(bool value) { externalOnly = value; }
Misha Brukmana259c9b2003-07-24 21:59:10 +0000267 void add(GlobalValue &V) {
Misha Brukman91eabc12003-07-28 19:16:14 +0000268 // If we're only processing externals and this isn't external, bail
Misha Brukman50733362003-07-24 18:17:43 +0000269 if (externalOnly && !V.isExternal()) return;
Misha Brukman91eabc12003-07-28 19:16:14 +0000270 // If we're already processed this symbol, don't add it again
271 if (Symbols.count(&V) != 0) return;
Misha Brukman3b624622003-07-30 21:45:20 +0000272 // Ignore intrinsic functions
273 if (Function *F = dyn_cast<Function>(&V))
274 if (F->getIntrinsicID() != 0)
275 return;
Misha Brukman50733362003-07-24 18:17:43 +0000276
Misha Brukman91eabc12003-07-28 19:16:14 +0000277 std::string SymName = V.getName();
278
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000279 // Use the Mangler facility to make symbol names that will be valid in
280 // shared objects.
281 SymName = Mangler::makeNameProper(SymName);
282 V.setName(SymName);
Misha Brukman91eabc12003-07-28 19:16:14 +0000283
284 if (SymbolNames.count(SymName) == 0) {
285 DEBUG(std::cerr << "Disambiguator: adding " << SymName
Misha Brukman50733362003-07-24 18:17:43 +0000286 << ", no conflicts.\n");
Misha Brukman91eabc12003-07-28 19:16:14 +0000287 SymbolNames.insert(SymName);
Misha Brukman50733362003-07-24 18:17:43 +0000288 } else {
289 // Mangle name before adding
290 std::string newName;
291 do {
Misha Brukman91eabc12003-07-28 19:16:14 +0000292 newName = SymName + "_" + utostr(uniqueCounter);
Misha Brukman50733362003-07-24 18:17:43 +0000293 if (SymbolNames.count(newName) == 0) break;
294 else ++uniqueCounter;
295 } while (1);
296 //while (SymbolNames.count(V->getName()+utostr(uniqueCounter++))==0);
Misha Brukman91eabc12003-07-28 19:16:14 +0000297 DEBUG(std::cerr << "Disambiguator: conflict: " << SymName
Misha Brukman50733362003-07-24 18:17:43 +0000298 << ", adding: " << newName << "\n");
299 V.setName(newName);
300 SymbolNames.insert(newName);
Misha Brukman50733362003-07-24 18:17:43 +0000301 }
Misha Brukman91eabc12003-07-28 19:16:14 +0000302 Symbols.insert(&V);
Misha Brukman50733362003-07-24 18:17:43 +0000303 }
304 };
305}
306
Chris Lattnerfa761832004-01-14 03:38:37 +0000307static void DisambiguateGlobalSymbols(Module *M) {
Misha Brukman50733362003-07-24 18:17:43 +0000308 // First, try not to cause collisions by minimizing chances of renaming an
309 // already-external symbol, so take in external globals and functions as-is.
Misha Brukmana259c9b2003-07-24 21:59:10 +0000310 Disambiguator D;
Misha Brukman91eabc12003-07-28 19:16:14 +0000311 DEBUG(std::cerr << "Disambiguating globals (external-only)\n");
Misha Brukmana259c9b2003-07-24 21:59:10 +0000312 for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) D.add(*I);
Misha Brukman91eabc12003-07-28 19:16:14 +0000313 DEBUG(std::cerr << "Disambiguating functions (external-only)\n");
Misha Brukmana259c9b2003-07-24 21:59:10 +0000314 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) D.add(*I);
Misha Brukman50733362003-07-24 18:17:43 +0000315
316 // Now just rename functions and globals as necessary, keeping what's already
317 // in the set unique.
318 D.setExternalOnly(false);
Misha Brukman91eabc12003-07-28 19:16:14 +0000319 DEBUG(std::cerr << "Disambiguating globals\n");
Misha Brukmana259c9b2003-07-24 21:59:10 +0000320 for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) D.add(*I);
Misha Brukman91eabc12003-07-28 19:16:14 +0000321 DEBUG(std::cerr << "Disambiguating globals\n");
Misha Brukmana259c9b2003-07-24 21:59:10 +0000322 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) D.add(*I);
Misha Brukman50733362003-07-24 18:17:43 +0000323}
324
325
326bool BugDriver::debugCodeGenerator() {
Chris Lattnerbdc97842004-02-20 05:58:58 +0000327 if ((void*)cbe == (void*)Interpreter) {
Chris Lattner5110bed2004-02-20 06:12:58 +0000328 std::string Result = executeProgramWithCBE("bugpoint.cbe.out");
329 std::cout << "\n*** The C backend cannot match the reference diff, but it "
330 << "is used as the 'known good'\n code generator, so I can't"
331 << " debug it. Perhaps you have a front-end problem?\n As a"
332 << " sanity check, I left the result of executing the program "
333 << "with the C backend\n in this file for you: '"
334 << Result << "'.\n";
Chris Lattnerbdc97842004-02-20 05:58:58 +0000335 return true;
336 }
337
Misha Brukman50733362003-07-24 18:17:43 +0000338 // See if we can pin down which functions are being miscompiled...
Chris Lattnerbdc97842004-02-20 05:58:58 +0000339 // First, build a list of all of the non-external functions in the program.
Misha Brukman50733362003-07-24 18:17:43 +0000340 std::vector<Function*> MisCodegenFunctions;
341 for (Module::iterator I = Program->begin(), E = Program->end(); I != E; ++I)
342 if (!I->isExternal())
343 MisCodegenFunctions.push_back(I);
344
Misha Brukman91eabc12003-07-28 19:16:14 +0000345 // If we are executing the JIT, we *must* keep the function `main' in the
346 // module that is passed in, and not the shared library. However, we still
347 // want to be able to debug the `main' function alone. Thus, we create a new
348 // function `main' which just calls the old one.
349 if (isExecutingJIT()) {
350 // Get the `main' function
351 Function *oldMain = Program->getNamedFunction("main");
Misha Brukmande9720f2003-07-29 16:02:28 +0000352 assert(oldMain && "`main' function not found in program!");
Misha Brukman91eabc12003-07-28 19:16:14 +0000353 // Rename it
Misha Brukman11c65922003-08-07 21:05:13 +0000354 oldMain->setName("llvm_old_main");
Misha Brukman91eabc12003-07-28 19:16:14 +0000355 // Create a NEW `main' function with same type
356 Function *newMain = new Function(oldMain->getFunctionType(),
Misha Brukmanc1e39ee2003-07-28 21:07:39 +0000357 GlobalValue::ExternalLinkage,
Misha Brukman91eabc12003-07-28 19:16:14 +0000358 "main", Program);
359 // Call the old main function and return its result
360 BasicBlock *BB = new BasicBlock("entry", newMain);
361 std::vector<Value*> args;
Chris Lattner57e5a702003-08-17 22:14:20 +0000362 for (Function::aiterator I = newMain->abegin(), E = newMain->aend(),
363 OI = oldMain->abegin(); I != E; ++I, ++OI) {
364 I->setName(OI->getName()); // Copy argument names from oldMain
Misha Brukman91eabc12003-07-28 19:16:14 +0000365 args.push_back(I);
Chris Lattner57e5a702003-08-17 22:14:20 +0000366 }
Misha Brukman91eabc12003-07-28 19:16:14 +0000367 CallInst *call = new CallInst(oldMain, args);
368 BB->getInstList().push_back(call);
369
370 // if the type of old function wasn't void, return value of call
Misha Brukman91eabc12003-07-28 19:16:14 +0000371 if (oldMain->getReturnType() != Type::VoidTy) {
Chris Lattner89eca902003-11-22 02:10:26 +0000372 new ReturnInst(call, BB);
Misha Brukman91eabc12003-07-28 19:16:14 +0000373 } else {
Chris Lattner89eca902003-11-22 02:10:26 +0000374 new ReturnInst(0, BB);
Misha Brukman91eabc12003-07-28 19:16:14 +0000375 }
Misha Brukman91eabc12003-07-28 19:16:14 +0000376 }
377
Misha Brukmande9720f2003-07-29 16:02:28 +0000378 DisambiguateGlobalSymbols(Program);
379
Misha Brukman50733362003-07-24 18:17:43 +0000380 // Do the reduction...
Misha Brukmanbe6bf562003-07-30 20:15:56 +0000381 if (!ReduceMisCodegenFunctions(*this).reduceList(MisCodegenFunctions)) {
Chris Lattner6730c812003-08-04 00:56:27 +0000382 std::cerr << "*** Execution matches reference output! "
383 << "bugpoint can't help you with your problem!\n";
Misha Brukmanbe6bf562003-07-30 20:15:56 +0000384 return false;
385 }
Misha Brukman50733362003-07-24 18:17:43 +0000386
387 std::cout << "\n*** The following functions are being miscompiled: ";
388 PrintFunctionList(MisCodegenFunctions);
389 std::cout << "\n";
390
391 // Output a bunch of bytecode files for the user...
Misha Brukman91eabc12003-07-28 19:16:14 +0000392 ReduceMisCodegenFunctions(*this).TestFuncs(MisCodegenFunctions, true);
Misha Brukman50733362003-07-24 18:17:43 +0000393
394 return false;
395}