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