source: driver/cfa.cc@ a74554af

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 a74554af was 4f5a8a2, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

clean up code for -x from cfa

  • Property mode set to 100644
File size: 18.4 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// cfa.cc --
8//
9// Author : Peter A. Buhr
10// Created On : Tue Aug 20 13:44:49 2002
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Aug 10 08:44:15 2019
13// Update Count : 311
14//
15
16#include <iostream>
17#include <cstdio> // perror
18#include <cstdlib> // putenv, exit
19#include <unistd.h> // execvp
20#include <string> // STL version
21#include <string.h> // strcmp
22#include <algorithm> // find
23
24#include <sys/types.h>
25#include <sys/stat.h>
26
27#include "Common/SemanticError.h"
28#include "config.h" // configure info
29
30
31using std::cerr;
32using std::endl;
33using std::string;
34using std::to_string;
35
36
37//#define __DEBUG_H__
38
39
40bool prefix( string arg, string pre ) {
41 return arg.substr( 0, pre.size() ) == pre;
42} // prefix
43
44bool suffix( string arg ) {
45 enum { NumSuffixes = 3 };
46 static const string suffixes[NumSuffixes] = { "cfa", "hfa", "ifa" };
47 //std::cerr << arg << std::endl;
48 size_t dot = arg.find_last_of( "." );
49 //std::cerr << dot << " " << (dot != string::npos ? arg.substr( dot + 1 ) : "fred" ) << std::endl;
50 if ( dot == string::npos ) return false;
51 const string * end = suffixes + NumSuffixes;
52 return std::find( suffixes, end, arg.substr( dot + 1 ) ) != end;
53} // suffix
54
55
56void shuffle( const char * args[], int S, int E, int N ) {
57 // S & E index 1 passed the end so adjust with -1
58 #ifdef __DEBUG_H__
59 cerr << "shuffle:" << S << " " << E << " " << N << endl;
60 #endif // __DEBUG_H__
61 for ( int j = E-1 + N; j > S-1 + N; j -=1 ) {
62 #ifdef __DEBUG_H__
63 cerr << "\t" << j << " " << j-N << endl;
64 #endif // __DEBUG_H__
65 args[j] = args[j-N];
66 } // for
67} // shuffle
68
69static inline bool dirExists( const string & path ) {
70 struct stat info;
71 if(stat( path.c_str(), &info ) != 0)
72 return false;
73 else if(info.st_mode & S_IFDIR)
74 return true;
75 else
76 return false;
77} //dirExists
78
79
80#define str(s) #s
81
82int main( int argc, char * argv[] ) {
83 string Version( CFA_VERSION_LONG ); // current version number from CONFIG
84 string Major( str( CFA_VERSION_MAJOR ) ), Minor( str( CFA_VERSION_MINOR ) ), Patch( str( CFA_VERSION_PATCH ) );
85
86 string installincdir( CFA_INCDIR ); // fixed location of include files
87 string installlibdir( CFA_LIBDIR ); // fixed location of cc1 and cfa-cpp commands when installed
88 string srcdriverdir ( TOP_BUILDDIR "driver"); // fixed location of cc1 and cfa-cpp commands when in tree
89
90 string heading; // banner printed at start of cfa compilation
91 string arg; // current command-line argument during command-line parsing
92 string Bprefix; // path where gcc looks for compiler command steps
93 string langstd; // language standard
94
95 string compiler_path( CFA_BACKEND_CC ); // path/name of C compiler
96 string compiler_name; // name of C compiler
97
98 bool x_flag = false; // -x flag
99 bool nonoptarg = false; // indicates non-option argument specified
100 bool link = true; // linking as well as compiling
101 bool verbose = false; // -v flag
102 bool quiet = false; // -quiet flag
103 bool debug = true; // -debug flag
104 bool nolib = false; // -nolib flag
105 bool help = false; // -help flag
106 bool CFA_flag = false; // -CFA flag
107 bool cpp_flag = false; // -E or -M flag, preprocessor only
108 bool std_flag = false; // -std= flag
109 bool noincstd_flag = false; // -no-include-stdhdr= flag
110 bool debugging __attribute(( unused )) = false; // -g flag
111 bool m32 = false; // -m32 flag
112 bool m64 = false; // -m64 flag
113 bool intree = false;
114
115 const char *args[argc + 100]; // cfa command line values, plus some space for additional flags
116 int sargs = 1; // starting location for arguments in args list
117 int nargs = sargs; // number of arguments in args list; 0 => command name
118
119 const char *libs[argc + 20]; // non-user libraries must come separately, plus some added libraries and flags
120 int nlibs = 0;
121
122 #ifdef __DEBUG_H__
123 cerr << "CFA:" << endl;
124 for ( int i = 1; i < argc; i += 1 ) {
125 cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
126 } // for
127 #endif // __DEBUG_H__
128
129 // process command-line arguments
130
131 for ( int i = 1; i < argc; i += 1 ) {
132 arg = argv[i]; // convert to string value
133 if ( prefix( arg, "-" ) ) {
134 // pass through arguments
135
136 if ( arg == "-Xlinker" || arg == "-o" ) {
137 args[nargs] = argv[i]; // pass the argument along
138 nargs += 1;
139 i += 1;
140 if ( i == argc ) continue; // next argument available ?
141 args[nargs] = argv[i]; // pass the argument along
142 nargs += 1;
143 } else if ( arg == "-XCFA" ) { // CFA pass through
144 i += 1;
145 args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + argv[i] ) ).c_str();
146 nargs += 1;
147
148 // CFA specific arguments
149
150 } else if ( arg == "-CFA" ) {
151 CFA_flag = true; // strip the -CFA flag
152 link = false;
153 args[nargs] = "-E"; // replace the argument with -E
154 nargs += 1;
155 } else if ( arg == "-debug" ) {
156 debug = true; // strip the debug flag
157 } else if ( arg == "-nodebug" ) {
158 debug = false; // strip the debug flag
159 } else if ( arg == "-nolib" ) {
160 nolib = true; // strip the nodebug flag
161 } else if ( arg == "-quiet" ) {
162 quiet = true; // strip the quiet flag
163 } else if ( arg == "-noquiet" ) {
164 quiet = false; // strip the noquiet flag
165 } else if ( arg == "-help" ) {
166 help = true; // strip the help flag
167 } else if ( arg == "-nohelp" ) {
168 help = false; // strip the nohelp flag
169 } else if ( arg == "-no-include-stdhdr" ) {
170 noincstd_flag = true; // strip the no-include-stdhdr flag
171 } else if ( arg == "-in-tree" ) {
172 intree = true;
173 } else if ( arg == "-compiler" ) {
174 // use the user specified compiler
175 i += 1;
176 if ( i == argc ) continue; // next argument available ?
177 compiler_path = argv[i];
178 if ( putenv( (char *)( *new string( string( "__CFA_COMPILER__=" ) + argv[i]) ).c_str() ) != 0 ) {
179 cerr << argv[0] << " error, cannot set environment variable." << endl;
180 exit( EXIT_FAILURE );
181 } // if
182
183 // C specific arguments
184
185 } else if ( arg == "-v" ) {
186 verbose = true; // verbosity required
187 args[nargs] = argv[i]; // pass the argument along
188 nargs += 1;
189 } else if ( arg == "-g" ) {
190 debugging = true; // symbolic debugging required
191 args[nargs] = argv[i]; // pass the argument along
192 nargs += 1;
193 } else if ( prefix( arg, "-x" ) ) { // file suffix ?
194 string lang;
195 args[nargs] = argv[i]; // pass the argument along
196 nargs += 1;
197 if ( arg.length() == 2 ) { // separate argument ?
198 i += 1;
199 if ( i == argc ) continue; // next argument available ?
200 lang = argv[i];
201 args[nargs] = argv[i]; // pass the argument along
202 nargs += 1;
203 } else {
204 lang = arg.substr( 2 );
205 } // if
206 x_flag = lang != "none";
207 } else if ( prefix( arg, "-std=" ) || prefix( arg, "--std=" ) ) {
208 std_flag = true; // -std=XX provided
209 args[nargs] = argv[i]; // pass the argument along
210 nargs += 1;
211 } else if ( arg == "-w" ) {
212 args[nargs] = argv[i]; // pass the argument along
213 nargs += 1;
214 args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str(); // add the argument for cfa-cpp
215 nargs += 1;
216 } else if ( prefix( arg, "-W" ) ) { // check before next tests
217 if ( arg == "-Werror" || arg == "-Wall" ) {
218 args[nargs] = argv[i]; // pass the argument along
219 nargs += 1;
220 args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str(); // add the argument for cfa-cpp
221 nargs += 1;
222 } else {
223 unsigned int adv = prefix( arg, "-Wno-" ) ? 5 : 2;
224 args[nargs] = argv[i]; // conditionally pass the argument along
225 const char * warning = argv[i] + adv; // extract warning
226 if ( SemanticWarning_Exist( warning ) ) { // replace the argument for cfa-cpp
227 args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str();
228 } // if
229 nargs += 1;
230 } // if
231 } else if ( prefix( arg, "-B" ) ) {
232 Bprefix = arg.substr(2); // strip the -B flag
233 args[nargs] = ( *new string( string("-D__GCC_BPREFIX__=") + Bprefix ) ).c_str();
234 nargs += 1;
235 } else if ( prefix( arg, "-b" ) ) {
236 if ( arg.length() == 2 ) { // separate argument ?
237 i += 1;
238 if ( i == argc ) continue; // next argument available ?
239 arg += argv[i]; // concatenate argument
240 } // if
241 // later versions of gcc require the -b option to appear at the start of the command line
242 shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
243 args[sargs] = ( *new string( arg ) ).c_str(); // pass the argument along
244 if ( putenv( (char *)( *new string( string( "__GCC_MACHINE__=" ) + arg ) ).c_str() ) != 0 ) {
245 cerr << argv[0] << " error, cannot set environment variable." << endl;
246 exit( EXIT_FAILURE );
247 } // if
248 sargs += 1;
249 nargs += 1;
250 } else if ( prefix( arg, "-V" ) ) {
251 if ( arg.length() == 2 ) { // separate argument ?
252 i += 1;
253 if ( i == argc ) continue; // next argument available ?
254 arg += argv[i]; // concatenate argument
255 } // if
256 // later versions of gcc require the -V option to appear at the start of the command line
257 shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
258 args[sargs] = ( *new string( arg ) ).c_str(); // pass the argument along
259 if ( putenv( (char *)( *new string( string( "__GCC_VERSION__=" ) + arg ) ).c_str() ) != 0 ) {
260 cerr << argv[0] << " error, cannot set environment variable." << endl;
261 exit( EXIT_FAILURE );
262 } // if
263 sargs += 1;
264 nargs += 1;
265 } else if ( arg == "-c" || arg == "-S" || arg == "-E" || arg == "-M" || arg == "-MM" ) {
266 args[nargs] = argv[i]; // pass the argument along
267 nargs += 1;
268 if ( arg == "-E" || arg == "-M" || arg == "-MM" ) {
269 cpp_flag = true; // cpp only
270 } // if
271 link = false; // no linkage required
272 } else if ( arg[1] == 'l' ) {
273 // if the user specifies a library, load it after user code
274 libs[nlibs] = argv[i];
275 nlibs += 1;
276 } else if ( arg == "-m32" ) {
277 m32 = true;
278 m64 = false;
279 args[nargs] = argv[i];
280 nargs += 1;
281 } else if ( arg == "-m64" ) {
282 m64 = true;
283 m32 = false;
284 args[nargs] = argv[i];
285 nargs += 1;
286 } else {
287 // concatenate any other arguments
288 args[nargs] = argv[i];
289 nargs += 1;
290 } // if
291 } else {
292 bool cfa = suffix( arg ); // check suffix
293 if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
294 args[nargs] = "-x";
295 nargs += 1;
296 args[nargs] = "c";
297 nargs += 1;
298 } // if
299 args[nargs] = argv[i]; // concatenate file
300 nargs += 1;
301 if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
302 args[nargs] = "-x";
303 nargs += 1;
304 args[nargs] = "none";
305 nargs += 1;
306 } // if
307 nonoptarg = true;
308 } // if
309 } // for
310
311 #ifdef __x86_64__
312 args[nargs] = "-mcx16"; // allow double-wide CAA
313 nargs += 1;
314 #endif // __x86_64__
315
316 #ifdef __DEBUG_H__
317 cerr << "args:";
318 for ( int i = 1; i < nargs; i += 1 ) {
319 cerr << " " << args[i];
320 } // for
321 cerr << endl;
322 #endif // __DEBUG_H__
323
324 if ( cpp_flag && CFA_flag ) {
325 cerr << argv[0] << " error, cannot use -E and -CFA flags together." << endl;
326 exit( EXIT_FAILURE );
327 } // if
328
329 // add the CFA include-library paths, which allow direct access to header files without directory qualification
330 if( !intree ) {
331 args[nargs] = "-I" CFA_INCDIR;
332 nargs += 1;
333 if ( ! noincstd_flag ) { // do not use during build
334 args[nargs] = "-I" CFA_INCDIR "stdhdr";
335 nargs += 1;
336 } // if
337 args[nargs] = "-I" CFA_INCDIR "concurrency";
338 nargs += 1;
339 args[nargs] = "-I" CFA_INCDIR "containers";
340 nargs += 1;
341 } else {
342 args[nargs] = "-I" TOP_SRCDIR "libcfa/src";
343 nargs += 1;
344 if ( ! noincstd_flag ) { // do not use during build
345 args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/stdhdr";
346 nargs += 1;
347 } // if
348 args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/concurrency";
349 nargs += 1;
350 args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/containers";
351 nargs += 1;
352 }
353
354 // add stdbool to get defines for bool/true/false
355 args[nargs] = "-imacros";
356 nargs += 1;
357 args[nargs] = "stdbool.h";
358 nargs += 1;
359
360 string libbase;
361 if( !intree ) {
362 libbase = CFA_LIBDIR;
363 } else {
364 libbase = TOP_BUILDDIR "libcfa/";
365 args[nargs] = "-D__CFA_FLAG__=-t";
366 nargs += 1;
367 }
368
369 string arch = m32 ? CFA_32_CPU : (m64 ? CFA_64_CPU : CFA_DEFAULT_CPU);
370 if ( ! m32 && ! m64 ) {
371 if ( arch == "x86" ) {
372 args[nargs] = "-m32";
373 nargs += 1;
374 } else if ( arch == "x64" ) {
375 args[nargs] = "-m64";
376 nargs += 1;
377 } // if
378 } // if
379 const char * config = nolib ? "nolib" : (debug ? "debug": "nodebug");
380 string libdir = libbase + arch + "-" + config;
381
382 if ( ! nolib && ! dirExists( libdir ) ) {
383 cerr << argv[0] << " internal error, configuration " << config << " not installed." << endl;
384 cerr << "Was looking for " << libdir << endl;
385 libdir = libbase + arch + "-" + "nolib";
386 } // if
387
388 if ( ! dirExists( libdir ) ) {
389 cerr << argv[0] << " internal error, cannot find prelude directory." << endl;
390 cerr << "Was looking for " << libdir << endl;
391 exit( EXIT_FAILURE );
392 } // if
393
394 args[nargs] = ( *new string( string("-D__CFA_FLAG__=--prelude-dir=" ) + libdir + (intree ? "/prelude" : "")) ).c_str();
395 nargs += 1;
396
397 for ( int i = 0; i < nlibs; i += 1 ) { // copy non-user libraries after all user libraries
398 args[nargs] = libs[i];
399 nargs += 1;
400 } // for
401
402 if ( link ) {
403 args[nargs] = "-Xlinker";
404 nargs += 1;
405 args[nargs] = "--undefined=__cfaabi_dbg_bits_write";
406 nargs += 1;
407 args[nargs] = "-Xlinker";
408 nargs += 1;
409 args[nargs] = "--undefined=__cfaabi_interpose_startup";
410 nargs += 1;
411 args[nargs] = "-Xlinker";
412 nargs += 1;
413 args[nargs] = "--undefined=__cfaabi_appready_startup";
414 nargs += 1;
415
416 // include the cfa library in case it's needed
417 args[nargs] = ( *new string( string("-L" ) + libdir + (intree ? "/src/.libs" : "")) ).c_str();
418 nargs += 1;
419 args[nargs] = ( *new string( string("-Wl,-rpath," ) + libdir + (intree ? "/src/.libs" : "")) ).c_str();
420 nargs += 1;
421 args[nargs] = "-Wl,--push-state,--as-needed";
422 nargs += 1;
423 args[nargs] = "-lcfathread";
424 nargs += 1;
425 args[nargs] = "-Wl,--pop-state";
426 nargs += 1;
427 args[nargs] = "-lcfa";
428 nargs += 1;
429 args[nargs] = "-lpthread";
430 nargs += 1;
431 args[nargs] = "-ldl";
432 nargs += 1;
433 args[nargs] = "-lrt";
434 nargs += 1;
435 args[nargs] = "-lm";
436 nargs += 1;
437 } // if
438
439 // Add exception flags (unconditionally)
440 args[nargs] = "-fexceptions";
441 nargs += 1;
442
443 // add the correct set of flags based on the type of compile this is
444
445 args[nargs] = ( *new string( string("-D__CFA_MAJOR__=") + Major ) ).c_str();
446 nargs += 1;
447 args[nargs] = ( *new string( string("-D__CFA_MINOR__=") + Minor ) ).c_str();
448 nargs += 1;
449 args[nargs] = ( *new string( string("-D__CFA_PATCH__=") + Patch ) ).c_str();
450 nargs += 1;
451 args[nargs] = "-D__CFA__";
452 nargs += 1;
453 args[nargs] = "-D__CFORALL__";
454 nargs += 1;
455 args[nargs] = "-D__cforall";
456 nargs += 1;
457
458 if ( cpp_flag ) {
459 args[nargs] = "-D__CPP__";
460 nargs += 1;
461 } // if
462
463 shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
464 nargs += 1;
465 if ( CFA_flag ) {
466 args[sargs] = "-D__CFA_FLAG__=-N";
467 args[nargs] = "-D__CFA_PREPROCESS_";
468 nargs += 1;
469 } else {
470 args[sargs] = "-D__CFA_FLAG__=-L";
471 } // if
472 sargs += 1;
473
474 if ( debug ) {
475 heading += " (debug)";
476 args[nargs] = "-D__CFA_DEBUG__";
477 nargs += 1;
478 } else {
479 heading += " (no debug)";
480 } // if
481
482 if ( Bprefix.length() == 0 ) {
483 Bprefix = ! intree ? installlibdir : srcdriverdir;
484 if ( Bprefix[Bprefix.length() - 1] != '/' ) Bprefix += '/';
485 args[nargs] = ( *new string( string("-D__GCC_BPREFIX__=") + Bprefix ) ).c_str();
486 nargs += 1;
487 } // if
488
489 args[nargs] = "-Xlinker"; // used by backtrace
490 nargs += 1;
491 args[nargs] = "-export-dynamic";
492 nargs += 1;
493
494 // execute the compilation command
495
496 args[0] = compiler_path.c_str(); // set compiler command for exec
497 // find actual name of the compiler independent of the path to it
498 int p = compiler_path.find_last_of( '/' ); // scan r -> l for first '/'
499 if ( p == -1 ) {
500 compiler_name = compiler_path;
501 } else {
502 compiler_name = *new string( compiler_path.substr( p + 1 ) );
503 } // if
504
505 if ( prefix( compiler_name, "gcc" ) ) { // allow suffix on gcc name
506 args[nargs] = "-no-integrated-cpp";
507 nargs += 1;
508 args[nargs] = "-Wno-deprecated";
509 nargs += 1;
510#ifdef HAVE_CAST_FUNCTION_TYPE
511 args[nargs] = "-Wno-cast-function-type";
512 nargs += 1;
513#endif // HAVE_CAST_FUNCTION_TYPE
514 if ( ! std_flag ) { // default c11, if none specified
515 args[nargs] = "-std=gnu11";
516 nargs += 1;
517 } // if
518 args[nargs] = "-fgnu89-inline";
519 nargs += 1;
520 args[nargs] = "-D__int8_t_defined"; // prevent gcc type-size attributes
521 nargs += 1;
522 args[nargs] = ( *new string( string("-B") + Bprefix ) ).c_str();
523 nargs += 1;
524 } else {
525 cerr << argv[0] << " error, compiler \"" << compiler_name << "\" unsupported." << endl;
526 exit( EXIT_FAILURE );
527 } // if
528
529 args[nargs] = NULL; // terminate with NULL
530
531 #ifdef __DEBUG_H__
532 cerr << "nargs: " << nargs << endl;
533 cerr << "args:" << endl;
534 for ( int i = 0; args[i] != NULL; i += 1 ) {
535 cerr << " \"" << args[i] << "\"" << endl;
536 } // for
537 #endif // __DEBUG_H__
538
539 if ( ! quiet ) {
540 cerr << "CFA " << "Version " << Version << heading << endl;
541
542 if ( help ) {
543 cerr <<
544 "-debug\t\t\t: use cfa runtime with debug checking" << endl <<
545 "-help\t\t\t: print this help message" << endl <<
546 "-quiet\t\t\t: print no messages from the cfa command" << endl <<
547 "-CFA\t\t\t: run the cpp preprocessor and the cfa-cpp translator" << endl <<
548 "-XCFA -cfa-cpp-flag\t: pass next flag as-is to the cfa-cpp translator" << endl <<
549 "...\t\t\t: any other " << compiler_name << " flags" << endl;
550 } // if
551 } // if
552
553 if ( verbose ) {
554 if ( argc == 2 ) exit( EXIT_SUCCESS ); // if only the -v flag is specified, do not invoke gcc
555
556 for ( int i = 0; args[i] != NULL; i += 1 ) {
557 cerr << args[i] << " ";
558 } // for
559 cerr << endl;
560 } // if
561
562 if ( ! nonoptarg ) {
563 cerr << argv[0] << " error, no input files" << endl;
564 exit( EXIT_FAILURE );
565 } // if
566
567 // execute the command and return the result
568
569 execvp( args[0], (char *const *)args ); // should not return
570 perror( "CFA Translator error: cfa level, execvp" );
571 exit( EXIT_FAILURE );
572} // main
573
574// Local Variables: //
575// tab-width: 4 //
576// mode: c++ //
577// compile-command: "make install" //
578// End: //
Note: See TracBrowser for help on using the repository browser.