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