blob: 6e584bdcc31195e5eee10609b7c1bf4c749aceb8 [file] [log] [blame]
Chris Lattner2eacf262004-01-05 05:25:10 +00001//===-- ProgramInfo.cpp - Compute and cache info about a program ----------===//
Misha Brukmanedf128a2005-04-21 22:36:52 +00002//
Chris Lattner2eacf262004-01-05 05:25:10 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanedf128a2005-04-21 22:36:52 +00007//
Chris Lattner2eacf262004-01-05 05:25:10 +00008//===----------------------------------------------------------------------===//
Misha Brukmanedf128a2005-04-21 22:36:52 +00009//
Chris Lattner2eacf262004-01-05 05:25:10 +000010// This file implements the ProgramInfo and related classes, by sorting through
11// the loaded Module.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Debugger/ProgramInfo.h"
16#include "llvm/Constants.h"
Evan Cheng0ff39b32008-06-30 07:31:25 +000017#include "llvm/Analysis/ValueTracking.h"
Chris Lattner2eacf262004-01-05 05:25:10 +000018#include "llvm/DerivedTypes.h"
19#include "llvm/Intrinsics.h"
Jim Laskey43970fe2006-03-23 18:06:46 +000020#include "llvm/IntrinsicInst.h"
Chris Lattner4ab78e02004-07-29 17:15:38 +000021#include "llvm/Instructions.h"
Chris Lattner2eacf262004-01-05 05:25:10 +000022#include "llvm/Module.h"
23#include "llvm/Debugger/SourceFile.h"
24#include "llvm/Debugger/SourceLanguage.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000025#include "llvm/Support/SlowOperationInformer.h"
Chris Lattner458194d2008-08-23 21:34:34 +000026#include "llvm/Support/Streams.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000027#include "llvm/ADT/STLExtras.h"
Chris Lattner2eacf262004-01-05 05:25:10 +000028using namespace llvm;
29
30/// getGlobalVariablesUsing - Return all of the global variables which have the
31/// specified value in their initializer somewhere.
32static void getGlobalVariablesUsing(Value *V,
33 std::vector<GlobalVariable*> &Found) {
34 for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I) {
35 if (GlobalVariable *GV = dyn_cast<GlobalVariable>(*I))
36 Found.push_back(GV);
37 else if (Constant *C = dyn_cast<Constant>(*I))
38 getGlobalVariablesUsing(C, Found);
39 }
40}
41
Chris Lattner2eacf262004-01-05 05:25:10 +000042/// getNextStopPoint - Follow the def-use chains of the specified LLVM value,
43/// traversing the use chains until we get to a stoppoint. When we do, return
44/// the source location of the stoppoint. If we don't find a stoppoint, return
45/// null.
46static const GlobalVariable *getNextStopPoint(const Value *V, unsigned &LineNo,
47 unsigned &ColNo) {
48 // The use-def chains can fork. As such, we pick the lowest numbered one we
49 // find.
50 const GlobalVariable *LastDesc = 0;
51 unsigned LastLineNo = ~0;
52 unsigned LastColNo = ~0;
53
54 for (Value::use_const_iterator UI = V->use_begin(), E = V->use_end();
55 UI != E; ++UI) {
56 bool ShouldRecurse = true;
57 if (cast<Instruction>(*UI)->getOpcode() == Instruction::PHI) {
58 // Infinite loops == bad, ignore PHI nodes.
59 ShouldRecurse = false;
60 } else if (const CallInst *CI = dyn_cast<CallInst>(*UI)) {
Jim Laskey43970fe2006-03-23 18:06:46 +000061
Chris Lattner2eacf262004-01-05 05:25:10 +000062 // If we found a stop point, check to see if it is earlier than what we
63 // already have. If so, remember it.
Reid Spencer3ed469c2006-11-02 20:25:50 +000064 if (CI->getCalledFunction())
Jim Laskey43970fe2006-03-23 18:06:46 +000065 if (const DbgStopPointInst *SPI = dyn_cast<DbgStopPointInst>(CI)) {
66 unsigned CurLineNo = SPI->getLine();
67 unsigned CurColNo = SPI->getColumn();
Chris Lattner2eacf262004-01-05 05:25:10 +000068 const GlobalVariable *CurDesc = 0;
Jim Laskey43970fe2006-03-23 18:06:46 +000069 const Value *Op = SPI->getContext();
Misha Brukmanedf128a2005-04-21 22:36:52 +000070
Chris Lattner2eacf262004-01-05 05:25:10 +000071 if ((CurDesc = dyn_cast<GlobalVariable>(Op)) &&
72 (LineNo < LastLineNo ||
73 (LineNo == LastLineNo && ColNo < LastColNo))) {
74 LastDesc = CurDesc;
75 LastLineNo = CurLineNo;
Misha Brukmanedf128a2005-04-21 22:36:52 +000076 LastColNo = CurColNo;
Chris Lattner2eacf262004-01-05 05:25:10 +000077 }
78 ShouldRecurse = false;
79 }
Chris Lattner2eacf262004-01-05 05:25:10 +000080 }
81
82 // If this is not a phi node or a stopping point, recursively scan the users
83 // of this instruction to skip over region.begin's and the like.
84 if (ShouldRecurse) {
85 unsigned CurLineNo, CurColNo;
86 if (const GlobalVariable *GV = getNextStopPoint(*UI, CurLineNo,CurColNo)){
87 if (LineNo < LastLineNo || (LineNo == LastLineNo && ColNo < LastColNo)){
88 LastDesc = GV;
89 LastLineNo = CurLineNo;
Misha Brukmanedf128a2005-04-21 22:36:52 +000090 LastColNo = CurColNo;
Chris Lattner2eacf262004-01-05 05:25:10 +000091 }
92 }
93 }
94 }
Misha Brukmanedf128a2005-04-21 22:36:52 +000095
Chris Lattner2eacf262004-01-05 05:25:10 +000096 if (LastDesc) {
97 LineNo = LastLineNo != ~0U ? LastLineNo : 0;
98 ColNo = LastColNo != ~0U ? LastColNo : 0;
99 }
100 return LastDesc;
101}
102
103
104//===----------------------------------------------------------------------===//
105// SourceFileInfo implementation
106//
107
108SourceFileInfo::SourceFileInfo(const GlobalVariable *Desc,
109 const SourceLanguage &Lang)
110 : Language(&Lang), Descriptor(Desc) {
111 Version = 0;
112 SourceText = 0;
113
114 if (Desc && Desc->hasInitializer())
115 if (ConstantStruct *CS = dyn_cast<ConstantStruct>(Desc->getInitializer()))
116 if (CS->getNumOperands() > 4) {
Reid Spencerb83eb642006-10-20 07:07:24 +0000117 if (ConstantInt *CUI = dyn_cast<ConstantInt>(CS->getOperand(1)))
118 Version = CUI->getZExtValue();
Misha Brukmanedf128a2005-04-21 22:36:52 +0000119
Bill Wendling0582ae92009-03-13 04:39:26 +0000120 if (!GetConstantStringInfo(CS->getOperand(3), BaseName))
121 BaseName = "";
122 if (!GetConstantStringInfo(CS->getOperand(4), Directory))
123 Directory = "";
Chris Lattner2eacf262004-01-05 05:25:10 +0000124 }
125}
126
127SourceFileInfo::~SourceFileInfo() {
128 delete SourceText;
129}
130
131SourceFile &SourceFileInfo::getSourceText() const {
132 // FIXME: this should take into account the source search directories!
Reid Spencer663601c2004-12-13 02:59:15 +0000133 if (SourceText == 0) { // Read the file in if we haven't already.
134 sys::Path tmpPath;
135 if (!Directory.empty())
Reid Spencerdd04df02005-07-07 23:21:43 +0000136 tmpPath.set(Directory);
137 tmpPath.appendComponent(BaseName);
Reid Spencerc7f08322005-07-07 18:21:42 +0000138 if (tmpPath.canRead())
Reid Spencer663601c2004-12-13 02:59:15 +0000139 SourceText = new SourceFile(tmpPath.toString(), Descriptor);
Chris Lattner2eacf262004-01-05 05:25:10 +0000140 else
141 SourceText = new SourceFile(BaseName, Descriptor);
Reid Spencer663601c2004-12-13 02:59:15 +0000142 }
Chris Lattner2eacf262004-01-05 05:25:10 +0000143 return *SourceText;
144}
145
146
147//===----------------------------------------------------------------------===//
148// SourceFunctionInfo implementation
149//
150SourceFunctionInfo::SourceFunctionInfo(ProgramInfo &PI,
151 const GlobalVariable *Desc)
152 : Descriptor(Desc) {
153 LineNo = ColNo = 0;
154 if (Desc && Desc->hasInitializer())
155 if (ConstantStruct *CS = dyn_cast<ConstantStruct>(Desc->getInitializer()))
156 if (CS->getNumOperands() > 2) {
157 // Entry #1 is the file descriptor.
Misha Brukmanedf128a2005-04-21 22:36:52 +0000158 if (const GlobalVariable *GV =
Reid Spencer518310c2004-07-18 00:44:37 +0000159 dyn_cast<GlobalVariable>(CS->getOperand(1)))
160 SourceFile = &PI.getSourceFile(GV);
Chris Lattner2eacf262004-01-05 05:25:10 +0000161
162 // Entry #2 is the function name.
Bill Wendling0582ae92009-03-13 04:39:26 +0000163 if (!GetConstantStringInfo(CS->getOperand(2), Name))
164 Name = "";
Chris Lattner2eacf262004-01-05 05:25:10 +0000165 }
166}
167
168/// getSourceLocation - This method returns the location of the first stopping
169/// point in the function.
170void SourceFunctionInfo::getSourceLocation(unsigned &RetLineNo,
171 unsigned &RetColNo) const {
172 // If we haven't computed this yet...
173 if (!LineNo) {
174 // Look at all of the users of the function descriptor, looking for calls to
175 // %llvm.dbg.func.start.
176 for (Value::use_const_iterator UI = Descriptor->use_begin(),
177 E = Descriptor->use_end(); UI != E; ++UI)
178 if (const CallInst *CI = dyn_cast<CallInst>(*UI))
179 if (const Function *F = CI->getCalledFunction())
180 if (F->getIntrinsicID() == Intrinsic::dbg_func_start) {
181 // We found the start of the function. Check to see if there are
182 // any stop points on the use-list of the function start.
183 const GlobalVariable *SD = getNextStopPoint(CI, LineNo, ColNo);
184 if (SD) { // We found the first stop point!
185 // This is just a sanity check.
186 if (getSourceFile().getDescriptor() != SD)
Bill Wendlingbcd24982006-12-07 20:28:15 +0000187 cout << "WARNING: first line of function is not in the"
188 << " file that the function descriptor claims it is in.\n";
Chris Lattner2eacf262004-01-05 05:25:10 +0000189 break;
190 }
191 }
192 }
193 RetLineNo = LineNo; RetColNo = ColNo;
194}
195
196//===----------------------------------------------------------------------===//
197// ProgramInfo implementation
198//
199
Reid Spencer9d88d1a2004-12-13 17:01:53 +0000200ProgramInfo::ProgramInfo(Module *m) : M(m), ProgramTimeStamp(0,0) {
Chris Lattner2eacf262004-01-05 05:25:10 +0000201 assert(M && "Cannot create program information with a null module!");
Reid Spencere2812592007-04-08 20:10:14 +0000202 sys::PathWithStatus ModPath(M->getModuleIdentifier());
203 const sys::FileStatus *Stat = ModPath.getFileStatus();
Reid Spencer8475ec02007-03-29 19:05:44 +0000204 if (Stat)
205 ProgramTimeStamp = Stat->getTimestamp();
Chris Lattner2eacf262004-01-05 05:25:10 +0000206
207 SourceFilesIsComplete = false;
208 SourceFunctionsIsComplete = false;
209}
210
211ProgramInfo::~ProgramInfo() {
212 // Delete cached information about source program objects...
213 for (std::map<const GlobalVariable*, SourceFileInfo*>::iterator
214 I = SourceFiles.begin(), E = SourceFiles.end(); I != E; ++I)
215 delete I->second;
216 for (std::map<const GlobalVariable*, SourceFunctionInfo*>::iterator
217 I = SourceFunctions.begin(), E = SourceFunctions.end(); I != E; ++I)
218 delete I->second;
219
220 // Delete the source language caches.
221 for (unsigned i = 0, e = LanguageCaches.size(); i != e; ++i)
222 delete LanguageCaches[i].second;
223}
224
225
226//===----------------------------------------------------------------------===//
227// SourceFileInfo tracking...
228//
229
230/// getSourceFile - Return source file information for the specified source file
231/// descriptor object, adding it to the collection as needed. This method
232/// always succeeds (is unambiguous), and is always efficient.
233///
234const SourceFileInfo &
235ProgramInfo::getSourceFile(const GlobalVariable *Desc) {
236 SourceFileInfo *&Result = SourceFiles[Desc];
237 if (Result) return *Result;
238
239 // Figure out what language this source file comes from...
240 unsigned LangID = 0; // Zero is unknown language
241 if (Desc && Desc->hasInitializer())
242 if (ConstantStruct *CS = dyn_cast<ConstantStruct>(Desc->getInitializer()))
243 if (CS->getNumOperands() > 2)
Reid Spencerb83eb642006-10-20 07:07:24 +0000244 if (ConstantInt *CUI = dyn_cast<ConstantInt>(CS->getOperand(2)))
245 LangID = CUI->getZExtValue();
Chris Lattner2eacf262004-01-05 05:25:10 +0000246
247 const SourceLanguage &Lang = SourceLanguage::get(LangID);
248 SourceFileInfo *New = Lang.createSourceFileInfo(Desc, *this);
249
250 // FIXME: this should check to see if there is already a Filename/WorkingDir
251 // pair that matches this one. If so, we shouldn't create the duplicate!
252 //
253 SourceFileIndex.insert(std::make_pair(New->getBaseName(), New));
254 return *(Result = New);
255}
256
257
258/// getSourceFiles - Index all of the source files in the program and return
259/// a mapping of it. This information is lazily computed the first time
260/// that it is requested. Since this information can take a long time to
261/// compute, the user is given a chance to cancel it. If this occurs, an
262/// exception is thrown.
263const std::map<const GlobalVariable*, SourceFileInfo*> &
264ProgramInfo::getSourceFiles(bool RequiresCompleteMap) {
265 // If we have a fully populated map, or if the client doesn't need one, just
266 // return what we have.
267 if (SourceFilesIsComplete || !RequiresCompleteMap)
268 return SourceFiles;
269
270 // Ok, all of the source file descriptors (compile_unit in dwarf terms),
271 // should be on the use list of the llvm.dbg.translation_units global.
272 //
273 GlobalVariable *Units =
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000274 M->getGlobalVariable("llvm.dbg.translation_units",
275 StructType::get(M->getContext()));
Chris Lattner2eacf262004-01-05 05:25:10 +0000276 if (Units == 0)
277 throw "Program contains no debugging information!";
278
279 std::vector<GlobalVariable*> TranslationUnits;
280 getGlobalVariablesUsing(Units, TranslationUnits);
281
282 SlowOperationInformer SOI("building source files index");
283
284 // Loop over all of the translation units found, building the SourceFiles
285 // mapping.
286 for (unsigned i = 0, e = TranslationUnits.size(); i != e; ++i) {
287 getSourceFile(TranslationUnits[i]);
Chris Lattner148f4402006-07-06 22:34:06 +0000288 if (SOI.progress(i+1, e))
289 throw "While building source files index, operation cancelled.";
Chris Lattner2eacf262004-01-05 05:25:10 +0000290 }
291
292 // Ok, if we got this far, then we indexed the whole program.
293 SourceFilesIsComplete = true;
294 return SourceFiles;
295}
296
297/// getSourceFile - Look up the file with the specified name. If there is
298/// more than one match for the specified filename, prompt the user to pick
299/// one. If there is no source file that matches the specified name, throw
300/// an exception indicating that we can't find the file. Otherwise, return
301/// the file information for that file.
302const SourceFileInfo &ProgramInfo::getSourceFile(const std::string &Filename) {
303 std::multimap<std::string, SourceFileInfo*>::const_iterator Start, End;
304 getSourceFiles();
305 tie(Start, End) = SourceFileIndex.equal_range(Filename);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000306
Chris Lattner2eacf262004-01-05 05:25:10 +0000307 if (Start == End) throw "Could not find source file '" + Filename + "'!";
308 const SourceFileInfo &SFI = *Start->second;
309 ++Start;
310 if (Start == End) return SFI;
311
312 throw "FIXME: Multiple source files with the same name not implemented!";
313}
314
315
316//===----------------------------------------------------------------------===//
317// SourceFunctionInfo tracking...
318//
319
320
321/// getFunction - Return function information for the specified function
322/// descriptor object, adding it to the collection as needed. This method
323/// always succeeds (is unambiguous), and is always efficient.
324///
325const SourceFunctionInfo &
326ProgramInfo::getFunction(const GlobalVariable *Desc) {
327 SourceFunctionInfo *&Result = SourceFunctions[Desc];
328 if (Result) return *Result;
329
330 // Figure out what language this function comes from...
331 const GlobalVariable *SourceFileDesc = 0;
332 if (Desc && Desc->hasInitializer())
333 if (ConstantStruct *CS = dyn_cast<ConstantStruct>(Desc->getInitializer()))
334 if (CS->getNumOperands() > 0)
Reid Spencer518310c2004-07-18 00:44:37 +0000335 if (const GlobalVariable *GV =
336 dyn_cast<GlobalVariable>(CS->getOperand(1)))
337 SourceFileDesc = GV;
Chris Lattner2eacf262004-01-05 05:25:10 +0000338
339 const SourceLanguage &Lang = getSourceFile(SourceFileDesc).getLanguage();
340 return *(Result = Lang.createSourceFunctionInfo(Desc, *this));
341}
342
343
344// getSourceFunctions - Index all of the functions in the program and return
345// them. This information is lazily computed the first time that it is
346// requested. Since this information can take a long time to compute, the user
347// is given a chance to cancel it. If this occurs, an exception is thrown.
348const std::map<const GlobalVariable*, SourceFunctionInfo*> &
349ProgramInfo::getSourceFunctions(bool RequiresCompleteMap) {
350 if (SourceFunctionsIsComplete || !RequiresCompleteMap)
351 return SourceFunctions;
352
353 // Ok, all of the source function descriptors (subprogram in dwarf terms),
354 // should be on the use list of the llvm.dbg.translation_units global.
355 //
356 GlobalVariable *Units =
Owen Andersond7f2a6c2009-08-05 23:16:16 +0000357 M->getGlobalVariable("llvm.dbg.globals", StructType::get(M->getContext()));
Chris Lattner2eacf262004-01-05 05:25:10 +0000358 if (Units == 0)
359 throw "Program contains no debugging information!";
360
361 std::vector<GlobalVariable*> Functions;
362 getGlobalVariablesUsing(Units, Functions);
363
364 SlowOperationInformer SOI("building functions index");
365
366 // Loop over all of the functions found, building the SourceFunctions mapping.
367 for (unsigned i = 0, e = Functions.size(); i != e; ++i) {
368 getFunction(Functions[i]);
Chris Lattner148f4402006-07-06 22:34:06 +0000369 if (SOI.progress(i+1, e))
370 throw "While functions index, operation cancelled.";
Chris Lattner2eacf262004-01-05 05:25:10 +0000371 }
372
373 // Ok, if we got this far, then we indexed the whole program.
374 SourceFunctionsIsComplete = true;
375 return SourceFunctions;
376}