blob: 0dacd7384e08273dc1e4af8947638294bc6bf689 [file] [log] [blame]
Eric Christopher0d27ca12013-08-08 23:45:55 +00001//===-- llvm/CodeGen/DIEHash.cpp - Dwarf Hashing Framework ----------------===//
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// This file contains support for DWARF4 hashing of DIEs.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dwarfdebug"
15
16#include "DIE.h"
17#include "DIEHash.h"
18#include "DwarfCompileUnit.h"
19#include "llvm/ADT/ArrayRef.h"
20#include "llvm/ADT/StringRef.h"
21#include "llvm/Support/Debug.h"
22#include "llvm/Support/Dwarf.h"
23#include "llvm/Support/Endian.h"
24#include "llvm/Support/MD5.h"
25#include "llvm/Support/raw_ostream.h"
26
27using namespace llvm;
28
29/// \brief Grabs the string in whichever attribute is passed in and returns
30/// a reference to it.
31static StringRef getDIEStringAttr(DIE *Die, uint16_t Attr) {
32 const SmallVectorImpl<DIEValue *> &Values = Die->getValues();
33 const DIEAbbrev &Abbrevs = Die->getAbbrev();
34
35 // Iterate through all the attributes until we find the one we're
36 // looking for, if we can't find it return an empty string.
37 for (size_t i = 0; i < Values.size(); ++i) {
38 if (Abbrevs.getData()[i].getAttribute() == Attr) {
39 DIEValue *V = Values[i];
40 assert(isa<DIEString>(V) && "String requested. Not a string.");
41 DIEString *S = cast<DIEString>(V);
42 return S->getString();
43 }
44 }
45 return StringRef("");
46}
47
48/// \brief Adds the string in \p Str to the hash. This also hashes
49/// a trailing NULL with the string.
50void DIEHash::addString(StringRef Str) {
51 DEBUG(dbgs() << "Adding string " << Str << " to hash.\n");
52 Hash.update(Str);
53 Hash.update(makeArrayRef((uint8_t)'\0'));
54}
55
56// FIXME: The LEB128 routines are copied and only slightly modified out of
57// LEB128.h.
58
59/// \brief Adds the unsigned in \p Value to the hash encoded as a ULEB128.
60void DIEHash::addULEB128(uint64_t Value) {
61 DEBUG(dbgs() << "Adding ULEB128 " << Value << " to hash.\n");
62 do {
63 uint8_t Byte = Value & 0x7f;
64 Value >>= 7;
65 if (Value != 0)
66 Byte |= 0x80; // Mark this byte to show that more bytes will follow.
67 Hash.update(Byte);
68 } while (Value != 0);
69}
70
David Blaikiec0987082013-10-16 23:36:20 +000071void DIEHash::addSLEB128(int64_t Value) {
72 DEBUG(dbgs() << "Adding ULEB128 " << Value << " to hash.\n");
73 bool More;
74 do {
75 uint8_t Byte = Value & 0x7f;
76 Value >>= 7;
77 More = !((((Value == 0 ) && ((Byte & 0x40) == 0)) ||
78 ((Value == -1) && ((Byte & 0x40) != 0))));
79 if (More)
80 Byte |= 0x80; // Mark this byte to show that more bytes will follow.
81 Hash.update(Byte);
82 } while (More);
83}
84
Eric Christopher0d27ca12013-08-08 23:45:55 +000085/// \brief Including \p Parent adds the context of Parent to the hash..
86void DIEHash::addParentContext(DIE *Parent) {
87
88 DEBUG(dbgs() << "Adding parent context to hash...\n");
89
90 // [7.27.2] For each surrounding type or namespace beginning with the
91 // outermost such construct...
92 SmallVector<DIE *, 1> Parents;
93 while (Parent->getTag() != dwarf::DW_TAG_compile_unit) {
94 Parents.push_back(Parent);
95 Parent = Parent->getParent();
96 }
97
98 // Reverse iterate over our list to go from the outermost construct to the
99 // innermost.
100 for (SmallVectorImpl<DIE *>::reverse_iterator I = Parents.rbegin(),
101 E = Parents.rend();
102 I != E; ++I) {
103 DIE *Die = *I;
104
105 // ... Append the letter "C" to the sequence...
106 addULEB128('C');
107
108 // ... Followed by the DWARF tag of the construct...
109 addULEB128(Die->getTag());
110
111 // ... Then the name, taken from the DW_AT_name attribute.
112 StringRef Name = getDIEStringAttr(Die, dwarf::DW_AT_name);
113 DEBUG(dbgs() << "... adding context: " << Name << "\n");
114 if (!Name.empty())
115 addString(Name);
116 }
117}
118
Eric Christopher0710bfa2013-08-13 01:21:55 +0000119// Collect all of the attributes for a particular DIE in single structure.
David Blaikiecbb5c732013-08-14 22:23:05 +0000120void DIEHash::collectAttributes(DIE *Die, DIEAttrs &Attrs) {
Eric Christopher0710bfa2013-08-13 01:21:55 +0000121 const SmallVectorImpl<DIEValue *> &Values = Die->getValues();
122 const DIEAbbrev &Abbrevs = Die->getAbbrev();
123
124#define COLLECT_ATTR(NAME) \
David Blaikie0d87c202013-10-17 22:14:08 +0000125 case dwarf::NAME: \
126 Attrs.NAME.Val = Values[i]; \
127 Attrs.NAME.Desc = &Abbrevs.getData()[i]; \
128 break
Eric Christopher0710bfa2013-08-13 01:21:55 +0000129
130 for (size_t i = 0, e = Values.size(); i != e; ++i) {
131 DEBUG(dbgs() << "Attribute: "
132 << dwarf::AttributeString(Abbrevs.getData()[i].getAttribute())
133 << " added.\n");
134 switch (Abbrevs.getData()[i].getAttribute()) {
David Blaikie0d87c202013-10-17 22:14:08 +0000135 COLLECT_ATTR(DW_AT_name);
136 COLLECT_ATTR(DW_AT_accessibility);
137 COLLECT_ATTR(DW_AT_address_class);
138 COLLECT_ATTR(DW_AT_allocated);
139 COLLECT_ATTR(DW_AT_artificial);
140 COLLECT_ATTR(DW_AT_associated);
141 COLLECT_ATTR(DW_AT_binary_scale);
142 COLLECT_ATTR(DW_AT_bit_offset);
143 COLLECT_ATTR(DW_AT_bit_size);
144 COLLECT_ATTR(DW_AT_bit_stride);
145 COLLECT_ATTR(DW_AT_byte_size);
146 COLLECT_ATTR(DW_AT_byte_stride);
147 COLLECT_ATTR(DW_AT_const_expr);
148 COLLECT_ATTR(DW_AT_const_value);
149 COLLECT_ATTR(DW_AT_containing_type);
150 COLLECT_ATTR(DW_AT_count);
151 COLLECT_ATTR(DW_AT_data_bit_offset);
152 COLLECT_ATTR(DW_AT_data_location);
153 COLLECT_ATTR(DW_AT_data_member_location);
154 COLLECT_ATTR(DW_AT_decimal_scale);
155 COLLECT_ATTR(DW_AT_decimal_sign);
156 COLLECT_ATTR(DW_AT_default_value);
157 COLLECT_ATTR(DW_AT_digit_count);
158 COLLECT_ATTR(DW_AT_discr);
159 COLLECT_ATTR(DW_AT_discr_list);
160 COLLECT_ATTR(DW_AT_discr_value);
161 COLLECT_ATTR(DW_AT_encoding);
162 COLLECT_ATTR(DW_AT_enum_class);
163 COLLECT_ATTR(DW_AT_endianity);
164 COLLECT_ATTR(DW_AT_explicit);
165 COLLECT_ATTR(DW_AT_is_optional);
166 COLLECT_ATTR(DW_AT_location);
167 COLLECT_ATTR(DW_AT_lower_bound);
168 COLLECT_ATTR(DW_AT_mutable);
169 COLLECT_ATTR(DW_AT_ordering);
170 COLLECT_ATTR(DW_AT_picture_string);
171 COLLECT_ATTR(DW_AT_prototyped);
172 COLLECT_ATTR(DW_AT_small);
173 COLLECT_ATTR(DW_AT_segment);
174 COLLECT_ATTR(DW_AT_string_length);
175 COLLECT_ATTR(DW_AT_threads_scaled);
176 COLLECT_ATTR(DW_AT_upper_bound);
177 COLLECT_ATTR(DW_AT_use_location);
178 COLLECT_ATTR(DW_AT_use_UTF8);
179 COLLECT_ATTR(DW_AT_variable_parameter);
180 COLLECT_ATTR(DW_AT_virtuality);
181 COLLECT_ATTR(DW_AT_visibility);
182 COLLECT_ATTR(DW_AT_vtable_elem_location);
183 COLLECT_ATTR(DW_AT_type);
Eric Christopher0710bfa2013-08-13 01:21:55 +0000184 default:
185 break;
186 }
187 }
188}
189
190// Hash an individual attribute \param Attr based on the type of attribute and
191// the form.
David Blaikief1545a22013-10-21 22:36:50 +0000192void DIEHash::hashAttribute(AttrEntry Attr, dwarf::Tag Tag) {
Eric Christopher0710bfa2013-08-13 01:21:55 +0000193 const DIEValue *Value = Attr.Val;
194 const DIEAbbrevData *Desc = Attr.Desc;
195
David Blaikief1545a22013-10-21 22:36:50 +0000196 // 7.27 Step 3
David Blaikie47f66d52013-10-17 22:07:09 +0000197 // ... An attribute that refers to another type entry T is processed as
198 // follows:
David Blaikie47f66d52013-10-17 22:07:09 +0000199 if (const DIEEntry *EntryAttr = dyn_cast<DIEEntry>(Value)) {
200 DIE *Entry = EntryAttr->getEntry();
David Blaikief1545a22013-10-21 22:36:50 +0000201
202 // Step 5
203 // If the tag in Step 3 is one of ...
204 if (Tag == dwarf::DW_TAG_pointer_type) {
205 // ... and the referenced type (via the DW_AT_type or DW_AT_friend
206 // attribute) ...
207 assert(Desc->getAttribute() == dwarf::DW_AT_type ||
208 Desc->getAttribute() == dwarf::DW_AT_friend);
209 // [FIXME] ... has a DW_AT_name attribute,
210 // append the letter 'N'
211 addULEB128('N');
212
213 // the DWARF attribute code (DW_AT_type or DW_AT_friend),
214 addULEB128(Desc->getAttribute());
215
216 // the context of the tag,
217 if (DIE *Parent = Entry->getParent())
218 addParentContext(Parent);
219
220 // the letter 'E',
221 addULEB128('E');
222
223 // and the name of the type.
224 addString(getDIEStringAttr(Entry, dwarf::DW_AT_name));
225
226 // FIXME:
227 // For DW_TAG_friend, if the referenced entry is the DW_TAG_subprogram,
228 // the context is omitted and the name to be used is the ABI-specific name
229 // of the subprogram (e.g., the mangled linker name).
230 return;
231 }
232
David Blaikie3baa3c32013-10-21 18:59:40 +0000233 unsigned &DieNumber = Numbering[Entry];
234 if (DieNumber) {
235 // a) If T is in the list of [previously hashed types], use the letter
236 // 'R' as the marker
237 addULEB128('R');
David Blaikie47f66d52013-10-17 22:07:09 +0000238
David Blaikie3baa3c32013-10-21 18:59:40 +0000239 addULEB128(Desc->getAttribute());
240
241 // and use the unsigned LEB128 encoding of [the index of T in the
242 // list] as the attribute value;
243 addULEB128(DieNumber);
244 return;
245 }
246
247 // otherwise, b) use the letter 'T' as a the marker, ...
David Blaikie47f66d52013-10-17 22:07:09 +0000248 addULEB128('T');
249
250 addULEB128(Desc->getAttribute());
251
252 // ... process the type T recursively by performing Steps 2 through 7, and
253 // use the result as the attribute value.
David Blaikie3baa3c32013-10-21 18:59:40 +0000254 DieNumber = Numbering.size();
David Blaikie47f66d52013-10-17 22:07:09 +0000255 computeHash(Entry);
256 return;
257 }
258
259 // Other attribute values use the letter 'A' as the marker, ...
Eric Christopher0710bfa2013-08-13 01:21:55 +0000260 addULEB128('A');
261
Eric Christopher0710bfa2013-08-13 01:21:55 +0000262 addULEB128(Desc->getAttribute());
David Blaikiec0987082013-10-16 23:36:20 +0000263
David Blaikie47f66d52013-10-17 22:07:09 +0000264 // ... and the value consists of the form code (encoded as an unsigned LEB128
265 // value) followed by the encoding of the value according to the form code. To
266 // ensure reproducibility of the signature, the set of forms used in the
David Blaikiec0987082013-10-16 23:36:20 +0000267 // signature computation is limited to the following: DW_FORM_sdata,
268 // DW_FORM_flag, DW_FORM_string, and DW_FORM_block.
Eric Christopher0710bfa2013-08-13 01:21:55 +0000269 switch (Desc->getForm()) {
David Blaikiec0987082013-10-16 23:36:20 +0000270 case dwarf::DW_FORM_string:
271 llvm_unreachable(
272 "Add support for DW_FORM_string if we ever start emitting them again");
David Blaikieda39dd32013-10-21 16:37:22 +0000273 case dwarf::DW_FORM_GNU_str_index:
Eric Christopher0710bfa2013-08-13 01:21:55 +0000274 case dwarf::DW_FORM_strp:
David Blaikiec0987082013-10-16 23:36:20 +0000275 addULEB128(dwarf::DW_FORM_string);
Eric Christopher0710bfa2013-08-13 01:21:55 +0000276 addString(cast<DIEString>(Value)->getString());
277 break;
Eric Christopher7ced4fa2013-08-28 00:10:38 +0000278 case dwarf::DW_FORM_data1:
279 case dwarf::DW_FORM_data2:
280 case dwarf::DW_FORM_data4:
281 case dwarf::DW_FORM_data8:
282 case dwarf::DW_FORM_udata:
David Blaikiec0987082013-10-16 23:36:20 +0000283 addULEB128(dwarf::DW_FORM_sdata);
284 addSLEB128((int64_t)cast<DIEInteger>(Value)->getValue());
Eric Christopher7ced4fa2013-08-28 00:10:38 +0000285 break;
David Blaikieda39dd32013-10-21 16:37:22 +0000286 default:
287 llvm_unreachable("Add support for additional forms");
Eric Christopher0710bfa2013-08-13 01:21:55 +0000288 }
289}
290
291// Go through the attributes from \param Attrs in the order specified in 7.27.4
292// and hash them.
David Blaikief1545a22013-10-21 22:36:50 +0000293void DIEHash::hashAttributes(const DIEAttrs &Attrs, dwarf::Tag Tag) {
Eric Christopher0710bfa2013-08-13 01:21:55 +0000294#define ADD_ATTR(ATTR) \
295 { \
296 if (ATTR.Val != 0) \
David Blaikief1545a22013-10-21 22:36:50 +0000297 hashAttribute(ATTR, Tag); \
Eric Christopher0710bfa2013-08-13 01:21:55 +0000298 }
299
Eric Christopher0710bfa2013-08-13 01:21:55 +0000300 ADD_ATTR(Attrs.DW_AT_name);
Eric Christopherbd18c8d2013-09-03 20:00:20 +0000301 ADD_ATTR(Attrs.DW_AT_accessibility);
302 ADD_ATTR(Attrs.DW_AT_address_class);
303 ADD_ATTR(Attrs.DW_AT_allocated);
304 ADD_ATTR(Attrs.DW_AT_artificial);
305 ADD_ATTR(Attrs.DW_AT_associated);
306 ADD_ATTR(Attrs.DW_AT_binary_scale);
307 ADD_ATTR(Attrs.DW_AT_bit_offset);
308 ADD_ATTR(Attrs.DW_AT_bit_size);
309 ADD_ATTR(Attrs.DW_AT_bit_stride);
310 ADD_ATTR(Attrs.DW_AT_byte_size);
311 ADD_ATTR(Attrs.DW_AT_byte_stride);
312 ADD_ATTR(Attrs.DW_AT_const_expr);
313 ADD_ATTR(Attrs.DW_AT_const_value);
314 ADD_ATTR(Attrs.DW_AT_containing_type);
315 ADD_ATTR(Attrs.DW_AT_count);
316 ADD_ATTR(Attrs.DW_AT_data_bit_offset);
317 ADD_ATTR(Attrs.DW_AT_data_location);
318 ADD_ATTR(Attrs.DW_AT_data_member_location);
319 ADD_ATTR(Attrs.DW_AT_decimal_scale);
320 ADD_ATTR(Attrs.DW_AT_decimal_sign);
321 ADD_ATTR(Attrs.DW_AT_default_value);
322 ADD_ATTR(Attrs.DW_AT_digit_count);
323 ADD_ATTR(Attrs.DW_AT_discr);
324 ADD_ATTR(Attrs.DW_AT_discr_list);
325 ADD_ATTR(Attrs.DW_AT_discr_value);
326 ADD_ATTR(Attrs.DW_AT_encoding);
327 ADD_ATTR(Attrs.DW_AT_enum_class);
328 ADD_ATTR(Attrs.DW_AT_endianity);
329 ADD_ATTR(Attrs.DW_AT_explicit);
330 ADD_ATTR(Attrs.DW_AT_is_optional);
331 ADD_ATTR(Attrs.DW_AT_location);
332 ADD_ATTR(Attrs.DW_AT_lower_bound);
333 ADD_ATTR(Attrs.DW_AT_mutable);
334 ADD_ATTR(Attrs.DW_AT_ordering);
335 ADD_ATTR(Attrs.DW_AT_picture_string);
336 ADD_ATTR(Attrs.DW_AT_prototyped);
337 ADD_ATTR(Attrs.DW_AT_small);
338 ADD_ATTR(Attrs.DW_AT_segment);
339 ADD_ATTR(Attrs.DW_AT_string_length);
340 ADD_ATTR(Attrs.DW_AT_threads_scaled);
341 ADD_ATTR(Attrs.DW_AT_upper_bound);
342 ADD_ATTR(Attrs.DW_AT_use_location);
343 ADD_ATTR(Attrs.DW_AT_use_UTF8);
344 ADD_ATTR(Attrs.DW_AT_variable_parameter);
345 ADD_ATTR(Attrs.DW_AT_virtuality);
346 ADD_ATTR(Attrs.DW_AT_visibility);
347 ADD_ATTR(Attrs.DW_AT_vtable_elem_location);
David Blaikie47f66d52013-10-17 22:07:09 +0000348 ADD_ATTR(Attrs.DW_AT_type);
Eric Christopherbd18c8d2013-09-03 20:00:20 +0000349
350 // FIXME: Add the extended attributes.
Eric Christopher0710bfa2013-08-13 01:21:55 +0000351}
352
353// Add all of the attributes for \param Die to the hash.
354void DIEHash::addAttributes(DIE *Die) {
David Blaikiee8917752013-10-16 00:47:21 +0000355 DIEAttrs Attrs = {};
David Blaikiecbb5c732013-08-14 22:23:05 +0000356 collectAttributes(Die, Attrs);
David Blaikief1545a22013-10-21 22:36:50 +0000357 hashAttributes(Attrs, Die->getTag());
Eric Christopher0710bfa2013-08-13 01:21:55 +0000358}
359
360// Compute the hash of a DIE. This is based on the type signature computation
361// given in section 7.27 of the DWARF4 standard. It is the md5 hash of a
362// flattened description of the DIE.
363void DIEHash::computeHash(DIE *Die) {
Eric Christopher0710bfa2013-08-13 01:21:55 +0000364 // Append the letter 'D', followed by the DWARF tag of the DIE.
365 addULEB128('D');
366 addULEB128(Die->getTag());
367
368 // Add each of the attributes of the DIE.
369 addAttributes(Die);
370
371 // Then hash each of the children of the DIE.
372 for (std::vector<DIE *>::const_iterator I = Die->getChildren().begin(),
373 E = Die->getChildren().end();
374 I != E; ++I)
375 computeHash(*I);
David Blaikie75ee0002013-10-16 20:29:06 +0000376
377 // Following the last (or if there are no children), append a zero byte.
David Blaikie700b91f2013-10-16 20:40:46 +0000378 Hash.update(makeArrayRef((uint8_t)'\0'));
Eric Christopher0710bfa2013-08-13 01:21:55 +0000379}
380
Eric Christopher0d27ca12013-08-08 23:45:55 +0000381/// This is based on the type signature computation given in section 7.27 of the
382/// DWARF4 standard. It is the md5 hash of a flattened description of the DIE
Eric Christopherdd0cd3c2013-08-12 23:59:24 +0000383/// with the exception that we are hashing only the context and the name of the
384/// type.
Eric Christopher0d27ca12013-08-08 23:45:55 +0000385uint64_t DIEHash::computeDIEODRSignature(DIE *Die) {
386
387 // Add the contexts to the hash. We won't be computing the ODR hash for
388 // function local types so it's safe to use the generic context hashing
389 // algorithm here.
390 // FIXME: If we figure out how to account for linkage in some way we could
391 // actually do this with a slight modification to the parent hash algorithm.
392 DIE *Parent = Die->getParent();
393 if (Parent)
394 addParentContext(Parent);
395
396 // Add the current DIE information.
397
398 // Add the DWARF tag of the DIE.
399 addULEB128(Die->getTag());
400
401 // Add the name of the type to the hash.
402 addString(getDIEStringAttr(Die, dwarf::DW_AT_name));
403
404 // Now get the result.
405 MD5::MD5Result Result;
406 Hash.final(Result);
407
408 // ... take the least significant 8 bytes and return those. Our MD5
409 // implementation always returns its results in little endian, swap bytes
410 // appropriately.
411 return *reinterpret_cast<support::ulittle64_t *>(Result + 8);
412}
Eric Christopher0710bfa2013-08-13 01:21:55 +0000413
414/// This is based on the type signature computation given in section 7.27 of the
415/// DWARF4 standard. It is an md5 hash of the flattened description of the DIE
416/// with the inclusion of the full CU and all top level CU entities.
Eric Christopher800a8762013-09-03 21:57:57 +0000417// TODO: Initialize the type chain at 0 instead of 1 for CU signatures.
Eric Christopher0710bfa2013-08-13 01:21:55 +0000418uint64_t DIEHash::computeCUSignature(DIE *Die) {
David Blaikie3baa3c32013-10-21 18:59:40 +0000419 Numbering.clear();
420 Numbering[Die] = 1;
Eric Christopher0710bfa2013-08-13 01:21:55 +0000421
422 // Hash the DIE.
423 computeHash(Die);
424
425 // Now return the result.
426 MD5::MD5Result Result;
427 Hash.final(Result);
428
429 // ... take the least significant 8 bytes and return those. Our MD5
430 // implementation always returns its results in little endian, swap bytes
431 // appropriately.
432 return *reinterpret_cast<support::ulittle64_t *>(Result + 8);
433}
Eric Christopher800a8762013-09-03 21:57:57 +0000434
435/// This is based on the type signature computation given in section 7.27 of the
436/// DWARF4 standard. It is an md5 hash of the flattened description of the DIE
437/// with the inclusion of additional forms not specifically called out in the
438/// standard.
439uint64_t DIEHash::computeTypeSignature(DIE *Die) {
David Blaikie3baa3c32013-10-21 18:59:40 +0000440 Numbering.clear();
441 Numbering[Die] = 1;
Eric Christopher800a8762013-09-03 21:57:57 +0000442
David Blaikie88a68cb2013-10-17 00:10:34 +0000443 if (DIE *Parent = Die->getParent())
444 addParentContext(Parent);
445
Eric Christopher800a8762013-09-03 21:57:57 +0000446 // Hash the DIE.
447 computeHash(Die);
448
449 // Now return the result.
450 MD5::MD5Result Result;
451 Hash.final(Result);
452
453 // ... take the least significant 8 bytes and return those. Our MD5
454 // implementation always returns its results in little endian, swap bytes
455 // appropriately.
456 return *reinterpret_cast<support::ulittle64_t *>(Result + 8);
457}