1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2019, 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 -- Recognize -gxxx switches
191 elsif Switch_Chars
(First
) = 'g' then
195 case Switch_Chars
(First
+ 1) is
209 -- Ignore all other back end switches
211 elsif Is_Back_End_Switch
(Switch_Chars
) then
214 -- Give error for junk switch
217 Fail
("invalid switch: " & Switch_Chars
);
220 -- Store any other GCC switches
222 Lib
.Store_Compilation_Switch
(Switch_Chars
);
223 end Scan_Back_End_Switches
;
225 -- Start of processing for Scan_Compiler_Args
228 -- Put all the arguments in argument list Args
230 for Arg
in 1 .. Argument_Count
loop
232 Argv
: String (1 .. Len_Arg
(Arg
));
234 Fill_Arg
(Argv
'Address, Arg
);
235 Args
(Arg
) := new String'(Argv);
239 -- Loop through command line arguments, storing them for later access
241 while Next_Arg <= Argument_Count loop
242 Look_At_Arg : declare
243 Argv : constant String := Args (Next_Arg).all;
246 if Argv'Length = 0 then
247 Fail ("Empty argument");
250 -- If the previous switch has set the Output_File_Name_Present
251 -- flag (that is we have seen a -gnatO), then the next argument
252 -- is the name of the output object file.
254 if Opt.Output_File_Name_Present
255 and then not Output_File_Name_Seen
257 if Is_Switch (Argv) then
258 Fail ("Object file name missing after -gnatO");
260 Set_Output_Object_File_Name (Argv);
261 Output_File_Name_Seen := True;
264 -- If the previous switch has set the Search_Directory_Present
265 -- flag (that is if we have just seen -I), then the next
266 -- argument is a search directory path.
268 elsif Search_Directory_Present then
269 if Is_Switch (Argv) then
270 Fail ("search directory missing after -I");
272 Add_Src_Search_Dir (Argv);
274 -- Add directory to lib search so that back end can take as
275 -- input ALI files if needed. Otherwise this won't have any
276 -- impact on the compiler.
278 Add_Lib_Search_Dir (Argv);
280 Search_Directory_Present := False;
283 -- If not a switch, must be a file name
285 elsif not Is_Switch (Argv) then
288 -- We must recognize -nostdinc to suppress visibility on the
289 -- standard GNAT RTL sources.
291 elsif Argv (Argv'First + 1 .. Argv'Last) = "nostdinc" then
292 Opt.No_Stdinc := True;
296 elsif Is_Front_End_Switch (Argv) then
297 Scan_Front_End_Switches (Argv, Args, Next_Arg);
299 -- All non-front-end switches are back-end switches
302 Scan_Back_End_Switches (Argv);
306 Next_Arg := Next_Arg + 1;
308 end Scan_Compiler_Arguments;