diff options
author | Gabor Horvath <xazax.hun@gmail.com> | 2017-09-22 11:11:01 +0000 |
---|---|---|
committer | Gabor Horvath <xazax.hun@gmail.com> | 2017-09-22 11:11:01 +0000 |
commit | 6254bf4aded7574f297d7eaa82e54702b3820366 (patch) | |
tree | 9bb9d6f8be39822b225a846a5403a3c4d5964f2f /unittests | |
parent | d2eb6ef69c991be0aaf76afabd4c25c8050f9af2 (diff) | |
download | clang-6254bf4aded7574f297d7eaa82e54702b3820366.tar.gz |
Add Cross Translation Unit support library
This patch introduces a class that can help to build tools that require cross
translation unit facilities. This class allows function definitions to be loaded
from external AST files based on an index. In order to use this functionality an
index is required. The index format is a flat text file but it might be
replaced with a different solution in the near future. USRs are used as names to
look up the functions definitions. This class also does caching to avoid
redundant loading of AST files.
Right now only function defnitions can be loaded using this API because this is
what the in progress cross translation unit feature of the Static Analyzer
requires. In to future this might be extended to classes, types etc.
Differential Revision: https://reviews.llvm.org/D34512
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@313975 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'unittests')
-rw-r--r-- | unittests/CMakeLists.txt | 1 | ||||
-rw-r--r-- | unittests/CrossTU/CMakeLists.txt | 16 | ||||
-rw-r--r-- | unittests/CrossTU/CrossTranslationUnitTest.cpp | 138 |
3 files changed, 155 insertions, 0 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index b622d66af4..090de3b06e 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -19,6 +19,7 @@ if(CLANG_ENABLE_STATIC_ANALYZER) endif() add_subdirectory(ASTMatchers) add_subdirectory(AST) +add_subdirectory(CrossTU) add_subdirectory(Tooling) add_subdirectory(Format) add_subdirectory(Rewrite) diff --git a/unittests/CrossTU/CMakeLists.txt b/unittests/CrossTU/CMakeLists.txt new file mode 100644 index 0000000000..3c479c4473 --- /dev/null +++ b/unittests/CrossTU/CMakeLists.txt @@ -0,0 +1,16 @@ +set(LLVM_LINK_COMPONENTS + ${LLVM_TARGETS_TO_BUILD} + Support + ) + +add_clang_unittest(CrossTUTests + CrossTranslationUnitTest.cpp + ) + +target_link_libraries(CrossTUTests + clangAST + clangBasic + clangCrossTU + clangFrontend + clangTooling + ) diff --git a/unittests/CrossTU/CrossTranslationUnitTest.cpp b/unittests/CrossTU/CrossTranslationUnitTest.cpp new file mode 100644 index 0000000000..6b9158445d --- /dev/null +++ b/unittests/CrossTU/CrossTranslationUnitTest.cpp @@ -0,0 +1,138 @@ +//===- unittest/Tooling/CrossTranslationUnitTest.cpp - Tooling unit tests -===// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#include "clang/CrossTU/CrossTranslationUnit.h" +#include "clang/AST/ASTConsumer.h" +#include "clang/Frontend/FrontendAction.h" +#include "clang/Tooling/Tooling.h" +#include "llvm/Config/llvm-config.h" +#include "llvm/Support/FileSystem.h" +#include "llvm/Support/Path.h" +#include "llvm/Support/ToolOutputFile.h" +#include "gtest/gtest.h" +#include <cassert> + +namespace clang { +namespace cross_tu { + +namespace { + +class CTUASTConsumer : public clang::ASTConsumer { +public: + explicit CTUASTConsumer(clang::CompilerInstance &CI, bool *Success) + : CTU(CI), Success(Success) {} + + void HandleTranslationUnit(ASTContext &Ctx) { + const TranslationUnitDecl *TU = Ctx.getTranslationUnitDecl(); + const FunctionDecl *FD = nullptr; + for (const Decl *D : TU->decls()) { + FD = dyn_cast<FunctionDecl>(D); + if (FD && FD->getName() == "f") + break; + } + assert(FD && FD->getName() == "f"); + bool OrigFDHasBody = FD->hasBody(); + + // Prepare the index file and the AST file. + int ASTFD; + llvm::SmallString<256> ASTFileName; + ASSERT_FALSE( + llvm::sys::fs::createTemporaryFile("f_ast", "ast", ASTFD, ASTFileName)); + llvm::tool_output_file ASTFile(ASTFileName, ASTFD); + + int IndexFD; + llvm::SmallString<256> IndexFileName; + ASSERT_FALSE(llvm::sys::fs::createTemporaryFile("index", "txt", IndexFD, + IndexFileName)); + llvm::tool_output_file IndexFile(IndexFileName, IndexFD); + IndexFile.os() << "c:@F@f#I# " << ASTFileName << "\n"; + IndexFile.os().flush(); + EXPECT_TRUE(llvm::sys::fs::exists(IndexFileName)); + + StringRef SourceText = "int f(int) { return 0; }\n"; + // This file must exist since the saved ASTFile will reference it. + int SourceFD; + llvm::SmallString<256> SourceFileName; + ASSERT_FALSE(llvm::sys::fs::createTemporaryFile("input", "cpp", SourceFD, + SourceFileName)); + llvm::tool_output_file SourceFile(SourceFileName, SourceFD); + SourceFile.os() << SourceText; + SourceFile.os().flush(); + EXPECT_TRUE(llvm::sys::fs::exists(SourceFileName)); + + std::unique_ptr<ASTUnit> ASTWithDefinition = + tooling::buildASTFromCode(SourceText, SourceFileName); + ASTWithDefinition->Save(ASTFileName.str()); + EXPECT_TRUE(llvm::sys::fs::exists(ASTFileName)); + + // Load the definition from the AST file. + llvm::Expected<const FunctionDecl *> NewFDorError = + CTU.getCrossTUDefinition(FD, "", IndexFileName); + EXPECT_TRUE((bool)NewFDorError); + const FunctionDecl *NewFD = *NewFDorError; + + *Success = NewFD && NewFD->hasBody() && !OrigFDHasBody; + } + +private: + CrossTranslationUnitContext CTU; + bool *Success; +}; + +class CTUAction : public clang::ASTFrontendAction { +public: + CTUAction(bool *Success) : Success(Success) {} + +protected: + std::unique_ptr<clang::ASTConsumer> + CreateASTConsumer(clang::CompilerInstance &CI, StringRef) override { + return llvm::make_unique<CTUASTConsumer>(CI, Success); + } + +private: + bool *Success; +}; + +} // end namespace + +TEST(CrossTranslationUnit, CanLoadFunctionDefinition) { + bool Success = false; + EXPECT_TRUE(tooling::runToolOnCode(new CTUAction(&Success), "int f(int);")); + EXPECT_TRUE(Success); +} + +TEST(CrossTranslationUnit, IndexFormatCanBeParsed) { + llvm::StringMap<std::string> Index; + Index["a"] = "b"; + Index["c"] = "d"; + Index["e"] = "f"; + std::string IndexText = createCrossTUIndexString(Index); + + int IndexFD; + llvm::SmallString<256> IndexFileName; + ASSERT_FALSE(llvm::sys::fs::createTemporaryFile("index", "txt", IndexFD, + IndexFileName)); + llvm::tool_output_file IndexFile(IndexFileName, IndexFD); + IndexFile.os() << IndexText; + IndexFile.os().flush(); + EXPECT_TRUE(llvm::sys::fs::exists(IndexFileName)); + llvm::Expected<llvm::StringMap<std::string>> IndexOrErr = + parseCrossTUIndex(IndexFileName, ""); + EXPECT_TRUE((bool)IndexOrErr); + llvm::StringMap<std::string> ParsedIndex = IndexOrErr.get(); + for (const auto &E : Index) { + EXPECT_TRUE(ParsedIndex.count(E.getKey())); + EXPECT_EQ(ParsedIndex[E.getKey()], E.getValue()); + } + for (const auto &E : ParsedIndex) + EXPECT_TRUE(Index.count(E.getKey())); +} + +} // end namespace cross_tu +} // end namespace clang |