gold/arm-reloc-property.cc

   1 // arm-reloc-property.cc -- ARM relocation property.
   2
   3 // Copyright 2010 Free Software Foundation, Inc.
   4 // Written by Doug Kwan <dougkwan@google.com>.
   5
   6 // This file is part of gold.
   7
   8 // This program is free software; you can redistribute it and/or modify
   9 // it under the terms of the GNU General Public License as published by
  10 // the Free Software Foundation; either version 3 of the License, or
  11 // (at your option) any later version.
  12
  13 // This program is distributed in the hope that it will be useful,
  14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 // GNU General Public License for more details.
  17
  18 // You should have received a copy of the GNU General Public License
  19 // along with this program; if not, write to the Free Software
  20 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  21 // MA 02110-1301, USA.
  22
  23 #include "gold.h"
  24
  25 #include <cstdio>
  26 #include <cstring>
  27 #include <stack>
  28 #include <string>
  29 #include <vector>
  30
  31 #include "elfcpp.h"
  32 #include "arm.h"
  33 #include "arm-reloc-property.h"
  34
  35 namespace gold
  36 {
  37
  38 // Arm_reloc_property::Tree_node methods.
  39
  40 // Parse an S-expression S and build a tree and return the root node.
  41 // Caller is responsible for releasing tree after use.
  42
  43 Arm_reloc_property::Tree_node*
  44 Arm_reloc_property::Tree_node::make_tree(const std::string& s)
  45 {
  46   std::stack<size_t> size_stack;
  47   Tree_node_vector node_stack;
  48
  49   // strtok needs a non-const string pointer.
  50   char* buffer = new char[s.size() + 1];
  51   memcpy(buffer, s.data(), s.size());
  52   buffer[s.size()] = '\0';
  53   char* token = strtok(buffer, " ");
  54
  55   while (token != NULL)
  56     {
  57       if (strcmp(token, "(") == 0)
  58         // Remember the node stack position for start of a new internal node.
  59         size_stack.push(node_stack.size());
  60       else if (strcmp(token, ")") == 0)
  61         {
  62           // Pop all tree nodes after the previous '(' and use them as
  63           // children to build a new internal node.  Push internal node back.
  64           size_t current_size = node_stack.size();
  65           size_t prev_size = size_stack.top();
  66           size_stack.pop();
  67           Tree_node* node =
  68             new Tree_node(node_stack.begin() + prev_size,
  69                           node_stack.begin() + current_size);
  70           node_stack.resize(prev_size);
  71           node_stack.push_back(node);
  72         }
  73       else
  74         // Just push a leaf node to node_stack.
  75         node_stack.push_back(new Tree_node(token));
  76
  77       token = strtok(NULL, " ");
  78     }
  79
  80   delete[] buffer;
  81
  82   // At this point, size_stack should be empty and node_stack should only
  83   // contain the root node.
  84   gold_assert(size_stack.empty() && node_stack.size() == 1);
  85   return node_stack[0];
  86 }
  87
  88 // Arm_reloc_property methods.
  89
  90 // Constructor.
  91
  92 Arm_reloc_property::Arm_reloc_property(
  93     unsigned int code,
  94     const char* name,
  95     Reloc_type rtype,
  96     bool is_deprecated,
  97     Reloc_class rclass,
  98     const std::string& operation,
  99     bool is_implemented,
 100     int group_index,
 101     bool checks_overflow)
 102   : code_(code), name_(name), reloc_type_(rtype), reloc_class_(rclass),
 103     group_index_(group_index), size_(0), align_(1),
 104     relative_address_base_(RAB_NONE), is_deprecated_(is_deprecated),
 105     is_implemented_(is_implemented), checks_overflow_(checks_overflow),
 106     uses_got_entry_(false), uses_got_origin_(false), uses_plt_entry_(false),
 107     uses_thumb_bit_(false), uses_symbol_base_(false), uses_addend_(false),
 108     uses_symbol_(false)
 109 {
 110   // Set size and alignment of static and dynamic relocations.
 111   if (rtype == RT_STATIC)
 112     {
 113       switch (rclass)
 114         {
 115         case RC_DATA:
 116           // Except for R_ARM_ABS16 and R_ARM_ABS8, all static data relocations
 117           // have size 4.  All static data relocations have alignment of 1.
 118           if (code == elfcpp::R_ARM_ABS8)
 119             this->size_ = 1;
 120           else if (code == elfcpp::R_ARM_ABS16)
 121             this->size_ = 2;
 122           else
 123             this->size_ = 4;
 124           this->align_ = 1;
 125           break;
 126         case RC_MISC:
 127           // R_ARM_V4BX should be treated as an ARM relocation.  For all
 128           // others, just use defaults.
 129           if (code != elfcpp::R_ARM_V4BX)
 130             break;
 131           // Fall through.
 132         case RC_ARM:
 133           this->size_ = 4;
 134           this->align_ = 4;
 135           break;
 136         case RC_THM16:
 137           this->size_ = 2;
 138           this->align_ = 2;
 139           break;
 140         case RC_THM32:
 141           this->size_ = 4;
 142           this->align_ = 2;
 143           break;
 144         default:
 145           gold_unreachable();
 146         }
 147     }
 148   else if (rtype == RT_DYNAMIC)
 149     {
 150       // With the exception of R_ARM_COPY, all dynamic relocations requires
 151       // that the place being relocated is a word-aligned 32-bit object.
 152       if (code != elfcpp::R_ARM_COPY)
 153         {
 154           this->size_ = 4;
 155           this->align_ = 4;
 156         }
 157     }
 158
 159   // If no relocation operation is specified, we are done.
 160   if (operation == "NONE")
 161     return;
 162
 163   // Extract information from relocation operation.
 164   Tree_node* root_node = Tree_node::make_tree(operation);
 165   Tree_node* node = root_node;
 166
 167   // Check for an expression of the form XXX - YYY.
 168   if (!node->is_leaf()
 169       && node->child(0)->is_leaf()
 170       && node->child(0)->name() == "-")
 171     {
 172       struct RAB_table_entry
 173       {
 174         Relative_address_base rab;
 175         const char* name;
 176       };
 177
 178       static const RAB_table_entry rab_table[] =
 179       {
 180         { RAB_B_S, "( B S )" },
 181         { RAB_DELTA_B_S, "( DELTA_B ( S ) )" },
 182         { RAB_GOT_ORG, "GOT_ORG" },
 183         { RAB_P, "P" },
 184         { RAB_Pa, "Pa" },
 185         { RAB_TLS, "TLS" },
 186         { RAB_tp, "tp" }
 187       };
 188
 189       static size_t rab_table_size = sizeof(rab_table) / sizeof(rab_table[0]);
 190       const std::string rhs(node->child(2)->s_expression());
 191       for (size_t i = 0; i < rab_table_size; ++i)
 192         if (rhs == rab_table[i].name)
 193           {
 194             this->relative_address_base_ = rab_table[i].rab;
 195             break;
 196           }
 197
 198       gold_assert(this->relative_address_base_ != RAB_NONE);
 199       if (this->relative_address_base_ == RAB_B_S)
 200         this->uses_symbol_base_ = true;
 201       node = node->child(1);
 202     }
 203
 204   // Check for an expression of the form XXX | T.
 205   if (!node->is_leaf()
 206       && node->child(0)->is_leaf()
 207       && node->child(0)->name() == "|")
 208     {
 209       gold_assert(node->number_of_children() == 3
 210                   && node->child(2)->is_leaf()
 211                   && node->child(2)->name() == "T");
 212       this->uses_thumb_bit_ = true;
 213       node = node->child(1);
 214     }
 215
 216   // Check for an expression of the form XXX + A.
 217   if (!node->is_leaf()
 218       && node->child(0)->is_leaf()
 219       && node->child(0)->name() == "+")
 220     {
 221       gold_assert(node->number_of_children() == 3
 222                   && node->child(2)->is_leaf()
 223                   && node->child(2)->name() == "A");
 224       this->uses_addend_ = true;
 225       node = node->child(1);
 226     }
 227
 228   // Check for an expression of the form XXX(S).
 229   if (!node->is_leaf() && node->child(0)->is_leaf())
 230     {
 231       gold_assert(node->number_of_children() == 2
 232                   && node->child(1)->is_leaf()
 233                   && node->child(1)->name() == "S");
 234       const std::string func(node->child(0)->name());
 235       if (func == "B")
 236         this->uses_symbol_base_ = true;
 237       else if (func == "GOT")
 238         this->uses_got_entry_ = true;
 239       else if (func == "PLT")
 240         this->uses_plt_entry_ = true;
 241       else if (func == "Module" || func == "DELTA_B")
 242         // These are used in dynamic relocations.
 243         ;
 244       else
 245         gold_unreachable();
 246       node = node->child(1);
 247     }
 248
 249   gold_assert(node->is_leaf() && node->name() == "S");
 250   this->uses_symbol_ = true;
 251
 252   delete root_node;
 253 }
 254
 255 // Arm_reloc_property_table methods.
 256
 257 // Constructor.  This processing informations in arm-reloc.def to
 258 // initialize the table.
 259
 260 Arm_reloc_property_table::Arm_reloc_property_table()
 261 {
 262   // These appear in arm-reloc.def.  Do not rename them.
 263   Parse_expression A("A"), GOT_ORG("GOT_ORG"), NONE("NONE"), P("P"),
 264                    Pa("Pa"), S("S"), T("T"), TLS("TLS"), tp("tp");
 265   const bool Y(true), N(false);
 266
 267   for (unsigned int i = 0; i < Property_table_size; ++i)
 268     this->table_[i] = NULL;
 269
 270 #undef RD
 271 #define RD(name, type, deprecated, class, operation, is_implemented, \
 272            group_index, checks_oveflow) \
 273   do \
 274     { \
 275       unsigned int code = elfcpp::R_ARM_##name; \
 276       gold_assert(code < Property_table_size); \
 277       this->table_[code] = \
 278         new Arm_reloc_property(elfcpp::R_ARM_##name, "R_ARM_" #name, \
 279                                Arm_reloc_property::RT_##type, deprecated, \
 280                                Arm_reloc_property::RC_##class, \
 281                                (operation).s_expression(), is_implemented, \
 282                                group_index, checks_oveflow); \
 283     } \
 284   while(0);
 285
 286 #include "arm-reloc.def"
 287 #undef RD
 288 }
 289
 290 // Return a string describing a relocation code that fails to get a
 291 // relocation property in get_implemented_static_reloc_property().
 292
 293 std::string
 294 Arm_reloc_property_table::reloc_name_in_error_message(unsigned int code)
 295 {
 296   gold_assert(code < Property_table_size);
 297
 298   const Arm_reloc_property* arp = this->table_[code];
 299
 300   if (arp == NULL)
 301     {
 302       char buffer[100];
 303       sprintf(buffer, _("invalid reloc %u"), code);
 304       return std::string(buffer);
 305     }
 306
 307   // gold only implements static relocation codes.
 308   Arm_reloc_property::Reloc_type reloc_type = arp->reloc_type();
 309   gold_assert(reloc_type == Arm_reloc_property::RT_STATIC
 310               || !arp->is_implemented());
 311
 312   const char* prefix = NULL;
 313   switch (reloc_type)
 314     {
 315     case Arm_reloc_property::RT_STATIC:
 316       prefix = arp->is_implemented() ? _("reloc ") : _("unimplemented reloc ");
 317       break;
 318     case Arm_reloc_property::RT_DYNAMIC:
 319       prefix = _("dynamic reloc ");
 320       break;
 321     case Arm_reloc_property::RT_PRIVATE:
 322       prefix = _("private reloc ");
 323       break;
 324     case Arm_reloc_property::RT_OBSOLETE:
 325       prefix = _("obsolete reloc ");
 326       break;
 327     default:
 328       gold_unreachable();
 329     }
 330   return std::string(prefix) + arp->name();
 331 }
 332
 333 } // End namespace gold.