1257b2971SCaroline Concatto //===- CompilerInvocation.cpp ---------------------------------------------===// 2257b2971SCaroline Concatto // 3257b2971SCaroline Concatto // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4257b2971SCaroline Concatto // See https://llvm.org/LICENSE.txt for license information. 5257b2971SCaroline Concatto // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6257b2971SCaroline Concatto // 7257b2971SCaroline Concatto //===----------------------------------------------------------------------===// 8257b2971SCaroline Concatto 9257b2971SCaroline Concatto #include "flang/Frontend/CompilerInvocation.h" 107809fa20SFaris Rehman #include "flang/Frontend/PreprocessorOptions.h" 11257b2971SCaroline Concatto #include "clang/Basic/AllDiagnostics.h" 12257b2971SCaroline Concatto #include "clang/Basic/DiagnosticDriver.h" 13257b2971SCaroline Concatto #include "clang/Basic/DiagnosticOptions.h" 14257b2971SCaroline Concatto #include "clang/Driver/DriverDiagnostic.h" 15257b2971SCaroline Concatto #include "clang/Driver/Options.h" 16257b2971SCaroline Concatto #include "llvm/ADT/StringRef.h" 17257b2971SCaroline Concatto #include "llvm/ADT/StringSwitch.h" 18257b2971SCaroline Concatto #include "llvm/Option/Arg.h" 19257b2971SCaroline Concatto #include "llvm/Option/ArgList.h" 20257b2971SCaroline Concatto #include "llvm/Option/OptTable.h" 218d51d37eSAndrzej Warzynski #include "llvm/Support/Process.h" 22257b2971SCaroline Concatto #include "llvm/Support/raw_ostream.h" 23257b2971SCaroline Concatto 24257b2971SCaroline Concatto using namespace Fortran::frontend; 25257b2971SCaroline Concatto 26257b2971SCaroline Concatto //===----------------------------------------------------------------------===// 27257b2971SCaroline Concatto // Initialization. 28257b2971SCaroline Concatto //===----------------------------------------------------------------------===// 29257b2971SCaroline Concatto CompilerInvocationBase::CompilerInvocationBase() 307809fa20SFaris Rehman : diagnosticOpts_(new clang::DiagnosticOptions()), 317809fa20SFaris Rehman preprocessorOpts_(new PreprocessorOptions()) {} 32257b2971SCaroline Concatto 33257b2971SCaroline Concatto CompilerInvocationBase::CompilerInvocationBase(const CompilerInvocationBase &x) 347809fa20SFaris Rehman : diagnosticOpts_(new clang::DiagnosticOptions(x.GetDiagnosticOpts())), 357809fa20SFaris Rehman preprocessorOpts_(new PreprocessorOptions(x.preprocessorOpts())) {} 36257b2971SCaroline Concatto 37257b2971SCaroline Concatto CompilerInvocationBase::~CompilerInvocationBase() = default; 38257b2971SCaroline Concatto 39257b2971SCaroline Concatto //===----------------------------------------------------------------------===// 40257b2971SCaroline Concatto // Deserialization (from args) 41257b2971SCaroline Concatto //===----------------------------------------------------------------------===// 428d51d37eSAndrzej Warzynski static bool parseShowColorsArgs( 438d51d37eSAndrzej Warzynski const llvm::opt::ArgList &args, bool defaultColor) { 448d51d37eSAndrzej Warzynski // Color diagnostics default to auto ("on" if terminal supports) in the driver 458d51d37eSAndrzej Warzynski // but default to off in cc1, needing an explicit OPT_fdiagnostics_color. 468d51d37eSAndrzej Warzynski // Support both clang's -f[no-]color-diagnostics and gcc's 478d51d37eSAndrzej Warzynski // -f[no-]diagnostics-colors[=never|always|auto]. 488d51d37eSAndrzej Warzynski enum { 498d51d37eSAndrzej Warzynski Colors_On, 508d51d37eSAndrzej Warzynski Colors_Off, 518d51d37eSAndrzej Warzynski Colors_Auto 528d51d37eSAndrzej Warzynski } ShowColors = defaultColor ? Colors_Auto : Colors_Off; 538d51d37eSAndrzej Warzynski 548d51d37eSAndrzej Warzynski for (auto *a : args) { 558d51d37eSAndrzej Warzynski const llvm::opt::Option &O = a->getOption(); 568d51d37eSAndrzej Warzynski if (O.matches(clang::driver::options::OPT_fcolor_diagnostics) || 578d51d37eSAndrzej Warzynski O.matches(clang::driver::options::OPT_fdiagnostics_color)) { 588d51d37eSAndrzej Warzynski ShowColors = Colors_On; 598d51d37eSAndrzej Warzynski } else if (O.matches(clang::driver::options::OPT_fno_color_diagnostics) || 608d51d37eSAndrzej Warzynski O.matches(clang::driver::options::OPT_fno_diagnostics_color)) { 618d51d37eSAndrzej Warzynski ShowColors = Colors_Off; 628d51d37eSAndrzej Warzynski } else if (O.matches(clang::driver::options::OPT_fdiagnostics_color_EQ)) { 638d51d37eSAndrzej Warzynski llvm::StringRef value(a->getValue()); 648d51d37eSAndrzej Warzynski if (value == "always") 658d51d37eSAndrzej Warzynski ShowColors = Colors_On; 668d51d37eSAndrzej Warzynski else if (value == "never") 678d51d37eSAndrzej Warzynski ShowColors = Colors_Off; 688d51d37eSAndrzej Warzynski else if (value == "auto") 698d51d37eSAndrzej Warzynski ShowColors = Colors_Auto; 708d51d37eSAndrzej Warzynski } 718d51d37eSAndrzej Warzynski } 728d51d37eSAndrzej Warzynski 738d51d37eSAndrzej Warzynski return ShowColors == Colors_On || 748d51d37eSAndrzej Warzynski (ShowColors == Colors_Auto && llvm::sys::Process::StandardErrHasColors()); 758d51d37eSAndrzej Warzynski } 768d51d37eSAndrzej Warzynski 778d51d37eSAndrzej Warzynski bool Fortran::frontend::ParseDiagnosticArgs(clang::DiagnosticOptions &opts, 788d51d37eSAndrzej Warzynski llvm::opt::ArgList &args, bool defaultDiagColor) { 798d51d37eSAndrzej Warzynski opts.ShowColors = parseShowColorsArgs(args, defaultDiagColor); 808d51d37eSAndrzej Warzynski 818d51d37eSAndrzej Warzynski return true; 828d51d37eSAndrzej Warzynski } 838d51d37eSAndrzej Warzynski 84257b2971SCaroline Concatto static InputKind ParseFrontendArgs(FrontendOptions &opts, 85257b2971SCaroline Concatto llvm::opt::ArgList &args, clang::DiagnosticsEngine &diags) { 86257b2971SCaroline Concatto // Identify the action (i.e. opts.ProgramAction) 87257b2971SCaroline Concatto if (const llvm::opt::Arg *a = 88257b2971SCaroline Concatto args.getLastArg(clang::driver::options::OPT_Action_Group)) { 89257b2971SCaroline Concatto switch (a->getOption().getID()) { 90257b2971SCaroline Concatto default: { 91257b2971SCaroline Concatto llvm_unreachable("Invalid option in group!"); 92257b2971SCaroline Concatto } 934c5906cfSCaroline Concatto case clang::driver::options::OPT_test_io: 944c5906cfSCaroline Concatto opts.programAction_ = InputOutputTest; 954c5906cfSCaroline Concatto break; 96d28de0d7SCaroline Concatto case clang::driver::options::OPT_E: 97d28de0d7SCaroline Concatto opts.programAction_ = PrintPreprocessedInput; 98d28de0d7SCaroline Concatto break; 997d246cb1SAndrzej Warzynski case clang::driver::options::OPT_fsyntax_only: 1007d246cb1SAndrzej Warzynski opts.programAction_ = ParseSyntaxOnly; 1017d246cb1SAndrzej Warzynski break; 102e5cdb6c5SAndrzej Warzynski case clang::driver::options::OPT_emit_obj: 103e5cdb6c5SAndrzej Warzynski opts.programAction_ = EmitObj; 104e5cdb6c5SAndrzej Warzynski break; 105d28de0d7SCaroline Concatto 106257b2971SCaroline Concatto // TODO: 107257b2971SCaroline Concatto // case calng::driver::options::OPT_emit_llvm: 108257b2971SCaroline Concatto // case clang::driver::options::OPT_emit_llvm_only: 109257b2971SCaroline Concatto // case clang::driver::options::OPT_emit_codegen_only: 110257b2971SCaroline Concatto // case clang::driver::options::OPT_emit_module: 111257b2971SCaroline Concatto // (...) 112257b2971SCaroline Concatto } 113257b2971SCaroline Concatto } 114257b2971SCaroline Concatto 1154c5906cfSCaroline Concatto opts.outputFile_ = args.getLastArgValue(clang::driver::options::OPT_o); 116257b2971SCaroline Concatto opts.showHelp_ = args.hasArg(clang::driver::options::OPT_help); 117257b2971SCaroline Concatto opts.showVersion_ = args.hasArg(clang::driver::options::OPT_version); 118257b2971SCaroline Concatto 119257b2971SCaroline Concatto // Get the input kind (from the value passed via `-x`) 120257b2971SCaroline Concatto InputKind dashX(Language::Unknown); 121257b2971SCaroline Concatto if (const llvm::opt::Arg *a = 122257b2971SCaroline Concatto args.getLastArg(clang::driver::options::OPT_x)) { 123257b2971SCaroline Concatto llvm::StringRef XValue = a->getValue(); 124257b2971SCaroline Concatto // Principal languages. 125257b2971SCaroline Concatto dashX = llvm::StringSwitch<InputKind>(XValue) 126257b2971SCaroline Concatto .Case("f90", Language::Fortran) 127257b2971SCaroline Concatto .Default(Language::Unknown); 128257b2971SCaroline Concatto 129257b2971SCaroline Concatto // Some special cases cannot be combined with suffixes. 130257b2971SCaroline Concatto if (dashX.IsUnknown()) 131257b2971SCaroline Concatto dashX = llvm::StringSwitch<InputKind>(XValue) 132257b2971SCaroline Concatto .Case("ir", Language::LLVM_IR) 133257b2971SCaroline Concatto .Default(Language::Unknown); 134257b2971SCaroline Concatto 135257b2971SCaroline Concatto if (dashX.IsUnknown()) 136257b2971SCaroline Concatto diags.Report(clang::diag::err_drv_invalid_value) 137257b2971SCaroline Concatto << a->getAsString(args) << a->getValue(); 138257b2971SCaroline Concatto } 139257b2971SCaroline Concatto 1404c5906cfSCaroline Concatto // Collect the input files and save them in our instance of FrontendOptions. 1414c5906cfSCaroline Concatto std::vector<std::string> inputs = 1424c5906cfSCaroline Concatto args.getAllArgValues(clang::driver::options::OPT_INPUT); 1434c5906cfSCaroline Concatto opts.inputs_.clear(); 1444c5906cfSCaroline Concatto if (inputs.empty()) 1454c5906cfSCaroline Concatto // '-' is the default input if none is given. 1464c5906cfSCaroline Concatto inputs.push_back("-"); 1474c5906cfSCaroline Concatto for (unsigned i = 0, e = inputs.size(); i != e; ++i) { 1484c5906cfSCaroline Concatto InputKind ik = dashX; 1494c5906cfSCaroline Concatto if (ik.IsUnknown()) { 1504c5906cfSCaroline Concatto ik = FrontendOptions::GetInputKindForExtension( 1514c5906cfSCaroline Concatto llvm::StringRef(inputs[i]).rsplit('.').second); 1524c5906cfSCaroline Concatto if (ik.IsUnknown()) 1534c5906cfSCaroline Concatto ik = Language::Unknown; 1544c5906cfSCaroline Concatto if (i == 0) 1554c5906cfSCaroline Concatto dashX = ik; 1564c5906cfSCaroline Concatto } 1574c5906cfSCaroline Concatto 1584c5906cfSCaroline Concatto opts.inputs_.emplace_back(std::move(inputs[i]), ik); 1594c5906cfSCaroline Concatto } 160257b2971SCaroline Concatto return dashX; 161257b2971SCaroline Concatto } 162257b2971SCaroline Concatto 1637809fa20SFaris Rehman /// Parses all preprocessor input arguments and populates the preprocessor 1647809fa20SFaris Rehman /// options accordingly. 1657809fa20SFaris Rehman /// 1667809fa20SFaris Rehman /// \param [in] opts The preprocessor options instance 1677809fa20SFaris Rehman /// \param [out] args The list of input arguments 1687809fa20SFaris Rehman static void parsePreprocessorArgs( 1697809fa20SFaris Rehman Fortran::frontend::PreprocessorOptions &opts, llvm::opt::ArgList &args) { 1707809fa20SFaris Rehman // Add macros from the command line. 1717809fa20SFaris Rehman for (const auto *currentArg : args.filtered( 1727809fa20SFaris Rehman clang::driver::options::OPT_D, clang::driver::options::OPT_U)) { 1737809fa20SFaris Rehman if (currentArg->getOption().matches(clang::driver::options::OPT_D)) { 1747809fa20SFaris Rehman opts.addMacroDef(currentArg->getValue()); 1757809fa20SFaris Rehman } else { 1767809fa20SFaris Rehman opts.addMacroUndef(currentArg->getValue()); 1777809fa20SFaris Rehman } 1787809fa20SFaris Rehman } 179*87dfd5e0SFaris Rehman 180*87dfd5e0SFaris Rehman // Add the ordered list of -I's. 181*87dfd5e0SFaris Rehman for (const auto *currentArg : args.filtered(clang::driver::options::OPT_I)) 182*87dfd5e0SFaris Rehman opts.searchDirectoriesFromDashI.emplace_back(currentArg->getValue()); 1837809fa20SFaris Rehman } 1847809fa20SFaris Rehman 185257b2971SCaroline Concatto bool CompilerInvocation::CreateFromArgs(CompilerInvocation &res, 186257b2971SCaroline Concatto llvm::ArrayRef<const char *> commandLineArgs, 187257b2971SCaroline Concatto clang::DiagnosticsEngine &diags) { 188257b2971SCaroline Concatto 189257b2971SCaroline Concatto bool success = true; 190257b2971SCaroline Concatto 191257b2971SCaroline Concatto // Parse the arguments 192257b2971SCaroline Concatto const llvm::opt::OptTable &opts = clang::driver::getDriverOptTable(); 193257b2971SCaroline Concatto const unsigned includedFlagsBitmask = 194257b2971SCaroline Concatto clang::driver::options::FC1Option; 195257b2971SCaroline Concatto unsigned missingArgIndex, missingArgCount; 196257b2971SCaroline Concatto llvm::opt::InputArgList args = opts.ParseArgs( 197257b2971SCaroline Concatto commandLineArgs, missingArgIndex, missingArgCount, includedFlagsBitmask); 198257b2971SCaroline Concatto 199257b2971SCaroline Concatto // Issue errors on unknown arguments 200257b2971SCaroline Concatto for (const auto *a : args.filtered(clang::driver::options::OPT_UNKNOWN)) { 201257b2971SCaroline Concatto auto argString = a->getAsString(args); 202257b2971SCaroline Concatto std::string nearest; 203257b2971SCaroline Concatto if (opts.findNearest(argString, nearest, includedFlagsBitmask) > 1) 204257b2971SCaroline Concatto diags.Report(clang::diag::err_drv_unknown_argument) << argString; 205257b2971SCaroline Concatto else 206257b2971SCaroline Concatto diags.Report(clang::diag::err_drv_unknown_argument_with_suggestion) 207257b2971SCaroline Concatto << argString << nearest; 208257b2971SCaroline Concatto success = false; 209257b2971SCaroline Concatto } 210257b2971SCaroline Concatto 211257b2971SCaroline Concatto // Parse the frontend args 2129ffb5b04SAndrzej Warzynski ParseFrontendArgs(res.frontendOpts(), args, diags); 2137809fa20SFaris Rehman // Parse the preprocessor args 2147809fa20SFaris Rehman parsePreprocessorArgs(res.preprocessorOpts(), args); 215257b2971SCaroline Concatto 216257b2971SCaroline Concatto return success; 217257b2971SCaroline Concatto } 218d28de0d7SCaroline Concatto 2197809fa20SFaris Rehman /// Collect the macro definitions provided by the given preprocessor 2207809fa20SFaris Rehman /// options into the parser options. 2217809fa20SFaris Rehman /// 2227809fa20SFaris Rehman /// \param [in] ppOpts The preprocessor options 2237809fa20SFaris Rehman /// \param [out] opts The fortran options 2247809fa20SFaris Rehman static void collectMacroDefinitions( 2257809fa20SFaris Rehman const PreprocessorOptions &ppOpts, Fortran::parser::Options &opts) { 2267809fa20SFaris Rehman for (unsigned i = 0, n = ppOpts.macros.size(); i != n; ++i) { 2277809fa20SFaris Rehman llvm::StringRef macro = ppOpts.macros[i].first; 2287809fa20SFaris Rehman bool isUndef = ppOpts.macros[i].second; 2297809fa20SFaris Rehman 2307809fa20SFaris Rehman std::pair<llvm::StringRef, llvm::StringRef> macroPair = macro.split('='); 2317809fa20SFaris Rehman llvm::StringRef macroName = macroPair.first; 2327809fa20SFaris Rehman llvm::StringRef macroBody = macroPair.second; 2337809fa20SFaris Rehman 2347809fa20SFaris Rehman // For an #undef'd macro, we only care about the name. 2357809fa20SFaris Rehman if (isUndef) { 2367809fa20SFaris Rehman opts.predefinitions.emplace_back( 2377809fa20SFaris Rehman macroName.str(), std::optional<std::string>{}); 2387809fa20SFaris Rehman continue; 2397809fa20SFaris Rehman } 2407809fa20SFaris Rehman 2417809fa20SFaris Rehman // For a #define'd macro, figure out the actual definition. 2427809fa20SFaris Rehman if (macroName.size() == macro.size()) 2437809fa20SFaris Rehman macroBody = "1"; 2447809fa20SFaris Rehman else { 2457809fa20SFaris Rehman // Note: GCC drops anything following an end-of-line character. 2467809fa20SFaris Rehman llvm::StringRef::size_type End = macroBody.find_first_of("\n\r"); 2477809fa20SFaris Rehman macroBody = macroBody.substr(0, End); 2487809fa20SFaris Rehman } 2497809fa20SFaris Rehman opts.predefinitions.emplace_back( 2507809fa20SFaris Rehman macroName, std::optional<std::string>(macroBody.str())); 2517809fa20SFaris Rehman } 2527809fa20SFaris Rehman } 2537809fa20SFaris Rehman 254d28de0d7SCaroline Concatto void CompilerInvocation::SetDefaultFortranOpts() { 2556bbbe4a5SAndrzej Warzynski auto &fortranOptions = fortranOpts(); 256d28de0d7SCaroline Concatto 257d28de0d7SCaroline Concatto // These defaults are based on the defaults in f18/f18.cpp. 258d28de0d7SCaroline Concatto std::vector<std::string> searchDirectories{"."s}; 259d28de0d7SCaroline Concatto fortranOptions.searchDirectories = searchDirectories; 260d28de0d7SCaroline Concatto fortranOptions.isFixedForm = false; 261d28de0d7SCaroline Concatto } 2627809fa20SFaris Rehman 2637809fa20SFaris Rehman void CompilerInvocation::setFortranOpts() { 2647809fa20SFaris Rehman auto &fortranOptions = fortranOpts(); 2657809fa20SFaris Rehman const auto &preprocessorOptions = preprocessorOpts(); 2667809fa20SFaris Rehman 2677809fa20SFaris Rehman collectMacroDefinitions(preprocessorOptions, fortranOptions); 268*87dfd5e0SFaris Rehman 269*87dfd5e0SFaris Rehman fortranOptions.searchDirectories.insert( 270*87dfd5e0SFaris Rehman fortranOptions.searchDirectories.end(), 271*87dfd5e0SFaris Rehman preprocessorOptions.searchDirectoriesFromDashI.begin(), 272*87dfd5e0SFaris Rehman preprocessorOptions.searchDirectoriesFromDashI.end()); 2737809fa20SFaris Rehman } 274