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"
106d48a1a5SFaris Rehman #include "flang/Common/Fortran-features.h"
117809fa20SFaris Rehman #include "flang/Frontend/PreprocessorOptions.h"
122e9439e4SAndrzej Warzynski #include "flang/Frontend/TargetOptions.h"
136d48a1a5SFaris Rehman #include "flang/Semantics/semantics.h"
14197d9a55SFaris Rehman #include "flang/Version.inc"
15257b2971SCaroline Concatto #include "clang/Basic/AllDiagnostics.h"
16257b2971SCaroline Concatto #include "clang/Basic/DiagnosticDriver.h"
17257b2971SCaroline Concatto #include "clang/Basic/DiagnosticOptions.h"
18257b2971SCaroline Concatto #include "clang/Driver/DriverDiagnostic.h"
19257b2971SCaroline Concatto #include "clang/Driver/Options.h"
20257b2971SCaroline Concatto #include "llvm/ADT/StringRef.h"
21257b2971SCaroline Concatto #include "llvm/ADT/StringSwitch.h"
22257b2971SCaroline Concatto #include "llvm/Option/Arg.h"
23257b2971SCaroline Concatto #include "llvm/Option/ArgList.h"
24257b2971SCaroline Concatto #include "llvm/Option/OptTable.h"
25cd4abc52SArnamoy Bhattacharyya #include "llvm/Support/FileSystem.h"
26cd4abc52SArnamoy Bhattacharyya #include "llvm/Support/FileUtilities.h"
275597ec2dSserge-sans-paille #include "llvm/Support/Path.h"
288d51d37eSAndrzej Warzynski #include "llvm/Support/Process.h"
29257b2971SCaroline Concatto #include "llvm/Support/raw_ostream.h"
306d48a1a5SFaris Rehman #include <memory>
31257b2971SCaroline Concatto 
32257b2971SCaroline Concatto using namespace Fortran::frontend;
33257b2971SCaroline Concatto 
34257b2971SCaroline Concatto //===----------------------------------------------------------------------===//
35257b2971SCaroline Concatto // Initialization.
36257b2971SCaroline Concatto //===----------------------------------------------------------------------===//
37257b2971SCaroline Concatto CompilerInvocationBase::CompilerInvocationBase()
387809fa20SFaris Rehman     : diagnosticOpts_(new clang::DiagnosticOptions()),
397809fa20SFaris Rehman       preprocessorOpts_(new PreprocessorOptions()) {}
40257b2971SCaroline Concatto 
41257b2971SCaroline Concatto CompilerInvocationBase::CompilerInvocationBase(const CompilerInvocationBase &x)
427809fa20SFaris Rehman     : diagnosticOpts_(new clang::DiagnosticOptions(x.GetDiagnosticOpts())),
437809fa20SFaris Rehman       preprocessorOpts_(new PreprocessorOptions(x.preprocessorOpts())) {}
44257b2971SCaroline Concatto 
45257b2971SCaroline Concatto CompilerInvocationBase::~CompilerInvocationBase() = default;
46257b2971SCaroline Concatto 
47257b2971SCaroline Concatto //===----------------------------------------------------------------------===//
48257b2971SCaroline Concatto // Deserialization (from args)
49257b2971SCaroline Concatto //===----------------------------------------------------------------------===//
508d51d37eSAndrzej Warzynski static bool parseShowColorsArgs(
518d51d37eSAndrzej Warzynski     const llvm::opt::ArgList &args, bool defaultColor) {
528d51d37eSAndrzej Warzynski   // Color diagnostics default to auto ("on" if terminal supports) in the driver
538d51d37eSAndrzej Warzynski   // but default to off in cc1, needing an explicit OPT_fdiagnostics_color.
548d51d37eSAndrzej Warzynski   // Support both clang's -f[no-]color-diagnostics and gcc's
558d51d37eSAndrzej Warzynski   // -f[no-]diagnostics-colors[=never|always|auto].
568d51d37eSAndrzej Warzynski   enum {
578d51d37eSAndrzej Warzynski     Colors_On,
588d51d37eSAndrzej Warzynski     Colors_Off,
598d51d37eSAndrzej Warzynski     Colors_Auto
608d51d37eSAndrzej Warzynski   } ShowColors = defaultColor ? Colors_Auto : Colors_Off;
618d51d37eSAndrzej Warzynski 
628d51d37eSAndrzej Warzynski   for (auto *a : args) {
638d51d37eSAndrzej Warzynski     const llvm::opt::Option &O = a->getOption();
648d51d37eSAndrzej Warzynski     if (O.matches(clang::driver::options::OPT_fcolor_diagnostics) ||
658d51d37eSAndrzej Warzynski         O.matches(clang::driver::options::OPT_fdiagnostics_color)) {
668d51d37eSAndrzej Warzynski       ShowColors = Colors_On;
678d51d37eSAndrzej Warzynski     } else if (O.matches(clang::driver::options::OPT_fno_color_diagnostics) ||
688d51d37eSAndrzej Warzynski         O.matches(clang::driver::options::OPT_fno_diagnostics_color)) {
698d51d37eSAndrzej Warzynski       ShowColors = Colors_Off;
708d51d37eSAndrzej Warzynski     } else if (O.matches(clang::driver::options::OPT_fdiagnostics_color_EQ)) {
718d51d37eSAndrzej Warzynski       llvm::StringRef value(a->getValue());
728d51d37eSAndrzej Warzynski       if (value == "always")
738d51d37eSAndrzej Warzynski         ShowColors = Colors_On;
748d51d37eSAndrzej Warzynski       else if (value == "never")
758d51d37eSAndrzej Warzynski         ShowColors = Colors_Off;
768d51d37eSAndrzej Warzynski       else if (value == "auto")
778d51d37eSAndrzej Warzynski         ShowColors = Colors_Auto;
788d51d37eSAndrzej Warzynski     }
798d51d37eSAndrzej Warzynski   }
808d51d37eSAndrzej Warzynski 
818d51d37eSAndrzej Warzynski   return ShowColors == Colors_On ||
828d51d37eSAndrzej Warzynski       (ShowColors == Colors_Auto && llvm::sys::Process::StandardErrHasColors());
838d51d37eSAndrzej Warzynski }
848d51d37eSAndrzej Warzynski 
858d51d37eSAndrzej Warzynski bool Fortran::frontend::ParseDiagnosticArgs(clang::DiagnosticOptions &opts,
868d51d37eSAndrzej Warzynski     llvm::opt::ArgList &args, bool defaultDiagColor) {
878d51d37eSAndrzej Warzynski   opts.ShowColors = parseShowColorsArgs(args, defaultDiagColor);
888d51d37eSAndrzej Warzynski 
898d51d37eSAndrzej Warzynski   return true;
908d51d37eSAndrzej Warzynski }
918d51d37eSAndrzej Warzynski 
922e9439e4SAndrzej Warzynski /// Parses all target input arguments and populates the target
932e9439e4SAndrzej Warzynski /// options accordingly.
942e9439e4SAndrzej Warzynski ///
952e9439e4SAndrzej Warzynski /// \param [in] opts The target options instance to update
962e9439e4SAndrzej Warzynski /// \param [in] args The list of input arguments (from the compiler invocation)
972e9439e4SAndrzej Warzynski static void ParseTargetArgs(TargetOptions &opts, llvm::opt::ArgList &args) {
982e9439e4SAndrzej Warzynski   opts.triple = args.getLastArgValue(clang::driver::options::OPT_triple);
992e9439e4SAndrzej Warzynski }
1002e9439e4SAndrzej Warzynski 
101523d7bc6SAndrzej Warzynski // Tweak the frontend configuration based on the frontend action
102523d7bc6SAndrzej Warzynski static void setUpFrontendBasedOnAction(FrontendOptions &opts) {
10323d4c4f3SAndrzej Warzynski   assert(opts.programAction != Fortran::frontend::InvalidAction &&
104523d7bc6SAndrzej Warzynski       "Fortran frontend action not set!");
105523d7bc6SAndrzej Warzynski 
10623d4c4f3SAndrzej Warzynski   if (opts.programAction == DebugDumpParsingLog)
10723d4c4f3SAndrzej Warzynski     opts.instrumentedParse = true;
10885b86c6fSAndrzej Warzynski 
10923d4c4f3SAndrzej Warzynski   if (opts.programAction == DebugDumpProvenance ||
11023d4c4f3SAndrzej Warzynski       opts.programAction == Fortran::frontend::GetDefinition)
11123d4c4f3SAndrzej Warzynski     opts.needProvenanceRangeToCharBlockMappings = true;
112523d7bc6SAndrzej Warzynski }
113523d7bc6SAndrzej Warzynski 
114dc256a44SAndrzej Warzynski static bool ParseFrontendArgs(FrontendOptions &opts, llvm::opt::ArgList &args,
1156d0fef48SAndrzej Warzynski     clang::DiagnosticsEngine &diags) {
116dc256a44SAndrzej Warzynski   unsigned numErrorsBefore = diags.getNumErrors();
117760e6c4cSAndrzej Warzynski 
118760e6c4cSAndrzej Warzynski   // By default the frontend driver creates a ParseSyntaxOnly action.
11923d4c4f3SAndrzej Warzynski   opts.programAction = ParseSyntaxOnly;
120760e6c4cSAndrzej Warzynski 
121d18a9aeaSAndrzej Warzynski   // Treat multiple action options as an invocation error. Note that `clang
122d18a9aeaSAndrzej Warzynski   // -cc1` does accept multiple action options, but will only consider the
123d18a9aeaSAndrzej Warzynski   // rightmost one.
124d18a9aeaSAndrzej Warzynski   if (args.hasMultipleArgs(clang::driver::options::OPT_Action_Group)) {
125d18a9aeaSAndrzej Warzynski     const unsigned diagID = diags.getCustomDiagID(
126d18a9aeaSAndrzej Warzynski         clang::DiagnosticsEngine::Error, "Only one action option is allowed");
127d18a9aeaSAndrzej Warzynski     diags.Report(diagID);
128d18a9aeaSAndrzej Warzynski     return false;
129d18a9aeaSAndrzej Warzynski   }
130d18a9aeaSAndrzej Warzynski 
131257b2971SCaroline Concatto   // Identify the action (i.e. opts.ProgramAction)
132257b2971SCaroline Concatto   if (const llvm::opt::Arg *a =
133257b2971SCaroline Concatto           args.getLastArg(clang::driver::options::OPT_Action_Group)) {
134257b2971SCaroline Concatto     switch (a->getOption().getID()) {
135257b2971SCaroline Concatto     default: {
136257b2971SCaroline Concatto       llvm_unreachable("Invalid option in group!");
137257b2971SCaroline Concatto     }
1384c5906cfSCaroline Concatto     case clang::driver::options::OPT_test_io:
13923d4c4f3SAndrzej Warzynski       opts.programAction = InputOutputTest;
1404c5906cfSCaroline Concatto       break;
141d28de0d7SCaroline Concatto     case clang::driver::options::OPT_E:
14223d4c4f3SAndrzej Warzynski       opts.programAction = PrintPreprocessedInput;
143d28de0d7SCaroline Concatto       break;
1447d246cb1SAndrzej Warzynski     case clang::driver::options::OPT_fsyntax_only:
14523d4c4f3SAndrzej Warzynski       opts.programAction = ParseSyntaxOnly;
1467d246cb1SAndrzej Warzynski       break;
14769c3309dSAndrzej Warzynski     case clang::driver::options::OPT_emit_mlir:
14869c3309dSAndrzej Warzynski       opts.programAction = EmitMLIR;
14969c3309dSAndrzej Warzynski       break;
150e993b20cSAndrzej Warzynski     case clang::driver::options::OPT_emit_llvm:
151e993b20cSAndrzej Warzynski       opts.programAction = EmitLLVM;
152e993b20cSAndrzej Warzynski       break;
153e5cdb6c5SAndrzej Warzynski     case clang::driver::options::OPT_emit_obj:
15423d4c4f3SAndrzej Warzynski       opts.programAction = EmitObj;
155e5cdb6c5SAndrzej Warzynski       break;
15638101b4eSAndrzej Warzynski     case clang::driver::options::OPT_S:
15738101b4eSAndrzej Warzynski       opts.programAction = EmitAssembly;
15838101b4eSAndrzej Warzynski       break;
15996d229c9SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_unparse:
16023d4c4f3SAndrzej Warzynski       opts.programAction = DebugUnparse;
16196d229c9SAndrzej Warzynski       break;
162e81b3401SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_unparse_no_sema:
16323d4c4f3SAndrzej Warzynski       opts.programAction = DebugUnparseNoSema;
164e81b3401SAndrzej Warzynski       break;
16596d229c9SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_unparse_with_symbols:
16623d4c4f3SAndrzej Warzynski       opts.programAction = DebugUnparseWithSymbols;
16796d229c9SAndrzej Warzynski       break;
1684bd08dabSFaris Rehman     case clang::driver::options::OPT_fdebug_dump_symbols:
16923d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpSymbols;
1704bd08dabSFaris Rehman       break;
1714bd08dabSFaris Rehman     case clang::driver::options::OPT_fdebug_dump_parse_tree:
17223d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpParseTree;
1734bd08dabSFaris Rehman       break;
1748321579bSAndrzej Warzynski     case clang::driver::options::OPT_fdebug_dump_pft:
1758321579bSAndrzej Warzynski       opts.programAction = DebugDumpPFT;
1768321579bSAndrzej Warzynski       break;
177a6be6e31SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_dump_all:
17823d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpAll;
179a6be6e31SAndrzej Warzynski       break;
180e81b3401SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_dump_parse_tree_no_sema:
18123d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpParseTreeNoSema;
182e81b3401SAndrzej Warzynski       break;
1834bd08dabSFaris Rehman     case clang::driver::options::OPT_fdebug_dump_provenance:
18423d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpProvenance;
1854bd08dabSFaris Rehman       break;
186523d7bc6SAndrzej Warzynski     case clang::driver::options::OPT_fdebug_dump_parsing_log:
18723d4c4f3SAndrzej Warzynski       opts.programAction = DebugDumpParsingLog;
188523d7bc6SAndrzej Warzynski       break;
189529f7181SFaris Rehman     case clang::driver::options::OPT_fdebug_measure_parse_tree:
19023d4c4f3SAndrzej Warzynski       opts.programAction = DebugMeasureParseTree;
191529f7181SFaris Rehman       break;
192529f7181SFaris Rehman     case clang::driver::options::OPT_fdebug_pre_fir_tree:
19323d4c4f3SAndrzej Warzynski       opts.programAction = DebugPreFIRTree;
194529f7181SFaris Rehman       break;
195eefda605SAndrzej Warzynski     case clang::driver::options::OPT_fget_symbols_sources:
19623d4c4f3SAndrzej Warzynski       opts.programAction = GetSymbolsSources;
197eefda605SAndrzej Warzynski       break;
198dc256a44SAndrzej Warzynski     case clang::driver::options::OPT_fget_definition:
19923d4c4f3SAndrzej Warzynski       opts.programAction = GetDefinition;
200dc256a44SAndrzej Warzynski       break;
201e1da3297SStuart Ellis     case clang::driver::options::OPT_init_only:
20223d4c4f3SAndrzej Warzynski       opts.programAction = InitOnly;
203e1da3297SStuart Ellis       break;
204d28de0d7SCaroline Concatto 
205257b2971SCaroline Concatto       // TODO:
206e1da3297SStuart Ellis       // case clang::driver::options::OPT_emit_llvm:
207257b2971SCaroline Concatto       // case clang::driver::options::OPT_emit_llvm_only:
208257b2971SCaroline Concatto       // case clang::driver::options::OPT_emit_codegen_only:
209257b2971SCaroline Concatto       // case clang::driver::options::OPT_emit_module:
210257b2971SCaroline Concatto       // (...)
211257b2971SCaroline Concatto     }
212dc256a44SAndrzej Warzynski 
213dc256a44SAndrzej Warzynski     // Parse the values provided with `-fget-definition` (there should be 3
214dc256a44SAndrzej Warzynski     // integers)
215dc256a44SAndrzej Warzynski     if (llvm::opt::OptSpecifier(a->getOption().getID()) ==
216dc256a44SAndrzej Warzynski         clang::driver::options::OPT_fget_definition) {
217dc256a44SAndrzej Warzynski       unsigned optVals[3] = {0, 0, 0};
218dc256a44SAndrzej Warzynski 
219dc256a44SAndrzej Warzynski       for (unsigned i = 0; i < 3; i++) {
220dc256a44SAndrzej Warzynski         llvm::StringRef val = a->getValue(i);
221dc256a44SAndrzej Warzynski 
222dc256a44SAndrzej Warzynski         if (val.getAsInteger(10, optVals[i])) {
223dc256a44SAndrzej Warzynski           // A non-integer was encountered - that's an error.
224dc256a44SAndrzej Warzynski           diags.Report(clang::diag::err_drv_invalid_value)
225dc256a44SAndrzej Warzynski               << a->getOption().getName() << val;
226dc256a44SAndrzej Warzynski           break;
227dc256a44SAndrzej Warzynski         }
228dc256a44SAndrzej Warzynski       }
22923d4c4f3SAndrzej Warzynski       opts.getDefVals.line = optVals[0];
23023d4c4f3SAndrzej Warzynski       opts.getDefVals.startColumn = optVals[1];
23123d4c4f3SAndrzej Warzynski       opts.getDefVals.endColumn = optVals[2];
232dc256a44SAndrzej Warzynski     }
233257b2971SCaroline Concatto   }
234257b2971SCaroline Concatto 
235f52fc591SStuart Ellis   // Parsing -load <dsopath> option and storing shared object path
236f52fc591SStuart Ellis   if (llvm::opt::Arg *a = args.getLastArg(clang::driver::options::OPT_load)) {
237f52fc591SStuart Ellis     opts.plugins.push_back(a->getValue());
238f52fc591SStuart Ellis   }
239f52fc591SStuart Ellis 
240f52fc591SStuart Ellis   // Parsing -plugin <name> option and storing plugin name and setting action
241f52fc591SStuart Ellis   if (const llvm::opt::Arg *a =
242f52fc591SStuart Ellis           args.getLastArg(clang::driver::options::OPT_plugin)) {
243f52fc591SStuart Ellis     opts.programAction = PluginAction;
244f52fc591SStuart Ellis     opts.ActionName = a->getValue();
245f52fc591SStuart Ellis   }
246f52fc591SStuart Ellis 
24723d4c4f3SAndrzej Warzynski   opts.outputFile = args.getLastArgValue(clang::driver::options::OPT_o);
24823d4c4f3SAndrzej Warzynski   opts.showHelp = args.hasArg(clang::driver::options::OPT_help);
24923d4c4f3SAndrzej Warzynski   opts.showVersion = args.hasArg(clang::driver::options::OPT_version);
250257b2971SCaroline Concatto 
251257b2971SCaroline Concatto   // Get the input kind (from the value passed via `-x`)
252257b2971SCaroline Concatto   InputKind dashX(Language::Unknown);
253257b2971SCaroline Concatto   if (const llvm::opt::Arg *a =
254257b2971SCaroline Concatto           args.getLastArg(clang::driver::options::OPT_x)) {
255257b2971SCaroline Concatto     llvm::StringRef XValue = a->getValue();
256257b2971SCaroline Concatto     // Principal languages.
257257b2971SCaroline Concatto     dashX = llvm::StringSwitch<InputKind>(XValue)
258257b2971SCaroline Concatto                 .Case("f90", Language::Fortran)
259257b2971SCaroline Concatto                 .Default(Language::Unknown);
260257b2971SCaroline Concatto 
261257b2971SCaroline Concatto     // Some special cases cannot be combined with suffixes.
262257b2971SCaroline Concatto     if (dashX.IsUnknown())
263257b2971SCaroline Concatto       dashX = llvm::StringSwitch<InputKind>(XValue)
264257b2971SCaroline Concatto                   .Case("ir", Language::LLVM_IR)
265257b2971SCaroline Concatto                   .Default(Language::Unknown);
266257b2971SCaroline Concatto 
267257b2971SCaroline Concatto     if (dashX.IsUnknown())
268257b2971SCaroline Concatto       diags.Report(clang::diag::err_drv_invalid_value)
269257b2971SCaroline Concatto           << a->getAsString(args) << a->getValue();
270257b2971SCaroline Concatto   }
271257b2971SCaroline Concatto 
2724c5906cfSCaroline Concatto   // Collect the input files and save them in our instance of FrontendOptions.
2734c5906cfSCaroline Concatto   std::vector<std::string> inputs =
2744c5906cfSCaroline Concatto       args.getAllArgValues(clang::driver::options::OPT_INPUT);
27523d4c4f3SAndrzej Warzynski   opts.inputs.clear();
2764c5906cfSCaroline Concatto   if (inputs.empty())
2774c5906cfSCaroline Concatto     // '-' is the default input if none is given.
2784c5906cfSCaroline Concatto     inputs.push_back("-");
2794c5906cfSCaroline Concatto   for (unsigned i = 0, e = inputs.size(); i != e; ++i) {
2804c5906cfSCaroline Concatto     InputKind ik = dashX;
2814c5906cfSCaroline Concatto     if (ik.IsUnknown()) {
2824c5906cfSCaroline Concatto       ik = FrontendOptions::GetInputKindForExtension(
2834c5906cfSCaroline Concatto           llvm::StringRef(inputs[i]).rsplit('.').second);
2844c5906cfSCaroline Concatto       if (ik.IsUnknown())
2854c5906cfSCaroline Concatto         ik = Language::Unknown;
2864c5906cfSCaroline Concatto       if (i == 0)
2874c5906cfSCaroline Concatto         dashX = ik;
2884c5906cfSCaroline Concatto     }
2894c5906cfSCaroline Concatto 
29023d4c4f3SAndrzej Warzynski     opts.inputs.emplace_back(std::move(inputs[i]), ik);
2914c5906cfSCaroline Concatto   }
2923a1513c1SFaris Rehman 
29323d4c4f3SAndrzej Warzynski   // Set fortranForm based on options -ffree-form and -ffixed-form.
2943a1513c1SFaris Rehman   if (const auto *arg = args.getLastArg(clang::driver::options::OPT_ffixed_form,
2953a1513c1SFaris Rehman           clang::driver::options::OPT_ffree_form)) {
29623d4c4f3SAndrzej Warzynski     opts.fortranForm =
2973a1513c1SFaris Rehman         arg->getOption().matches(clang::driver::options::OPT_ffixed_form)
2983a1513c1SFaris Rehman         ? FortranForm::FixedForm
2993a1513c1SFaris Rehman         : FortranForm::FreeForm;
3003a1513c1SFaris Rehman   }
3013a1513c1SFaris Rehman 
30223d4c4f3SAndrzej Warzynski   // Set fixedFormColumns based on -ffixed-line-length=<value>
3033a1513c1SFaris Rehman   if (const auto *arg =
3043a1513c1SFaris Rehman           args.getLastArg(clang::driver::options::OPT_ffixed_line_length_EQ)) {
3053a1513c1SFaris Rehman     llvm::StringRef argValue = llvm::StringRef(arg->getValue());
3063a1513c1SFaris Rehman     std::int64_t columns = -1;
3073a1513c1SFaris Rehman     if (argValue == "none") {
3083a1513c1SFaris Rehman       columns = 0;
3093a1513c1SFaris Rehman     } else if (argValue.getAsInteger(/*Radix=*/10, columns)) {
3103a1513c1SFaris Rehman       columns = -1;
3113a1513c1SFaris Rehman     }
3123a1513c1SFaris Rehman     if (columns < 0) {
313aefbfbcbSNick Desaulniers       diags.Report(clang::diag::err_drv_negative_columns)
314aefbfbcbSNick Desaulniers           << arg->getOption().getName() << arg->getValue();
3153a1513c1SFaris Rehman     } else if (columns == 0) {
31623d4c4f3SAndrzej Warzynski       opts.fixedFormColumns = 1000000;
3173a1513c1SFaris Rehman     } else if (columns < 7) {
318aefbfbcbSNick Desaulniers       diags.Report(clang::diag::err_drv_small_columns)
319aefbfbcbSNick Desaulniers           << arg->getOption().getName() << arg->getValue() << "7";
3203a1513c1SFaris Rehman     } else {
32123d4c4f3SAndrzej Warzynski       opts.fixedFormColumns = columns;
3223a1513c1SFaris Rehman     }
3233a1513c1SFaris Rehman   }
3246d48a1a5SFaris Rehman 
32555a96155SAndrzej Warzynski   // -f{no-}implicit-none
32623d4c4f3SAndrzej Warzynski   opts.features.Enable(
32710826ea7SFaris Rehman       Fortran::common::LanguageFeature::ImplicitNoneTypeAlways,
32855a96155SAndrzej Warzynski       args.hasFlag(clang::driver::options::OPT_fimplicit_none,
32955a96155SAndrzej Warzynski           clang::driver::options::OPT_fno_implicit_none, false));
33055a96155SAndrzej Warzynski 
33155a96155SAndrzej Warzynski   // -f{no-}backslash
33223d4c4f3SAndrzej Warzynski   opts.features.Enable(Fortran::common::LanguageFeature::BackslashEscapes,
33355a96155SAndrzej Warzynski       args.hasFlag(clang::driver::options::OPT_fbackslash,
33455a96155SAndrzej Warzynski           clang::driver::options::OPT_fno_backslash, false));
33555a96155SAndrzej Warzynski 
33655a96155SAndrzej Warzynski   // -f{no-}logical-abbreviations
33723d4c4f3SAndrzej Warzynski   opts.features.Enable(Fortran::common::LanguageFeature::LogicalAbbreviations,
33855a96155SAndrzej Warzynski       args.hasFlag(clang::driver::options::OPT_flogical_abbreviations,
33955a96155SAndrzej Warzynski           clang::driver::options::OPT_fno_logical_abbreviations, false));
34055a96155SAndrzej Warzynski 
34155a96155SAndrzej Warzynski   // -f{no-}xor-operator
34223d4c4f3SAndrzej Warzynski   opts.features.Enable(Fortran::common::LanguageFeature::XOROperator,
34355a96155SAndrzej Warzynski       args.hasFlag(clang::driver::options::OPT_fxor_operator,
34455a96155SAndrzej Warzynski           clang::driver::options::OPT_fno_xor_operator, false));
34555a96155SAndrzej Warzynski 
346996ef895SPeter Klausler   // -fno-automatic
347996ef895SPeter Klausler   if (args.hasArg(clang::driver::options::OPT_fno_automatic)) {
348996ef895SPeter Klausler     opts.features.Enable(Fortran::common::LanguageFeature::DefaultSave);
349996ef895SPeter Klausler   }
350996ef895SPeter Klausler 
35110826ea7SFaris Rehman   if (args.hasArg(
35210826ea7SFaris Rehman           clang::driver::options::OPT_falternative_parameter_statement)) {
35323d4c4f3SAndrzej Warzynski     opts.features.Enable(Fortran::common::LanguageFeature::OldStyleParameter);
35410826ea7SFaris Rehman   }
35510826ea7SFaris Rehman   if (const llvm::opt::Arg *arg =
35610826ea7SFaris Rehman           args.getLastArg(clang::driver::options::OPT_finput_charset_EQ)) {
35710826ea7SFaris Rehman     llvm::StringRef argValue = arg->getValue();
35810826ea7SFaris Rehman     if (argValue == "utf-8") {
35923d4c4f3SAndrzej Warzynski       opts.encoding = Fortran::parser::Encoding::UTF_8;
36010826ea7SFaris Rehman     } else if (argValue == "latin-1") {
36123d4c4f3SAndrzej Warzynski       opts.encoding = Fortran::parser::Encoding::LATIN_1;
36210826ea7SFaris Rehman     } else {
36310826ea7SFaris Rehman       diags.Report(clang::diag::err_drv_invalid_value)
36410826ea7SFaris Rehman           << arg->getAsString(args) << argValue;
36510826ea7SFaris Rehman     }
36610826ea7SFaris Rehman   }
367523d7bc6SAndrzej Warzynski 
368523d7bc6SAndrzej Warzynski   setUpFrontendBasedOnAction(opts);
36923d4c4f3SAndrzej Warzynski   opts.dashX = dashX;
370dc256a44SAndrzej Warzynski 
371dc256a44SAndrzej Warzynski   return diags.getNumErrors() == numErrorsBefore;
372257b2971SCaroline Concatto }
373257b2971SCaroline Concatto 
374cd4abc52SArnamoy Bhattacharyya // Generate the path to look for intrinsic modules
375cd4abc52SArnamoy Bhattacharyya static std::string getIntrinsicDir() {
376cd4abc52SArnamoy Bhattacharyya   // TODO: Find a system independent API
377cd4abc52SArnamoy Bhattacharyya   llvm::SmallString<128> driverPath;
378cd4abc52SArnamoy Bhattacharyya   driverPath.assign(llvm::sys::fs::getMainExecutable(nullptr, nullptr));
379cd4abc52SArnamoy Bhattacharyya   llvm::sys::path::remove_filename(driverPath);
380cd4abc52SArnamoy Bhattacharyya   driverPath.append("/../include/flang/");
381cd4abc52SArnamoy Bhattacharyya   return std::string(driverPath);
382cd4abc52SArnamoy Bhattacharyya }
383cd4abc52SArnamoy Bhattacharyya 
3847809fa20SFaris Rehman /// Parses all preprocessor input arguments and populates the preprocessor
3857809fa20SFaris Rehman /// options accordingly.
3867809fa20SFaris Rehman ///
3877809fa20SFaris Rehman /// \param [in] opts The preprocessor options instance
3887809fa20SFaris Rehman /// \param [out] args The list of input arguments
3897809fa20SFaris Rehman static void parsePreprocessorArgs(
3907809fa20SFaris Rehman     Fortran::frontend::PreprocessorOptions &opts, llvm::opt::ArgList &args) {
3917809fa20SFaris Rehman   // Add macros from the command line.
3927809fa20SFaris Rehman   for (const auto *currentArg : args.filtered(
3937809fa20SFaris Rehman            clang::driver::options::OPT_D, clang::driver::options::OPT_U)) {
3947809fa20SFaris Rehman     if (currentArg->getOption().matches(clang::driver::options::OPT_D)) {
3957809fa20SFaris Rehman       opts.addMacroDef(currentArg->getValue());
3967809fa20SFaris Rehman     } else {
3977809fa20SFaris Rehman       opts.addMacroUndef(currentArg->getValue());
3987809fa20SFaris Rehman     }
3997809fa20SFaris Rehman   }
40087dfd5e0SFaris Rehman 
40187dfd5e0SFaris Rehman   // Add the ordered list of -I's.
40287dfd5e0SFaris Rehman   for (const auto *currentArg : args.filtered(clang::driver::options::OPT_I))
40387dfd5e0SFaris Rehman     opts.searchDirectoriesFromDashI.emplace_back(currentArg->getValue());
404cd4abc52SArnamoy Bhattacharyya 
405cd4abc52SArnamoy Bhattacharyya   // Prepend the ordered list of -intrinsic-modules-path
406cd4abc52SArnamoy Bhattacharyya   // to the default location to search.
407cd4abc52SArnamoy Bhattacharyya   for (const auto *currentArg :
408cd4abc52SArnamoy Bhattacharyya       args.filtered(clang::driver::options::OPT_fintrinsic_modules_path))
409cd4abc52SArnamoy Bhattacharyya     opts.searchDirectoriesFromIntrModPath.emplace_back(currentArg->getValue());
410b83a4450SAndrzej Warzynski 
411b83a4450SAndrzej Warzynski   // -cpp/-nocpp
412b83a4450SAndrzej Warzynski   if (const auto *currentArg = args.getLastArg(
413b83a4450SAndrzej Warzynski           clang::driver::options::OPT_cpp, clang::driver::options::OPT_nocpp))
41423d4c4f3SAndrzej Warzynski     opts.macrosFlag =
415b83a4450SAndrzej Warzynski         (currentArg->getOption().matches(clang::driver::options::OPT_cpp))
416b83a4450SAndrzej Warzynski         ? PPMacrosFlag::Include
417b83a4450SAndrzej Warzynski         : PPMacrosFlag::Exclude;
4183338ef93Speter klausler 
4193338ef93Speter klausler   opts.noReformat = args.hasArg(clang::driver::options::OPT_fno_reformat);
4203338ef93Speter klausler   opts.noLineDirectives = args.hasArg(clang::driver::options::OPT_P);
4217809fa20SFaris Rehman }
4227809fa20SFaris Rehman 
423985a42fdSArnamoy Bhattacharyya /// Parses all semantic related arguments and populates the variables
4246d0fef48SAndrzej Warzynski /// options accordingly. Returns false if new errors are generated.
4256d0fef48SAndrzej Warzynski static bool parseSemaArgs(CompilerInvocation &res, llvm::opt::ArgList &args,
426985a42fdSArnamoy Bhattacharyya     clang::DiagnosticsEngine &diags) {
4276d0fef48SAndrzej Warzynski   unsigned numErrorsBefore = diags.getNumErrors();
428985a42fdSArnamoy Bhattacharyya 
4291fd4beecSArnamoy Bhattacharyya   // -J/module-dir option
430985a42fdSArnamoy Bhattacharyya   auto moduleDirList =
431985a42fdSArnamoy Bhattacharyya       args.getAllArgValues(clang::driver::options::OPT_module_dir);
432985a42fdSArnamoy Bhattacharyya   // User can only specify -J/-module-dir once
433985a42fdSArnamoy Bhattacharyya   // https://gcc.gnu.org/onlinedocs/gfortran/Directory-Options.html
434985a42fdSArnamoy Bhattacharyya   if (moduleDirList.size() > 1) {
435985a42fdSArnamoy Bhattacharyya     const unsigned diagID =
436985a42fdSArnamoy Bhattacharyya         diags.getCustomDiagID(clang::DiagnosticsEngine::Error,
437985a42fdSArnamoy Bhattacharyya             "Only one '-module-dir/-J' option allowed");
438985a42fdSArnamoy Bhattacharyya     diags.Report(diagID);
439985a42fdSArnamoy Bhattacharyya   }
440985a42fdSArnamoy Bhattacharyya   if (moduleDirList.size() == 1)
4411fd4beecSArnamoy Bhattacharyya     res.SetModuleDir(moduleDirList[0]);
4421fd4beecSArnamoy Bhattacharyya 
4431fd4beecSArnamoy Bhattacharyya   // -fdebug-module-writer option
4441fd4beecSArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fdebug_module_writer)) {
4451fd4beecSArnamoy Bhattacharyya     res.SetDebugModuleDir(true);
4461fd4beecSArnamoy Bhattacharyya   }
4476d0fef48SAndrzej Warzynski 
44820bd2142SAndrzej Warzynski   // -module-suffix
44920bd2142SAndrzej Warzynski   if (const auto *moduleSuffix =
45020bd2142SAndrzej Warzynski           args.getLastArg(clang::driver::options::OPT_module_suffix)) {
45120bd2142SAndrzej Warzynski     res.SetModuleFileSuffix(moduleSuffix->getValue());
45220bd2142SAndrzej Warzynski   }
45320bd2142SAndrzej Warzynski 
45455a96155SAndrzej Warzynski   // -f{no-}analyzed-objects-for-unparse
45555a96155SAndrzej Warzynski   res.SetUseAnalyzedObjectsForUnparse(
45655a96155SAndrzej Warzynski       args.hasFlag(clang::driver::options::OPT_fanalyzed_objects_for_unparse,
45755a96155SAndrzej Warzynski           clang::driver::options::OPT_fno_analyzed_objects_for_unparse, true));
4582a7bb849SAndrzej Warzynski 
4596d0fef48SAndrzej Warzynski   return diags.getNumErrors() == numErrorsBefore;
460985a42fdSArnamoy Bhattacharyya }
461985a42fdSArnamoy Bhattacharyya 
4627416e8a8SArnamoy Bhattacharyya /// Parses all diagnostics related arguments and populates the variables
4636d0fef48SAndrzej Warzynski /// options accordingly. Returns false if new errors are generated.
4646d0fef48SAndrzej Warzynski static bool parseDiagArgs(CompilerInvocation &res, llvm::opt::ArgList &args,
4657416e8a8SArnamoy Bhattacharyya     clang::DiagnosticsEngine &diags) {
4666d0fef48SAndrzej Warzynski   unsigned numErrorsBefore = diags.getNumErrors();
4676d0fef48SAndrzej Warzynski 
4687416e8a8SArnamoy Bhattacharyya   // -Werror option
4697416e8a8SArnamoy Bhattacharyya   // TODO: Currently throws a Diagnostic for anything other than -W<error>,
4707416e8a8SArnamoy Bhattacharyya   // this has to change when other -W<opt>'s are supported.
4717416e8a8SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_W_Joined)) {
4727416e8a8SArnamoy Bhattacharyya     if (args.getLastArgValue(clang::driver::options::OPT_W_Joined)
4737416e8a8SArnamoy Bhattacharyya             .equals("error")) {
4747416e8a8SArnamoy Bhattacharyya       res.SetWarnAsErr(true);
4757416e8a8SArnamoy Bhattacharyya     } else {
4767416e8a8SArnamoy Bhattacharyya       const unsigned diagID =
4777416e8a8SArnamoy Bhattacharyya           diags.getCustomDiagID(clang::DiagnosticsEngine::Error,
4787416e8a8SArnamoy Bhattacharyya               "Only `-Werror` is supported currently.");
4797416e8a8SArnamoy Bhattacharyya       diags.Report(diagID);
4807416e8a8SArnamoy Bhattacharyya     }
4817416e8a8SArnamoy Bhattacharyya   }
4826d0fef48SAndrzej Warzynski 
4836d0fef48SAndrzej Warzynski   return diags.getNumErrors() == numErrorsBefore;
4847416e8a8SArnamoy Bhattacharyya }
4857416e8a8SArnamoy Bhattacharyya 
486ab971c29SArnamoy Bhattacharyya /// Parses all Dialect related arguments and populates the variables
4876d0fef48SAndrzej Warzynski /// options accordingly. Returns false if new errors are generated.
4886d0fef48SAndrzej Warzynski static bool parseDialectArgs(CompilerInvocation &res, llvm::opt::ArgList &args,
489ab971c29SArnamoy Bhattacharyya     clang::DiagnosticsEngine &diags) {
4906d0fef48SAndrzej Warzynski   unsigned numErrorsBefore = diags.getNumErrors();
491ab971c29SArnamoy Bhattacharyya 
492ab971c29SArnamoy Bhattacharyya   // -fdefault* family
493ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fdefault_real_8)) {
494ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_defaultRealKind(8);
495ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_doublePrecisionKind(16);
496ab971c29SArnamoy Bhattacharyya   }
497ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fdefault_integer_8)) {
498ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_defaultIntegerKind(8);
499ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_subscriptIntegerKind(8);
500ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_sizeIntegerKind(8);
501ab971c29SArnamoy Bhattacharyya   }
502ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fdefault_double_8)) {
503ab971c29SArnamoy Bhattacharyya     if (!args.hasArg(clang::driver::options::OPT_fdefault_real_8)) {
504ab971c29SArnamoy Bhattacharyya       // -fdefault-double-8 has to be used with -fdefault-real-8
505ab971c29SArnamoy Bhattacharyya       // to be compatible with gfortran
506ab971c29SArnamoy Bhattacharyya       const unsigned diagID =
507ab971c29SArnamoy Bhattacharyya           diags.getCustomDiagID(clang::DiagnosticsEngine::Error,
508ab971c29SArnamoy Bhattacharyya               "Use of `-fdefault-double-8` requires `-fdefault-real-8`");
509ab971c29SArnamoy Bhattacharyya       diags.Report(diagID);
510ab971c29SArnamoy Bhattacharyya     }
511ab971c29SArnamoy Bhattacharyya     // https://gcc.gnu.org/onlinedocs/gfortran/Fortran-Dialect-Options.html
512ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_doublePrecisionKind(8);
513ab971c29SArnamoy Bhattacharyya   }
514ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_flarge_sizes))
515ab971c29SArnamoy Bhattacharyya     res.defaultKinds().set_sizeIntegerKind(8);
516ab971c29SArnamoy Bhattacharyya 
517ab971c29SArnamoy Bhattacharyya   // -fopenmp and -fopenacc
518ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fopenacc)) {
51923d4c4f3SAndrzej Warzynski     res.frontendOpts().features.Enable(
520ab971c29SArnamoy Bhattacharyya         Fortran::common::LanguageFeature::OpenACC);
521ab971c29SArnamoy Bhattacharyya   }
522ab971c29SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_fopenmp)) {
52323d4c4f3SAndrzej Warzynski     res.frontendOpts().features.Enable(
524ab971c29SArnamoy Bhattacharyya         Fortran::common::LanguageFeature::OpenMP);
525ab971c29SArnamoy Bhattacharyya   }
5264c7ebf79SArnamoy Bhattacharyya 
527fcf629d7SAndrzej Warzynski   // -pedantic
5284c7ebf79SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_pedantic)) {
5294c7ebf79SArnamoy Bhattacharyya     res.set_EnableConformanceChecks();
5304c7ebf79SArnamoy Bhattacharyya   }
531fcf629d7SAndrzej Warzynski   // -std=f2018 (currently this implies -pedantic)
5324c7ebf79SArnamoy Bhattacharyya   // TODO: Set proper options when more fortran standards
5334c7ebf79SArnamoy Bhattacharyya   // are supported.
5344c7ebf79SArnamoy Bhattacharyya   if (args.hasArg(clang::driver::options::OPT_std_EQ)) {
5354c7ebf79SArnamoy Bhattacharyya     auto standard = args.getLastArgValue(clang::driver::options::OPT_std_EQ);
5364c7ebf79SArnamoy Bhattacharyya     // We only allow f2018 as the given standard
5374c7ebf79SArnamoy Bhattacharyya     if (standard.equals("f2018")) {
5384c7ebf79SArnamoy Bhattacharyya       res.set_EnableConformanceChecks();
5394c7ebf79SArnamoy Bhattacharyya     } else {
5404c7ebf79SArnamoy Bhattacharyya       const unsigned diagID =
5414c7ebf79SArnamoy Bhattacharyya           diags.getCustomDiagID(clang::DiagnosticsEngine::Error,
5424c7ebf79SArnamoy Bhattacharyya               "Only -std=f2018 is allowed currently.");
5434c7ebf79SArnamoy Bhattacharyya       diags.Report(diagID);
5444c7ebf79SArnamoy Bhattacharyya     }
5454c7ebf79SArnamoy Bhattacharyya   }
5466d0fef48SAndrzej Warzynski   return diags.getNumErrors() == numErrorsBefore;
547ab971c29SArnamoy Bhattacharyya }
548ab971c29SArnamoy Bhattacharyya 
549257b2971SCaroline Concatto bool CompilerInvocation::CreateFromArgs(CompilerInvocation &res,
550257b2971SCaroline Concatto     llvm::ArrayRef<const char *> commandLineArgs,
551257b2971SCaroline Concatto     clang::DiagnosticsEngine &diags) {
552257b2971SCaroline Concatto 
553257b2971SCaroline Concatto   bool success = true;
554257b2971SCaroline Concatto 
555257b2971SCaroline Concatto   // Parse the arguments
556257b2971SCaroline Concatto   const llvm::opt::OptTable &opts = clang::driver::getDriverOptTable();
5578e3adda8SFaris Rehman   const unsigned includedFlagsBitmask = clang::driver::options::FC1Option;
558257b2971SCaroline Concatto   unsigned missingArgIndex, missingArgCount;
559257b2971SCaroline Concatto   llvm::opt::InputArgList args = opts.ParseArgs(
560257b2971SCaroline Concatto       commandLineArgs, missingArgIndex, missingArgCount, includedFlagsBitmask);
561257b2971SCaroline Concatto 
5622b4c9bc4SAndrzej Warzynski   // Check for missing argument error.
5632b4c9bc4SAndrzej Warzynski   if (missingArgCount) {
5642b4c9bc4SAndrzej Warzynski     diags.Report(clang::diag::err_drv_missing_argument)
5652b4c9bc4SAndrzej Warzynski         << args.getArgString(missingArgIndex) << missingArgCount;
5662b4c9bc4SAndrzej Warzynski     success = false;
5672b4c9bc4SAndrzej Warzynski   }
5682b4c9bc4SAndrzej Warzynski 
569257b2971SCaroline Concatto   // Issue errors on unknown arguments
570257b2971SCaroline Concatto   for (const auto *a : args.filtered(clang::driver::options::OPT_UNKNOWN)) {
571257b2971SCaroline Concatto     auto argString = a->getAsString(args);
572257b2971SCaroline Concatto     std::string nearest;
573257b2971SCaroline Concatto     if (opts.findNearest(argString, nearest, includedFlagsBitmask) > 1)
574257b2971SCaroline Concatto       diags.Report(clang::diag::err_drv_unknown_argument) << argString;
575257b2971SCaroline Concatto     else
576257b2971SCaroline Concatto       diags.Report(clang::diag::err_drv_unknown_argument_with_suggestion)
577257b2971SCaroline Concatto           << argString << nearest;
578257b2971SCaroline Concatto     success = false;
579257b2971SCaroline Concatto   }
580257b2971SCaroline Concatto 
581dc256a44SAndrzej Warzynski   success &= ParseFrontendArgs(res.frontendOpts(), args, diags);
5822e9439e4SAndrzej Warzynski   ParseTargetArgs(res.targetOpts(), args);
5837809fa20SFaris Rehman   parsePreprocessorArgs(res.preprocessorOpts(), args);
5846d0fef48SAndrzej Warzynski   success &= parseSemaArgs(res, args, diags);
5856d0fef48SAndrzej Warzynski   success &= parseDialectArgs(res, args, diags);
5866d0fef48SAndrzej Warzynski   success &= parseDiagArgs(res, args, diags);
587*a7c08bcfSAndrzej Warzynski   res.frontendOpts_.llvmArgs =
588*a7c08bcfSAndrzej Warzynski       args.getAllArgValues(clang::driver::options::OPT_mllvm);
589257b2971SCaroline Concatto 
590257b2971SCaroline Concatto   return success;
591257b2971SCaroline Concatto }
592d28de0d7SCaroline Concatto 
5934606f838SAndrzej Warzynski void CompilerInvocation::CollectMacroDefinitions() {
594b83a4450SAndrzej Warzynski   auto &ppOpts = this->preprocessorOpts();
595b83a4450SAndrzej Warzynski 
5967809fa20SFaris Rehman   for (unsigned i = 0, n = ppOpts.macros.size(); i != n; ++i) {
5977809fa20SFaris Rehman     llvm::StringRef macro = ppOpts.macros[i].first;
5987809fa20SFaris Rehman     bool isUndef = ppOpts.macros[i].second;
5997809fa20SFaris Rehman 
6007809fa20SFaris Rehman     std::pair<llvm::StringRef, llvm::StringRef> macroPair = macro.split('=');
6017809fa20SFaris Rehman     llvm::StringRef macroName = macroPair.first;
6027809fa20SFaris Rehman     llvm::StringRef macroBody = macroPair.second;
6037809fa20SFaris Rehman 
6047809fa20SFaris Rehman     // For an #undef'd macro, we only care about the name.
6057809fa20SFaris Rehman     if (isUndef) {
606b83a4450SAndrzej Warzynski       parserOpts_.predefinitions.emplace_back(
6077809fa20SFaris Rehman           macroName.str(), std::optional<std::string>{});
6087809fa20SFaris Rehman       continue;
6097809fa20SFaris Rehman     }
6107809fa20SFaris Rehman 
6117809fa20SFaris Rehman     // For a #define'd macro, figure out the actual definition.
6127809fa20SFaris Rehman     if (macroName.size() == macro.size())
6137809fa20SFaris Rehman       macroBody = "1";
6147809fa20SFaris Rehman     else {
6157809fa20SFaris Rehman       // Note: GCC drops anything following an end-of-line character.
6167809fa20SFaris Rehman       llvm::StringRef::size_type End = macroBody.find_first_of("\n\r");
6177809fa20SFaris Rehman       macroBody = macroBody.substr(0, End);
6187809fa20SFaris Rehman     }
619b83a4450SAndrzej Warzynski     parserOpts_.predefinitions.emplace_back(
6207809fa20SFaris Rehman         macroName, std::optional<std::string>(macroBody.str()));
6217809fa20SFaris Rehman   }
6227809fa20SFaris Rehman }
6237809fa20SFaris Rehman 
624d28de0d7SCaroline Concatto void CompilerInvocation::SetDefaultFortranOpts() {
6256bbbe4a5SAndrzej Warzynski   auto &fortranOptions = fortranOpts();
626d28de0d7SCaroline Concatto 
627d28de0d7SCaroline Concatto   std::vector<std::string> searchDirectories{"."s};
628d28de0d7SCaroline Concatto   fortranOptions.searchDirectories = searchDirectories;
629d28de0d7SCaroline Concatto   fortranOptions.isFixedForm = false;
6300feff71eSAndrzej Warzynski }
6310feff71eSAndrzej Warzynski 
6320feff71eSAndrzej Warzynski // TODO: When expanding this method, consider creating a dedicated API for
6330feff71eSAndrzej Warzynski // this. Also at some point we will need to differentiate between different
6340feff71eSAndrzej Warzynski // targets and add dedicated predefines for each.
6354606f838SAndrzej Warzynski void CompilerInvocation::SetDefaultPredefinitions() {
6360feff71eSAndrzej Warzynski   auto &fortranOptions = fortranOpts();
6370feff71eSAndrzej Warzynski   const auto &frontendOptions = frontendOpts();
638197d9a55SFaris Rehman 
639197d9a55SFaris Rehman   // Populate the macro list with version numbers and other predefinitions.
640197d9a55SFaris Rehman   fortranOptions.predefinitions.emplace_back("__flang__", "1");
641197d9a55SFaris Rehman   fortranOptions.predefinitions.emplace_back(
642197d9a55SFaris Rehman       "__flang_major__", FLANG_VERSION_MAJOR_STRING);
643197d9a55SFaris Rehman   fortranOptions.predefinitions.emplace_back(
644197d9a55SFaris Rehman       "__flang_minor__", FLANG_VERSION_MINOR_STRING);
645197d9a55SFaris Rehman   fortranOptions.predefinitions.emplace_back(
646197d9a55SFaris Rehman       "__flang_patchlevel__", FLANG_VERSION_PATCHLEVEL_STRING);
6476d48a1a5SFaris Rehman 
6486d48a1a5SFaris Rehman   // Add predefinitions based on extensions enabled
64923d4c4f3SAndrzej Warzynski   if (frontendOptions.features.IsEnabled(
6506d48a1a5SFaris Rehman           Fortran::common::LanguageFeature::OpenACC)) {
6516d48a1a5SFaris Rehman     fortranOptions.predefinitions.emplace_back("_OPENACC", "202011");
6526d48a1a5SFaris Rehman   }
65323d4c4f3SAndrzej Warzynski   if (frontendOptions.features.IsEnabled(
6546d48a1a5SFaris Rehman           Fortran::common::LanguageFeature::OpenMP)) {
6556d48a1a5SFaris Rehman     fortranOptions.predefinitions.emplace_back("_OPENMP", "201511");
6566d48a1a5SFaris Rehman   }
6576d48a1a5SFaris Rehman }
6586d48a1a5SFaris Rehman 
6594606f838SAndrzej Warzynski void CompilerInvocation::SetFortranOpts() {
6607809fa20SFaris Rehman   auto &fortranOptions = fortranOpts();
6613a1513c1SFaris Rehman   const auto &frontendOptions = frontendOpts();
6627809fa20SFaris Rehman   const auto &preprocessorOptions = preprocessorOpts();
663985a42fdSArnamoy Bhattacharyya   auto &moduleDirJ = moduleDir();
6647809fa20SFaris Rehman 
66523d4c4f3SAndrzej Warzynski   if (frontendOptions.fortranForm != FortranForm::Unknown) {
6663a1513c1SFaris Rehman     fortranOptions.isFixedForm =
66723d4c4f3SAndrzej Warzynski         frontendOptions.fortranForm == FortranForm::FixedForm;
6683a1513c1SFaris Rehman   }
66923d4c4f3SAndrzej Warzynski   fortranOptions.fixedFormColumns = frontendOptions.fixedFormColumns;
6703a1513c1SFaris Rehman 
67123d4c4f3SAndrzej Warzynski   fortranOptions.features = frontendOptions.features;
67223d4c4f3SAndrzej Warzynski   fortranOptions.encoding = frontendOptions.encoding;
6736d48a1a5SFaris Rehman 
674cd4abc52SArnamoy Bhattacharyya   // Adding search directories specified by -I
67587dfd5e0SFaris Rehman   fortranOptions.searchDirectories.insert(
67687dfd5e0SFaris Rehman       fortranOptions.searchDirectories.end(),
67787dfd5e0SFaris Rehman       preprocessorOptions.searchDirectoriesFromDashI.begin(),
67887dfd5e0SFaris Rehman       preprocessorOptions.searchDirectoriesFromDashI.end());
679985a42fdSArnamoy Bhattacharyya 
680cd4abc52SArnamoy Bhattacharyya   // Add the ordered list of -intrinsic-modules-path
681cd4abc52SArnamoy Bhattacharyya   fortranOptions.searchDirectories.insert(
682cd4abc52SArnamoy Bhattacharyya       fortranOptions.searchDirectories.end(),
683cd4abc52SArnamoy Bhattacharyya       preprocessorOptions.searchDirectoriesFromIntrModPath.begin(),
684cd4abc52SArnamoy Bhattacharyya       preprocessorOptions.searchDirectoriesFromIntrModPath.end());
685cd4abc52SArnamoy Bhattacharyya 
68652a1346bSPeter Klausler   //  Add the default intrinsic module directory
68752a1346bSPeter Klausler   fortranOptions.intrinsicModuleDirectories.emplace_back(getIntrinsicDir());
688cd4abc52SArnamoy Bhattacharyya 
689985a42fdSArnamoy Bhattacharyya   // Add the directory supplied through -J/-module-dir to the list of search
690985a42fdSArnamoy Bhattacharyya   // directories
691985a42fdSArnamoy Bhattacharyya   if (moduleDirJ.compare(".") != 0)
692985a42fdSArnamoy Bhattacharyya     fortranOptions.searchDirectories.emplace_back(moduleDirJ);
693523d7bc6SAndrzej Warzynski 
69423d4c4f3SAndrzej Warzynski   if (frontendOptions.instrumentedParse)
695523d7bc6SAndrzej Warzynski     fortranOptions.instrumentedParse = true;
6964c7ebf79SArnamoy Bhattacharyya 
69723d4c4f3SAndrzej Warzynski   if (frontendOptions.needProvenanceRangeToCharBlockMappings)
69885b86c6fSAndrzej Warzynski     fortranOptions.needProvenanceRangeToCharBlockMappings = true;
69985b86c6fSAndrzej Warzynski 
7004c7ebf79SArnamoy Bhattacharyya   if (enableConformanceChecks()) {
7014c7ebf79SArnamoy Bhattacharyya     fortranOptions.features.WarnOnAllNonstandard();
7024c7ebf79SArnamoy Bhattacharyya   }
703985a42fdSArnamoy Bhattacharyya }
704985a42fdSArnamoy Bhattacharyya 
7054606f838SAndrzej Warzynski void CompilerInvocation::SetSemanticsOpts(
7066d48a1a5SFaris Rehman     Fortran::parser::AllCookedSources &allCookedSources) {
7076d48a1a5SFaris Rehman   const auto &fortranOptions = fortranOpts();
7086d48a1a5SFaris Rehman 
7096d48a1a5SFaris Rehman   semanticsContext_ = std::make_unique<semantics::SemanticsContext>(
710ab971c29SArnamoy Bhattacharyya       defaultKinds(), fortranOptions.features, allCookedSources);
7116d48a1a5SFaris Rehman 
7121fd4beecSArnamoy Bhattacharyya   semanticsContext_->set_moduleDirectory(moduleDir())
7134c7ebf79SArnamoy Bhattacharyya       .set_searchDirectories(fortranOptions.searchDirectories)
71452a1346bSPeter Klausler       .set_intrinsicModuleDirectories(fortranOptions.intrinsicModuleDirectories)
7157416e8a8SArnamoy Bhattacharyya       .set_warnOnNonstandardUsage(enableConformanceChecks())
71620bd2142SAndrzej Warzynski       .set_warningsAreErrors(warnAsErr())
71720bd2142SAndrzej Warzynski       .set_moduleFileSuffix(moduleFileSuffix());
7187809fa20SFaris Rehman }
719