Context Navigation

source: src/driver/cc1.cc @ e497c1d

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc

Last change on this file since e497c1d was 1db21619, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
add CFA flag, remove -p from cc1, typedef on functions become function declarations, move isInline/isNoreturn to Declaration, cleaned up label code
Property mode set to `100644`
File size: 14.2 KB

Line
1	//
2	// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3	//
4	// The contents of this file are covered under the licence agreement in the
5	// file "LICENCE" distributed with Cforall.
6	//
7	// cc1.cc --
8	//
9	// Author : Peter A. Buhr
10	// Created On : Fri Aug 26 14:23:51 2005
11	// Last Modified By : Peter A. Buhr
12	// Last Modified On : Thu Jul 16 17:09:14 2015
13	// Update Count : 54
14	//
15
16	#include <iostream>
17	using std::cerr;
18	using std::endl;
19	#include <string>
20	using std::string;
21	#include <cstdio> // stderr, stdout, perror, fprintf
22	#include <cstdlib> // getenv, exit, mkstemp
23	#include <unistd.h> // execvp, fork, unlink
24	#include <sys/wait.h> // wait
25
26	#include "config.h" // configure info
27
28
29	//#define __DEBUG_H__
30
31
32	string compiler_name( GCC_PATH ); // path/name of C compiler
33
34	string D__GCC_BPREFIX__( "-D__GCC_BPREFIX__=" );
35	string D__CFA_FLAGPREFIX__( "-D__CFA_FLAG__=" );
36
37	char tmpname[] = P_tmpdir "/CFAXXXXXX";
38	int tmpfilefd = -1;
39
40
41	bool prefix( string arg, string pre ) {
42	return arg.substr( 0, pre.size() ) == pre;
43	} // prefix
44
45
46	void checkEnv( const char *args[], int &nargs ) {
47	char *value;
48
49	value = getenv( "__COMPILER__" );
50	if ( value != NULL ) {
51	compiler_name = value;
52	#ifdef __DEBUG_H__
53	cerr << "env arg:\"" << compiler_name << "\"" << endl;
54	#endif // __DEBUG_H__
55	} // if
56
57	value = getenv( "__GCC_MACHINE__" );
58	if ( value != NULL ) {
59	args[nargs] = ( *new string( value ) ).c_str(); // pass the argument along
60	#ifdef __DEBUG_H__
61	cerr << "env arg:\"" << args[nargs] << "\"" << endl;
62	#endif // __DEBUG_H__
63	nargs += 1;
64	} // if
65
66	value = getenv( "__GCC_VERSION__" );
67	if ( value != NULL ) {
68	args[nargs] = ( *new string( value ) ).c_str(); // pass the argument along
69	#ifdef __DEBUG_H__
70	cerr << "env arg:\"" << args[nargs] << "\"" << endl;
71	#endif // __DEBUG_H__
72	nargs += 1;
73	} // if
74	} // checkEnv
75
76
77	void rmtmpfile() {
78	if ( unlink( tmpname ) == -1 ) { // remove tmpname
79	perror ( "CFA Translator error: cpp failed" );
80	exit( EXIT_FAILURE );
81	} // if
82	tmpfilefd = -1; // mark closed
83	} // rmtmpfile
84
85
86	void sigTermHandler( int signal ) {
87	if ( tmpfilefd != -1 ) { // RACE, file created ?
88	rmtmpfile(); // remove
89	exit( EXIT_FAILURE ); // terminate
90	} // if
91	} // sigTermHandler
92
93
94	void Stage1( const int argc, const char * const argv[] ) {
95	int code;
96	int i;
97
98	string arg;
99	string bprefix;
100
101	const char *cpp_in = NULL;
102	const char *cpp_out = NULL;
103
104	bool CFA_flag = false;
105	bool cpp_flag = false;
106	const char *o_name = NULL;
107
108	const char *args[argc + 100]; // leave space for 100 additional cpp command line values
109	int nargs = 1; // number of arguments in args list; 0 => command name
110	const char *uargs[20]; // leave space for 20 additional cfa-cpp command line values
111	int nuargs = 1; // 0 => command name
112
113	signal( SIGINT, sigTermHandler );
114	signal( SIGTERM, sigTermHandler );
115
116	// process all the arguments
117
118	checkEnv( args, nargs ); // arguments passed via environment variables
119
120	for ( i = 1; i < argc; i += 1 ) {
121	#ifdef __DEBUG_H__
122	cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
123	#endif // __DEBUG_H__
124	arg = argv[i];
125	#ifdef __DEBUG_H__
126	cerr << "arg:\"" << arg << "\"" << endl;
127	#endif // __DEBUG_H__
128	if ( prefix( arg, "-" ) ) {
129	// strip g++ flags that are inappropriate or cause duplicates in subsequent passes
130
131	if ( arg == "-quiet" ) {
132	} else if ( arg == "-imultilib" \|\| arg == "-imultiarch" ) {
133	i += 1; // and the argument
134	} else if ( prefix( arg, "-A" ) ) {
135	} else if ( prefix( arg, "-D__GNU" ) ) {
136	//********
137	// GCC 5.6.0 SEPARATED THE -D FROM THE ARGUMENT!
138	//********
139	} else if ( arg == "-D" && prefix( argv[i + 1], "__GNU" ) ) {
140	i += 1; // and the argument
141
142	// strip flags controlling cpp step
143
144	} else if ( arg == "-D__CPP__" ) {
145	cpp_flag = true;
146	} else if ( arg == "-D" && string( argv[i + 1] ) == "__CPP__" ) {
147	i += 1; // and the argument
148	cpp_flag = true;
149	} else if ( arg == "-D__CFA__" ) {
150	CFA_flag = true;
151	} else if ( arg == "-D" && string( argv[i + 1] ) == "__CFA__" ) {
152	i += 1; // and the argument
153	CFA_flag = true;
154	} else if ( prefix( arg, D__CFA_FLAGPREFIX__ ) ) {
155	uargs[nuargs] = ( *new string( arg.substr( D__CFA_FLAGPREFIX__.size() ) ) ).c_str();
156	nuargs += 1;
157	} else if ( arg == "-D" && prefix( argv[i + 1], D__CFA_FLAGPREFIX__.substr(2) ) ) {
158	uargs[nuargs] = ( *new string( string( argv[i + 1] ).substr( D__CFA_FLAGPREFIX__.size() - 2 ) ) ).c_str();
159	nuargs += 1;
160	i += 1; // and the argument
161	} else if ( prefix( arg, D__GCC_BPREFIX__ ) ) {
162	bprefix = arg.substr( D__GCC_BPREFIX__.size() );
163	} else if ( arg == "-D" && prefix( argv[i + 1], D__GCC_BPREFIX__.substr(2) ) ) {
164	bprefix = string( argv[i + 1] ).substr( D__GCC_BPREFIX__.size() - 2 );
165	i += 1; // and the argument
166
167	// all other flags
168
169	} else if ( arg == "-o" ) {
170	i += 1;
171	o_name = argv[i];
172	} else {
173	args[nargs] = argv[i]; // pass the flag along
174	nargs += 1;
175	// CPP flags with an argument
176	if ( arg == "-D" \|\| arg == "-I" \|\| arg == "-MF" \|\| arg == "-MT" \|\| arg == "-MQ" \|\|
177	arg == "-include" \|\| arg == "-imacros" \|\| arg == "-idirafter" \|\| arg == "-iprefix" \|\|
178	arg == "-iwithprefix" \|\| arg == "-iwithprefixbefore" \|\| arg == "-isystem" \|\| arg == "-isysroot" ) {
179	i += 1;
180	args[nargs] = argv[i]; // pass the argument along
181	nargs += 1;
182	#ifdef __DEBUG_H__
183	cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
184	#endif // __DEBUG_H__
185	} else if ( arg == "-MD" \|\| arg == "-MMD" ) {
186	args[nargs] = "-MF"; // insert before file
187	nargs += 1;
188	i += 1;
189	args[nargs] = argv[i]; // pass the argument along
190	nargs += 1;
191	#ifdef __DEBUG_H__
192	cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
193	#endif // __DEBUG_H__
194	} // if
195	} // if
196	} else { // obtain input and possibly output files
197	if ( cpp_in == NULL ) {
198	cpp_in = argv[i];
199	#ifdef __DEBUG_H__
200	cerr << "cpp_in:\"" << cpp_in << "\"" << endl;
201	#endif // __DEBUG_H__
202	} else if ( cpp_out == NULL ) {
203	cpp_out = argv[i];
204	#ifdef __DEBUG_H__
205	cerr << "cpp_out:\"" << cpp_out << "\""<< endl;
206	#endif // __DEBUG_H__
207	} else {
208	cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
209	exit( EXIT_FAILURE );
210	} // if
211	} // if
212	} // for
213
214	#ifdef __DEBUG_H__
215	cerr << "args:";
216	for ( i = 1; i < nargs; i += 1 ) {
217	cerr << " " << args[i];
218	} // for
219	if ( cpp_in != NULL ) cerr << " " << cpp_in;
220	if ( cpp_out != NULL ) cerr << " " << cpp_out;
221	cerr << endl;
222	#endif // __DEBUG_H__
223
224	if ( cpp_in == NULL ) {
225	cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
226	exit( EXIT_FAILURE );
227	} // if
228
229	if ( cpp_flag ) {
230	// The -E flag is specified on the cfa command so only run the preprocessor and output is written to standard
231	// output or -o. The call to cfa has a -E so it does not have to be added to the argument list.
232
233	args[0] = compiler_name.c_str();
234	args[nargs] = cpp_in;
235	nargs += 1;
236	if ( o_name != NULL ) { // location for output
237	args[nargs] = "-o";
238	nargs += 1;
239	args[nargs] = o_name;
240	nargs += 1;
241	} // if
242	args[nargs] = NULL; // terminate argument list
243
244	#ifdef __DEBUG_H__
245	cerr << "nargs: " << nargs << endl;
246	for ( i = 0; args[i] != NULL; i += 1 ) {
247	cerr << args[i] << " ";
248	} // for
249	cerr << endl;
250	#endif // __DEBUG_H__
251
252	execvp( args[0], (char const )args ); // should not return
253	perror( "CFA Translator error: cpp level, execvp" );
254	exit( EXIT_FAILURE );
255	} // if
256
257	// Create a temporary file to store output of the C preprocessor.
258
259	tmpfilefd = mkstemp( tmpname );
260	if ( tmpfilefd == -1 ) {
261	perror( "CFA Translator error: cpp level, mkstemp" );
262	exit( EXIT_FAILURE );
263	} // if
264
265	#ifdef __DEBUG_H__
266	cerr << "tmpname:" << tmpname << " tmpfilefd:" << tmpfilefd << endl;
267	#endif // __DEBUG_H__
268
269	// Run the C preprocessor and save the output in tmpfile.
270
271	if ( fork() == 0 ) { // child process ?
272	// -o xxx.ii cannot be used to write the output file from cpp because no output file is created if cpp detects
273	// an error (e.g., cannot find include file). Whereas, output is always generated, even when there is an error,
274	// when cpp writes to stdout. Hence, stdout is redirected into the temporary file.
275	if ( freopen( tmpname, "w", stdout ) == NULL ) { // redirect stdout to tmpname
276	perror( "CFA Translator error: cpp level, freopen" );
277	exit( EXIT_FAILURE );
278	} // if
279
280	args[0] = compiler_name.c_str();
281	args[nargs] = cpp_in; // input to cpp
282	nargs += 1;
283	args[nargs] = NULL; // terminate argument list
284
285	#ifdef __DEBUG_H__
286	cerr << "cpp nargs: " << nargs << endl;
287	for ( i = 0; args[i] != NULL; i += 1 ) {
288	cerr << args[i] << " ";
289	} // for
290	cerr << endl;
291	#endif // __DEBUG_H__
292
293	execvp( args[0], (char const )args ); // should not return
294	perror( "CFA Translator error: cpp level, execvp" );
295	exit( EXIT_FAILURE );
296	} // if
297
298	wait( &code ); // wait for child to finish
299
300	#ifdef __DEBUG_H__
301	cerr << "return code from cpp:" << WEXITSTATUS(code) << endl;
302	#endif // __DEBUG_H__
303
304	if ( WIFSIGNALED(code) != 0 ) { // child failed ?
305	rmtmpfile(); // remove tmpname
306	cerr << "CFA Translator error: cpp failed with signal " << WTERMSIG(code) << endl;
307	exit( EXIT_FAILURE );
308	} // if
309
310	if ( WEXITSTATUS(code) != 0 ) { // child error ?
311	rmtmpfile(); // remove tmpname
312	exit( WEXITSTATUS( code ) ); // do not continue
313	} // if
314
315	// If -CFA flag specified, run the cfa-cpp preprocessor on the temporary file, and output is written to standard
316	// output. Otherwise, run the cfa-cpp preprocessor on the temporary file and save the result into the output file.
317
318	if ( fork() == 0 ) { // child runs CFA
319	uargs[0] = ( *new string( bprefix + "/cfa-cpp" ) ).c_str();
320
321	uargs[nuargs] = tmpname;
322	nuargs += 1;
323	if ( o_name != NULL ) {
324	uargs[nuargs] = o_name;
325	nuargs += 1;
326	} else if ( ! CFA_flag ) { // run cfa-cpp ?
327	uargs[nuargs] = cpp_out;
328	nuargs += 1;
329	} // if
330	uargs[nuargs] = NULL; // terminate argument list
331
332	#ifdef __DEBUG_H__
333	cerr << "cfa-cpp nuargs: " << o_name << " " << CFA_flag << " " << nuargs << endl;
334	for ( i = 0; uargs[i] != NULL; i += 1 ) {
335	cerr << uargs[i] << " ";
336	} // for
337	cerr << endl;
338	#endif // __DEBUG_H__
339
340	execvp( uargs[0], (char * const *)uargs ); // should not return
341	perror( "CFA Translator error: cpp level, execvp" );
342	exit( EXIT_FAILURE );
343	} // if
344
345	wait( &code ); // wait for child to finish
346
347	#ifdef __DEBUG_H__
348	cerr << "return code from cfa-cpp:" << WEXITSTATUS(code) << endl;
349	#endif // __DEBUG_H__
350
351	// Must unlink here because file must exist across execvp.
352	rmtmpfile(); // remove tmpname
353
354	if ( WIFSIGNALED(code) ) { // child failed ?
355	cerr << "CFA Translator error: cfa-cpp failed with signal " << WTERMSIG(code) << endl;
356	exit( EXIT_FAILURE );
357	} // if
358
359	exit( WEXITSTATUS(code) );
360	} // Stage1
361
362
363	void Stage2( const int argc, const char * const * argv ) {
364	int i;
365
366	string arg;
367
368	const char *cpp_in = NULL;
369
370	const char *args[argc + 100]; // leave space for 100 additional cfa command line values
371	int nargs = 1; // number of arguments in args list; 0 => command name
372
373	// process all the arguments
374
375	checkEnv( args, nargs ); // arguments passed via environment variables
376
377	for ( i = 1; i < argc; i += 1 ) {
378	#ifdef __DEBUG_H__
379	cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
380	#endif // __DEBUG_H__
381	arg = argv[i];
382	#ifdef __DEBUG_H__
383	cerr << "arg:\"" << arg << "\"" << endl;
384	#endif // __DEBUG_H__
385	if ( prefix( arg, "-" ) ) {
386	// strip inappropriate flags
387
388	if ( arg == "-quiet" \|\| arg == "-version" \|\| arg == "-fpreprocessed" \|\|
389	// Currently CFA does not suppose precompiled .h files.
390	prefix( arg, "--output-pch" ) ) {
391
392	// strip inappropriate flags with an argument
393
394	} else if ( arg == "-auxbase" \|\| arg == "-auxbase-strip" \|\| arg == "-dumpbase" ) {
395	i += 1;
396	#ifdef __DEBUG_H__
397	cerr << "arg:\"" << argv[i] << "\"" << endl;
398	#endif // __DEBUG_H__
399
400	// all other flags
401
402	} else {
403	args[nargs] = argv[i]; // pass the flag along
404	nargs += 1;
405	if ( arg == "-o" ) {
406	i += 1;
407	args[nargs] = argv[i]; // pass the argument along
408	nargs += 1;
409	#ifdef __DEBUG_H__
410	cerr << "arg:\"" << argv[i] << "\"" << endl;
411	#endif // __DEBUG_H__
412	} // if
413	} // if
414	} else { // obtain input and possibly output files
415	if ( cpp_in == NULL ) {
416	cpp_in = argv[i];
417	#ifdef __DEBUG_H__
418	cerr << "cpp_in:\"" << cpp_in << "\"" << endl;
419	#endif // __DEBUG_H__
420	} else {
421	cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
422	exit( EXIT_FAILURE );
423	} // if
424	} // if
425	} // for
426
427	#ifdef __DEBUG_H__
428	cerr << "args:";
429	for ( i = 1; i < nargs; i += 1 ) {
430	cerr << " " << args[i];
431	} // for
432	cerr << endl;
433	if ( cpp_in != NULL ) cerr << " " << cpp_in;
434	#endif // __DEBUG_H__
435
436	args[0] = compiler_name.c_str();
437	args[nargs] = "-S"; // only compile and put assembler output in specified file
438	nargs += 1;
439	args[nargs] = cpp_in;
440	nargs += 1;
441	args[nargs] = NULL; // terminate argument list
442
443	#ifdef __DEBUG_H__
444	cerr << "stage2 nargs: " << nargs << endl;
445	for ( i = 0; args[i] != NULL; i += 1 ) {
446	cerr << args[i] << " ";
447	} // for
448	cerr << endl;
449	#endif // __DEBUG_H__
450
451	execvp( args[0], (char * const *)args ); // should not return
452	perror( "CFA Translator error: cpp level, execvp" );
453	exit( EXIT_FAILURE ); // tell gcc not to go any further
454	} // Stage2
455
456
457	int main( const int argc, const char * const argv[], const char * const env[] ) {
458	#ifdef __DEBUG_H__
459	for ( int i = 0; env[i] != NULL; i += 1 ) {
460	cerr << env[i] << endl;
461	} // for
462	#endif // __DEBUG_H__
463
464	string arg = argv[1];
465
466	// Currently, stage 1 starts with flag -E and stage 2 with flag -fpreprocessed.
467
468	if ( arg == "-E" ) {
469	#ifdef __DEBUG_H__
470	cerr << "Stage1" << endl;
471	#endif // __DEBUG_H__
472	Stage1( argc, argv );
473	} else if ( arg == "-fpreprocessed" ) {
474	#ifdef __DEBUG_H__
475	cerr << "Stage2" << endl;
476	#endif // __DEBUG_H__
477	Stage2( argc, argv );
478	} else {
479	cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
480	exit( EXIT_FAILURE );
481	} // if
482	} // main
483
484	// Local Variables: //
485	// tab-width: 4 //
486	// mode: c++ //
487	// compile-command: "make install" //
488	// End: //

Note: See TracBrowser for help on using the repository browser.

Download in other formats: