OSDN Git Service

PR 10980
[pf3gnuchains/pf3gnuchains3x.git] / gold / script.h
index 4d8cfab..a7e0186 100644 (file)
@@ -31,6 +31,7 @@
 #define GOLD_SCRIPT_H
 
 #include <cstdio>
+#include <string>
 #include <vector>
 
 #include "script-sections.h"
@@ -42,11 +43,13 @@ class General_options;
 class Command_line;
 class Symbol_table;
 class Layout;
+class Mapfile;
 class Input_argument;
+class Input_arguments;
 class Input_objects;
 class Input_group;
 class Input_file;
-class Target;
+class Output_segment;
 class Task_token;
 class Workqueue;
 struct Version_dependency_list;
@@ -66,9 +69,35 @@ class Expression
   virtual ~Expression()
   { }
 
-  // Return the value of the expression.
+  // Return the value of the expression which is not permitted to
+  // refer to the dot symbol.  CHECK_ASSERTIONS is true if we should
+  // check whether assertions are true.
   uint64_t
-  eval(const Symbol_table*, const Layout*);
+  eval(const Symbol_table*, const Layout*, bool check_assertions);
+
+  // Return the value of an expression which is permitted to refer to
+  // the dot symbol.  DOT_VALUE is the absolute value of the dot
+  // symbol.  DOT_SECTION is the section in which dot is defined; it
+  // should be NULL if the dot symbol has an absolute value (e.g., is
+  // defined in a SECTIONS clause outside of any output section
+  // definition).  This sets *RESULT_SECTION to indicate where the
+  // value is defined.  If the value is absolute *RESULT_SECTION will
+  // be NULL.  Note that the returned value is still an absolute
+  // value; to get a section relative value the caller must subtract
+  // the section address.
+  uint64_t
+  eval_with_dot(const Symbol_table*, const Layout*, bool check_assertions,
+               uint64_t dot_value, Output_section* dot_section,
+               Output_section** result_section);
+
+  // Return the value of an expression which may or may not be
+  // permitted to refer to the dot symbol, depending on
+  // is_dot_available.
+  uint64_t
+  eval_maybe_dot(const Symbol_table*, const Layout*, bool check_assertions,
+                bool is_dot_available, uint64_t dot_value,
+                Output_section* dot_section,
+                Output_section** result_section);
 
   // Print the expression to the FILE.  This is for debugging.
   virtual void
@@ -99,32 +128,50 @@ class Expression
 class Version_script_info
 {
  public:
+  // The languages which can be specified in a versionn script.
+  enum Language
+  {
+    LANGUAGE_C,                // No demangling.
+    LANGUAGE_CXX,      // C++ demangling.
+    LANGUAGE_JAVA,     // Java demangling.
+    LANGUAGE_COUNT
+  };
+
+  Version_script_info();
+
   ~Version_script_info();
 
+  // Clear everything.
+  void
+  clear();
+
+  // Finalize the version control information.
+  void
+  finalize();
+
+  // Return whether the information is finalized.
+  bool
+  is_finalized() const
+  { return this->is_finalized_; }
+
   // Return whether any version were defined in the version script.
   bool
   empty() const
   { return this->version_trees_.empty(); }
 
-  // Return the version associated with the given symbol name.
-  // Strings are allocated out of the stringpool given in the
-  // constructor.  Strings are allocated out of the stringpool given
-  // in the constructor.
-  const std::string&
-  get_symbol_version(const char* symbol) const
-  { return get_symbol_version_helper(symbol, true); }
-
-  // Return whether this symbol matches the local: section of a
-  // version script (it doesn't matter which).  This test is only
-  // valid if get_symbol_version() returns the empty string, as we
-  // don't test that here.
+  // If there is a version associated with SYMBOL, return true, and
+  // set *VERSION to the version.  Otherwise, return false.
+  bool
+  get_symbol_version(const char* symbol, std::string* version) const
+  { return this->get_symbol_version_helper(symbol, true, version); }
+
+  // Return whether this symbol matches the local: section of some
+  // version.
   bool
   symbol_is_local(const char* symbol) const
-  { return !get_symbol_version_helper(symbol, false).empty(); }
+  { return this->get_symbol_version_helper(symbol, false, NULL); }
 
   // Return the names of versions defined in the version script.
-  // Strings are allocated out of the stringpool given in the
-  // constructor.
   std::vector<std::string>
   get_versions() const;
 
@@ -145,6 +192,10 @@ class Version_script_info
   struct Version_tree*
   allocate_version_tree();
 
+  // Build the lookup tables after all data have been read.
+  void
+  build_lookup_tables();
+
   // Print contents to the FILE.  This is for debugging.
   void
   print(FILE*) const;
@@ -153,12 +204,58 @@ class Version_script_info
   void
   print_expression_list(FILE* f, const Version_expression_list*) const;
 
-  const std::string& get_symbol_version_helper(const char* symbol,
-                                               bool check_global) const;
+  bool
+  get_symbol_version_helper(const char* symbol,
+                           bool check_global,
+                           std::string* pversion) const;
+
+  // Fast lookup information for a glob pattern.
+  struct Glob
+  {
+    Glob()
+      : pattern(NULL), version(NULL)
+    { }
+
+    Glob(const char* p, const Version_tree* v)
+      : pattern(p), version(v)
+    { }
+
+    // A pointer to the glob pattern.  The pattern itself lives in a
+    // Version_expression structure.
+    const char* pattern;
+    // The Version_tree we use if this pattern matches.
+    const Version_tree* version;
+  };
+
+  // Fast lookup information for a given language.
+
+  typedef Unordered_map<std::string, const Version_tree*> Exact;
+
+  struct Lookup
+  {
+    // A hash table of all exact match strings mapping to a
+    // Version_tree.
+    Exact exact;
+    // A vector of glob patterns mapping to Version_trees.
+    std::vector<Glob> globs;
+  };
 
-  std::vector<struct Version_dependency_list*> dependency_lists_;
-  std::vector<struct Version_expression_list*> expression_lists_;
-  std::vector<struct Version_tree*> version_trees_;
+  void
+  build_expression_list_lookup(const Version_expression_list*,
+                              const Version_tree*, Lookup**);
+
+  // All the version dependencies we allocate.
+  std::vector<Version_dependency_list*> dependency_lists_;
+  // All the version expressions we allocate.
+  std::vector<Version_expression_list*> expression_lists_;
+  // The list of versions.
+  std::vector<Version_tree*> version_trees_;
+  // Lookup information for global symbols, by language.
+  Lookup* globals_[LANGUAGE_COUNT];
+  // Lookup information for local symbols, by language.
+  Lookup* locals_[LANGUAGE_COUNT];
+  // Whether this has been finalized.
+  bool is_finalized_;
 };
 
 // This class manages assignments to symbols.  These can appear in
@@ -170,33 +267,55 @@ class Version_script_info
 class Symbol_assignment
 {
  public:
-  Symbol_assignment(const char* name, size_t namelen, Expression* val,
-                   bool provide, bool hidden)
-    : name_(name, namelen), val_(val), provide_(provide), hidden_(hidden),
-      sym_(NULL)
+  Symbol_assignment(const char* name, size_t namelen, bool is_defsym,
+                   Expression* val, bool provide, bool hidden)
+    : name_(name, namelen), val_(val), is_defsym_(is_defsym),
+      provide_(provide), hidden_(hidden), sym_(NULL)
   { }
 
   // Add the symbol to the symbol table.
   void
-  add_to_table(Symbol_table*, const Target*);
+  add_to_table(Symbol_table*);
 
   // Finalize the symbol value.
-  void finalize(Symbol_table*, const Layout*);
+  void
+  finalize(Symbol_table*, const Layout*);
+
+  // Finalize the symbol value when it can refer to the dot symbol.
+  void
+  finalize_with_dot(Symbol_table*, const Layout*, uint64_t dot_value,
+                   Output_section* dot_section);
+
+  // Set the symbol value, but only if the value is absolute.  This is
+  // used while processing a SECTIONS clause.  We assume that dot is
+  // an absolute value here.  We do not check assertions.
+  void
+  set_if_absolute(Symbol_table*, const Layout*, bool is_dot_available,
+                 uint64_t dot_value);
 
   // Print the assignment to the FILE.  This is for debugging.
   void
   print(FILE*) const;
 
  private:
+  // Shared by finalize and finalize_with_dot.
+  void
+  finalize_maybe_dot(Symbol_table*, const Layout*, bool is_dot_available,
+                    uint64_t dot_value, Output_section* dot_section);
+
   // Sized version of finalize.
   template<int size>
   void
-  sized_finalize(Symbol_table*, const Layout*);
+  sized_finalize(Symbol_table*, const Layout*, bool is_dot_available,
+                uint64_t dot_value, Output_section*);
 
   // Symbol name.
   std::string name_;
   // Expression to assign to symbol.
   Expression* val_;
+  // True if this symbol is defined by a --defsym, false if it is
+  // defined in a linker script.
+  bool is_defsym_;
   // Whether the assignment should be provided (only set if there is
   // an undefined reference to the symbol.
   bool provide_;
@@ -247,20 +366,10 @@ class Script_options
  public:
   Script_options();
 
-  // The entry address.
-  const char*
-  entry() const
-  { return this->entry_.empty() ? NULL : this->entry_.c_str(); }
-
-  // Set the entry address.
-  void
-  set_entry(const char* entry, size_t length)
-  { this->entry_.assign(entry, length); }
-
   // Add a symbol to be defined.
   void
-  add_symbol_assignment(const char* name, size_t length, Expression* value,
-                       bool provide, bool hidden);
+  add_symbol_assignment(const char* name, size_t length, bool is_defsym,
+                       Expression* value, bool provide, bool hidden);
 
   // Add an assertion.
   void
@@ -270,11 +379,15 @@ class Script_options
   bool
   define_symbol(const char* definition);
 
+  // Create sections required by any linker scripts.
+  void
+  create_script_sections(Layout*);
+
   // Add all symbol definitions to the symbol table.
   void
-  add_symbols_to_table(Symbol_table*, const Target*);
+  add_symbols_to_table(Symbol_table*);
 
-  // Finalize the symbol values.
+  // Finalize the symbol values.  Also check assertions.
   void
   finalize_symbols(Symbol_table*, const Layout*);
 
@@ -284,12 +397,37 @@ class Script_options
   version_script_info()
   { return &this->version_script_info_; }
 
+  const Version_script_info*
+  version_script_info() const
+  { return &this->version_script_info_; }
+
   // A SECTIONS clause parsed from a linker script.  Everything else
   // has a pointer to this object.
   Script_sections*
   script_sections()
   { return &this->script_sections_; }
 
+  const Script_sections*
+  script_sections() const
+  { return &this->script_sections_; }
+
+  // Whether we saw a SECTIONS clause.
+  bool
+  saw_sections_clause() const
+  { return this->script_sections_.saw_sections_clause(); }
+
+  // Whether we saw a PHDRS clause.
+  bool
+  saw_phdrs_clause() const
+  { return this->script_sections_.saw_phdrs_clause(); }
+
+  // Set section addresses using a SECTIONS clause.  Return the
+  // segment which should hold the file header and segment headers;
+  // this may return NULL, in which case the headers are not in a
+  // loadable segment.
+  Output_segment*
+  set_section_addresses(Symbol_table*, Layout*);
+
   // Print the script to the FILE.  This is for debugging.
   void
   print(FILE*) const;
@@ -315,24 +453,43 @@ class Script_options
   Script_sections script_sections_;
 };
 
+// Information about a script input that will persist during the whole linker
+// run. Needed only during an incremental build to retrieve the input files
+// added by this script.
+
+class Script_info
+{
+ public:
+  Script_info(Input_arguments* inputs)
+    : inputs_(inputs)
+  { }
+
+  // Returns the input files included because of this script.
+  Input_arguments*
+  inputs()
+  { return this->inputs_; }
+
+ private:
+  Input_arguments* inputs_;
+};
+
 // FILE was found as an argument on the command line, but was not
-// recognized as an ELF file.  Try to read it as a script.  We've
-// already read BYTES of data into P.  Return true if the file was
-// handled.  This has to handle /usr/lib/libc.so on a GNU/Linux
-// system.
+// recognized as an ELF file.  Try to read it as a script.  Return
+// true if the file was handled.  This has to handle /usr/lib/libc.so
+// on a GNU/Linux system.  *USED_NEXT_BLOCKER is set to indicate
+// whether the function took over NEXT_BLOCKER.
 
 bool
-read_input_script(Workqueue*, const General_options&, Symbol_table*, Layout*,
-                 Dirsearch*, Input_objects*, Input_group*,
-                 const Input_argument*, Input_file*, const unsigned char* p,
-                 off_t bytes, Task_token* this_blocker,
-                 Task_token* next_blocker);
+read_input_script(Workqueue*, Symbol_table*, Layout*, Dirsearch*, int,
+                 Input_objects*, Mapfile*, Input_group*,
+                 const Input_argument*, Input_file*,
+                 Task_token* next_blocker, bool* used_next_blocker);
 
 // FILE was found as an argument to --script (-T).
 // Read it as a script, and execute its contents immediately.
 
 bool
-read_commandline_script(const char* filename, Command_line*);
+read_commandline_script(const char* filename, Command_line* cmdline);
 
 // FILE was found as an argument to --version-script.  Read it as a
 // version script, and store its contents in
@@ -341,6 +498,13 @@ read_commandline_script(const char* filename, Command_line*);
 bool
 read_version_script(const char* filename, Command_line* cmdline);
 
+// FILENAME was found as an argument to --dynamic-list.  Read it as a
+// version script (actually, a versym_node from a version script), and
+// store its contents in DYNAMIC_LIST.
+
+bool
+read_dynamic_list(const char* filename, Command_line* cmdline,
+                  Script_options* dynamic_list);
 
 } // End namespace gold.