19dba64beSDimitry Andric //===-- CppModuleConfiguration.cpp ----------------------------------------===//
29dba64beSDimitry Andric //
39dba64beSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
49dba64beSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
59dba64beSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
69dba64beSDimitry Andric //
79dba64beSDimitry Andric //===----------------------------------------------------------------------===//
89dba64beSDimitry Andric 
99dba64beSDimitry Andric #include "CppModuleConfiguration.h"
109dba64beSDimitry Andric 
119dba64beSDimitry Andric #include "ClangHost.h"
129dba64beSDimitry Andric #include "lldb/Host/FileSystem.h"
13*4824e7fdSDimitry Andric #include "llvm/ADT/Triple.h"
149dba64beSDimitry Andric 
159dba64beSDimitry Andric using namespace lldb_private;
169dba64beSDimitry Andric 
179dba64beSDimitry Andric bool CppModuleConfiguration::SetOncePath::TrySet(llvm::StringRef path) {
189dba64beSDimitry Andric   // Setting for the first time always works.
199dba64beSDimitry Andric   if (m_first) {
209dba64beSDimitry Andric     m_path = path.str();
219dba64beSDimitry Andric     m_valid = true;
229dba64beSDimitry Andric     m_first = false;
239dba64beSDimitry Andric     return true;
249dba64beSDimitry Andric   }
259dba64beSDimitry Andric   // Changing the path to the same value is fine.
269dba64beSDimitry Andric   if (m_path == path)
279dba64beSDimitry Andric     return true;
289dba64beSDimitry Andric 
299dba64beSDimitry Andric   // Changing the path after it was already set is not allowed.
309dba64beSDimitry Andric   m_valid = false;
319dba64beSDimitry Andric   return false;
329dba64beSDimitry Andric }
339dba64beSDimitry Andric 
34*4824e7fdSDimitry Andric static llvm::SmallVector<std::string, 2>
35*4824e7fdSDimitry Andric getTargetIncludePaths(const llvm::Triple &triple) {
36*4824e7fdSDimitry Andric   llvm::SmallVector<std::string, 2> paths;
37*4824e7fdSDimitry Andric   if (!triple.str().empty()) {
38*4824e7fdSDimitry Andric     paths.push_back("/usr/include/" + triple.str());
39*4824e7fdSDimitry Andric     if (!triple.getArchName().empty() ||
40*4824e7fdSDimitry Andric         triple.getOSAndEnvironmentName().empty())
41*4824e7fdSDimitry Andric       paths.push_back(("/usr/include/" + triple.getArchName() + "-" +
42*4824e7fdSDimitry Andric                        triple.getOSAndEnvironmentName())
43*4824e7fdSDimitry Andric                           .str());
44*4824e7fdSDimitry Andric   }
45*4824e7fdSDimitry Andric   return paths;
46*4824e7fdSDimitry Andric }
47*4824e7fdSDimitry Andric 
48*4824e7fdSDimitry Andric /// Returns the include path matching the given pattern for the given file
49*4824e7fdSDimitry Andric /// path (or None if the path doesn't match the pattern).
50*4824e7fdSDimitry Andric static llvm::Optional<llvm::StringRef>
51*4824e7fdSDimitry Andric guessIncludePath(llvm::StringRef path_to_file, llvm::StringRef pattern) {
52*4824e7fdSDimitry Andric   if (pattern.empty())
53*4824e7fdSDimitry Andric     return llvm::NoneType();
54*4824e7fdSDimitry Andric   size_t pos = path_to_file.find(pattern);
55*4824e7fdSDimitry Andric   if (pos == llvm::StringRef::npos)
56*4824e7fdSDimitry Andric     return llvm::NoneType();
57*4824e7fdSDimitry Andric 
58*4824e7fdSDimitry Andric   return path_to_file.substr(0, pos + pattern.size());
59*4824e7fdSDimitry Andric }
60*4824e7fdSDimitry Andric 
61*4824e7fdSDimitry Andric bool CppModuleConfiguration::analyzeFile(const FileSpec &f,
62*4824e7fdSDimitry Andric                                          const llvm::Triple &triple) {
639dba64beSDimitry Andric   using namespace llvm::sys::path;
649dba64beSDimitry Andric   // Convert to slashes to make following operations simpler.
659dba64beSDimitry Andric   std::string dir_buffer = convert_to_slash(f.GetDirectory().GetStringRef());
669dba64beSDimitry Andric   llvm::StringRef posix_dir(dir_buffer);
679dba64beSDimitry Andric 
689dba64beSDimitry Andric   // Check for /c++/vX/ that is used by libc++.
699dba64beSDimitry Andric   static llvm::Regex libcpp_regex(R"regex(/c[+][+]/v[0-9]/)regex");
70e8d8bef9SDimitry Andric   // If the path is in the libc++ include directory use it as the found libc++
71e8d8bef9SDimitry Andric   // path. Ignore subdirectories such as /c++/v1/experimental as those don't
72e8d8bef9SDimitry Andric   // need to be specified in the header search.
73e8d8bef9SDimitry Andric   if (libcpp_regex.match(f.GetPath()) &&
74e8d8bef9SDimitry Andric       parent_path(posix_dir, Style::posix).endswith("c++")) {
75*4824e7fdSDimitry Andric     if (!m_std_inc.TrySet(posix_dir))
76*4824e7fdSDimitry Andric       return false;
77*4824e7fdSDimitry Andric     if (triple.str().empty())
78*4824e7fdSDimitry Andric       return true;
79*4824e7fdSDimitry Andric 
80*4824e7fdSDimitry Andric     posix_dir.consume_back("c++/v1");
81*4824e7fdSDimitry Andric     // Check if this is a target-specific libc++ include directory.
82*4824e7fdSDimitry Andric     return m_std_target_inc.TrySet(
83*4824e7fdSDimitry Andric         (posix_dir + triple.str() + "/c++/v1").str());
849dba64beSDimitry Andric   }
859dba64beSDimitry Andric 
86*4824e7fdSDimitry Andric   llvm::Optional<llvm::StringRef> inc_path;
87*4824e7fdSDimitry Andric   // Target specific paths contains /usr/include, so we check them first
88*4824e7fdSDimitry Andric   for (auto &path : getTargetIncludePaths(triple)) {
89*4824e7fdSDimitry Andric     if ((inc_path = guessIncludePath(posix_dir, path)))
90*4824e7fdSDimitry Andric       return m_c_target_inc.TrySet(*inc_path);
91*4824e7fdSDimitry Andric   }
92*4824e7fdSDimitry Andric   if ((inc_path = guessIncludePath(posix_dir, "/usr/include")))
93*4824e7fdSDimitry Andric     return m_c_inc.TrySet(*inc_path);
949dba64beSDimitry Andric 
959dba64beSDimitry Andric   // File wasn't interesting, continue analyzing.
969dba64beSDimitry Andric   return true;
979dba64beSDimitry Andric }
989dba64beSDimitry Andric 
99e8d8bef9SDimitry Andric /// Utility function for just appending two paths.
100e8d8bef9SDimitry Andric static std::string MakePath(llvm::StringRef lhs, llvm::StringRef rhs) {
101e8d8bef9SDimitry Andric   llvm::SmallString<256> result(lhs);
102e8d8bef9SDimitry Andric   llvm::sys::path::append(result, rhs);
103e8d8bef9SDimitry Andric   return std::string(result);
104e8d8bef9SDimitry Andric }
105e8d8bef9SDimitry Andric 
1069dba64beSDimitry Andric bool CppModuleConfiguration::hasValidConfig() {
107e8d8bef9SDimitry Andric   // We need to have a C and C++ include dir for a valid configuration.
108e8d8bef9SDimitry Andric   if (!m_c_inc.Valid() || !m_std_inc.Valid())
109e8d8bef9SDimitry Andric     return false;
110e8d8bef9SDimitry Andric 
111e8d8bef9SDimitry Andric   // Do some basic sanity checks on the directories that we don't activate
112e8d8bef9SDimitry Andric   // the module when it's clear that it's not usable.
113e8d8bef9SDimitry Andric   const std::vector<std::string> files_to_check = {
114e8d8bef9SDimitry Andric       // * Check that the C library contains at least one random C standard
115e8d8bef9SDimitry Andric       //   library header.
116e8d8bef9SDimitry Andric       MakePath(m_c_inc.Get(), "stdio.h"),
117e8d8bef9SDimitry Andric       // * Without a libc++ modulemap file we can't have a 'std' module that
118e8d8bef9SDimitry Andric       //   could be imported.
119e8d8bef9SDimitry Andric       MakePath(m_std_inc.Get(), "module.modulemap"),
120e8d8bef9SDimitry Andric       // * Check for a random libc++ header (vector in this case) that has to
121e8d8bef9SDimitry Andric       //   exist in a working libc++ setup.
122e8d8bef9SDimitry Andric       MakePath(m_std_inc.Get(), "vector"),
123e8d8bef9SDimitry Andric   };
124e8d8bef9SDimitry Andric 
125e8d8bef9SDimitry Andric   for (llvm::StringRef file_to_check : files_to_check) {
126e8d8bef9SDimitry Andric     if (!FileSystem::Instance().Exists(file_to_check))
127e8d8bef9SDimitry Andric       return false;
128e8d8bef9SDimitry Andric   }
129e8d8bef9SDimitry Andric 
130e8d8bef9SDimitry Andric   return true;
1319dba64beSDimitry Andric }
1329dba64beSDimitry Andric 
1339dba64beSDimitry Andric CppModuleConfiguration::CppModuleConfiguration(
134*4824e7fdSDimitry Andric     const FileSpecList &support_files, const llvm::Triple &triple) {
1359dba64beSDimitry Andric   // Analyze all files we were given to build the configuration.
1369dba64beSDimitry Andric   bool error = !llvm::all_of(support_files,
1379dba64beSDimitry Andric                              std::bind(&CppModuleConfiguration::analyzeFile,
138*4824e7fdSDimitry Andric                                        this, std::placeholders::_1, triple));
1399dba64beSDimitry Andric   // If we have a valid configuration at this point, set the
1409dba64beSDimitry Andric   // include directories and module list that should be used.
1419dba64beSDimitry Andric   if (!error && hasValidConfig()) {
1429dba64beSDimitry Andric     // Calculate the resource directory for LLDB.
1439dba64beSDimitry Andric     llvm::SmallString<256> resource_dir;
1449dba64beSDimitry Andric     llvm::sys::path::append(resource_dir, GetClangResourceDir().GetPath(),
1459dba64beSDimitry Andric                             "include");
1465ffd83dbSDimitry Andric     m_resource_inc = std::string(resource_dir.str());
1479dba64beSDimitry Andric 
1489dba64beSDimitry Andric     // This order matches the way Clang orders these directories.
149e8d8bef9SDimitry Andric     m_include_dirs = {m_std_inc.Get().str(), m_resource_inc,
150e8d8bef9SDimitry Andric                       m_c_inc.Get().str()};
151*4824e7fdSDimitry Andric     if (m_c_target_inc.Valid())
152*4824e7fdSDimitry Andric       m_include_dirs.push_back(m_c_target_inc.Get().str());
153*4824e7fdSDimitry Andric     if (m_std_target_inc.Valid())
154*4824e7fdSDimitry Andric       m_include_dirs.push_back(m_std_target_inc.Get().str());
1559dba64beSDimitry Andric     m_imported_modules = {"std"};
1569dba64beSDimitry Andric   }
1579dba64beSDimitry Andric }
158