1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2018, AdaCore --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 ------------------------------------------------------------------------------
23 -- This is the version of the Back_End package for back ends written in Ada
25 with Atree
; use Atree
;
29 with Output
; use Output
;
30 with Osint
; use Osint
;
31 with Osint
.C
; use Osint
.C
;
32 with Switch
.C
; use Switch
.C
;
33 with Types
; use Types
;
35 with System
.OS_Lib
; use System
.OS_Lib
;
37 package body Adabkend
is
45 procedure Call_Back_End
is
47 if (Opt
.Verbose_Mode
or Opt
.Full_List
)
48 and then not Debug
.Debug_Flag_7
51 Write_Str
(Product_Name
);
52 Write_Str
(", Copyright ");
53 Write_Str
(Copyright_Years
);
54 Write_Str
(" Ada Core Technologies, Inc.");
55 Write_Str
(" (http://www.adacore.com)");
60 -- The front end leaves the Current_Error_Node at a location that is
61 -- meaningless and confusing when emitting bug boxes from the back end.
62 -- Reset the global variable in order to emit "No source file position
63 -- information available" messages on back end crashes.
65 Current_Error_Node
:= Empty
;
67 Driver
(Lib
.Cunit
(Types
.Main_Unit
));
70 -----------------------------
71 -- Scan_Compiler_Arguments --
72 -----------------------------
74 procedure Scan_Compiler_Arguments
is
75 Output_File_Name_Seen
: Boolean := False;
76 -- Set to True after having scanned the file_name for switch
79 Argument_Count
: constant Integer := Arg_Count
- 1;
80 -- Number of arguments (excluding program name)
82 Args
: Argument_List
(1 .. Argument_Count
);
83 Next_Arg
: Positive := 1;
85 procedure Scan_Back_End_Switches
(Switch_Chars
: String);
86 -- Procedure to scan out switches stored in Switch_Chars. The first
87 -- character is known to be a valid switch character, and there are no
88 -- blanks or other switch terminator characters in the string, so the
89 -- entire string should consist of valid switch characters, except that
90 -- an optional terminating NUL character is allowed.
92 -- If the switch is not valid, control will not return. The switches
93 -- must still be scanned to skip the "-o" arguments, or internal GCC
94 -- switches, which may be safely ignored by other back ends.
96 ----------------------------
97 -- Scan_Back_End_Switches --
98 ----------------------------
100 procedure Scan_Back_End_Switches
(Switch_Chars
: String) is
101 First
: constant Positive := Switch_Chars
'First + 1;
102 Last
: constant Natural := Switch_Last
(Switch_Chars
);
105 -- Process any back end switches, returning if the switch does not
106 -- affect code generation or falling through if it does, so the
107 -- switch will get stored.
109 -- Skip -o, -G or internal GCC switches together with their argument.
111 if Switch_Chars
(First
.. Last
) = "o"
112 or else Switch_Chars
(First
.. Last
) = "G"
113 or else Is_Internal_GCC_Switch
(Switch_Chars
)
115 Next_Arg
:= Next_Arg
+ 1;
116 return; -- ignore this switch
118 -- Set optimization indicators appropriately. In gcc-based GNAT this
119 -- is picked up from imported variables set by the gcc driver, but
120 -- for compilers with non-gcc back ends we do it here to allow use
121 -- of these switches by the front end. Allowed optimization switches
122 -- are -Os (optimize for size), -O[0123], and -O (same as -O1).
124 elsif Switch_Chars
(First
) = 'O' then
126 Optimization_Level
:= 1;
128 elsif Last
- First
= 1 then
129 if Switch_Chars
(Last
) = 's' then
131 Optimization_Level
:= 2; -- Consistent with gcc setting
133 elsif Switch_Chars
(Last
) in '0' .. '3' then
134 Optimization_Level
:=
135 Character'Pos (Switch_Chars
(Last
)) - Character'Pos ('0');
138 Fail
("invalid switch: " & Switch_Chars
);
142 Fail
("invalid switch: " & Switch_Chars
);
145 elsif Switch_Chars
(First
.. Last
) = "quiet" then
146 return; -- ignore this switch
148 elsif Switch_Chars
(First
.. Last
) = "c" then
149 return; -- ignore this switch
151 -- The -x switch and its language name argument will generally be
152 -- ignored by non-gcc back ends. In any case, we save the switch and
153 -- argument in the compilation switches.
155 elsif Switch_Chars
(First
.. Last
) = "x" then
156 Lib
.Store_Compilation_Switch
(Switch_Chars
);
157 Next_Arg
:= Next_Arg
+ 1;
160 Argv
: constant String := Args
(Next_Arg
).all;
163 if Is_Switch
(Argv
) then
164 Fail
("language name missing after -x");
166 Lib
.Store_Compilation_Switch
(Argv
);
172 -- Special check, the back end switch -fno-inline also sets the
173 -- front end flags to entirely inhibit all inlining. So we store it
174 -- and set the appropriate flags.
176 elsif Switch_Chars
(First
.. Last
) = "fno-inline" then
177 Lib
.Store_Compilation_Switch
(Switch_Chars
);
178 Opt
.Disable_FE_Inline
:= True;
179 Opt
.Disable_FE_Inline_Always
:= True;
182 -- Similar processing for -fpreserve-control-flow
184 elsif Switch_Chars
(First
.. Last
) = "fpreserve-control-flow" then
185 Lib
.Store_Compilation_Switch
(Switch_Chars
);
186 Opt
.Suppress_Control_Flow_Optimizations
:= True;
189 -- Ignore all other back end switches
191 elsif Is_Back_End_Switch
(Switch_Chars
) then
194 -- Give error for junk switch
197 Fail
("invalid switch: " & Switch_Chars
);
200 -- Store any other GCC switches
202 Lib
.Store_Compilation_Switch
(Switch_Chars
);
203 end Scan_Back_End_Switches
;
205 -- Start of processing for Scan_Compiler_Args
208 -- Put all the arguments in argument list Args
210 for Arg
in 1 .. Argument_Count
loop
212 Argv
: String (1 .. Len_Arg
(Arg
));
214 Fill_Arg
(Argv
'Address, Arg
);
215 Args
(Arg
) := new String'(Argv);
219 -- Loop through command line arguments, storing them for later access
221 while Next_Arg <= Argument_Count loop
222 Look_At_Arg : declare
223 Argv : constant String := Args (Next_Arg).all;
226 if Argv'Length = 0 then
227 Fail ("Empty argument");
230 -- If the previous switch has set the Output_File_Name_Present
231 -- flag (that is we have seen a -gnatO), then the next argument
232 -- is the name of the output object file.
234 if Opt.Output_File_Name_Present
235 and then not Output_File_Name_Seen
237 if Is_Switch (Argv) then
238 Fail ("Object file name missing after -gnatO");
240 Set_Output_Object_File_Name (Argv);
241 Output_File_Name_Seen := True;
244 -- If the previous switch has set the Search_Directory_Present
245 -- flag (that is if we have just seen -I), then the next
246 -- argument is a search directory path.
248 elsif Search_Directory_Present then
249 if Is_Switch (Argv) then
250 Fail ("search directory missing after -I");
252 Add_Src_Search_Dir (Argv);
254 -- Add directory to lib search so that back end can take as
255 -- input ALI files if needed. Otherwise this won't have any
256 -- impact on the compiler.
258 Add_Lib_Search_Dir (Argv);
260 Search_Directory_Present := False;
263 -- If not a switch, must be a file name
265 elsif not Is_Switch (Argv) then
268 -- We must recognize -nostdinc to suppress visibility on the
269 -- standard GNAT RTL sources.
271 elsif Argv (Argv'First + 1 .. Argv'Last) = "nostdinc" then
272 Opt.No_Stdinc := True;
276 elsif Is_Front_End_Switch (Argv) then
277 Scan_Front_End_Switches (Argv, Args, Next_Arg);
279 -- All non-front-end switches are back-end switches
282 Scan_Back_End_Switches (Argv);
286 Next_Arg := Next_Arg + 1;
288 end Scan_Compiler_Arguments;