| 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 : Thu Sep 28 21:53:54 2023
|
|---|
| 13 | // Update Count : 484
|
|---|
| 14 | //
|
|---|
| 15 |
|
|---|
| 16 | #include <iostream>
|
|---|
| 17 | #include <cstdio> // perror
|
|---|
| 18 | #include <cstdlib> // putenv, exit
|
|---|
| 19 | #include <climits> // PATH_MAX
|
|---|
| 20 | #include <string> // STL version
|
|---|
| 21 | #include <algorithm> // find
|
|---|
| 22 | using namespace std;
|
|---|
| 23 |
|
|---|
| 24 | #include <unistd.h> // execvp
|
|---|
| 25 | #include <sys/types.h>
|
|---|
| 26 | #include <sys/stat.h>
|
|---|
| 27 |
|
|---|
| 28 | #include "Common/SemanticError.hpp"
|
|---|
| 29 | #include "config.h" // configure info
|
|---|
| 30 |
|
|---|
| 31 | //#define __DEBUG_H__
|
|---|
| 32 |
|
|---|
| 33 | #define xstr(s) str(s)
|
|---|
| 34 | #define str(s) #s
|
|---|
| 35 |
|
|---|
| 36 | static string __CFA_FLAGPREFIX__( "__CFA_FLAG" ); // "__CFA_FLAG__=" suffix
|
|---|
| 37 |
|
|---|
| 38 | static void Putenv( char * argv[], string arg ) {
|
|---|
| 39 | // environment variables must have unique names
|
|---|
| 40 | static int flags = 0;
|
|---|
| 41 |
|
|---|
| 42 | // This allocation 'leaks' memory from the program to the execution
|
|---|
| 43 | // environment, as putenv does not manage the storage of the string used
|
|---|
| 44 | // as an environment variable. This leak is necessary to ensure the
|
|---|
| 45 | // underlying C string is allocated long enough.
|
|---|
| 46 | if ( putenv( (char *)( *new string( string( __CFA_FLAGPREFIX__ + to_string( flags++ ) + "__=" ) + arg ) ).c_str() ) ) {
|
|---|
| 47 | cerr << argv[0] << " error, cannot set environment variable." << endl;
|
|---|
| 48 | exit( EXIT_FAILURE );
|
|---|
| 49 | } // if
|
|---|
| 50 | } // Putenv
|
|---|
| 51 |
|
|---|
| 52 | static bool prefix( const string & arg, const string & pre ) { // check if string has prefix
|
|---|
| 53 | return arg.substr( 0, pre.size() ) == pre;
|
|---|
| 54 | } // prefix
|
|---|
| 55 |
|
|---|
| 56 | // check if string has suffix
|
|---|
| 57 | static bool suffix( const string & arg ) {
|
|---|
| 58 | enum { NumSuffixes = 3 };
|
|---|
| 59 | static const string suffixes[NumSuffixes] = { "cfa", "hfa", "ifa" };
|
|---|
| 60 |
|
|---|
| 61 | size_t dot = arg.find_last_of( "." );
|
|---|
| 62 | if ( dot == string::npos ) return false;
|
|---|
| 63 | const string * end = suffixes + NumSuffixes;
|
|---|
| 64 | return std::find( suffixes, end, arg.substr( dot + 1 ) ) != end;
|
|---|
| 65 | } // suffix
|
|---|
| 66 |
|
|---|
| 67 | static inline bool dirExists( const string & path ) { // check if directory exists
|
|---|
| 68 | struct stat info;
|
|---|
| 69 | if ( stat( path.c_str(), &info ) != 0 ) return false;
|
|---|
| 70 | return (info.st_mode & S_IFDIR) != 0;
|
|---|
| 71 | } // dirExists
|
|---|
| 72 |
|
|---|
| 73 | static inline string dir(const string & path) {
|
|---|
| 74 | return path.substr(0, path.find_last_of('/'));
|
|---|
| 75 | } // dir
|
|---|
| 76 |
|
|---|
| 77 | // Different path modes
|
|---|
| 78 | enum PathMode {
|
|---|
| 79 | Installed, // cfa is installed, use prefix
|
|---|
| 80 | BuildTree, // cfa is in the tree, use source and build tree
|
|---|
| 81 | Distributed // cfa is distributed, use build tree for includes and executable directory for .cfs
|
|---|
| 82 | };
|
|---|
| 83 |
|
|---|
| 84 | // Get path mode from /proc
|
|---|
| 85 | PathMode FromProc() {
|
|---|
| 86 | std::string abspath;
|
|---|
| 87 | abspath.resize(PATH_MAX);
|
|---|
| 88 |
|
|---|
| 89 | // get executable path from /proc/self/exe
|
|---|
| 90 | ssize_t size = readlink("/proc/self/exe", const_cast<char*>(abspath.c_str()), abspath.size());
|
|---|
| 91 | if ( size <= 0 ) {
|
|---|
| 92 | std::cerr << "Error could not evaluate absolute path from /proc/self/exe" << std::endl;
|
|---|
| 93 | std::cerr << "Failed with " << std::strerror(errno) << std::endl;
|
|---|
| 94 | std::exit(1);
|
|---|
| 95 | } // if
|
|---|
| 96 |
|
|---|
| 97 | // Trim extra characters
|
|---|
| 98 | abspath.resize(size);
|
|---|
| 99 |
|
|---|
| 100 | // Are we installed
|
|---|
| 101 | if ( abspath.rfind(CFA_BINDIR, 0) == 0 ) { return Installed; }
|
|---|
| 102 |
|
|---|
| 103 | // Is this the build tree
|
|---|
| 104 | if ( abspath.rfind(TOP_BUILDDIR, 0 ) == 0 ) { return BuildTree; }
|
|---|
| 105 |
|
|---|
| 106 | // Does this look like distcc
|
|---|
| 107 | if ( abspath.find( "/.cfadistcc/" ) != std::string::npos ) { return Distributed; }
|
|---|
| 108 |
|
|---|
| 109 | // None of the above? Give up since we don't know where the prelude or include directories are
|
|---|
| 110 | std::cerr << "Cannot find required files from excutable path " << abspath << std::endl;
|
|---|
| 111 | std::exit(1);
|
|---|
| 112 | }
|
|---|
| 113 |
|
|---|
| 114 |
|
|---|
| 115 | int main( int argc, char * argv[] ) {
|
|---|
| 116 | string Version( CFA_VERSION_LONG ); // current version number from CONFIG
|
|---|
| 117 | string Major( xstr( CFA_VERSION_MAJOR ) ), Minor( xstr( CFA_VERSION_MINOR ) ), Patch( xstr( CFA_VERSION_PATCH ) );
|
|---|
| 118 |
|
|---|
| 119 | string installincdir( CFA_INCDIR ); // fixed location of include files
|
|---|
| 120 | string installlibdir( CFA_LIBDIR ); // fixed location of cc1 and cfa-cpp commands when installed
|
|---|
| 121 | string srcdriverdir ( TOP_BUILDDIR "driver"); // fixed location of cc1 and cfa-cpp commands when in tree
|
|---|
| 122 |
|
|---|
| 123 | string heading; // banner printed at start of cfa compilation
|
|---|
| 124 | string arg; // current command-line argument during command-line parsing
|
|---|
| 125 | string bprefix; // path where gcc looks for compiler steps
|
|---|
| 126 | string langstd; // language standard
|
|---|
| 127 |
|
|---|
| 128 | string compiler_path( CFA_BACKEND_CC ); // path/name of C compiler
|
|---|
| 129 | string compiler_name; // name of C compiler
|
|---|
| 130 |
|
|---|
| 131 | bool x_flag = false; // -x flag
|
|---|
| 132 | bool nonoptarg = false; // no non-option arguments specified, i.e., no file names
|
|---|
| 133 | bool link = true; // link stage occurring
|
|---|
| 134 | bool verbose = false; // -v flag
|
|---|
| 135 | bool quiet = false; // -quiet flag
|
|---|
| 136 | bool debug = true; // -debug flag
|
|---|
| 137 | bool nolib = false; // -nolib flag
|
|---|
| 138 | bool help = false; // -help flag
|
|---|
| 139 | bool CFA_flag = false; // -CFA flag
|
|---|
| 140 | bool cpp_flag = false; // -E or -M flag, preprocessor only
|
|---|
| 141 | bool std_flag = false; // -std= flag
|
|---|
| 142 | bool noincstd_flag = false; // -no-include-stdhdr= flag
|
|---|
| 143 | bool debugging __attribute(( unused )) = false; // -g flag
|
|---|
| 144 | bool m32 = false; // -m32 flag
|
|---|
| 145 | bool m64 = false; // -m64 flag
|
|---|
| 146 | bool compiling_libs = false;
|
|---|
| 147 | int o_file = 0; // -o filename position
|
|---|
| 148 |
|
|---|
| 149 | PathMode path = FromProc();
|
|---|
| 150 |
|
|---|
| 151 | const char * args[argc + 100]; // cfa command line values, plus some space for additional flags
|
|---|
| 152 | int sargs = 1; // starting location for arguments in args list
|
|---|
| 153 | int nargs = sargs; // number of arguments in args list; 0 => command name
|
|---|
| 154 |
|
|---|
| 155 | const char * libs[argc + 20]; // non-user libraries must come separately, plus some added libraries and flags
|
|---|
| 156 | int nlibs = 0;
|
|---|
| 157 |
|
|---|
| 158 | #ifdef __DEBUG_H__
|
|---|
| 159 | cerr << "CFA:" << endl;
|
|---|
| 160 | for ( int i = 1; i < argc; i += 1 ) {
|
|---|
| 161 | cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
|
|---|
| 162 | } // for
|
|---|
| 163 | #endif // __DEBUG_H__
|
|---|
| 164 |
|
|---|
| 165 | // process command-line arguments
|
|---|
| 166 |
|
|---|
| 167 | for ( int i = 1; i < argc; i += 1 ) {
|
|---|
| 168 | arg = argv[i]; // convert to string value
|
|---|
| 169 | if ( prefix( arg, "-" ) ) {
|
|---|
| 170 | // pass through arguments
|
|---|
| 171 |
|
|---|
| 172 | if ( arg == "-Xlinker" || arg == "-o" ) {
|
|---|
| 173 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 174 | i += 1;
|
|---|
| 175 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 176 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 177 | if ( arg == "-o" ) o_file = i; // remember file
|
|---|
| 178 |
|
|---|
| 179 | // CFA specific arguments
|
|---|
| 180 |
|
|---|
| 181 | } else if ( strncmp(arg.c_str(), "-XCFA", 5) == 0 ) { // CFA pass through
|
|---|
| 182 | if ( arg.size() == 5 ) {
|
|---|
| 183 | i += 1;
|
|---|
| 184 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 185 | Putenv( argv, argv[i] ); // make available for cc1
|
|---|
| 186 | } else if ( arg[5] == ',' ) { // CFA specific arguments
|
|---|
| 187 | string xcfargs = arg.substr( 6 ) + ","; // add sentinel
|
|---|
| 188 | for ( ;; ) {
|
|---|
| 189 | size_t posn = xcfargs.find_first_of( "," ); // find separator
|
|---|
| 190 | if ( posn == string::npos ) break; // any characters left ?
|
|---|
| 191 | string xcfarg = xcfargs.substr( 0, posn ); // remove XCFA argument
|
|---|
| 192 | Putenv( argv, xcfarg ); // make available for cc1
|
|---|
| 193 | xcfargs.erase( 0, posn + 1 ); // remove first argument and comma
|
|---|
| 194 | } // for
|
|---|
| 195 | } else { // CFA specific arguments
|
|---|
| 196 | assert( false ); // this does not make sense
|
|---|
| 197 | args[nargs++] = argv[i];
|
|---|
| 198 | } // if
|
|---|
| 199 | } else if ( arg == "-CFA" ) {
|
|---|
| 200 | CFA_flag = true; // strip -CFA flag
|
|---|
| 201 | link = false;
|
|---|
| 202 | args[nargs++] = "-fsyntax-only"; // stop after stage 2
|
|---|
| 203 | } else if ( arg == "-debug" ) {
|
|---|
| 204 | debug = true; // strip debug flag
|
|---|
| 205 | } else if ( arg == "-nodebug" ) {
|
|---|
| 206 | debug = false; // strip nodebug flag
|
|---|
| 207 | } else if ( arg == "-quiet" ) {
|
|---|
| 208 | quiet = true; // strip quiet flag
|
|---|
| 209 | } else if ( arg == "-noquiet" ) {
|
|---|
| 210 | quiet = false; // strip noquiet flag
|
|---|
| 211 | } else if ( arg == "-invariant" ) {
|
|---|
| 212 | Putenv( argv, "-" + arg );
|
|---|
| 213 | } else if ( arg == "--invariant" ) {
|
|---|
| 214 | Putenv( argv, arg );
|
|---|
| 215 | } else if ( arg == "-no-include-stdhdr" ) {
|
|---|
| 216 | noincstd_flag = true; // strip no-include-stdhdr flag
|
|---|
| 217 | } else if ( arg == "-nolib" ) {
|
|---|
| 218 | nolib = true; // strip nolib flag
|
|---|
| 219 | } else if ( arg == "-help" ) {
|
|---|
| 220 | help = true; // strip help flag
|
|---|
| 221 | } else if ( arg == "-nohelp" ) {
|
|---|
| 222 | help = false; // strip nohelp flag
|
|---|
| 223 | } else if ( arg == "-cfalib") {
|
|---|
| 224 | compiling_libs = true;
|
|---|
| 225 | } else if ( arg == "-compiler" ) {
|
|---|
| 226 | // use the user specified compiler
|
|---|
| 227 | i += 1;
|
|---|
| 228 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 229 | compiler_path = argv[i];
|
|---|
| 230 | Putenv( argv, arg + "=" + argv[i] );
|
|---|
| 231 |
|
|---|
| 232 | // C specific arguments
|
|---|
| 233 |
|
|---|
| 234 | } else if ( arg == "-v" ) {
|
|---|
| 235 | verbose = true; // verbosity required
|
|---|
| 236 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 237 | } else if ( arg == "-g" ) {
|
|---|
| 238 | debugging = true; // symbolic debugging required
|
|---|
| 239 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 240 | } else if ( arg == "-save-temps" || arg == "--save-temps" ) {
|
|---|
| 241 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 242 | Putenv( argv, arg ); // save cfa-cpp output
|
|---|
| 243 | } else if ( prefix( arg, "-x" ) ) { // file suffix ?
|
|---|
| 244 | string lang;
|
|---|
| 245 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 246 | if ( arg.length() == 2 ) { // separate argument ?
|
|---|
| 247 | i += 1;
|
|---|
| 248 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 249 | lang = argv[i];
|
|---|
| 250 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 251 | } else {
|
|---|
| 252 | lang = arg.substr( 2 );
|
|---|
| 253 | } // if
|
|---|
| 254 | if ( x_flag ) {
|
|---|
| 255 | cerr << argv[0] << " warning, only one -x flag per compile, ignoring subsequent flag." << endl;
|
|---|
| 256 | } else {
|
|---|
| 257 | x_flag = true;
|
|---|
| 258 | Putenv( argv, string( "-x=" ) + lang );
|
|---|
| 259 | } // if
|
|---|
| 260 | } else if ( prefix( arg, "-std=" ) || prefix( arg, "--std=" ) ) {
|
|---|
| 261 | std_flag = true; // -std=XX provided
|
|---|
| 262 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 263 | } else if ( arg == "-w" ) {
|
|---|
| 264 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 265 | Putenv( argv, arg );
|
|---|
| 266 | } else if ( prefix( arg, "-W" ) ) { // check before next tests
|
|---|
| 267 | if ( arg == "-Werror" || arg == "-Wall" ) {
|
|---|
| 268 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 269 | Putenv( argv, argv[i] );
|
|---|
| 270 | } else {
|
|---|
| 271 | unsigned int adv = prefix( arg, "-Wno-" ) ? 5 : 2;
|
|---|
| 272 | args[nargs] = argv[i]; // conditionally pass argument along
|
|---|
| 273 | const char * warning = argv[i] + adv; // extract warning
|
|---|
| 274 | if ( SemanticWarning_Exist( warning ) ) { // replace the argument for cfa-cpp
|
|---|
| 275 | Putenv( argv, arg );
|
|---|
| 276 | } // if
|
|---|
| 277 | nargs += 1;
|
|---|
| 278 | } // if
|
|---|
| 279 | } else if ( prefix( arg, "-B" ) ) {
|
|---|
| 280 | bprefix = arg.substr(2); // strip -B flag
|
|---|
| 281 | } else if ( arg == "-c" || arg == "-S" || arg == "-E" || arg == "-M" || arg == "-MM" ) {
|
|---|
| 282 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 283 | if ( arg == "-E" || arg == "-M" || arg == "-MM" ) {
|
|---|
| 284 | cpp_flag = true; // cpp only
|
|---|
| 285 | } // if
|
|---|
| 286 | link = false; // no linkage required
|
|---|
| 287 | } else if ( arg == "-D" || arg == "-U" || arg == "-I" || arg == "-MF" || arg == "-MT" || arg == "-MQ" ||
|
|---|
| 288 | arg == "-include" || arg == "-imacros" || arg == "-idirafter" || arg == "-iprefix" ||
|
|---|
| 289 | arg == "-iwithprefix" || arg == "-iwithprefixbefore" || arg == "-isystem" || arg == "-isysroot" ) {
|
|---|
| 290 | args[nargs++] = argv[i]; // pass flag along
|
|---|
| 291 | i += 1;
|
|---|
| 292 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 293 | } else if ( arg[1] == 'l' ) {
|
|---|
| 294 | // if the user specifies a library, load it after user code
|
|---|
| 295 | libs[nlibs++] = argv[i];
|
|---|
| 296 | } else if ( arg == "-m32" ) {
|
|---|
| 297 | m32 = true;
|
|---|
| 298 | m64 = false;
|
|---|
| 299 | args[nargs++] = argv[i];
|
|---|
| 300 | } else if ( arg == "-m64" ) {
|
|---|
| 301 | m64 = true;
|
|---|
| 302 | m32 = false;
|
|---|
| 303 | args[nargs++] = argv[i];
|
|---|
| 304 | } else {
|
|---|
| 305 | // concatenate any other arguments
|
|---|
| 306 | args[nargs++] = argv[i];
|
|---|
| 307 | } // if
|
|---|
| 308 | } else {
|
|---|
| 309 | bool cfa = suffix( arg ); // check suffix
|
|---|
| 310 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 311 | args[nargs++] = "-x";
|
|---|
| 312 | args[nargs++] = "c";
|
|---|
| 313 | } // if
|
|---|
| 314 | args[nargs++] = argv[i]; // concatenate files
|
|---|
| 315 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 316 | args[nargs++] = "-x";
|
|---|
| 317 | args[nargs++] = "none";
|
|---|
| 318 | } // if
|
|---|
| 319 | nonoptarg = true;
|
|---|
| 320 | } // if
|
|---|
| 321 | } // for
|
|---|
| 322 |
|
|---|
| 323 | #ifdef __x86_64__
|
|---|
| 324 | args[nargs++] = "-mcx16"; // allow double-wide CAS
|
|---|
| 325 | #endif // __x86_64__
|
|---|
| 326 |
|
|---|
| 327 | // ARM -mno-outline-atomics => use LL/SC instead of calls to atomic routines: __aarch64_swp_acq_rel, __aarch64_cas8_acq_rel
|
|---|
| 328 | // ARM -march=armv8.2-a+lse => generate Arm LSE extension instructions SWAP and CAS
|
|---|
| 329 | // https://community.arm.com/developer/tools-software/tools/b/tools-software-ides-blog/posts/making-the-most-of-the-arm-architecture-in-gcc-10
|
|---|
| 330 | #ifdef __ARM_ARCH
|
|---|
| 331 | args[nargs++] = "-mno-outline-atomics"; // use ARM LL/SC instructions for atomics
|
|---|
| 332 | // args[nargs++] = "-march=armv8.2-a+lse"; // use atomic instructions
|
|---|
| 333 | #endif // __ARM_ARCH
|
|---|
| 334 |
|
|---|
| 335 | #ifdef __DEBUG_H__
|
|---|
| 336 | cerr << "args:";
|
|---|
| 337 | for ( int i = 1; i < nargs; i += 1 ) {
|
|---|
| 338 | cerr << " " << args[i];
|
|---|
| 339 | } // for
|
|---|
| 340 | cerr << endl;
|
|---|
| 341 | #endif // __DEBUG_H__
|
|---|
| 342 |
|
|---|
| 343 | // -E flag stops at cc1 stage 1, so cfa-cpp in cc1 stage 2 is never executed.
|
|---|
| 344 | if ( cpp_flag && CFA_flag ) {
|
|---|
| 345 | CFA_flag = false;
|
|---|
| 346 | cerr << argv[0] << " warning, both -E and -CFA flags specified, using -E and ignoring -CFA." << endl;
|
|---|
| 347 | } // if
|
|---|
| 348 |
|
|---|
| 349 | // add the CFA include-library paths, which allow direct access to header files without directory qualification
|
|---|
| 350 | string libbase;
|
|---|
| 351 | switch(path) {
|
|---|
| 352 | case Installed:
|
|---|
| 353 | args[nargs++] = "-I" CFA_INCDIR;
|
|---|
| 354 | // do not use during build
|
|---|
| 355 | if ( ! noincstd_flag ) {
|
|---|
| 356 | args[nargs++] = "-I" CFA_INCDIR "stdhdr";
|
|---|
| 357 | } // if
|
|---|
| 358 | args[nargs++] = "-I" CFA_INCDIR "concurrency";
|
|---|
| 359 | args[nargs++] = "-I" CFA_INCDIR "collections";
|
|---|
| 360 | libbase = CFA_LIBDIR;
|
|---|
| 361 | break;
|
|---|
| 362 | case BuildTree:
|
|---|
| 363 | case Distributed:
|
|---|
| 364 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src";
|
|---|
| 365 | // do not use during build
|
|---|
| 366 | if ( ! noincstd_flag ) {
|
|---|
| 367 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/stdhdr";
|
|---|
| 368 | } // if
|
|---|
| 369 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/concurrency";
|
|---|
| 370 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/collections";
|
|---|
| 371 |
|
|---|
| 372 | libbase = TOP_BUILDDIR "libcfa/";
|
|---|
| 373 |
|
|---|
| 374 | break;
|
|---|
| 375 | } // if
|
|---|
| 376 |
|
|---|
| 377 | // add stdbool to get defines for bool/true/false
|
|---|
| 378 | args[nargs++] = "-imacros";
|
|---|
| 379 | args[nargs++] = "stdbool.h";
|
|---|
| 380 |
|
|---|
| 381 | if ( compiling_libs ) {
|
|---|
| 382 | Putenv( argv, "-t" );
|
|---|
| 383 | } // if
|
|---|
| 384 |
|
|---|
| 385 | string arch( m32 ? CFA_32_CPU : (m64 ? CFA_64_CPU : CFA_DEFAULT_CPU) );
|
|---|
| 386 | if ( ! m32 && ! m64 ) {
|
|---|
| 387 | if ( arch == "x86" ) {
|
|---|
| 388 | args[nargs++] = "-m32";
|
|---|
| 389 | } else if ( arch == "x64" ) {
|
|---|
| 390 | args[nargs++] = "-m64";
|
|---|
| 391 | } // if
|
|---|
| 392 | } // if
|
|---|
| 393 |
|
|---|
| 394 | const char * config = nolib ? "nolib" : (debug ? "debug": "nodebug");
|
|---|
| 395 | string libdir = libbase + arch + "-" + config;
|
|---|
| 396 |
|
|---|
| 397 | if ( path != Distributed ) {
|
|---|
| 398 | if ( ! nolib && ! dirExists( libdir ) ) {
|
|---|
| 399 | cerr << argv[0] << " internal error, configuration " << config << " not installed." << endl;
|
|---|
| 400 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 401 | for(int i = 1; i < argc; i++) {
|
|---|
| 402 | cerr << argv[i] << " ";
|
|---|
| 403 | }
|
|---|
| 404 | cerr << endl;
|
|---|
| 405 | libdir = libbase + arch + "-" + "nolib";
|
|---|
| 406 | } // if
|
|---|
| 407 |
|
|---|
| 408 | if ( ! dirExists( libdir ) ) {
|
|---|
| 409 | cerr << argv[0] << " internal error, cannot find prelude directory." << endl;
|
|---|
| 410 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 411 | exit( EXIT_FAILURE );
|
|---|
| 412 | } // if
|
|---|
| 413 | } // if
|
|---|
| 414 |
|
|---|
| 415 | string preludedir;
|
|---|
| 416 | switch(path) {
|
|---|
| 417 | case Installed : preludedir = libdir; break;
|
|---|
| 418 | case BuildTree : preludedir = libdir + "/prelude"; break;
|
|---|
| 419 | case Distributed : preludedir = dir(argv[0]); break;
|
|---|
| 420 | } // switch
|
|---|
| 421 |
|
|---|
| 422 | Putenv( argv, "--prelude-dir=" + preludedir );
|
|---|
| 423 | args[nargs++] = "-include";
|
|---|
| 424 | args[nargs++] = (*new string(preludedir + "/defines.hfa")).c_str();
|
|---|
| 425 |
|
|---|
| 426 | for ( int i = 0; i < nlibs; i += 1 ) { // copy non-user libraries after all user libraries
|
|---|
| 427 | args[nargs++] = libs[i];
|
|---|
| 428 | } // for
|
|---|
| 429 |
|
|---|
| 430 | if ( link ) {
|
|---|
| 431 | args[nargs++] = "-Xlinker";
|
|---|
| 432 | args[nargs++] = "--undefined=__cfaabi_dbg_bits_write";
|
|---|
| 433 | args[nargs++] = "-Xlinker";
|
|---|
| 434 | args[nargs++] = "--undefined=__cfaabi_interpose_startup";
|
|---|
| 435 | args[nargs++] = "-Xlinker";
|
|---|
| 436 | args[nargs++] = "--undefined=__cfaabi_appready_startup";
|
|---|
| 437 | args[nargs++] = "-z";
|
|---|
| 438 | args[nargs++] = "execstack";
|
|---|
| 439 |
|
|---|
| 440 | // include the cfa library in case it is needed
|
|---|
| 441 | args[nargs++] = ( *new string( string("-L" ) + libdir + (path != Installed ? "/src/.libs" : "")) ).c_str();
|
|---|
| 442 | args[nargs++] = ( *new string( string("-Wl,-rpath," ) + libdir + (path != Installed ? "/src/.libs" : "")) ).c_str();
|
|---|
| 443 | args[nargs++] = "-Wl,--push-state,--as-needed";
|
|---|
| 444 | args[nargs++] = "-lcfathread";
|
|---|
| 445 | args[nargs++] = "-Wl,--pop-state";
|
|---|
| 446 | args[nargs++] = "-Wl,--push-state,--no-as-needed";
|
|---|
| 447 | args[nargs++] = "-lcfa";
|
|---|
| 448 | args[nargs++] = "-Wl,--pop-state";
|
|---|
| 449 | args[nargs++] = "-pthread";
|
|---|
| 450 | #if defined( __x86_64__ ) || defined( __ARM_ARCH )
|
|---|
| 451 | args[nargs++] = "-latomic"; // allow double-wide CAS
|
|---|
| 452 | #endif // __x86_64__
|
|---|
| 453 | args[nargs++] = "-ldl";
|
|---|
| 454 | args[nargs++] = "-lm";
|
|---|
| 455 | } // if
|
|---|
| 456 |
|
|---|
| 457 | args[nargs++] = "-fexceptions"; // add exception flags (unconditionally)
|
|---|
| 458 | args[nargs++] = "-D_GNU_SOURCE"; // force gnu libraries
|
|---|
| 459 |
|
|---|
| 460 | // add flags based on the type of compile
|
|---|
| 461 |
|
|---|
| 462 | args[nargs++] = ( *new string( string("-D__CFA_MAJOR__=") + Major ) ).c_str();
|
|---|
| 463 | args[nargs++] = ( *new string( string("-D__CFA_MINOR__=") + Minor ) ).c_str();
|
|---|
| 464 | args[nargs++] = ( *new string( string("-D__CFA_PATCH__=") + Patch ) ).c_str();
|
|---|
| 465 | args[nargs++] = "-D__CFA__";
|
|---|
| 466 | args[nargs++] = "-D__CFORALL__";
|
|---|
| 467 | args[nargs++] = "-D__cforall";
|
|---|
| 468 |
|
|---|
| 469 | if ( cpp_flag ) {
|
|---|
| 470 | args[nargs++] = "-D__CPP__";
|
|---|
| 471 | } // if
|
|---|
| 472 |
|
|---|
| 473 | if ( CFA_flag ) {
|
|---|
| 474 | Putenv( argv, "-N" );
|
|---|
| 475 | Putenv( argv, "-CFA" );
|
|---|
| 476 | // -CFA implies cc1 stage 2, but gcc does not pass the -o file to this stage because it believe the file is for
|
|---|
| 477 | // the linker. Hence, the -o file is explicit passed to cc1 stage 2 and used as cfa-cpp's output file.
|
|---|
| 478 | if ( o_file ) Putenv( argv, string( "-o=" ) + argv[o_file] );
|
|---|
| 479 | } else {
|
|---|
| 480 | Putenv( argv, "-L" );
|
|---|
| 481 | } // if
|
|---|
| 482 |
|
|---|
| 483 | if ( debug ) {
|
|---|
| 484 | heading += " (debug)";
|
|---|
| 485 | args[nargs++] = "-D__CFA_DEBUG__";
|
|---|
| 486 | } else {
|
|---|
| 487 | heading += " (no debug)";
|
|---|
| 488 | } // if
|
|---|
| 489 |
|
|---|
| 490 | if ( bprefix.length() == 0 ) {
|
|---|
| 491 | switch(path) {
|
|---|
| 492 | case Installed : bprefix = installlibdir; break;
|
|---|
| 493 | case BuildTree : bprefix = srcdriverdir ; break;
|
|---|
| 494 | case Distributed : bprefix = dir(argv[0]) ; break;
|
|---|
| 495 | } // switch
|
|---|
| 496 | } // if
|
|---|
| 497 | if ( bprefix[bprefix.length() - 1] != '/' ) bprefix += '/';
|
|---|
| 498 | Putenv( argv, string("-B=") + bprefix );
|
|---|
| 499 |
|
|---|
| 500 | args[nargs++] = "-Xlinker"; // used by backtrace
|
|---|
| 501 | args[nargs++] = "-export-dynamic";
|
|---|
| 502 |
|
|---|
| 503 | // execute the compilation command
|
|---|
| 504 |
|
|---|
| 505 | args[0] = compiler_path.c_str(); // set compiler command for exec
|
|---|
| 506 | // find actual name of the compiler independent of the path to it
|
|---|
| 507 | int p = compiler_path.find_last_of( '/' ); // scan r -> l for first '/'
|
|---|
| 508 | if ( p == -1 ) {
|
|---|
| 509 | compiler_name = compiler_path;
|
|---|
| 510 | } else {
|
|---|
| 511 | compiler_name = *new string( compiler_path.substr( p + 1 ) );
|
|---|
| 512 | } // if
|
|---|
| 513 |
|
|---|
| 514 | if ( prefix( compiler_name, "gcc" ) ) { // allow suffix on gcc name
|
|---|
| 515 | args[nargs++] = "-no-integrated-cpp";
|
|---|
| 516 | args[nargs++] = "-Wno-deprecated";
|
|---|
| 517 | args[nargs++] = "-Wno-strict-aliasing"; // casting from one type to another
|
|---|
| 518 | #ifdef HAVE_CAST_FUNCTION_TYPE
|
|---|
| 519 | args[nargs++] = "-Wno-cast-function-type";
|
|---|
| 520 | #endif // HAVE_CAST_FUNCTION_TYPE
|
|---|
| 521 | if ( ! std_flag && ! x_flag ) {
|
|---|
| 522 | args[nargs++] = "-std=gnu11"; // default c11, if none specified
|
|---|
| 523 | } // if
|
|---|
| 524 | args[nargs++] = "-fgnu89-inline";
|
|---|
| 525 | args[nargs++] = "-D__int8_t_defined"; // prevent gcc type-size attributes
|
|---|
| 526 | args[nargs++] = ( *new string( string("-B") + bprefix ) ).c_str();
|
|---|
| 527 | } else {
|
|---|
| 528 | cerr << argv[0] << " error, compiler \"" << compiler_name << "\" unsupported." << endl;
|
|---|
| 529 | exit( EXIT_FAILURE );
|
|---|
| 530 | } // if
|
|---|
| 531 |
|
|---|
| 532 | args[nargs] = nullptr; // terminate
|
|---|
| 533 |
|
|---|
| 534 | #ifdef __DEBUG_H__
|
|---|
| 535 | cerr << "nargs: " << nargs << endl;
|
|---|
| 536 | cerr << "args:" << endl;
|
|---|
| 537 | for ( int i = 0; args[i] != nullptr; i += 1 ) {
|
|---|
| 538 | cerr << " \"" << args[i] << "\"" << endl;
|
|---|
| 539 | } // for
|
|---|
| 540 | cerr << endl;
|
|---|
| 541 | #endif // __DEBUG_H__
|
|---|
| 542 |
|
|---|
| 543 | if ( ! quiet ) {
|
|---|
| 544 | cerr << "CFA " << "Version " << Version << heading << endl;
|
|---|
| 545 | if ( help ) {
|
|---|
| 546 | cerr <<
|
|---|
| 547 | "-debug\t\t\t: use cfa runtime with debug checking" << endl <<
|
|---|
| 548 | "-help\t\t\t: print this help message" << endl <<
|
|---|
| 549 | "-quiet\t\t\t: print no messages from the cfa command" << endl <<
|
|---|
| 550 | "-CFA\t\t\t: run the cpp preprocessor and the cfa-cpp translator" << endl <<
|
|---|
| 551 | "-XCFA -cfa-cpp-flag\t: pass next flag as-is to the cfa-cpp translator" << endl <<
|
|---|
| 552 | "...\t\t\t: any other " << compiler_name << " flags" << endl;
|
|---|
| 553 | } // if
|
|---|
| 554 | } // if
|
|---|
| 555 |
|
|---|
| 556 | if ( verbose ) {
|
|---|
| 557 | if ( argc == 2 ) exit( EXIT_SUCCESS ); // if only the -v flag is specified, do not invoke gcc
|
|---|
| 558 |
|
|---|
| 559 | for ( int i = 0; args[i] != nullptr; i += 1 ) {
|
|---|
| 560 | cerr << args[i] << " ";
|
|---|
| 561 | } // for
|
|---|
| 562 | cerr << endl;
|
|---|
| 563 | } // if
|
|---|
| 564 |
|
|---|
| 565 | if ( ! nonoptarg ) {
|
|---|
| 566 | cerr << argv[0] << " error, no input files" << endl;
|
|---|
| 567 | exit( EXIT_FAILURE );
|
|---|
| 568 | } // if
|
|---|
| 569 |
|
|---|
| 570 | // execute the command and return the result
|
|---|
| 571 |
|
|---|
| 572 | execvp( args[0], (char * const *)args ); // should not return
|
|---|
| 573 | perror( "CFA Translator error: execvp" );
|
|---|
| 574 | exit( EXIT_FAILURE );
|
|---|
| 575 | } // main
|
|---|
| 576 |
|
|---|
| 577 | // Local Variables: //
|
|---|
| 578 | // tab-width: 4 //
|
|---|
| 579 | // mode: c++ //
|
|---|
| 580 | // compile-command: "make install" //
|
|---|
| 581 | // End: //
|
|---|
