1 //===-- CompileUnit.cpp -----------------------------------------*- C++ -*-===//
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 #include "lldb/Symbol/CompileUnit.h"
11 #include "lldb/Symbol/LineTable.h"
12 #include "lldb/Core/Module.h"
13 #include "lldb/Symbol/SymbolVendor.h"
14 #include "lldb/Symbol/VariableList.h"
15 
16 using namespace lldb;
17 using namespace lldb_private;
18 
19 CompileUnit::CompileUnit (const lldb::ModuleSP &module_sp, void *user_data, const char *pathname, const lldb::user_id_t cu_sym_id, lldb::LanguageType language) :
20     ModuleChild(module_sp),
21     FileSpec (pathname, false),
22     UserID(cu_sym_id),
23     Language (language),
24     m_user_data (user_data),
25     m_flags (0),
26     m_functions (),
27     m_support_files (),
28     m_line_table_ap (),
29     m_variables()
30 {
31     assert(module_sp);
32 }
33 
34 CompileUnit::CompileUnit (const lldb::ModuleSP &module_sp, void *user_data, const FileSpec &fspec, const lldb::user_id_t cu_sym_id, lldb::LanguageType language) :
35     ModuleChild(module_sp),
36     FileSpec (fspec),
37     UserID(cu_sym_id),
38     Language (language),
39     m_user_data (user_data),
40     m_flags (0),
41     m_functions (),
42     m_support_files (),
43     m_line_table_ap (),
44     m_variables()
45 {
46     assert(module_sp);
47 }
48 
49 CompileUnit::~CompileUnit ()
50 {
51 }
52 
53 void
54 CompileUnit::CalculateSymbolContext(SymbolContext* sc)
55 {
56     sc->comp_unit = this;
57     GetModule()->CalculateSymbolContext(sc);
58 }
59 
60 ModuleSP
61 CompileUnit::CalculateSymbolContextModule ()
62 {
63     return GetModule();
64 }
65 
66 CompileUnit *
67 CompileUnit::CalculateSymbolContextCompileUnit ()
68 {
69     return this;
70 }
71 
72 void
73 CompileUnit::DumpSymbolContext(Stream *s)
74 {
75     GetModule()->DumpSymbolContext(s);
76     s->Printf(", CompileUnit{0x%8.8llx}", GetID());
77 }
78 
79 
80 void
81 CompileUnit::GetDescription(Stream *s, lldb::DescriptionLevel level) const
82 {
83     *s << "id = " << (const UserID&)*this << ", file = \"" << (const FileSpec&)*this << "\", language = \"" << (const Language&)*this << '"';
84 }
85 
86 
87 //----------------------------------------------------------------------
88 // Dump the current contents of this object. No functions that cause on
89 // demand parsing of functions, globals, statics are called, so this
90 // is a good function to call to get an idea of the current contents of
91 // the CompileUnit object.
92 //----------------------------------------------------------------------
93 void
94 CompileUnit::Dump(Stream *s, bool show_context) const
95 {
96     s->Printf("%p: ", this);
97     s->Indent();
98     *s << "CompileUnit" << (const UserID&)*this
99         << ", language = \"" << (const Language&)*this
100         << "\", file = '" << (const FileSpec&)*this << "'\n";
101 
102 //  m_types.Dump(s);
103 
104     if (m_variables.get())
105     {
106         s->IndentMore();
107         m_variables->Dump(s, show_context);
108         s->IndentLess();
109     }
110 
111     if (!m_functions.empty())
112     {
113         s->IndentMore();
114         std::vector<FunctionSP>::const_iterator pos;
115         std::vector<FunctionSP>::const_iterator end = m_functions.end();
116         for (pos = m_functions.begin(); pos != end; ++pos)
117         {
118             (*pos)->Dump(s, show_context);
119         }
120 
121         s->IndentLess();
122         s->EOL();
123     }
124 }
125 
126 //----------------------------------------------------------------------
127 // Add a function to this compile unit
128 //----------------------------------------------------------------------
129 void
130 CompileUnit::AddFunction(FunctionSP& funcSP)
131 {
132     // TODO: order these by address
133     m_functions.push_back(funcSP);
134 }
135 
136 FunctionSP
137 CompileUnit::GetFunctionAtIndex (size_t idx)
138 {
139     FunctionSP funcSP;
140     if (idx < m_functions.size())
141         funcSP = m_functions[idx];
142     return funcSP;
143 }
144 
145 //----------------------------------------------------------------------
146 // Find functions using the a Mangled::Tokens token list. This
147 // function currently implements an interative approach designed to find
148 // all instances of certain functions. It isn't designed to the the
149 // quickest way to lookup functions as it will need to iterate through
150 // all functions and see if they match, though it does provide a powerful
151 // and context sensitive way to search for all functions with a certain
152 // name, all functions in a namespace, or all functions of a template
153 // type. See Mangled::Tokens::Parse() comments for more information.
154 //
155 // The function prototype will need to change to return a list of
156 // results. It was originally used to help debug the Mangled class
157 // and the Mangled::Tokens::MatchesQuery() function and it currently
158 // will print out a list of matching results for the functions that
159 // are currently in this compile unit.
160 //
161 // A FindFunctions method should be called prior to this that takes
162 // a regular function name (const char * or ConstString as a parameter)
163 // before resorting to this slower but more complete function. The
164 // other FindFunctions method should be able to take advantage of any
165 // accelerator tables available in the debug information (which is
166 // parsed by the SymbolFile parser plug-ins and registered with each
167 // Module).
168 //----------------------------------------------------------------------
169 //void
170 //CompileUnit::FindFunctions(const Mangled::Tokens& tokens)
171 //{
172 //  if (!m_functions.empty())
173 //  {
174 //      Stream s(stdout);
175 //      std::vector<FunctionSP>::const_iterator pos;
176 //      std::vector<FunctionSP>::const_iterator end = m_functions.end();
177 //      for (pos = m_functions.begin(); pos != end; ++pos)
178 //      {
179 //          const ConstString& demangled = (*pos)->Mangled().Demangled();
180 //          if (demangled)
181 //          {
182 //              const Mangled::Tokens& func_tokens = (*pos)->Mangled().GetTokens();
183 //              if (func_tokens.MatchesQuery (tokens))
184 //                  s << "demangled MATCH found: " << demangled << "\n";
185 //          }
186 //      }
187 //  }
188 //}
189 
190 FunctionSP
191 CompileUnit::FindFunctionByUID (lldb::user_id_t func_uid)
192 {
193     FunctionSP funcSP;
194     if (!m_functions.empty())
195     {
196         std::vector<FunctionSP>::const_iterator pos;
197         std::vector<FunctionSP>::const_iterator end = m_functions.end();
198         for (pos = m_functions.begin(); pos != end; ++pos)
199         {
200             if ((*pos)->GetID() == func_uid)
201             {
202                 funcSP = *pos;
203                 break;
204             }
205         }
206     }
207     return funcSP;
208 }
209 
210 
211 LineTable*
212 CompileUnit::GetLineTable()
213 {
214     if (m_line_table_ap.get() == NULL)
215     {
216         if (m_flags.IsClear(flagsParsedLineTable))
217         {
218             m_flags.Set(flagsParsedLineTable);
219             SymbolVendor* symbol_vendor = GetModule()->GetSymbolVendor();
220             if (symbol_vendor)
221             {
222                 SymbolContext sc;
223                 CalculateSymbolContext(&sc);
224                 symbol_vendor->ParseCompileUnitLineTable(sc);
225             }
226         }
227     }
228     return m_line_table_ap.get();
229 }
230 
231 void
232 CompileUnit::SetLineTable(LineTable* line_table)
233 {
234     if (line_table == NULL)
235         m_flags.Clear(flagsParsedLineTable);
236     else
237         m_flags.Set(flagsParsedLineTable);
238     m_line_table_ap.reset(line_table);
239 }
240 
241 VariableListSP
242 CompileUnit::GetVariableList(bool can_create)
243 {
244     if (m_variables.get() == NULL && can_create)
245     {
246         SymbolContext sc;
247         CalculateSymbolContext(&sc);
248         assert(sc.module_sp);
249         sc.module_sp->GetSymbolVendor()->ParseVariablesForContext(sc);
250     }
251 
252     return m_variables;
253 }
254 
255 uint32_t
256 CompileUnit::FindLineEntry (uint32_t start_idx, uint32_t line, const FileSpec* file_spec_ptr, bool exact, LineEntry *line_entry_ptr)
257 {
258     uint32_t file_idx = 0;
259 
260     if (file_spec_ptr)
261     {
262         file_idx = GetSupportFiles().FindFileIndex (1, *file_spec_ptr, true);
263         if (file_idx == UINT32_MAX)
264             return UINT32_MAX;
265     }
266     else
267     {
268         // All the line table entries actually point to the version of the Compile
269         // Unit that is in the support files (the one at 0 was artifically added.)
270         // So prefer the one further on in the support files if it exists...
271         FileSpecList &support_files = GetSupportFiles();
272         const bool full = true;
273         file_idx = support_files.FindFileIndex (1, support_files.GetFileSpecAtIndex(0), full);
274         if (file_idx == UINT32_MAX)
275             file_idx = 0;
276     }
277     LineTable *line_table = GetLineTable();
278     if (line_table)
279         return line_table->FindLineEntryIndexByFileIndex (start_idx, file_idx, line, exact, line_entry_ptr);
280     return UINT32_MAX;
281 }
282 
283 
284 
285 
286 uint32_t
287 CompileUnit::ResolveSymbolContext
288 (
289     const FileSpec& file_spec,
290     uint32_t line,
291     bool check_inlines,
292     bool exact,
293     uint32_t resolve_scope,
294     SymbolContextList &sc_list
295 )
296 {
297     // First find all of the file indexes that match our "file_spec". If
298     // "file_spec" has an empty directory, then only compare the basenames
299     // when finding file indexes
300     std::vector<uint32_t> file_indexes;
301     bool file_spec_matches_cu_file_spec = FileSpec::Equal(file_spec, *this, !file_spec.GetDirectory().IsEmpty());
302 
303     // If we are not looking for inlined functions and our file spec doesn't
304     // match then we are done...
305     if (file_spec_matches_cu_file_spec == false && check_inlines == false)
306         return 0;
307 
308     uint32_t file_idx = GetSupportFiles().FindFileIndex (1, file_spec, true);
309     while (file_idx != UINT32_MAX)
310     {
311         file_indexes.push_back (file_idx);
312         file_idx = GetSupportFiles().FindFileIndex (file_idx + 1, file_spec, true);
313     }
314 
315     const size_t num_file_indexes = file_indexes.size();
316     if (num_file_indexes == 0)
317         return 0;
318 
319     const uint32_t prev_size = sc_list.GetSize();
320 
321     SymbolContext sc(GetModule());
322     sc.comp_unit = this;
323 
324 
325     if (line != 0)
326     {
327         LineTable *line_table = sc.comp_unit->GetLineTable();
328 
329         if (line_table != NULL)
330         {
331             uint32_t found_line;
332             uint32_t line_idx;
333 
334             if (num_file_indexes == 1)
335             {
336                 // We only have a single support file that matches, so use
337                 // the line table function that searches for a line entries
338                 // that match a single support file index
339                 LineEntry line_entry;
340                 line_idx = line_table->FindLineEntryIndexByFileIndex (0, file_indexes.front(), line, exact, &line_entry);
341 
342                 // If "exact == true", then "found_line" will be the same
343                 // as "line". If "exact == false", the "found_line" will be the
344                 // closest line entry with a line number greater than "line" and
345                 // we will use this for our subsequent line exact matches below.
346                 found_line = line_entry.line;
347 
348                 while (line_idx != UINT32_MAX)
349                 {
350                     // If they only asked for the line entry, then we're done, we can just copy that over.
351                     // But if they wanted more than just the line number, fill it in.
352                     if (resolve_scope == eSymbolContextLineEntry)
353                     {
354                         sc.line_entry = line_entry;
355                     }
356                     else
357                     {
358                         line_entry.range.GetBaseAddress().CalculateSymbolContext(&sc, resolve_scope);
359                     }
360 
361                     sc_list.Append(sc);
362                     line_idx = line_table->FindLineEntryIndexByFileIndex (line_idx + 1, file_indexes.front(), found_line, true, &line_entry);
363                 }
364             }
365             else
366             {
367                 // We found multiple support files that match "file_spec" so use
368                 // the line table function that searches for a line entries
369                 // that match a multiple support file indexes.
370                 LineEntry line_entry;
371                 line_idx = line_table->FindLineEntryIndexByFileIndex (0, file_indexes, line, exact, &line_entry);
372 
373                 // If "exact == true", then "found_line" will be the same
374                 // as "line". If "exact == false", the "found_line" will be the
375                 // closest line entry with a line number greater than "line" and
376                 // we will use this for our subsequent line exact matches below.
377                 found_line = line_entry.line;
378 
379                 while (line_idx != UINT32_MAX)
380                 {
381                     if (resolve_scope == eSymbolContextLineEntry)
382                     {
383                         sc.line_entry = line_entry;
384                     }
385                     else
386                     {
387                         line_entry.range.GetBaseAddress().CalculateSymbolContext(&sc, resolve_scope);
388                     }
389 
390                     sc_list.Append(sc);
391                     line_idx = line_table->FindLineEntryIndexByFileIndex (line_idx + 1, file_indexes, found_line, true, &line_entry);
392                 }
393             }
394         }
395     }
396     else if (file_spec_matches_cu_file_spec && !check_inlines)
397     {
398         // only append the context if we aren't looking for inline call sites
399         // by file and line and if the file spec matches that of the compile unit
400         sc_list.Append(sc);
401     }
402     return sc_list.GetSize() - prev_size;
403 }
404 
405 void
406 CompileUnit::SetVariableList(VariableListSP &variables)
407 {
408     m_variables = variables;
409 }
410 
411 FileSpecList&
412 CompileUnit::GetSupportFiles ()
413 {
414     if (m_support_files.GetSize() == 0)
415     {
416         if (m_flags.IsClear(flagsParsedSupportFiles))
417         {
418             m_flags.Set(flagsParsedSupportFiles);
419             SymbolVendor* symbol_vendor = GetModule()->GetSymbolVendor();
420             if (symbol_vendor)
421             {
422                 SymbolContext sc;
423                 CalculateSymbolContext(&sc);
424                 symbol_vendor->ParseCompileUnitSupportFiles(sc, m_support_files);
425             }
426         }
427     }
428     return m_support_files;
429 }
430 
431 void *
432 CompileUnit::GetUserData () const
433 {
434     return m_user_data;
435 }
436 
437 
438