diff options
Diffstat (limited to 'gcc-4.4.3/gcc/ada/back_end.adb')
| -rw-r--r-- | gcc-4.4.3/gcc/ada/back_end.adb | 300 |
1 files changed, 300 insertions, 0 deletions
diff --git a/gcc-4.4.3/gcc/ada/back_end.adb b/gcc-4.4.3/gcc/ada/back_end.adb new file mode 100644 index 000000000..7a4e4dadf --- /dev/null +++ b/gcc-4.4.3/gcc/ada/back_end.adb @@ -0,0 +1,300 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- B A C K _ E N D -- +-- -- +-- B o d y -- +-- -- +-- Copyright (C) 1992-2008, 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 Atree; use Atree; +with Debug; use Debug; +with Elists; use Elists; +with Lib; use Lib; +with Osint; use Osint; +with Opt; use Opt; +with Osint.C; use Osint.C; +with Namet; use Namet; +with Nlists; use Nlists; +with Stand; use Stand; +with Sinput; use Sinput; +with Stringt; use Stringt; +with Switch; use Switch; +with Switch.C; use Switch.C; +with System; use System; +with Types; use Types; + +package body Back_End is + + ------------------- + -- Call_Back_End -- + ------------------- + + procedure Call_Back_End (Mode : Back_End_Mode_Type) is + + -- The Source_File_Record type has a lot of components that are + -- meaningless to the back end, so a new record type is created + -- here to contain the needed information for each file. + + type File_Info_Type is record + File_Name : File_Name_Type; + Num_Source_Lines : Nat; + end record; + + File_Info_Array : array (1 .. Last_Source_File) of File_Info_Type; + + procedure gigi + (gnat_root : Int; + max_gnat_node : Int; + number_name : Nat; + nodes_ptr : Address; + + next_node_ptr : Address; + prev_node_ptr : Address; + elists_ptr : Address; + elmts_ptr : Address; + + strings_ptr : Address; + string_chars_ptr : Address; + list_headers_ptr : Address; + number_file : Nat; + + file_info_ptr : Address; + gigi_standard_boolean : Entity_Id; + gigi_standard_integer : Entity_Id; + gigi_standard_long_long_float : Entity_Id; + gigi_standard_exception_type : Entity_Id; + gigi_operating_mode : Back_End_Mode_Type); + + pragma Import (C, gigi); + + begin + -- Skip call if in -gnatdH mode + + if Debug_Flag_HH then + return; + end if; + + for J in 1 .. Last_Source_File loop + File_Info_Array (J).File_Name := Full_Debug_Name (J); + File_Info_Array (J).Num_Source_Lines := Num_Source_Lines (J); + end loop; + + gigi + (gnat_root => Int (Cunit (Main_Unit)), + max_gnat_node => Int (Last_Node_Id - First_Node_Id + 1), + number_name => Name_Entries_Count, + nodes_ptr => Nodes_Address, + + next_node_ptr => Next_Node_Address, + prev_node_ptr => Prev_Node_Address, + elists_ptr => Elists_Address, + elmts_ptr => Elmts_Address, + + strings_ptr => Strings_Address, + string_chars_ptr => String_Chars_Address, + list_headers_ptr => Lists_Address, + number_file => Num_Source_Files, + + file_info_ptr => File_Info_Array'Address, + gigi_standard_boolean => Standard_Boolean, + gigi_standard_integer => Standard_Integer, + gigi_standard_long_long_float => Standard_Long_Long_Float, + gigi_standard_exception_type => Standard_Exception_Type, + gigi_operating_mode => Mode); + end Call_Back_End; + + ----------------------------- + -- Scan_Compiler_Arguments -- + ----------------------------- + + procedure Scan_Compiler_Arguments is + Next_Arg : Pos := 1; + + type Arg_Array is array (Nat) of Big_String_Ptr; + type Arg_Array_Ptr is access Arg_Array; + + flag_stack_check : Int; + pragma Import (C, flag_stack_check); + -- Import from toplev.c + + save_argc : Nat; + pragma Import (C, save_argc); + -- Import from toplev.c + + save_argv : Arg_Array_Ptr; + pragma Import (C, save_argv); + -- Import from toplev.c + + Output_File_Name_Seen : Boolean := False; + -- Set to True after having scanned file_name for switch "-gnatO file" + + -- Local functions + + function Len_Arg (Arg : Pos) return Nat; + -- Determine length of argument number Arg on the original command line + -- from gnat1. + + procedure Scan_Back_End_Switches (Switch_Chars : String); + -- Procedure to scan out switches stored in Switch_Chars. The first + -- character is known to be a valid switch character, and there are no + -- blanks or other switch terminator characters in the string, so the + -- entire string should consist of valid switch characters, except that + -- an optional terminating NUL character is allowed. + -- + -- Back end switches have already been checked and processed by GCC + -- in toplev.c, so no errors can occur and control will always return. + -- The switches must still be scanned to skip the arguments of the + -- "-o" or the (undocumented) "-dumpbase" switch, by incrementing + -- the Next_Arg variable. The "-dumpbase" switch is used to set the + -- basename for GCC dumpfiles. + + ------------- + -- Len_Arg -- + ------------- + + function Len_Arg (Arg : Pos) return Nat is + begin + for J in 1 .. Nat'Last loop + if save_argv (Arg).all (Natural (J)) = ASCII.NUL then + return J - 1; + end if; + end loop; + + raise Program_Error; + end Len_Arg; + + ---------------------------- + -- Scan_Back_End_Switches -- + ---------------------------- + + procedure Scan_Back_End_Switches (Switch_Chars : String) is + First : constant Positive := Switch_Chars'First + 1; + Last : Natural := Switch_Chars'Last; + + begin + if Last >= First + and then Switch_Chars (Last) = ASCII.NUL + then + Last := Last - 1; + end if; + + -- For switches -o, -dumpbase, --param, skip following argument and + -- do not store either the switch or the following argument. + + if Switch_Chars (First .. Last) = "o" or else + Switch_Chars (First .. Last) = "dumpbase" or else + Switch_Chars (First .. Last) = "-param" + then + Next_Arg := Next_Arg + 1; + + -- Do not record -quiet switch + + elsif Switch_Chars (First .. Last) = "quiet" then + null; + + -- Store any other GCC switches + + else + Store_Compilation_Switch (Switch_Chars); + + -- Special check, the back end switch -fno-inline also sets the + -- front end flag to entirely inhibit all inlining. + + if Switch_Chars (First .. Last) = "fno-inline" then + Opt.Suppress_All_Inlining := True; + end if; + end if; + end Scan_Back_End_Switches; + + -- Start of processing for Scan_Compiler_Arguments + + begin + -- Acquire stack checking mode directly from GCC + + Opt.Stack_Checking_Enabled := (flag_stack_check /= 0); + + -- Loop through command line arguments, storing them for later access + + while Next_Arg < save_argc loop + Look_At_Arg : declare + Argv_Ptr : constant Big_String_Ptr := save_argv (Next_Arg); + Argv_Len : constant Nat := Len_Arg (Next_Arg); + Argv : constant String := + Argv_Ptr (1 .. Natural (Argv_Len)); + + begin + -- If the previous switch has set the Output_File_Name_Present + -- flag (that is we have seen a -gnatO), then the next argument + -- is the name of the output object file. + + if Output_File_Name_Present + and then not Output_File_Name_Seen + then + if Is_Switch (Argv) then + Fail ("Object file name missing after -gnatO"); + + else + Set_Output_Object_File_Name (Argv); + Output_File_Name_Seen := True; + end if; + + -- If the previous switch has set the Search_Directory_Present + -- flag (that is if we have just seen -I), then the next argument + -- is a search directory path. + + elsif Search_Directory_Present then + if Is_Switch (Argv) then + Fail ("search directory missing after -I"); + else + Add_Src_Search_Dir (Argv); + Search_Directory_Present := False; + end if; + + elsif not Is_Switch (Argv) then -- must be a file name + Add_File (Argv); + + -- We must recognize -nostdinc to suppress visibility on the + -- standard GNAT RTL sources. This is also a gcc switch. + + elsif Argv (Argv'First + 1 .. Argv'Last) = "nostdinc" then + Opt.No_Stdinc := True; + Scan_Back_End_Switches (Argv); + + -- We must recognize -nostdlib to suppress visibility on the + -- standard GNAT RTL objects. + + elsif Argv (Argv'First + 1 .. Argv'Last) = "nostdlib" then + Opt.No_Stdlib := True; + + elsif Is_Front_End_Switch (Argv) then + Scan_Front_End_Switches (Argv); + + -- All non-front-end switches are back-end switches + + else + Scan_Back_End_Switches (Argv); + end if; + end Look_At_Arg; + + Next_Arg := Next_Arg + 1; + end loop; + end Scan_Compiler_Arguments; + +end Back_End; |