annotate clang/unittests/CodeGen/CodeGenExternalTest.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- unittests/CodeGen/CodeGenExternalTest.cpp - test external CodeGen -===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #include "clang/AST/ASTConsumer.h"
anatofuz
parents:
diff changeset
10 #include "clang/AST/ASTContext.h"
anatofuz
parents:
diff changeset
11 #include "clang/AST/GlobalDecl.h"
anatofuz
parents:
diff changeset
12 #include "clang/AST/RecursiveASTVisitor.h"
anatofuz
parents:
diff changeset
13 #include "clang/Basic/TargetInfo.h"
anatofuz
parents:
diff changeset
14 #include "clang/CodeGen/CodeGenABITypes.h"
anatofuz
parents:
diff changeset
15 #include "clang/CodeGen/ModuleBuilder.h"
anatofuz
parents:
diff changeset
16 #include "clang/Frontend/CompilerInstance.h"
anatofuz
parents:
diff changeset
17 #include "clang/Lex/Preprocessor.h"
anatofuz
parents:
diff changeset
18 #include "clang/Parse/ParseAST.h"
anatofuz
parents:
diff changeset
19 #include "clang/Sema/Sema.h"
anatofuz
parents:
diff changeset
20 #include "llvm/ADT/Triple.h"
anatofuz
parents:
diff changeset
21 #include "llvm/IR/Instructions.h"
anatofuz
parents:
diff changeset
22 #include "llvm/IR/LLVMContext.h"
anatofuz
parents:
diff changeset
23 #include "llvm/Support/Debug.h"
anatofuz
parents:
diff changeset
24 #include "llvm/Support/Host.h"
anatofuz
parents:
diff changeset
25 #include "llvm/Support/MemoryBuffer.h"
anatofuz
parents:
diff changeset
26 #include "gtest/gtest.h"
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 using namespace llvm;
anatofuz
parents:
diff changeset
29 using namespace clang;
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 namespace {
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 // Mocks up a language using Clang code generation as a library and
anatofuz
parents:
diff changeset
34 // tests some basic functionality there.
anatofuz
parents:
diff changeset
35 // - CodeGen->GetAddrOfGlobal
anatofuz
parents:
diff changeset
36 // - CodeGen::convertTypeForMemory
anatofuz
parents:
diff changeset
37 // - CodeGen::getLLVMFieldNumber
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 static const bool DebugThisTest = false;
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 // forward declarations
anatofuz
parents:
diff changeset
42 struct MyASTConsumer;
anatofuz
parents:
diff changeset
43 static void test_codegen_fns(MyASTConsumer *my);
anatofuz
parents:
diff changeset
44 static bool test_codegen_fns_ran;
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 // This forwards the calls to the Clang CodeGenerator
anatofuz
parents:
diff changeset
47 // so that we can test CodeGen functions while it is open.
anatofuz
parents:
diff changeset
48 // It accumulates toplevel decls in HandleTopLevelDecl and
anatofuz
parents:
diff changeset
49 // calls test_codegen_fns() in HandleTranslationUnit
anatofuz
parents:
diff changeset
50 // before forwarding that function to the CodeGenerator.
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 struct MyASTConsumer : public ASTConsumer {
anatofuz
parents:
diff changeset
53 std::unique_ptr<CodeGenerator> Builder;
anatofuz
parents:
diff changeset
54 std::vector<Decl*> toplevel_decls;
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 MyASTConsumer(std::unique_ptr<CodeGenerator> Builder_in)
anatofuz
parents:
diff changeset
57 : ASTConsumer(), Builder(std::move(Builder_in))
anatofuz
parents:
diff changeset
58 {
anatofuz
parents:
diff changeset
59 }
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 ~MyASTConsumer() { }
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 void Initialize(ASTContext &Context) override;
anatofuz
parents:
diff changeset
64 void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) override;
anatofuz
parents:
diff changeset
65 bool HandleTopLevelDecl(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
66 void HandleInlineFunctionDefinition(FunctionDecl *D) override;
anatofuz
parents:
diff changeset
67 void HandleInterestingDecl(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
68 void HandleTranslationUnit(ASTContext &Ctx) override;
anatofuz
parents:
diff changeset
69 void HandleTagDeclDefinition(TagDecl *D) override;
anatofuz
parents:
diff changeset
70 void HandleTagDeclRequiredDefinition(const TagDecl *D) override;
anatofuz
parents:
diff changeset
71 void HandleCXXImplicitFunctionInstantiation(FunctionDecl *D) override;
anatofuz
parents:
diff changeset
72 void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
73 void HandleImplicitImportDecl(ImportDecl *D) override;
anatofuz
parents:
diff changeset
74 void CompleteTentativeDefinition(VarDecl *D) override;
anatofuz
parents:
diff changeset
75 void AssignInheritanceModel(CXXRecordDecl *RD) override;
anatofuz
parents:
diff changeset
76 void HandleVTable(CXXRecordDecl *RD) override;
anatofuz
parents:
diff changeset
77 ASTMutationListener *GetASTMutationListener() override;
anatofuz
parents:
diff changeset
78 ASTDeserializationListener *GetASTDeserializationListener() override;
anatofuz
parents:
diff changeset
79 void PrintStats() override;
anatofuz
parents:
diff changeset
80 bool shouldSkipFunctionBody(Decl *D) override;
anatofuz
parents:
diff changeset
81 };
anatofuz
parents:
diff changeset
82
anatofuz
parents:
diff changeset
83 void MyASTConsumer::Initialize(ASTContext &Context) {
anatofuz
parents:
diff changeset
84 Builder->Initialize(Context);
anatofuz
parents:
diff changeset
85 }
anatofuz
parents:
diff changeset
86
anatofuz
parents:
diff changeset
87 bool MyASTConsumer::HandleTopLevelDecl(DeclGroupRef DG) {
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) {
anatofuz
parents:
diff changeset
90 toplevel_decls.push_back(*I);
anatofuz
parents:
diff changeset
91 }
anatofuz
parents:
diff changeset
92
anatofuz
parents:
diff changeset
93 return Builder->HandleTopLevelDecl(DG);
anatofuz
parents:
diff changeset
94 }
anatofuz
parents:
diff changeset
95
anatofuz
parents:
diff changeset
96 void MyASTConsumer::HandleInlineFunctionDefinition(FunctionDecl *D) {
anatofuz
parents:
diff changeset
97 Builder->HandleInlineFunctionDefinition(D);
anatofuz
parents:
diff changeset
98 }
anatofuz
parents:
diff changeset
99
anatofuz
parents:
diff changeset
100 void MyASTConsumer::HandleInterestingDecl(DeclGroupRef D) {
anatofuz
parents:
diff changeset
101 Builder->HandleInterestingDecl(D);
anatofuz
parents:
diff changeset
102 }
anatofuz
parents:
diff changeset
103
anatofuz
parents:
diff changeset
104 void MyASTConsumer::HandleTranslationUnit(ASTContext &Context) {
anatofuz
parents:
diff changeset
105 test_codegen_fns(this);
anatofuz
parents:
diff changeset
106 // HandleTranslationUnit can close the module
anatofuz
parents:
diff changeset
107 Builder->HandleTranslationUnit(Context);
anatofuz
parents:
diff changeset
108 }
anatofuz
parents:
diff changeset
109
anatofuz
parents:
diff changeset
110 void MyASTConsumer::HandleTagDeclDefinition(TagDecl *D) {
anatofuz
parents:
diff changeset
111 Builder->HandleTagDeclDefinition(D);
anatofuz
parents:
diff changeset
112 }
anatofuz
parents:
diff changeset
113
anatofuz
parents:
diff changeset
114 void MyASTConsumer::HandleTagDeclRequiredDefinition(const TagDecl *D) {
anatofuz
parents:
diff changeset
115 Builder->HandleTagDeclRequiredDefinition(D);
anatofuz
parents:
diff changeset
116 }
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 void MyASTConsumer::HandleCXXImplicitFunctionInstantiation(FunctionDecl *D) {
anatofuz
parents:
diff changeset
119 Builder->HandleCXXImplicitFunctionInstantiation(D);
anatofuz
parents:
diff changeset
120 }
anatofuz
parents:
diff changeset
121
anatofuz
parents:
diff changeset
122 void MyASTConsumer::HandleTopLevelDeclInObjCContainer(DeclGroupRef D) {
anatofuz
parents:
diff changeset
123 Builder->HandleTopLevelDeclInObjCContainer(D);
anatofuz
parents:
diff changeset
124 }
anatofuz
parents:
diff changeset
125
anatofuz
parents:
diff changeset
126 void MyASTConsumer::HandleImplicitImportDecl(ImportDecl *D) {
anatofuz
parents:
diff changeset
127 Builder->HandleImplicitImportDecl(D);
anatofuz
parents:
diff changeset
128 }
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 void MyASTConsumer::CompleteTentativeDefinition(VarDecl *D) {
anatofuz
parents:
diff changeset
131 Builder->CompleteTentativeDefinition(D);
anatofuz
parents:
diff changeset
132 }
anatofuz
parents:
diff changeset
133
anatofuz
parents:
diff changeset
134 void MyASTConsumer::AssignInheritanceModel(CXXRecordDecl *RD) {
anatofuz
parents:
diff changeset
135 Builder->AssignInheritanceModel(RD);
anatofuz
parents:
diff changeset
136 }
anatofuz
parents:
diff changeset
137
anatofuz
parents:
diff changeset
138 void MyASTConsumer::HandleCXXStaticMemberVarInstantiation(VarDecl *VD) {
anatofuz
parents:
diff changeset
139 Builder->HandleCXXStaticMemberVarInstantiation(VD);
anatofuz
parents:
diff changeset
140 }
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 void MyASTConsumer::HandleVTable(CXXRecordDecl *RD) {
anatofuz
parents:
diff changeset
143 Builder->HandleVTable(RD);
anatofuz
parents:
diff changeset
144 }
anatofuz
parents:
diff changeset
145
anatofuz
parents:
diff changeset
146 ASTMutationListener *MyASTConsumer::GetASTMutationListener() {
anatofuz
parents:
diff changeset
147 return Builder->GetASTMutationListener();
anatofuz
parents:
diff changeset
148 }
anatofuz
parents:
diff changeset
149
anatofuz
parents:
diff changeset
150 ASTDeserializationListener *MyASTConsumer::GetASTDeserializationListener() {
anatofuz
parents:
diff changeset
151 return Builder->GetASTDeserializationListener();
anatofuz
parents:
diff changeset
152 }
anatofuz
parents:
diff changeset
153
anatofuz
parents:
diff changeset
154 void MyASTConsumer::PrintStats() {
anatofuz
parents:
diff changeset
155 Builder->PrintStats();
anatofuz
parents:
diff changeset
156 }
anatofuz
parents:
diff changeset
157
anatofuz
parents:
diff changeset
158 bool MyASTConsumer::shouldSkipFunctionBody(Decl *D) {
anatofuz
parents:
diff changeset
159 return Builder->shouldSkipFunctionBody(D);
anatofuz
parents:
diff changeset
160 }
anatofuz
parents:
diff changeset
161
anatofuz
parents:
diff changeset
162 const char TestProgram[] =
anatofuz
parents:
diff changeset
163 "struct mytest_struct { char x; short y; char p; long z; };\n"
anatofuz
parents:
diff changeset
164 "int mytest_fn(int x) { return x; }\n";
anatofuz
parents:
diff changeset
165
anatofuz
parents:
diff changeset
166 // This function has the real test code here
anatofuz
parents:
diff changeset
167 static void test_codegen_fns(MyASTConsumer *my) {
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 bool mytest_fn_ok = false;
anatofuz
parents:
diff changeset
170 bool mytest_struct_ok = false;
anatofuz
parents:
diff changeset
171
anatofuz
parents:
diff changeset
172 CodeGen::CodeGenModule &CGM = my->Builder->CGM();
anatofuz
parents:
diff changeset
173
anatofuz
parents:
diff changeset
174 for (auto decl : my->toplevel_decls ) {
anatofuz
parents:
diff changeset
175 if (FunctionDecl *fd = dyn_cast<FunctionDecl>(decl)) {
anatofuz
parents:
diff changeset
176 if (fd->getName() == "mytest_fn") {
anatofuz
parents:
diff changeset
177 Constant *c = my->Builder->GetAddrOfGlobal(GlobalDecl(fd), false);
anatofuz
parents:
diff changeset
178 // Verify that we got a function.
anatofuz
parents:
diff changeset
179 ASSERT_TRUE(c != NULL);
anatofuz
parents:
diff changeset
180 if (DebugThisTest) {
anatofuz
parents:
diff changeset
181 c->print(dbgs(), true);
anatofuz
parents:
diff changeset
182 dbgs() << "\n";
anatofuz
parents:
diff changeset
183 }
anatofuz
parents:
diff changeset
184 mytest_fn_ok = true;
anatofuz
parents:
diff changeset
185 }
anatofuz
parents:
diff changeset
186 } else if(clang::RecordDecl *rd = dyn_cast<RecordDecl>(decl)) {
anatofuz
parents:
diff changeset
187 if (rd->getName() == "mytest_struct") {
anatofuz
parents:
diff changeset
188 RecordDecl *def = rd->getDefinition();
anatofuz
parents:
diff changeset
189 ASSERT_TRUE(def != NULL);
anatofuz
parents:
diff changeset
190 const clang::Type *clangTy = rd->getCanonicalDecl()->getTypeForDecl();
anatofuz
parents:
diff changeset
191 ASSERT_TRUE(clangTy != NULL);
anatofuz
parents:
diff changeset
192 QualType qType = clangTy->getCanonicalTypeInternal();
anatofuz
parents:
diff changeset
193
anatofuz
parents:
diff changeset
194 // Check convertTypeForMemory
anatofuz
parents:
diff changeset
195 llvm::Type *llvmTy = CodeGen::convertTypeForMemory(CGM, qType);
anatofuz
parents:
diff changeset
196 ASSERT_TRUE(llvmTy != NULL);
anatofuz
parents:
diff changeset
197 if (DebugThisTest) {
anatofuz
parents:
diff changeset
198 llvmTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
199 dbgs() << "\n";
anatofuz
parents:
diff changeset
200 }
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 llvm::CompositeType* structTy = dyn_cast<CompositeType>(llvmTy);
anatofuz
parents:
diff changeset
203 ASSERT_TRUE(structTy != NULL);
anatofuz
parents:
diff changeset
204
anatofuz
parents:
diff changeset
205 // Check getLLVMFieldNumber
anatofuz
parents:
diff changeset
206 FieldDecl *xField = NULL;
anatofuz
parents:
diff changeset
207 FieldDecl *yField = NULL;
anatofuz
parents:
diff changeset
208 FieldDecl *zField = NULL;
anatofuz
parents:
diff changeset
209
anatofuz
parents:
diff changeset
210 for (auto field : rd->fields()) {
anatofuz
parents:
diff changeset
211 if (field->getName() == "x") xField = field;
anatofuz
parents:
diff changeset
212 if (field->getName() == "y") yField = field;
anatofuz
parents:
diff changeset
213 if (field->getName() == "z") zField = field;
anatofuz
parents:
diff changeset
214 }
anatofuz
parents:
diff changeset
215
anatofuz
parents:
diff changeset
216 ASSERT_TRUE(xField != NULL);
anatofuz
parents:
diff changeset
217 ASSERT_TRUE(yField != NULL);
anatofuz
parents:
diff changeset
218 ASSERT_TRUE(zField != NULL);
anatofuz
parents:
diff changeset
219
anatofuz
parents:
diff changeset
220 unsigned x = CodeGen::getLLVMFieldNumber(CGM, rd, xField);
anatofuz
parents:
diff changeset
221 unsigned y = CodeGen::getLLVMFieldNumber(CGM, rd, yField);
anatofuz
parents:
diff changeset
222 unsigned z = CodeGen::getLLVMFieldNumber(CGM, rd, zField);
anatofuz
parents:
diff changeset
223
anatofuz
parents:
diff changeset
224 ASSERT_NE(x, y);
anatofuz
parents:
diff changeset
225 ASSERT_NE(y, z);
anatofuz
parents:
diff changeset
226
anatofuz
parents:
diff changeset
227 llvm::Type* xTy = structTy->getTypeAtIndex(x);
anatofuz
parents:
diff changeset
228 llvm::Type* yTy = structTy->getTypeAtIndex(y);
anatofuz
parents:
diff changeset
229 llvm::Type* zTy = structTy->getTypeAtIndex(z);
anatofuz
parents:
diff changeset
230
anatofuz
parents:
diff changeset
231 ASSERT_TRUE(xTy != NULL);
anatofuz
parents:
diff changeset
232 ASSERT_TRUE(yTy != NULL);
anatofuz
parents:
diff changeset
233 ASSERT_TRUE(zTy != NULL);
anatofuz
parents:
diff changeset
234
anatofuz
parents:
diff changeset
235 if (DebugThisTest) {
anatofuz
parents:
diff changeset
236 xTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
237 dbgs() << "\n";
anatofuz
parents:
diff changeset
238 yTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
239 dbgs() << "\n";
anatofuz
parents:
diff changeset
240 zTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
241 dbgs() << "\n";
anatofuz
parents:
diff changeset
242 }
anatofuz
parents:
diff changeset
243
anatofuz
parents:
diff changeset
244 ASSERT_GE(xTy->getPrimitiveSizeInBits(), 1u);
anatofuz
parents:
diff changeset
245 ASSERT_GE(yTy->getPrimitiveSizeInBits(), 16u); // short is at least 16b
anatofuz
parents:
diff changeset
246 ASSERT_GE(zTy->getPrimitiveSizeInBits(), 32u); // long is at least 32b
anatofuz
parents:
diff changeset
247
anatofuz
parents:
diff changeset
248 mytest_struct_ok = true;
anatofuz
parents:
diff changeset
249 }
anatofuz
parents:
diff changeset
250 }
anatofuz
parents:
diff changeset
251 }
anatofuz
parents:
diff changeset
252
anatofuz
parents:
diff changeset
253 ASSERT_TRUE(mytest_fn_ok);
anatofuz
parents:
diff changeset
254 ASSERT_TRUE(mytest_struct_ok);
anatofuz
parents:
diff changeset
255
anatofuz
parents:
diff changeset
256 test_codegen_fns_ran = true;
anatofuz
parents:
diff changeset
257 }
anatofuz
parents:
diff changeset
258
anatofuz
parents:
diff changeset
259 TEST(CodeGenExternalTest, CodeGenExternalTest) {
anatofuz
parents:
diff changeset
260 LLVMContext Context;
anatofuz
parents:
diff changeset
261 CompilerInstance compiler;
anatofuz
parents:
diff changeset
262
anatofuz
parents:
diff changeset
263 compiler.createDiagnostics();
anatofuz
parents:
diff changeset
264 compiler.getLangOpts().CPlusPlus = 1;
anatofuz
parents:
diff changeset
265 compiler.getLangOpts().CPlusPlus11 = 1;
anatofuz
parents:
diff changeset
266
anatofuz
parents:
diff changeset
267 compiler.getTargetOpts().Triple = llvm::Triple::normalize(
anatofuz
parents:
diff changeset
268 llvm::sys::getProcessTriple());
anatofuz
parents:
diff changeset
269 compiler.setTarget(clang::TargetInfo::CreateTargetInfo(
anatofuz
parents:
diff changeset
270 compiler.getDiagnostics(),
anatofuz
parents:
diff changeset
271 std::make_shared<clang::TargetOptions>(
anatofuz
parents:
diff changeset
272 compiler.getTargetOpts())));
anatofuz
parents:
diff changeset
273
anatofuz
parents:
diff changeset
274 compiler.createFileManager();
anatofuz
parents:
diff changeset
275 compiler.createSourceManager(compiler.getFileManager());
anatofuz
parents:
diff changeset
276 compiler.createPreprocessor(clang::TU_Prefix);
anatofuz
parents:
diff changeset
277
anatofuz
parents:
diff changeset
278 compiler.createASTContext();
anatofuz
parents:
diff changeset
279
anatofuz
parents:
diff changeset
280
anatofuz
parents:
diff changeset
281 compiler.setASTConsumer(std::unique_ptr<ASTConsumer>(
anatofuz
parents:
diff changeset
282 new MyASTConsumer(std::unique_ptr<CodeGenerator>(
anatofuz
parents:
diff changeset
283 CreateLLVMCodeGen(compiler.getDiagnostics(),
anatofuz
parents:
diff changeset
284 "MemoryTypesTest",
anatofuz
parents:
diff changeset
285 compiler.getHeaderSearchOpts(),
anatofuz
parents:
diff changeset
286 compiler.getPreprocessorOpts(),
anatofuz
parents:
diff changeset
287 compiler.getCodeGenOpts(),
anatofuz
parents:
diff changeset
288 Context)))));
anatofuz
parents:
diff changeset
289
anatofuz
parents:
diff changeset
290 compiler.createSema(clang::TU_Prefix, nullptr);
anatofuz
parents:
diff changeset
291
anatofuz
parents:
diff changeset
292 clang::SourceManager &sm = compiler.getSourceManager();
anatofuz
parents:
diff changeset
293 sm.setMainFileID(sm.createFileID(
anatofuz
parents:
diff changeset
294 llvm::MemoryBuffer::getMemBuffer(TestProgram), clang::SrcMgr::C_User));
anatofuz
parents:
diff changeset
295
anatofuz
parents:
diff changeset
296 clang::ParseAST(compiler.getSema(), false, false);
anatofuz
parents:
diff changeset
297
anatofuz
parents:
diff changeset
298 ASSERT_TRUE(test_codegen_fns_ran);
anatofuz
parents:
diff changeset
299 }
anatofuz
parents:
diff changeset
300
anatofuz
parents:
diff changeset
301 } // end anonymous namespace