1 // attributes.cc -- object attributes for gold
3 // Copyright (C) 2009-2023 Free Software Foundation, Inc.
4 // Written by Doug Kwan <dougkwan@google.com>.
5 // This file contains code adapted from BFD.
7 // This file is part of gold.
9 // This program is free software; you can redistribute it and/or modify
10 // it under the terms of the GNU General Public License as published by
11 // the Free Software Foundation; either version 3 of the License, or
12 // (at your option) any later version.
14 // This program is distributed in the hope that it will be useful,
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 // GNU General Public License for more details.
19 // You should have received a copy of the GNU General Public License
20 // along with this program; if not, write to the Free Software
21 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
22 // MA 02110-1301, USA.
28 #include "attributes.h"
31 #include "parameters.h"
32 #include "int_encoding.h"
37 // Object_attribute methods.
39 // Return size of attribute encode in ULEB128.
42 Object_attribute::size(int tag
) const
44 // Attributes with default values are not written out.
45 if (this->is_default_attribute())
48 size_t size
= get_length_as_unsigned_LEB_128(tag
);
49 if (Object_attribute::attribute_type_has_int_value(this->type_
))
50 size
+= get_length_as_unsigned_LEB_128(this->int_value_
);
51 if (Object_attribute::attribute_type_has_string_value(this->type_
))
52 size
+= this->string_value_
.size() + 1;
56 // Whether this has the default value (0/"").
59 Object_attribute::is_default_attribute() const
61 if (Object_attribute::attribute_type_has_int_value(this->type_
)
62 && this->int_value_
!= 0)
64 if (Object_attribute::attribute_type_has_string_value(this->type_
)
65 && !this->string_value_
.empty())
67 if (Object_attribute::attribute_type_has_no_default(this->type_
))
73 // Whether this matches another Object_attribute OA in merging.
74 // Two Object_attributes match if they have the same values.
77 Object_attribute::matches(const Object_attribute
& oa
) const
79 return ((this->int_value_
!= oa
.int_value_
)
80 && (this->string_value_
== oa
.string_value_
));
83 // Write this with TAG to a BUFFER.
86 Object_attribute::write(
88 std::vector
<unsigned char>* buffer
) const
90 // No need to write default attributes.
91 if (this->is_default_attribute())
95 write_unsigned_LEB_128(buffer
, convert_types
<uint64_t, int>(tag
));
97 // Write integer value.
98 if (Object_attribute::attribute_type_has_int_value(this->type_
))
99 write_unsigned_LEB_128(buffer
,
100 convert_types
<uint64_t, int>(this->int_value_
));
102 // Write string value.
103 if (Object_attribute::attribute_type_has_string_value(this->type_
))
105 const unsigned char* start
=
106 reinterpret_cast<const unsigned char*>(this->string_value_
.c_str());
107 const unsigned char* end
= start
+ this->string_value_
.size() + 1;
108 buffer
->insert(buffer
->end(), start
, end
);
112 // Vendor_object_attributes methods.
114 // Copying constructor.
116 Vendor_object_attributes::Vendor_object_attributes(
117 const Vendor_object_attributes
& voa
)
119 this->vendor_
= voa
.vendor_
;
121 for (int i
= 0; i
< NUM_KNOWN_ATTRIBUTES
; ++i
)
122 this->known_attributes_
[i
] = voa
.known_attributes_
[i
];
124 // We do not handle attribute deletion. So this must be empty.
125 gold_assert(this->other_attributes_
.empty());
127 for (Other_attributes::const_iterator p
= voa
.other_attributes_
.begin();
128 p
!= voa
.other_attributes_
.end();
130 this->other_attributes_
[p
->first
] = new Object_attribute(*(p
->second
));
133 // Size of this in number of bytes.
136 Vendor_object_attributes::size() const
138 if (this->name() == NULL
)
141 size_t data_size
= 0;
142 for (int i
= 4; i
< NUM_KNOWN_ATTRIBUTES
; ++i
)
143 data_size
+= this->known_attributes_
[i
].size(i
);
145 for (Other_attributes::const_iterator p
= this->other_attributes_
.begin();
146 p
!= this->other_attributes_
.end();
148 data_size
+= p
->second
->size(p
->first
);
150 // <size> <vendor_name> NUL 0x1 <size>
151 return ((data_size
!= 0
152 || this->vendor_
== Object_attribute::OBJ_ATTR_PROC
)
153 ? data_size
+ strlen(this->name()) + 2 + 2 * 4
157 // Return a new attribute associated with TAG.
160 Vendor_object_attributes::new_attribute(int tag
)
162 int type
= Object_attribute::arg_type(this->vendor_
, tag
);
164 if (tag
< NUM_KNOWN_ATTRIBUTES
)
166 this->known_attributes_
[tag
].set_type(type
);
167 return &this->known_attributes_
[tag
];
171 Object_attribute
* attr
= new Object_attribute();
173 // This should be the first time we insert this.
174 std::pair
<Other_attributes::iterator
, bool> ins
=
175 this->other_attributes_
.insert(std::make_pair(tag
, attr
));
176 gold_assert(ins
.second
);
178 attr
->set_type(type
);
183 // Return an attribute associated with TAG.
186 Vendor_object_attributes::get_attribute(int tag
)
188 if (tag
< NUM_KNOWN_ATTRIBUTES
)
189 return &this->known_attributes_
[tag
];
192 Other_attributes::iterator p
=
193 this->other_attributes_
.find(tag
);
194 return p
!= this->other_attributes_
.end() ? p
->second
: NULL
;
198 const Object_attribute
*
199 Vendor_object_attributes::get_attribute(int tag
) const
201 if (tag
< NUM_KNOWN_ATTRIBUTES
)
202 return &this->known_attributes_
[tag
];
205 Other_attributes::const_iterator p
=
206 this->other_attributes_
.find(tag
);
207 return p
!= this->other_attributes_
.end() ? p
->second
: NULL
;
211 // Write attributes to BUFFER.
214 Vendor_object_attributes::write(std::vector
<unsigned char>* buffer
) const
216 // Write subsection size.
217 size_t voa_size
= this->size();
218 uint32_t voa_size_as_u32
= convert_types
<uint32_t, size_t>(voa_size
);
219 insert_into_vector
<32>(buffer
, voa_size_as_u32
);
221 // Write vendor name.
222 const unsigned char* vendor_start
=
223 reinterpret_cast<const unsigned char*>(this->name());
224 size_t vendor_length
= strlen(this->name()) + 1;
225 const unsigned char* vendor_end
= vendor_start
+ vendor_length
;
226 buffer
->insert(buffer
->end(), vendor_start
, vendor_end
);
229 buffer
->push_back(Object_attribute::Tag_File
);
231 // Write attributes size.
232 uint32_t attributes_size_as_u32
=
233 convert_types
<uint32_t, size_t>(voa_size
- 4 - vendor_length
);
234 insert_into_vector
<32>(buffer
, attributes_size_as_u32
);
236 // Write known attributes, skipping any defaults.
237 for (int i
= 4; i
< NUM_KNOWN_ATTRIBUTES
; ++i
)
239 // A target may write known attributes in a special order.
240 // Call target hook to remap tags. Attributes_order is the identity
241 // function if no re-ordering is required.
242 int tag
= parameters
->target().attributes_order(i
);
243 this->known_attributes_
[tag
].write(tag
, buffer
);
246 // Write other attributes.
247 for (Other_attributes::const_iterator q
= this->other_attributes_
.begin();
248 q
!= this->other_attributes_
.end();
250 q
->second
->write(q
->first
, buffer
);
253 // Attributes_section_data methods.
255 // Compute encoded size of this.
258 Attributes_section_data::size() const
260 size_t data_size
= 0;
261 for(int vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; ++vendor
)
262 data_size
+= this->vendor_object_attributes_
[vendor
]->size();
264 // 'A' <sections for each vendor>
265 return data_size
!= 0 ? data_size
+ 1 : 0;
268 // Construct an Attributes_section_data object by parsing section contents
269 // specified by VIEW and SIZE.
271 Attributes_section_data::Attributes_section_data(
272 const unsigned char* view
,
273 section_size_type size
)
275 for (int vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; ++vendor
)
276 this->vendor_object_attributes_
[vendor
] =
277 new Vendor_object_attributes(vendor
);
279 const unsigned char* p
= view
;
281 if (size
> 0 && p
!= NULL
&& *(p
++) == 'A')
286 // Size of vendor attributes section.
287 section_size_type section_size
=
288 convert_to_section_size_type(read_from_pointer
<32>(&p
));
290 if (section_size
> size
)
292 size
-= section_size
;
294 const char* section_name
= reinterpret_cast<const char*>(p
);
295 section_size_type section_name_size
= strlen(section_name
) + 1;
296 section_size
-= section_name_size
+ 4;
299 const char* std_section
= parameters
->target().attributes_vendor();
300 if (std_section
!= NULL
&& strcmp(section_name
, std_section
) == 0)
301 vendor
= Object_attribute::OBJ_ATTR_PROC
;
302 else if (strcmp(section_name
, "gnu") == 0)
303 vendor
= Object_attribute::OBJ_ATTR_GNU
;
306 // Other vendor section. Ignore it.
307 p
+= section_name_size
+ section_size
;
310 p
+= section_name_size
;
312 while (section_size
> 0)
314 const unsigned char* subsection_start
= p
;
316 // Read vendor subsection index and size.
318 uint64_t val
= read_unsigned_LEB_128(p
, &uleb128_len
);
321 int tag
= convert_types
<int, uint64_t>(val
);
322 section_size_type subsection_size
=
323 convert_to_section_size_type(read_from_pointer
<32>(&p
));
324 section_size
-= subsection_size
;
325 subsection_size
-= (p
- subsection_start
);
327 const unsigned char* end
= p
+ subsection_size
;
330 case Object_attribute::Tag_File
:
333 val
= read_unsigned_LEB_128(p
, &uleb128_len
);
335 tag
= convert_types
<int, uint64_t>(val
);
336 Vendor_object_attributes
* pvoa
=
337 this->vendor_object_attributes_
[vendor
];
338 Object_attribute
* attr
= pvoa
->new_attribute(tag
);
339 const char* string_arg
;
340 unsigned int int_arg
;
342 int type
= Object_attribute::arg_type(vendor
, tag
);
344 & (Object_attribute::ATTR_TYPE_FLAG_INT_VAL
345 | Object_attribute::ATTR_TYPE_FLAG_STR_VAL
))
347 case (Object_attribute::ATTR_TYPE_FLAG_INT_VAL
348 | Object_attribute::ATTR_TYPE_FLAG_STR_VAL
):
349 val
= read_unsigned_LEB_128(p
, &uleb128_len
);
351 int_arg
= convert_types
<unsigned int, uint64_t>(val
);
352 string_arg
= reinterpret_cast<const char *>(p
);
353 attr
->set_int_value(int_arg
);
354 p
+= strlen(string_arg
) + 1;
356 case Object_attribute::ATTR_TYPE_FLAG_STR_VAL
:
357 string_arg
= reinterpret_cast<const char *>(p
);
358 attr
->set_string_value(string_arg
);
359 p
+= strlen(string_arg
) + 1;
361 case Object_attribute::ATTR_TYPE_FLAG_INT_VAL
:
362 val
= read_unsigned_LEB_128(p
, &uleb128_len
);
364 int_arg
= convert_types
<unsigned int, uint64_t>(val
);
365 attr
->set_int_value(int_arg
);
372 case Object_attribute::Tag_Section
:
373 case Object_attribute::Tag_Symbol
:
374 // Don't have anywhere convenient to attach these.
375 // Fall through for now.
377 // Ignore things we don't know about.
378 p
+= subsection_size
;
387 // Merge target-independent attributes from another Attribute_section_data
388 // ASD from an object called NAME into this.
391 Attributes_section_data::merge(
393 const Attributes_section_data
* pasd
)
395 // The only common attribute is currently Tag_compatibility,
396 // accepted in both processor and "gnu" sections.
397 for (int vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; ++vendor
)
399 // Handle Tag_compatibility. The tags are only compatible if the flags
400 // are identical and, if the flags are '1', the strings are identical.
401 // If the flags are non-zero, then we can only use the string "gnu".
402 const Object_attribute
* in_attr
=
403 &pasd
->known_attributes(vendor
)[Object_attribute::Tag_compatibility
];
404 Object_attribute
* out_attr
=
405 &this->known_attributes(vendor
)[Object_attribute::Tag_compatibility
];
407 if (in_attr
->int_value() > 0
408 && in_attr
->string_value() != "gnu")
410 gold_error(_("%s: must be processed by '%s' toolchain"),
411 name
, in_attr
->string_value().c_str());
415 if (in_attr
->int_value() != out_attr
->int_value()
416 || in_attr
->string_value() != out_attr
->string_value())
418 gold_error(_("%s: object tag '%d, %s' is "
419 "incompatible with tag '%d, %s'"),
420 name
, in_attr
->int_value(),
421 in_attr
->string_value().c_str(),
422 out_attr
->int_value(),
423 out_attr
->string_value().c_str());
428 // Write to a buffer.
431 Attributes_section_data::write(std::vector
<unsigned char>* buffer
) const
433 buffer
->push_back('A');
434 for (int vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; ++vendor
)
435 if (this->vendor_object_attributes_
[vendor
]->size() != 0)
436 this->vendor_object_attributes_
[vendor
]->write(buffer
);
439 // Methods for Output_attributes_section_data.
441 // Write attributes section data to file OF.
444 Output_attributes_section_data::do_write(Output_file
* of
)
446 off_t offset
= this->offset();
447 const section_size_type oview_size
=
448 convert_to_section_size_type(this->data_size());
449 unsigned char* const oview
= of
->get_output_view(offset
, oview_size
);
451 std::vector
<unsigned char> buffer
;
452 this->attributes_section_data_
.write(&buffer
);
453 gold_assert(convert_to_section_size_type(buffer
.size()) == oview_size
);
454 memcpy(oview
, &buffer
.front(), buffer
.size());
455 of
->write_output_view(this->offset(), oview_size
, oview
);
458 } // End namespace gold.