source: driver/cc1.cc@ 9fb8f01

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 9fb8f01 was bbb1b35, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

first attempt at -save-temp for cfa-cpp output, formatting

  • Property mode set to 100644
File size: 17.0 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 : Fri Aug 23 15:06:27 2019
13// Update Count : 371
14//
15
16#include <iostream>
17using std::cerr;
18using std::endl;
19#include <string>
20using std::string;
21#include <algorithm> // find
22#include <cstdio> // stderr, stdout, perror, fprintf
23#include <cstdlib> // getenv, exit, mkstemp
24#include <unistd.h> // execvp, fork, unlink
25#include <sys/wait.h> // wait
26#include <fcntl.h>
27
28
29#include "config.h" // configure info
30
31
32//#define __DEBUG_H__
33
34
35static string installlibdir( CFA_LIBDIR ); // fixed location of cc1 and cfa-cpp commands when installed
36static string compiler_path( CFA_BACKEND_CC ); // path/name of C compiler
37static bool CFA_flag = false; // -CFA flag
38static bool save_temps = false; // -save-temps flag
39static string o_file;
40
41
42static bool prefix( const string & arg, const string & pre ) {
43 return arg.substr( 0, pre.size() ) == pre;
44} // prefix
45
46static void suffix( const string & arg, const char * args[], int & nargs ) {
47 enum { NumSuffixes = 3 };
48 static const string suffixes[NumSuffixes] = { "cfa", "hfa", "ifa" };
49
50 size_t dot = arg.find_last_of( "." );
51 if ( dot == string::npos ) return;
52 const string * end = suffixes + NumSuffixes;
53 if ( std::find( suffixes, end, arg.substr( dot + 1 ) ) != end ) {
54 args[nargs++] = "-x";
55 args[nargs++] = "c";
56 } // if
57} // suffix
58
59
60static string __CFA_FLAGPREFIX__( "__CFA_FLAG" );
61
62static void checkEnv1( const char * args[], int & nargs ) { // stage 1
63 extern char ** environ;
64
65 for ( int i = 0; environ[i]; i += 1 ) {
66 string arg( environ[i] );
67 #ifdef __DEBUG_H__
68 cerr << "env arg:\"" << arg << "\"" << endl;
69 #endif // __DEBUG_H__
70
71 if ( prefix( arg, __CFA_FLAGPREFIX__ ) ) {
72 string val( arg.substr( __CFA_FLAGPREFIX__.size() + 4 ) );
73 if ( prefix( val, "-compiler=" ) ) {
74 compiler_path = val.substr( 10 );
75 } // if
76 } // if
77 } // for
78} // checkEnv1
79
80
81static void checkEnv2( const char * args[], int & nargs ) { // stage 2
82 extern char ** environ;
83
84 for ( int i = 0; environ[i]; i += 1 ) {
85 string arg( environ[i] );
86 #ifdef __DEBUG_H__
87 cerr << "env arg:\"" << arg << "\"" << endl;
88 #endif // __DEBUG_H__
89
90 if ( prefix( arg, __CFA_FLAGPREFIX__ ) ) {
91 string val( arg.substr( __CFA_FLAGPREFIX__.size() + 4 ) );
92 if ( prefix( val, "-compiler=" ) ) {
93 compiler_path = val.substr( 10 );
94 } else if ( val == "-CFA" ) {
95 CFA_flag = true;
96 } else if ( val == "-save-temps" ) {
97 save_temps = true;
98 } else if ( prefix( val, "-o=" ) ) { // output file for -CFA
99 o_file = val.substr( 3 );
100 } else {
101 args[nargs++] = ( *new string( arg.substr( __CFA_FLAGPREFIX__.size() + 4 ) ) ).c_str();
102 } // if
103 } // if
104 } // for
105} // checkEnv2
106
107
108static char tmpname[] = P_tmpdir "/CFAXXXXXX.i";
109static int tmpfilefd = -1;
110static bool startrm = false;
111
112static void rmtmpfile() {
113 if ( tmpfilefd == -1 ) return; // RACE, file created ?
114
115 startrm = true; // RACE with C-c C-c
116 if ( unlink( tmpname ) == -1 ) { // remove tmpname
117 perror ( "CC1 Translator error: failed, unlink" );
118 exit( EXIT_FAILURE );
119 } // if
120 tmpfilefd = -1; // mark removed
121} // rmtmpfile
122
123
124static void sigTermHandler( int ) { // C-c C-c
125 if ( startrm ) return; // return and let rmtmpfile finish, and then program finishes
126
127 if ( tmpfilefd != -1 ) { // RACE, file created ?
128 rmtmpfile(); // remove tmpname
129 } // if
130 exit( EXIT_FAILURE ); // terminate
131} // sigTermHandler
132
133
134static void Stage1( const int argc, const char * const argv[] ) {
135 int code;
136 string arg;
137
138 const char * cpp_in = nullptr;
139 const char * cpp_out = nullptr;
140
141 bool cpp_flag = false;
142 bool o_flag = false;
143
144 const char * args[argc + 100]; // leave space for 100 additional cpp command line values
145 int nargs = 1; // number of arguments in args list; 0 => command name
146
147 #ifdef __DEBUG_H__
148 cerr << "Stage1" << endl;
149 #endif // __DEBUG_H__
150 checkEnv1( args, nargs ); // arguments passed via environment variables
151 #ifdef __DEBUG_H__
152 for ( int i = 1; i < argc; i += 1 ) {
153 cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
154 } // for
155 #endif // __DEBUG_H__
156
157 // process all the arguments
158
159 for ( int i = 1; i < argc; i += 1 ) {
160 arg = argv[i];
161 if ( prefix( arg, "-" ) ) {
162 // strip g++ flags that are inappropriate or cause duplicates in subsequent passes
163
164 if ( arg == "-quiet" ) {
165 } else if ( arg == "-imultilib" || arg == "-imultiarch" ) {
166 i += 1; // and the argument
167 } else if ( prefix( arg, "-A" ) ) {
168 } else if ( prefix( arg, "-D__GNU" ) ) {
169 //********
170 // GCC 5.6.0 SEPARATED THE -D FROM THE ARGUMENT!
171 //********
172 } else if ( arg == "-D" && prefix( argv[i + 1], "__GNU" ) ) {
173 i += 1; // and the argument
174
175 // strip flags controlling cpp step
176
177 } else if ( arg == "-D__CPP__" ) {
178 cpp_flag = true;
179 } else if ( arg == "-D" && string( argv[i + 1] ) == "__CPP__" ) {
180 i += 1; // and the argument
181 cpp_flag = true;
182
183 // all other flags
184
185 } else if ( arg == "-o" ) {
186 i += 1;
187 o_flag = true;
188 cpp_out = argv[i];
189 } else {
190 args[nargs++] = argv[i]; // pass the flag along
191 // CPP flags with an argument
192 if ( arg == "-D" || arg == "-U" || arg == "-I" || arg == "-MF" || arg == "-MT" || arg == "-MQ" ||
193 arg == "-include" || arg == "-imacros" || arg == "-idirafter" || arg == "-iprefix" ||
194 arg == "-iwithprefix" || arg == "-iwithprefixbefore" || arg == "-isystem" || arg == "-isysroot" ) {
195 i += 1;
196 args[nargs++] = argv[i]; // pass the argument along
197 #ifdef __DEBUG_H__
198 cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
199 #endif // __DEBUG_H__
200 } else if ( arg == "-MD" || arg == "-MMD" ) {
201 args[nargs++] = "-MF"; // insert before file
202 i += 1;
203 args[nargs++] = argv[i]; // pass the argument along
204 #ifdef __DEBUG_H__
205 cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
206 #endif // __DEBUG_H__
207 } // if
208 } // if
209 } else { // obtain input and possibly output files
210 if ( cpp_in == nullptr ) {
211 cpp_in = argv[i];
212 #ifdef __DEBUG_H__
213 cerr << "cpp_in:\"" << cpp_in << "\"" << endl;
214 #endif // __DEBUG_H__
215 } else if ( cpp_out == nullptr ) {
216 cpp_out = argv[i];
217 #ifdef __DEBUG_H__
218 cerr << "cpp_out:\"" << cpp_out << "\""<< endl;
219 #endif // __DEBUG_H__
220 } else {
221 cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
222 exit( EXIT_FAILURE );
223 } // if
224 } // if
225 } // for
226
227 #ifdef __DEBUG_H__
228 cerr << "args:";
229 for ( int i = 1; i < nargs; i += 1 ) {
230 cerr << " " << args[i];
231 } // for
232 if ( cpp_in != nullptr ) cerr << " " << cpp_in;
233 if ( cpp_out != nullptr ) cerr << " " << cpp_out;
234 cerr << endl;
235 #endif // __DEBUG_H__
236
237 if ( cpp_in == nullptr ) {
238 cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
239 exit( EXIT_FAILURE );
240 } // if
241
242 if ( cpp_flag ) {
243 // The -E flag is specified on the cfa command so only run the preprocessor and output is written to standard
244 // output or -o. The call to cfa has a -E so it does not have to be added to the argument list.
245
246 args[0] = compiler_path.c_str();
247 suffix( cpp_in, args, nargs ); // check suffix
248 args[nargs++] = cpp_in;
249 if ( o_flag ) { // location for output
250 args[nargs++] = "-o";
251 } // if
252 args[nargs++] = cpp_out;
253 args[nargs] = nullptr; // terminate argument list
254
255 #ifdef __DEBUG_H__
256 cerr << "nargs: " << nargs << endl;
257 for ( int i = 0; args[i] != nullptr; i += 1 ) {
258 cerr << args[i] << " ";
259 } // for
260 cerr << endl;
261 #endif // __DEBUG_H__
262
263 execvp( args[0], (char * const *)args ); // should not return
264 perror( "CC1 Translator error: stage 1, execvp" );
265 exit( EXIT_FAILURE );
266 } // if
267
268 // Run the C preprocessor and save the output in the given file.
269
270 if ( fork() == 0 ) { // child process ?
271 // -o xxx.ii cannot be used to write the output file from cpp because no output file is created if cpp detects
272 // an error (e.g., cannot find include file). Whereas, output is always generated, even when there is an error,
273 // when cpp writes to stdout. Hence, stdout is redirected into the temporary file.
274 if ( freopen( cpp_out, "w", stdout ) == nullptr ) { // redirect stdout to output file
275 perror( "CC1 Translator error: stage 1, freopen" );
276 exit( EXIT_FAILURE );
277 } // if
278
279 args[0] = compiler_path.c_str();
280 suffix( cpp_in, args, nargs ); // check suffix
281 args[nargs++] = cpp_in; // input to cpp
282 args[nargs] = nullptr; // terminate argument list
283
284 #ifdef __DEBUG_H__
285 cerr << "cpp nargs: " << nargs << endl;
286 for ( int i = 0; args[i] != nullptr; i += 1 ) {
287 cerr << args[i] << " ";
288 } // for
289 cerr << endl;
290 #endif // __DEBUG_H__
291
292 execvp( args[0], (char * const *)args ); // should not return
293 perror( "CC1 Translator error: stage 1, execvp" );
294 exit( EXIT_FAILURE );
295 } // if
296
297 wait( &code ); // wait for child to finish
298
299 #ifdef __DEBUG_H__
300 cerr << "return code from cpp:" << WEXITSTATUS(code) << endl;
301 #endif // __DEBUG_H__
302
303 if ( WIFSIGNALED(code) ) { // child failed ?
304 cerr << "CC1 Translator error: stage 1, child failed " << WTERMSIG(code) << endl;
305 exit( EXIT_FAILURE );
306 } // if
307
308 exit( WEXITSTATUS(code) ); // bad cpp result stops top-level gcc
309} // Stage1
310
311
312static void Stage2( const int argc, const char * const * argv ) {
313 int code;
314 string arg;
315
316 const char * cpp_in = nullptr;
317 const char * cpp_out = nullptr;
318
319 const char * args[argc + 100]; // leave space for 100 additional cfa command line values
320 int nargs = 1; // number of arguments in args list; 0 => command name
321 const char * cargs[20]; // leave space for 20 additional cfa-cpp command line values
322 int ncargs = 1; // 0 => command name
323
324 #ifdef __DEBUG_H__
325 cerr << "Stage2" << endl;
326 #endif // __DEBUG_H__
327 checkEnv2( cargs, ncargs ); // arguments passed via environment variables
328 #ifdef __DEBUG_H__
329 for ( int i = 1; i < argc; i += 1 ) {
330 cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
331 } // for
332 #endif // __DEBUG_H__
333
334 // process all the arguments
335
336 for ( int i = 1; i < argc; i += 1 ) {
337 arg = argv[i];
338 if ( prefix( arg, "-" ) ) {
339 // strip inappropriate flags
340
341 if ( arg == "-quiet" || arg == "-version" || arg == "-fpreprocessed" ||
342 // Currently CFA does not suppose precompiled .h files.
343 prefix( arg, "--output-pch" ) ) {
344
345 // strip inappropriate flags with an argument
346
347 } else if ( arg == "-auxbase" || arg == "-auxbase-strip" || arg == "-dumpbase" ) {
348 i += 1;
349 #ifdef __DEBUG_H__
350 cerr << "arg:\"" << argv[i] << "\"" << endl;
351 #endif // __DEBUG_H__
352
353 // all other flags
354
355 } else {
356 args[nargs++] = argv[i]; // pass the flag along
357 if ( arg == "-o" ) {
358 i += 1;
359 cpp_out = argv[i];
360 args[nargs++] = argv[i]; // pass the argument along
361 #ifdef __DEBUG_H__
362 cerr << "arg:\"" << argv[i] << "\"" << endl;
363 #endif // __DEBUG_H__
364 } // if
365 } // if
366 } else { // obtain input and possibly output files
367 if ( cpp_in == nullptr ) {
368 cpp_in = argv[i];
369 #ifdef __DEBUG_H__
370 cerr << "cpp_in:\"" << cpp_in << "\"" << endl;
371 #endif // __DEBUG_H__
372 } else if ( cpp_out == nullptr ) {
373 cpp_out = argv[i];
374 #ifdef __DEBUG_H__
375 cerr << "cpp_out:\"" << cpp_out << "\""<< endl;
376 #endif // __DEBUG_H__
377 } else {
378 cerr << "Usage: " << argv[0] << " more than two files specified" << endl;
379 exit( EXIT_FAILURE );
380 } // if
381 } // if
382 } // for
383
384 if ( cpp_in == nullptr ) {
385 cerr << "Usage: " << argv[0] << " missing input file" << endl;
386 exit( EXIT_FAILURE );
387 } // if
388 if ( cpp_out == nullptr ) {
389 cerr << "Usage: " << argv[0] << " missing output file" << endl;
390 exit( EXIT_FAILURE );
391 } // if
392
393 // Create a temporary file, if needed, to store output of the cfa-cpp preprocessor. Cannot be created in forked
394 // process because variables tmpname and tmpfilefd are cloned.
395
396 string cfa_cpp_out;
397
398 if ( ! CFA_flag ) { // run compiler ?
399 if ( save_temps ) {
400 cfa_cpp_out = cpp_in;
401 size_t dot = cfa_cpp_out.find_last_of( "." );
402 if ( dot == string::npos ) {
403 cerr << "CC1 Translator error: stage 2, bad file name " << endl;
404 exit( EXIT_FAILURE );
405 } // if
406
407 cfa_cpp_out = cfa_cpp_out.substr( 0, dot ) + ".ifa";
408 if ( creat( cfa_cpp_out.c_str(), 0666 ) == -1 ) {
409 perror( "CC1 Translator error: stage 2, creat" );
410 exit( EXIT_FAILURE );
411 } // if
412 } else {
413 tmpfilefd = mkstemps( tmpname, 2 );
414 if ( tmpfilefd == -1 ) {
415 perror( "CC1 Translator error: stage 2, mkstemp" );
416 exit( EXIT_FAILURE );
417 } // if
418 cfa_cpp_out = tmpname;
419 } // if
420 #ifdef __DEBUG_H__
421 cerr << "cfa_cpp_out: " << cfa_cpp_out << endl;
422 #endif // __DEBUG_H__
423 } // if
424
425 // If -CFA flag specified, run the cfa-cpp preprocessor on the temporary file, and output is written to standard
426 // output. Otherwise, run the cfa-cpp preprocessor on the temporary file and save the result into the output file.
427
428 if ( fork() == 0 ) { // child runs CFA
429 cargs[0] = ( *new string( installlibdir + "cfa-cpp" ) ).c_str();
430
431 cargs[ncargs++] = cpp_in;
432
433 if ( CFA_flag ) { // run cfa-cpp ?
434 if ( o_file.size() != 0 ) { // location for output
435 cargs[ncargs++] = ( *new string( o_file.c_str() ) ).c_str();
436 } // if
437 } else {
438 cargs[ncargs++] = cfa_cpp_out.c_str();
439 } // if
440 cargs[ncargs] = nullptr; // terminate argument list
441
442 #ifdef __DEBUG_H__
443 for ( int i = 0; cargs[i] != nullptr; i += 1 ) {
444 cerr << cargs[i] << " ";
445 } // for
446 cerr << endl;
447 #endif // __DEBUG_H__
448
449 execvp( cargs[0], (char * const *)cargs ); // should not return
450 perror( "CC1 Translator error: stage 2, execvp" );
451 exit( EXIT_FAILURE );
452 } // if
453
454 wait( &code ); // wait for child to finish
455
456 if ( WIFSIGNALED(code) ) { // child failed ?
457 rmtmpfile(); // remove tmpname
458 cerr << "CC1 Translator error: stage 2, child failed " << WTERMSIG(code) << endl;
459 exit( EXIT_FAILURE );
460 } // if
461
462 if ( CFA_flag ) { // no tmpfile created
463 exit( WEXITSTATUS( code ) ); // stop regardless of success or failure
464 } // if
465
466 #ifdef __DEBUG_H__
467 cerr << "return code from cfa-cpp:" << WEXITSTATUS(code) << endl;
468 #endif // __DEBUG_H__
469
470 if ( WEXITSTATUS(code) ) { // child error ?
471 rmtmpfile(); // remove tmpname
472 exit( WEXITSTATUS( code ) ); // do not continue
473 } // if
474
475 #ifdef __DEBUG_H__
476 cerr << "args:";
477 for ( int i = 1; i < nargs; i += 1 ) {
478 cerr << " " << args[i];
479 } // for
480 cerr << " " << cpp_in << endl;
481 #endif // __DEBUG_H__
482
483 if ( fork() == 0 ) { // child runs CFA
484 args[0] = compiler_path.c_str();
485 args[nargs++] = "-S"; // only compile and put assembler output in specified file
486 if ( save_temps ) { // make gcc accept .ifa suffix
487 args[nargs++] = "-x";
488 args[nargs++] = "cpp-output";
489 } // if
490 args[nargs++] = cfa_cpp_out.c_str();
491 args[nargs] = nullptr; // terminate argument list
492
493 #ifdef __DEBUG_H__
494 cerr << "stage2 nargs: " << nargs << endl;
495 for ( int i = 0; args[i] != nullptr; i += 1 ) {
496 cerr << args[i] << " ";
497 } // for
498 cerr << endl;
499 #endif // __DEBUG_H__
500
501 execvp( args[0], (char * const *)args ); // should not return
502 perror( "CC1 Translator error: stage 2, execvp" );
503 exit( EXIT_FAILURE ); // tell gcc not to go any further
504 } // if
505
506 wait( &code ); // wait for child to finish
507
508 if ( WIFSIGNALED(code) ) { // child failed ?
509 rmtmpfile(); // remove tmpname
510 cerr << "CC1 Translator error: stage 2, child failed " << WTERMSIG(code) << endl;
511 exit( EXIT_FAILURE );
512 } // if
513
514 #ifdef __DEBUG_H__
515 cerr << "return code from gcc cc1:" << WEXITSTATUS(code) << endl;
516 #endif // __DEBUG_H__
517
518 rmtmpfile(); // remove tmpname
519 exit( WEXITSTATUS( code ) ); // stop regardless of success or failure
520} // Stage2
521
522
523// This program is called twice because of the -no-integrated-cpp. The calls are differentiated by the first
524// command-line argument. The first call replaces the traditional cpp pass to preprocess the C program. The second call
525// is to the compiler, which is broken into two steps: preprocess again with cfa-cpp and then call gcc to compile the
526// doubly preprocessed program.
527
528int main( const int argc, const char * const argv[], __attribute__((unused)) const char * const env[] ) {
529 #ifdef __DEBUG_H__
530 for ( int i = 0; env[i] != nullptr; i += 1 ) {
531 cerr << env[i] << endl;
532 } // for
533 #endif // __DEBUG_H__
534
535 signal( SIGINT, sigTermHandler );
536 signal( SIGTERM, sigTermHandler );
537
538 string arg( argv[1] );
539
540 // Currently, stage 1 starts with flag -E and stage 2 with flag -fpreprocessed.
541
542 if ( arg == "-E" ) {
543 Stage1( argc, argv );
544 } else if ( arg == "-fpreprocessed" ) {
545 Stage2( argc, argv );
546 } else {
547 cerr << "Usage: " << argv[0] << " input-file [output-file] [options]" << endl;
548 exit( EXIT_FAILURE );
549 } // if
550} // main
551
552// Local Variables: //
553// tab-width: 4 //
554// mode: c++ //
555// compile-command: "make install" //
556// End: //
Note: See TracBrowser for help on using the repository browser.