Subversion Repositories openrisc

------------------------------------------------------------------------------
--                                                                          --
--                         GNAT COMPILER COMPONENTS                         --
--                                                                          --
--                                 F M A P                                  --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
--          Copyright (C) 2001-2009, 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.      --
--                                                                          --
------------------------------------------------------------------------------
 
with Opt;    use Opt;
with Osint;  use Osint;
with Output; use Output;
with Table;
with Types;  use Types;
 
with System.OS_Lib; use System.OS_Lib;
 
with Unchecked_Conversion;
 
with GNAT.HTable;
 
package body Fmap is
 
   No_Mapping_File : Boolean := False;
   --  Set to True when the specified mapping file cannot be read in
   --  procedure Initialize, so that no attempt is made to open the mapping
   --  file in procedure Update_Mapping_File.
 
   function To_Big_String_Ptr is new Unchecked_Conversion
     (Source_Buffer_Ptr, Big_String_Ptr);
 
   Max_Buffer : constant := 1_500;
   Buffer : String (1 .. Max_Buffer);
   --  Used to bufferize output when writing to a new mapping file
 
   Buffer_Last : Natural := 0;
   --  Index of last valid character in Buffer
 
   type Mapping is record
      Uname : Unit_Name_Type;
      Fname : File_Name_Type;
   end record;
 
   package File_Mapping is new Table.Table (
     Table_Component_Type => Mapping,
     Table_Index_Type     => Int,
     Table_Low_Bound      => 0,
     Table_Initial        => 1_000,
     Table_Increment      => 1_000,
     Table_Name           => "Fmap.File_Mapping");
   --  Mapping table to map unit names to file names
 
   package Path_Mapping is new Table.Table (
     Table_Component_Type => Mapping,
     Table_Index_Type     => Int,
     Table_Low_Bound      => 0,
     Table_Initial        => 1_000,
     Table_Increment      => 1_000,
     Table_Name           => "Fmap.Path_Mapping");
   --  Mapping table to map file names to path names
 
   type Header_Num is range 0 .. 1_000;
 
   function Hash (F : Unit_Name_Type) return Header_Num;
   --  Function used to compute hash of unit name
 
   No_Entry : constant Int := -1;
   --  Signals no entry in following table
 
   package Unit_Hash_Table is new GNAT.HTable.Simple_HTable (
     Header_Num => Header_Num,
     Element    => Int,
     No_Element => No_Entry,
     Key        => Unit_Name_Type,
     Hash       => Hash,
     Equal      => "=");
   --  Hash table to map unit names to file names. Used in conjunction with
   --  table File_Mapping above.
 
   function Hash (F : File_Name_Type) return Header_Num;
   --  Function used to compute hash of file name
 
   package File_Hash_Table is new GNAT.HTable.Simple_HTable (
     Header_Num => Header_Num,
     Element    => Int,
     No_Element => No_Entry,
     Key        => File_Name_Type,
     Hash       => Hash,
     Equal      => "=");
   --  Hash table to map file names to path names. Used in conjunction with
   --  table Path_Mapping above.
 
   Last_In_Table : Int := 0;
 
   package Forbidden_Names is new GNAT.HTable.Simple_HTable (
     Header_Num => Header_Num,
     Element    => Boolean,
     No_Element => False,
     Key        => File_Name_Type,
     Hash       => Hash,
     Equal      => "=");
 
   -----------------------------
   -- Add_Forbidden_File_Name --
   -----------------------------
 
   procedure Add_Forbidden_File_Name (Name : File_Name_Type) is
   begin
      Forbidden_Names.Set (Name, True);
   end Add_Forbidden_File_Name;
 
   ---------------------
   -- Add_To_File_Map --
   ---------------------
 
   procedure Add_To_File_Map
     (Unit_Name : Unit_Name_Type;
      File_Name : File_Name_Type;
      Path_Name : File_Name_Type)
   is
      Unit_Entry : constant Int := Unit_Hash_Table.Get (Unit_Name);
      File_Entry : constant Int := File_Hash_Table.Get (File_Name);
   begin
      if Unit_Entry = No_Entry or else
        File_Mapping.Table (Unit_Entry).Fname /= File_Name
      then
         File_Mapping.Increment_Last;
         Unit_Hash_Table.Set (Unit_Name, File_Mapping.Last);
         File_Mapping.Table (File_Mapping.Last) :=
           (Uname => Unit_Name, Fname => File_Name);
      end if;
 
      if File_Entry = No_Entry or else
        Path_Mapping.Table (File_Entry).Fname /= Path_Name
      then
         Path_Mapping.Increment_Last;
         File_Hash_Table.Set (File_Name, Path_Mapping.Last);
         Path_Mapping.Table (Path_Mapping.Last) :=
           (Uname => Unit_Name, Fname => Path_Name);
      end if;
   end Add_To_File_Map;
 
   ----------
   -- Hash --
   ----------
 
   function Hash (F : File_Name_Type) return Header_Num is
   begin
      return Header_Num (Int (F) rem Header_Num'Range_Length);
   end Hash;
 
   function Hash (F : Unit_Name_Type) return Header_Num is
   begin
      return Header_Num (Int (F) rem Header_Num'Range_Length);
   end Hash;
 
   ----------------
   -- Initialize --
   ----------------
 
   procedure Initialize (File_Name : String) is
      Src : Source_Buffer_Ptr;
      Hi  : Source_Ptr;
      BS  : Big_String_Ptr;
      SP  : String_Ptr;
 
      First : Positive := 1;
      Last  : Natural  := 0;
 
      Uname : Unit_Name_Type;
      Fname : File_Name_Type;
      Pname : File_Name_Type;
 
      procedure Empty_Tables;
      --  Remove all entries in case of incorrect mapping file
 
      function Find_File_Name return File_Name_Type;
      --  Return Error_File_Name if the name buffer contains "/", otherwise
      --  call Name_Find. "/" is the path name in the mapping file to indicate
      --  that a source has been suppressed, and thus should not be found by
      --  the compiler.
 
      function Find_Unit_Name return Unit_Name_Type;
      --  Return the unit name in the name buffer. Return Error_Unit_Name if
      --  the name buffer contains "/".
 
      procedure Get_Line;
      --  Get a line from the mapping file, where a line is SP (First .. Last)
 
      procedure Report_Truncated;
      --  Report a warning when the mapping file is truncated
      --  (number of lines is not a multiple of 3).
 
      ------------------
      -- Empty_Tables --
      ------------------
 
      procedure Empty_Tables is
      begin
         Unit_Hash_Table.Reset;
         File_Hash_Table.Reset;
         Path_Mapping.Set_Last (0);
         File_Mapping.Set_Last (0);
         Last_In_Table := 0;
      end Empty_Tables;
 
      --------------------
      -- Find_File_Name --
      --------------------
 
      function Find_File_Name return File_Name_Type is
      begin
         if Name_Buffer (1 .. Name_Len) = "/" then
 
            --  A path name of "/" is the indication that the source has been
            --  "suppressed". Return Error_File_Name so that the compiler does
            --  not find the source, even if it is in the include path.
 
            return Error_File_Name;
 
         else
            return Name_Find;
         end if;
      end Find_File_Name;
 
      --------------------
      -- Find_Unit_Name --
      --------------------
 
      function Find_Unit_Name return Unit_Name_Type is
      begin
         return Unit_Name_Type (Find_File_Name);
      end Find_Unit_Name;
 
      --------------
      -- Get_Line --
      --------------
 
      procedure Get_Line is
         use ASCII;
 
      begin
         First := Last + 1;
 
         --  If not at the end of file, skip the end of line
 
         while First < SP'Last
           and then (SP (First) = CR
                      or else SP (First) = LF
                      or else SP (First) = EOF)
         loop
            First := First + 1;
         end loop;
 
         --  If not at the end of file, find the end of this new line
 
         if First < SP'Last and then SP (First) /= EOF then
            Last := First;
 
            while Last < SP'Last
              and then SP (Last + 1) /= CR
              and then SP (Last + 1) /= LF
              and then SP (Last + 1) /= EOF
            loop
               Last := Last + 1;
            end loop;
 
         end if;
      end Get_Line;
 
      ----------------------
      -- Report_Truncated --
      ----------------------
 
      procedure Report_Truncated is
      begin
         Write_Str ("warning: mapping file """);
         Write_Str (File_Name);
         Write_Line (""" is truncated");
      end Report_Truncated;
 
   --  Start of processing for Initialize
 
   begin
      Empty_Tables;
      Name_Len := File_Name'Length;
      Name_Buffer (1 .. Name_Len) := File_Name;
      Read_Source_File (Name_Enter, 0, Hi, Src, Config);
 
      if Src = null then
         Write_Str ("warning: could not read mapping file """);
         Write_Str (File_Name);
         Write_Line ("""");
         No_Mapping_File := True;
 
      else
         BS := To_Big_String_Ptr (Src);
         SP := BS (1 .. Natural (Hi))'Unrestricted_Access;
 
         loop
            --  Get the unit name
 
            Get_Line;
 
            --  Exit if end of file has been reached
 
            exit when First > Last;
 
            if (Last < First + 2) or else (SP (Last - 1) /= '%')
              or else (SP (Last) /= 's' and then SP (Last) /= 'b')
            then
               Write_Line
                 ("warning: mapping file """ & File_Name &
                  """ is incorrectly formatted");
               Write_Line ("Line = """ & SP (First .. Last) & '"');
               Empty_Tables;
               return;
            end if;
 
            Name_Len := Last - First + 1;
            Name_Buffer (1 .. Name_Len) := SP (First .. Last);
            Uname := Find_Unit_Name;
 
            --  Get the file name
 
            Get_Line;
 
            --  If end of line has been reached, file is truncated
 
            if First > Last then
               Report_Truncated;
               Empty_Tables;
               return;
            end if;
 
            Name_Len := Last - First + 1;
            Name_Buffer (1 .. Name_Len) := SP (First .. Last);
            Canonical_Case_File_Name (Name_Buffer (1 .. Name_Len));
            Fname := Find_File_Name;
 
            --  Get the path name
 
            Get_Line;
 
            --  If end of line has been reached, file is truncated
 
            if First > Last then
               Report_Truncated;
               Empty_Tables;
               return;
            end if;
 
            Name_Len := Last - First + 1;
            Name_Buffer (1 .. Name_Len) := SP (First .. Last);
            Pname := Find_File_Name;
 
            --  Add the mappings for this unit name
 
            Add_To_File_Map (Uname, Fname, Pname);
         end loop;
      end if;
 
      --  Record the length of the two mapping tables
 
      Last_In_Table := File_Mapping.Last;
   end Initialize;
 
   ----------------------
   -- Mapped_File_Name --
   ----------------------
 
   function Mapped_File_Name (Unit : Unit_Name_Type) return File_Name_Type is
      The_Index : constant Int := Unit_Hash_Table.Get (Unit);
 
   begin
      if The_Index = No_Entry then
         return No_File;
      else
         return File_Mapping.Table (The_Index).Fname;
      end if;
   end Mapped_File_Name;
 
   ----------------------
   -- Mapped_Path_Name --
   ----------------------
 
   function Mapped_Path_Name (File : File_Name_Type) return File_Name_Type is
      Index : Int := No_Entry;
 
   begin
      if Forbidden_Names.Get (File) then
         return Error_File_Name;
      end if;
 
      Index := File_Hash_Table.Get (File);
 
      if Index = No_Entry then
         return No_File;
      else
         return Path_Mapping.Table (Index).Fname;
      end if;
   end Mapped_Path_Name;
 
   ------------------
   -- Reset_Tables --
   ------------------
 
   procedure Reset_Tables is
   begin
      File_Mapping.Init;
      Path_Mapping.Init;
      Unit_Hash_Table.Reset;
      File_Hash_Table.Reset;
      Forbidden_Names.Reset;
      Last_In_Table := 0;
   end Reset_Tables;
 
   -------------------------
   -- Update_Mapping_File --
   -------------------------
 
   procedure Update_Mapping_File (File_Name : String) is
      File    : File_Descriptor;
      N_Bytes : Integer;
 
      File_Entry : Int;
 
      Status : Boolean;
      --  For the call to Close
 
      procedure Put_Line (Name : Name_Id);
      --  Put Name as a line in the Mapping File
 
      --------------
      -- Put_Line --
      --------------
 
      procedure Put_Line (Name : Name_Id) is
      begin
         Get_Name_String (Name);
 
         --  If the Buffer is full, write it to the file
 
         if Buffer_Last + Name_Len + 1 > Buffer'Last then
            N_Bytes := Write (File, Buffer (1)'Address, Buffer_Last);
 
            if N_Bytes < Buffer_Last then
               Fail ("disk full");
            end if;
 
            Buffer_Last := 0;
         end if;
 
         --  Add the line to the Buffer
 
         Buffer (Buffer_Last + 1 .. Buffer_Last + Name_Len) :=
           Name_Buffer (1 .. Name_Len);
         Buffer_Last := Buffer_Last + Name_Len + 1;
         Buffer (Buffer_Last) := ASCII.LF;
      end Put_Line;
 
   --  Start of Update_Mapping_File
 
   begin
      --  If the mapping file could not be read, then it will not be possible
      --  to update it.
 
      if No_Mapping_File then
         return;
      end if;
      --  Only Update if there are new entries in the mappings
 
      if Last_In_Table < File_Mapping.Last then
 
         File := Open_Read_Write (Name => File_Name, Fmode => Binary);
 
         if File /= Invalid_FD then
            if Last_In_Table > 0 then
               Lseek (File, 0, Seek_End);
            end if;
 
            for Unit in Last_In_Table + 1 .. File_Mapping.Last loop
               Put_Line (Name_Id (File_Mapping.Table (Unit).Uname));
               Put_Line (Name_Id (File_Mapping.Table (Unit).Fname));
               File_Entry :=
                 File_Hash_Table.Get (File_Mapping.Table (Unit).Fname);
               Put_Line (Name_Id (Path_Mapping.Table (File_Entry).Fname));
            end loop;
 
            --  Before closing the file, write the buffer to the file. It is
            --  guaranteed that the Buffer is not empty, because Put_Line has
            --  been called at least 3 times, and after a call to Put_Line, the
            --  Buffer is not empty.
 
            N_Bytes := Write (File, Buffer (1)'Address, Buffer_Last);
 
            if N_Bytes < Buffer_Last then
               Fail ("disk full");
            end if;
 
            Close (File, Status);
 
            if not Status then
               Fail ("disk full");
            end if;
 
         elsif not Quiet_Output then
            Write_Str ("warning: could not open mapping file """);
            Write_Str (File_Name);
            Write_Line (""" for update");
         end if;
 
      end if;
   end Update_Mapping_File;
 
end Fmap;