Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                    M L I B . T G T . S P E C I F I C                     --

--                         (Integrity VMS Version)                          --

--                                                                          --

--                                 B o d y                                  --

--                                                                          --

--          Copyright (C) 2004-2010, Free Software Foundation, Inc.         --

--                                                                          --

-- GNAT is free software;  you can  redistribute it  and/or modify it under --

-- terms of the  GNU General Public License as published  by the Free Soft- --

-- ware  Foundation;  either version 3,  or (at your option) any later ver- --

-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --

-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --

-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --

-- for  more details.  You should have  received  a copy of the GNU General --

-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This is the Integrity VMS version of the body

with Ada.Characters.Handling; use Ada.Characters.Handling;

with MLib.Fil;

with MLib.Utl;

with MLib.Tgt.VMS_Common; use MLib.Tgt.VMS_Common;

with Opt;      use Opt;

with Output;   use Output;

with GNAT.Directory_Operations; use GNAT.Directory_Operations;

with System;           use System;

with System.Case_Util; use System.Case_Util;

with System.CRTL;      use System.CRTL;

package body MLib.Tgt.Specific is

   --  Non default subprogram, see comment in mlib-tgt.ads

   procedure Build_Dynamic_Library

     (Ofiles       : Argument_List;

      Options      : Argument_List;

      Interfaces   : Argument_List;

      Lib_Filename : String;

      Lib_Dir      : String;

      Symbol_Data  : Symbol_Record;

      Driver_Name  : Name_Id := No_Name;

      Lib_Version  : String  := "";

      Auto_Init    : Boolean := False);

   --  Local variables

   Empty_Argument_List : aliased Argument_List := (1 .. 0 => null);

   Additional_Objects  : Argument_List_Access := Empty_Argument_List'Access;

   --  Used to add the generated auto-init object files for auto-initializing

   --  stand-alone libraries.

   Macro_Name : constant String := "mcr gnu:[bin]gcc -c -x assembler";

   --  The name of the command to invoke the macro-assembler

   VMS_Options : Argument_List := (1 .. 1 => null);

   Gnatsym_Name : constant String := "gnatsym";

   Gnatsym_Path : String_Access;

   Arguments     : Argument_List_Access := null;

   Last_Argument : Natural := 0;

   Success : Boolean := False;

   Shared_Libgcc : aliased String := "-shared-libgcc";

   Shared_Libgcc_Switch : constant Argument_List :=

                            (1 => Shared_Libgcc'Access);

   ---------------------------

   -- Build_Dynamic_Library --

   ---------------------------

   procedure Build_Dynamic_Library

     (Ofiles       : Argument_List;

      Options      : Argument_List;

      Interfaces   : Argument_List;

      Lib_Filename : String;

      Lib_Dir      : String;

      Symbol_Data  : Symbol_Record;

      Driver_Name  : Name_Id := No_Name;

      Lib_Version  : String  := "";

      Auto_Init    : Boolean := False)

   is

      Lib_File : constant String :=

                   Lib_Dir & Directory_Separator & "lib" &

                   Fil.Ext_To (Lib_Filename, DLL_Ext);

      Opts      : Argument_List := Options;

      Last_Opt  : Natural       := Opts'Last;

      Opts2     : Argument_List (Options'Range);

      Last_Opt2 : Natural       := Opts2'First - 1;

      Inter : constant Argument_List := Interfaces;

      function Is_Interface (Obj_File : String) return Boolean;

      --  For a Stand-Alone Library, returns True if Obj_File is the object

      --  file name of an interface of the SAL. For other libraries, always

      --  return True.

      function Option_File_Name return String;

      --  Returns Symbol_File, if not empty. Otherwise, returns "symvec.opt"

      function Version_String return String;

      --  Returns Lib_Version if not empty and if Symbol_Data.Symbol_Policy is

      --  not Autonomous, otherwise returns "". When Symbol_Data.Symbol_Policy

      --  is Autonomous, fails gnatmake if Lib_Version is not the image of a

      --  positive number.

      ------------------

      -- Is_Interface --

      ------------------

      function Is_Interface (Obj_File : String) return Boolean is

         ALI : constant String :=

                 Fil.Ext_To

                  (Filename => To_Lower (Base_Name (Obj_File)),

                   New_Ext  => "ali");

      begin

         if Inter'Length = 0 then

            return True;

         elsif ALI'Length > 2 and then

               ALI (ALI'First .. ALI'First + 2) = "b__"

         then

            return True;

         else

            for J in Inter'Range loop

               if Inter (J).all = ALI then

                  return True;

               end if;

            end loop;

            return False;

         end if;

      end Is_Interface;

      ----------------------

      -- Option_File_Name --

      ----------------------

      function Option_File_Name return String is

      begin

         if Symbol_Data.Symbol_File = No_Path then

            return "symvec.opt";

         else

            Get_Name_String (Symbol_Data.Symbol_File);

            To_Lower (Name_Buffer (1 .. Name_Len));

            return Name_Buffer (1 .. Name_Len);

         end if;

      end Option_File_Name;

      --------------------

      -- Version_String --

      --------------------

      function Version_String return String is

         Version : Integer := 0;

      begin

         if Lib_Version = ""

           or else Symbol_Data.Symbol_Policy /= Autonomous

         then

            return "";

         else

            begin

               Version := Integer'Value (Lib_Version);

               if Version <= 0 then

                  raise Constraint_Error;

               end if;

               return Lib_Version;

            exception

               when Constraint_Error =>

                  Fail ("illegal version """

                        & Lib_Version

                        & """ (on VMS version must be a positive number)");

                  return "";

            end;

         end if;

      end Version_String;

      ---------------------

      -- Local Variables --

      ---------------------

      Opt_File_Name  : constant String := Option_File_Name;

      Version        : constant String := Version_String;

      For_Linker_Opt : String_Access;

   --  Start of processing for Build_Dynamic_Library

   begin

      --  Option file must end with ".opt"

      if Opt_File_Name'Length > 4

        and then

          Opt_File_Name (Opt_File_Name'Last - 3 .. Opt_File_Name'Last) = ".opt"

      then

         For_Linker_Opt := new String'("--for-linker=" & Opt_File_Name);

      else

         Fail ("Options File """ & Opt_File_Name & """ must end with .opt");

      end if;

      VMS_Options (VMS_Options'First) := For_Linker_Opt;

      for J in Inter'Range loop

         To_Lower (Inter (J).all);

      end loop;

      --  "gnatsym" is necessary for building the option file

      if Gnatsym_Path = null then

         Gnatsym_Path := Locate_Exec_On_Path (Gnatsym_Name);

         if Gnatsym_Path = null then

            Fail (Gnatsym_Name & " not found in path");

         end if;

      end if;

      --  For auto-initialization of a stand-alone library, we create

      --  a macro-assembly file and we invoke the macro-assembler.

      if Auto_Init then

         declare

            Macro_File_Name : constant String := Lib_Filename & "__init.asm";

            Macro_File      : File_Descriptor;

            Init_Proc       : constant String := Init_Proc_Name (Lib_Filename);

            Popen_Result    : System.Address;

            Pclose_Result   : Integer;

            Len             : Natural;

            OK              : Boolean := True;

            command : constant String :=

                        Macro_Name & " " & Macro_File_Name & ASCII.NUL;

            --  The command to invoke the assembler on the generated auto-init

            --  assembly file.

            --  Why odd lower case name ???

            mode : constant String := "r" & ASCII.NUL;

            --  The mode for the invocation of Popen

            --  Why odd lower case name ???

         begin

            if Verbose_Mode then

               Write_Str ("Creating auto-init assembly file """);

               Write_Str (Macro_File_Name);

               Write_Line ("""");

            end if;

            --  Create and write the auto-init assembly file

            declare

               use ASCII;

               --  Output a dummy transfer address for debugging

               --  followed by the LIB$INITIALIZE section.

               Lines : constant String :=

                 HT & ".pred.safe_across_calls p1-p5,p16-p63" & LF &

                 HT & ".text" & LF &

                 HT & ".align 16" & LF &

                 HT & ".global __main#" & LF &

                 HT & ".proc __main#" & LF &

                      "__main:" & LF &

                 HT & ".prologue" & LF &

                 HT & ".body" & LF &

                 HT & ".mib" & LF &

                 HT & "nop 0" & LF &

                 HT & "nop 0" & LF &

                 HT & "br.ret.sptk.many b0" & LF &

                 HT & ".endp __main#" & LF & LF &

                 HT & ".type " & Init_Proc & "#, @function" & LF &

                 HT & ".global " & Init_Proc & "#" & LF &

                 HT & ".global LIB$INITIALIZE#" & LF &

                 HT & ".section LIB$INITIALIZE#,""a"",@progbits" & LF &

                 HT & "data4 @fptr(" & Init_Proc & "#)" & LF;

            begin

               Macro_File := Create_File (Macro_File_Name, Text);

               OK := Macro_File /= Invalid_FD;

               if OK then

                  Len := Write

                    (Macro_File, Lines (Lines'First)'Address,

                     Lines'Length);

                  OK := Len = Lines'Length;

               end if;

               if OK then

                  Close (Macro_File, OK);

               end if;

               if not OK then

                  Fail ("creation of auto-init assembly file """

                        & Macro_File_Name

                        & """ failed");

               end if;

            end;

            --  Invoke the macro-assembler

            if Verbose_Mode then

               Write_Str ("Assembling auto-init assembly file """);

               Write_Str (Macro_File_Name);

               Write_Line ("""");

            end if;

            Popen_Result := popen (command (command'First)'Address,

                                   mode (mode'First)'Address);

            if Popen_Result = Null_Address then

               Fail ("assembly of auto-init assembly file """

                     & Macro_File_Name

                     & """ failed");

            end if;

            --  Wait for the end of execution of the macro-assembler

            Pclose_Result := pclose (Popen_Result);

            if Pclose_Result < 0 then

               Fail ("assembly of auto init assembly file """

                     & Macro_File_Name

                     & """ failed");

            end if;

            --  Add the generated object file to the list of objects to be

            --  included in the library.

            Additional_Objects :=

              new Argument_List'

                (1 => new String'(Lib_Filename & "__init.obj"));

         end;

      end if;

      --  Allocate the argument list and put the symbol file name, the

      --  reference (if any) and the policy (if not autonomous).

      Arguments := new Argument_List (1 .. Ofiles'Length + 8);

      Last_Argument := 0;

      --  Verbosity

      if Verbose_Mode then

         Last_Argument := Last_Argument + 1;

         Arguments (Last_Argument) := new String'("-v");

      end if;

      --  Version number (major ID)

      if Lib_Version /= "" then

         Last_Argument := Last_Argument + 1;

         Arguments (Last_Argument) := new String'("-V");

         Last_Argument := Last_Argument + 1;

         Arguments (Last_Argument) := new String'(Version);

      end if;

      --  Symbol file

      Last_Argument := Last_Argument + 1;

      Arguments (Last_Argument) := new String'("-s");

      Last_Argument := Last_Argument + 1;

      Arguments (Last_Argument) := new String'(Opt_File_Name);

      --  Reference Symbol File

      if Symbol_Data.Reference /= No_Path then

         Last_Argument := Last_Argument + 1;

         Arguments (Last_Argument) := new String'("-r");

         Last_Argument := Last_Argument + 1;

         Arguments (Last_Argument) :=

           new String'(Get_Name_String (Symbol_Data.Reference));

      end if;

      --  Policy

      case Symbol_Data.Symbol_Policy is

         when Autonomous =>

            null;

         when Compliant =>

            Last_Argument := Last_Argument + 1;

            Arguments (Last_Argument) := new String'("-c");

         when Controlled =>

            Last_Argument := Last_Argument + 1;

            Arguments (Last_Argument) := new String'("-C");

         when Restricted =>

            Last_Argument := Last_Argument + 1;

            Arguments (Last_Argument) := new String'("-R");

         when Direct =>

            Last_Argument := Last_Argument + 1;

            Arguments (Last_Argument) := new String'("-D");

      end case;

      --  Add each relevant object file

      for Index in Ofiles'Range loop

         if Is_Interface (Ofiles (Index).all) then

            Last_Argument := Last_Argument + 1;

            Arguments (Last_Argument) := new String'(Ofiles (Index).all);

         end if;

      end loop;

      --  Spawn gnatsym

      Spawn (Program_Name => Gnatsym_Path.all,

             Args         => Arguments (1 .. Last_Argument),

             Success      => Success);

      if not Success then

         Fail ("unable to create symbol file for library """

               & Lib_Filename

               & """");

      end if;

      Free (Arguments);

      --  Move all the -l switches from Opts to Opts2

      declare

         Index : Natural := Opts'First;

         Opt   : String_Access;

      begin

         while Index <= Last_Opt loop

            Opt := Opts (Index);

            if Opt'Length > 2 and then

              Opt (Opt'First .. Opt'First + 1) = "-l"

            then

               if Index < Last_Opt then

                  Opts (Index .. Last_Opt - 1) :=

                    Opts (Index + 1 .. Last_Opt);

               end if;

               Last_Opt := Last_Opt - 1;

               Last_Opt2 := Last_Opt2 + 1;

               Opts2 (Last_Opt2) := Opt;

            else

               Index := Index + 1;

            end if;

         end loop;

      end;

      --  Invoke gcc to build the library

      Utl.Gcc

        (Output_File => Lib_File,

         Objects     => Ofiles & Additional_Objects.all,

         Options     => VMS_Options,

         Options_2   => Shared_Libgcc_Switch &

                        Opts (Opts'First .. Last_Opt) &

                        Opts2 (Opts2'First .. Last_Opt2),

         Driver_Name => Driver_Name);

      --  The auto-init object file need to be deleted, so that it will not

      --  be included in the library as a regular object file, otherwise

      --  it will be included twice when the library will be built next

      --  time, which may lead to errors.

      if Auto_Init then

         declare

            Auto_Init_Object_File_Name : constant String :=

                                           Lib_Filename & "__init.obj";

            Disregard : Boolean;

            pragma Warnings (Off, Disregard);

         begin

            if Verbose_Mode then

               Write_Str ("deleting auto-init object file """);

               Write_Str (Auto_Init_Object_File_Name);

               Write_Line ("""");

            end if;

            Delete_File (Auto_Init_Object_File_Name, Success => Disregard);

         end;

      end if;

   end Build_Dynamic_Library;

--  Package initialization

begin

   Build_Dynamic_Library_Ptr    := Build_Dynamic_Library'Access;

end MLib.Tgt.Specific;