annotate clang/unittests/CodeGen/CodeGenExternalTest.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
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
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
9 #include "TestCompiler.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
10
150
anatofuz
parents:
diff changeset
11 #include "clang/AST/ASTConsumer.h"
anatofuz
parents:
diff changeset
12 #include "clang/AST/ASTContext.h"
anatofuz
parents:
diff changeset
13 #include "clang/AST/GlobalDecl.h"
anatofuz
parents:
diff changeset
14 #include "clang/AST/RecursiveASTVisitor.h"
anatofuz
parents:
diff changeset
15 #include "clang/Basic/TargetInfo.h"
anatofuz
parents:
diff changeset
16 #include "clang/CodeGen/CodeGenABITypes.h"
anatofuz
parents:
diff changeset
17 #include "clang/CodeGen/ModuleBuilder.h"
anatofuz
parents:
diff changeset
18 #include "clang/Frontend/CompilerInstance.h"
anatofuz
parents:
diff changeset
19 #include "clang/Lex/Preprocessor.h"
anatofuz
parents:
diff changeset
20 #include "clang/Parse/ParseAST.h"
anatofuz
parents:
diff changeset
21 #include "clang/Sema/Sema.h"
anatofuz
parents:
diff changeset
22 #include "llvm/IR/Instructions.h"
anatofuz
parents:
diff changeset
23 #include "llvm/IR/LLVMContext.h"
anatofuz
parents:
diff changeset
24 #include "llvm/Support/Debug.h"
anatofuz
parents:
diff changeset
25 #include "llvm/Support/MemoryBuffer.h"
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
26 #include "llvm/TargetParser/Host.h"
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
27 #include "llvm/TargetParser/Triple.h"
150
anatofuz
parents:
diff changeset
28 #include "gtest/gtest.h"
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 using namespace llvm;
anatofuz
parents:
diff changeset
31 using namespace clang;
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 namespace {
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 // Mocks up a language using Clang code generation as a library and
anatofuz
parents:
diff changeset
36 // tests some basic functionality there.
anatofuz
parents:
diff changeset
37 // - CodeGen->GetAddrOfGlobal
anatofuz
parents:
diff changeset
38 // - CodeGen::convertTypeForMemory
anatofuz
parents:
diff changeset
39 // - CodeGen::getLLVMFieldNumber
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 static const bool DebugThisTest = false;
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 // forward declarations
anatofuz
parents:
diff changeset
44 struct MyASTConsumer;
anatofuz
parents:
diff changeset
45 static void test_codegen_fns(MyASTConsumer *my);
anatofuz
parents:
diff changeset
46 static bool test_codegen_fns_ran;
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 // This forwards the calls to the Clang CodeGenerator
anatofuz
parents:
diff changeset
49 // so that we can test CodeGen functions while it is open.
anatofuz
parents:
diff changeset
50 // It accumulates toplevel decls in HandleTopLevelDecl and
anatofuz
parents:
diff changeset
51 // calls test_codegen_fns() in HandleTranslationUnit
anatofuz
parents:
diff changeset
52 // before forwarding that function to the CodeGenerator.
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 struct MyASTConsumer : public ASTConsumer {
anatofuz
parents:
diff changeset
55 std::unique_ptr<CodeGenerator> Builder;
anatofuz
parents:
diff changeset
56 std::vector<Decl*> toplevel_decls;
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 MyASTConsumer(std::unique_ptr<CodeGenerator> Builder_in)
anatofuz
parents:
diff changeset
59 : ASTConsumer(), Builder(std::move(Builder_in))
anatofuz
parents:
diff changeset
60 {
anatofuz
parents:
diff changeset
61 }
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 ~MyASTConsumer() { }
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 void Initialize(ASTContext &Context) override;
anatofuz
parents:
diff changeset
66 void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) override;
anatofuz
parents:
diff changeset
67 bool HandleTopLevelDecl(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
68 void HandleInlineFunctionDefinition(FunctionDecl *D) override;
anatofuz
parents:
diff changeset
69 void HandleInterestingDecl(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
70 void HandleTranslationUnit(ASTContext &Ctx) override;
anatofuz
parents:
diff changeset
71 void HandleTagDeclDefinition(TagDecl *D) override;
anatofuz
parents:
diff changeset
72 void HandleTagDeclRequiredDefinition(const TagDecl *D) override;
anatofuz
parents:
diff changeset
73 void HandleCXXImplicitFunctionInstantiation(FunctionDecl *D) override;
anatofuz
parents:
diff changeset
74 void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) override;
anatofuz
parents:
diff changeset
75 void HandleImplicitImportDecl(ImportDecl *D) override;
anatofuz
parents:
diff changeset
76 void CompleteTentativeDefinition(VarDecl *D) override;
anatofuz
parents:
diff changeset
77 void AssignInheritanceModel(CXXRecordDecl *RD) override;
anatofuz
parents:
diff changeset
78 void HandleVTable(CXXRecordDecl *RD) override;
anatofuz
parents:
diff changeset
79 ASTMutationListener *GetASTMutationListener() override;
anatofuz
parents:
diff changeset
80 ASTDeserializationListener *GetASTDeserializationListener() override;
anatofuz
parents:
diff changeset
81 void PrintStats() override;
anatofuz
parents:
diff changeset
82 bool shouldSkipFunctionBody(Decl *D) override;
anatofuz
parents:
diff changeset
83 };
anatofuz
parents:
diff changeset
84
anatofuz
parents:
diff changeset
85 void MyASTConsumer::Initialize(ASTContext &Context) {
anatofuz
parents:
diff changeset
86 Builder->Initialize(Context);
anatofuz
parents:
diff changeset
87 }
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 bool MyASTConsumer::HandleTopLevelDecl(DeclGroupRef DG) {
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) {
anatofuz
parents:
diff changeset
92 toplevel_decls.push_back(*I);
anatofuz
parents:
diff changeset
93 }
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 return Builder->HandleTopLevelDecl(DG);
anatofuz
parents:
diff changeset
96 }
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 void MyASTConsumer::HandleInlineFunctionDefinition(FunctionDecl *D) {
anatofuz
parents:
diff changeset
99 Builder->HandleInlineFunctionDefinition(D);
anatofuz
parents:
diff changeset
100 }
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 void MyASTConsumer::HandleInterestingDecl(DeclGroupRef D) {
anatofuz
parents:
diff changeset
103 Builder->HandleInterestingDecl(D);
anatofuz
parents:
diff changeset
104 }
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 void MyASTConsumer::HandleTranslationUnit(ASTContext &Context) {
anatofuz
parents:
diff changeset
107 test_codegen_fns(this);
anatofuz
parents:
diff changeset
108 // HandleTranslationUnit can close the module
anatofuz
parents:
diff changeset
109 Builder->HandleTranslationUnit(Context);
anatofuz
parents:
diff changeset
110 }
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 void MyASTConsumer::HandleTagDeclDefinition(TagDecl *D) {
anatofuz
parents:
diff changeset
113 Builder->HandleTagDeclDefinition(D);
anatofuz
parents:
diff changeset
114 }
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 void MyASTConsumer::HandleTagDeclRequiredDefinition(const TagDecl *D) {
anatofuz
parents:
diff changeset
117 Builder->HandleTagDeclRequiredDefinition(D);
anatofuz
parents:
diff changeset
118 }
anatofuz
parents:
diff changeset
119
anatofuz
parents:
diff changeset
120 void MyASTConsumer::HandleCXXImplicitFunctionInstantiation(FunctionDecl *D) {
anatofuz
parents:
diff changeset
121 Builder->HandleCXXImplicitFunctionInstantiation(D);
anatofuz
parents:
diff changeset
122 }
anatofuz
parents:
diff changeset
123
anatofuz
parents:
diff changeset
124 void MyASTConsumer::HandleTopLevelDeclInObjCContainer(DeclGroupRef D) {
anatofuz
parents:
diff changeset
125 Builder->HandleTopLevelDeclInObjCContainer(D);
anatofuz
parents:
diff changeset
126 }
anatofuz
parents:
diff changeset
127
anatofuz
parents:
diff changeset
128 void MyASTConsumer::HandleImplicitImportDecl(ImportDecl *D) {
anatofuz
parents:
diff changeset
129 Builder->HandleImplicitImportDecl(D);
anatofuz
parents:
diff changeset
130 }
anatofuz
parents:
diff changeset
131
anatofuz
parents:
diff changeset
132 void MyASTConsumer::CompleteTentativeDefinition(VarDecl *D) {
anatofuz
parents:
diff changeset
133 Builder->CompleteTentativeDefinition(D);
anatofuz
parents:
diff changeset
134 }
anatofuz
parents:
diff changeset
135
anatofuz
parents:
diff changeset
136 void MyASTConsumer::AssignInheritanceModel(CXXRecordDecl *RD) {
anatofuz
parents:
diff changeset
137 Builder->AssignInheritanceModel(RD);
anatofuz
parents:
diff changeset
138 }
anatofuz
parents:
diff changeset
139
anatofuz
parents:
diff changeset
140 void MyASTConsumer::HandleCXXStaticMemberVarInstantiation(VarDecl *VD) {
anatofuz
parents:
diff changeset
141 Builder->HandleCXXStaticMemberVarInstantiation(VD);
anatofuz
parents:
diff changeset
142 }
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 void MyASTConsumer::HandleVTable(CXXRecordDecl *RD) {
anatofuz
parents:
diff changeset
145 Builder->HandleVTable(RD);
anatofuz
parents:
diff changeset
146 }
anatofuz
parents:
diff changeset
147
anatofuz
parents:
diff changeset
148 ASTMutationListener *MyASTConsumer::GetASTMutationListener() {
anatofuz
parents:
diff changeset
149 return Builder->GetASTMutationListener();
anatofuz
parents:
diff changeset
150 }
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 ASTDeserializationListener *MyASTConsumer::GetASTDeserializationListener() {
anatofuz
parents:
diff changeset
153 return Builder->GetASTDeserializationListener();
anatofuz
parents:
diff changeset
154 }
anatofuz
parents:
diff changeset
155
anatofuz
parents:
diff changeset
156 void MyASTConsumer::PrintStats() {
anatofuz
parents:
diff changeset
157 Builder->PrintStats();
anatofuz
parents:
diff changeset
158 }
anatofuz
parents:
diff changeset
159
anatofuz
parents:
diff changeset
160 bool MyASTConsumer::shouldSkipFunctionBody(Decl *D) {
anatofuz
parents:
diff changeset
161 return Builder->shouldSkipFunctionBody(D);
anatofuz
parents:
diff changeset
162 }
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 const char TestProgram[] =
anatofuz
parents:
diff changeset
165 "struct mytest_struct { char x; short y; char p; long z; };\n"
anatofuz
parents:
diff changeset
166 "int mytest_fn(int x) { return x; }\n";
anatofuz
parents:
diff changeset
167
anatofuz
parents:
diff changeset
168 // This function has the real test code here
anatofuz
parents:
diff changeset
169 static void test_codegen_fns(MyASTConsumer *my) {
anatofuz
parents:
diff changeset
170
anatofuz
parents:
diff changeset
171 bool mytest_fn_ok = false;
anatofuz
parents:
diff changeset
172 bool mytest_struct_ok = false;
anatofuz
parents:
diff changeset
173
anatofuz
parents:
diff changeset
174 CodeGen::CodeGenModule &CGM = my->Builder->CGM();
anatofuz
parents:
diff changeset
175
anatofuz
parents:
diff changeset
176 for (auto decl : my->toplevel_decls ) {
anatofuz
parents:
diff changeset
177 if (FunctionDecl *fd = dyn_cast<FunctionDecl>(decl)) {
anatofuz
parents:
diff changeset
178 if (fd->getName() == "mytest_fn") {
anatofuz
parents:
diff changeset
179 Constant *c = my->Builder->GetAddrOfGlobal(GlobalDecl(fd), false);
anatofuz
parents:
diff changeset
180 // Verify that we got a function.
anatofuz
parents:
diff changeset
181 ASSERT_TRUE(c != NULL);
anatofuz
parents:
diff changeset
182 if (DebugThisTest) {
anatofuz
parents:
diff changeset
183 c->print(dbgs(), true);
anatofuz
parents:
diff changeset
184 dbgs() << "\n";
anatofuz
parents:
diff changeset
185 }
anatofuz
parents:
diff changeset
186 mytest_fn_ok = true;
anatofuz
parents:
diff changeset
187 }
anatofuz
parents:
diff changeset
188 } else if(clang::RecordDecl *rd = dyn_cast<RecordDecl>(decl)) {
anatofuz
parents:
diff changeset
189 if (rd->getName() == "mytest_struct") {
anatofuz
parents:
diff changeset
190 RecordDecl *def = rd->getDefinition();
anatofuz
parents:
diff changeset
191 ASSERT_TRUE(def != NULL);
anatofuz
parents:
diff changeset
192 const clang::Type *clangTy = rd->getCanonicalDecl()->getTypeForDecl();
anatofuz
parents:
diff changeset
193 ASSERT_TRUE(clangTy != NULL);
anatofuz
parents:
diff changeset
194 QualType qType = clangTy->getCanonicalTypeInternal();
anatofuz
parents:
diff changeset
195
anatofuz
parents:
diff changeset
196 // Check convertTypeForMemory
anatofuz
parents:
diff changeset
197 llvm::Type *llvmTy = CodeGen::convertTypeForMemory(CGM, qType);
anatofuz
parents:
diff changeset
198 ASSERT_TRUE(llvmTy != NULL);
anatofuz
parents:
diff changeset
199 if (DebugThisTest) {
anatofuz
parents:
diff changeset
200 llvmTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
201 dbgs() << "\n";
anatofuz
parents:
diff changeset
202 }
anatofuz
parents:
diff changeset
203
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
204 auto* structTy = dyn_cast<llvm::StructType>(llvmTy);
150
anatofuz
parents:
diff changeset
205 ASSERT_TRUE(structTy != NULL);
anatofuz
parents:
diff changeset
206
anatofuz
parents:
diff changeset
207 // Check getLLVMFieldNumber
anatofuz
parents:
diff changeset
208 FieldDecl *xField = NULL;
anatofuz
parents:
diff changeset
209 FieldDecl *yField = NULL;
anatofuz
parents:
diff changeset
210 FieldDecl *zField = NULL;
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 for (auto field : rd->fields()) {
anatofuz
parents:
diff changeset
213 if (field->getName() == "x") xField = field;
anatofuz
parents:
diff changeset
214 if (field->getName() == "y") yField = field;
anatofuz
parents:
diff changeset
215 if (field->getName() == "z") zField = field;
anatofuz
parents:
diff changeset
216 }
anatofuz
parents:
diff changeset
217
anatofuz
parents:
diff changeset
218 ASSERT_TRUE(xField != NULL);
anatofuz
parents:
diff changeset
219 ASSERT_TRUE(yField != NULL);
anatofuz
parents:
diff changeset
220 ASSERT_TRUE(zField != NULL);
anatofuz
parents:
diff changeset
221
anatofuz
parents:
diff changeset
222 unsigned x = CodeGen::getLLVMFieldNumber(CGM, rd, xField);
anatofuz
parents:
diff changeset
223 unsigned y = CodeGen::getLLVMFieldNumber(CGM, rd, yField);
anatofuz
parents:
diff changeset
224 unsigned z = CodeGen::getLLVMFieldNumber(CGM, rd, zField);
anatofuz
parents:
diff changeset
225
anatofuz
parents:
diff changeset
226 ASSERT_NE(x, y);
anatofuz
parents:
diff changeset
227 ASSERT_NE(y, z);
anatofuz
parents:
diff changeset
228
anatofuz
parents:
diff changeset
229 llvm::Type* xTy = structTy->getTypeAtIndex(x);
anatofuz
parents:
diff changeset
230 llvm::Type* yTy = structTy->getTypeAtIndex(y);
anatofuz
parents:
diff changeset
231 llvm::Type* zTy = structTy->getTypeAtIndex(z);
anatofuz
parents:
diff changeset
232
anatofuz
parents:
diff changeset
233 ASSERT_TRUE(xTy != NULL);
anatofuz
parents:
diff changeset
234 ASSERT_TRUE(yTy != NULL);
anatofuz
parents:
diff changeset
235 ASSERT_TRUE(zTy != NULL);
anatofuz
parents:
diff changeset
236
anatofuz
parents:
diff changeset
237 if (DebugThisTest) {
anatofuz
parents:
diff changeset
238 xTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
239 dbgs() << "\n";
anatofuz
parents:
diff changeset
240 yTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
241 dbgs() << "\n";
anatofuz
parents:
diff changeset
242 zTy->print(dbgs(), true);
anatofuz
parents:
diff changeset
243 dbgs() << "\n";
anatofuz
parents:
diff changeset
244 }
anatofuz
parents:
diff changeset
245
anatofuz
parents:
diff changeset
246 ASSERT_GE(xTy->getPrimitiveSizeInBits(), 1u);
anatofuz
parents:
diff changeset
247 ASSERT_GE(yTy->getPrimitiveSizeInBits(), 16u); // short is at least 16b
anatofuz
parents:
diff changeset
248 ASSERT_GE(zTy->getPrimitiveSizeInBits(), 32u); // long is at least 32b
anatofuz
parents:
diff changeset
249
anatofuz
parents:
diff changeset
250 mytest_struct_ok = true;
anatofuz
parents:
diff changeset
251 }
anatofuz
parents:
diff changeset
252 }
anatofuz
parents:
diff changeset
253 }
anatofuz
parents:
diff changeset
254
anatofuz
parents:
diff changeset
255 ASSERT_TRUE(mytest_fn_ok);
anatofuz
parents:
diff changeset
256 ASSERT_TRUE(mytest_struct_ok);
anatofuz
parents:
diff changeset
257
anatofuz
parents:
diff changeset
258 test_codegen_fns_ran = true;
anatofuz
parents:
diff changeset
259 }
anatofuz
parents:
diff changeset
260
anatofuz
parents:
diff changeset
261 TEST(CodeGenExternalTest, CodeGenExternalTest) {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
262 clang::LangOptions LO;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
263 LO.CPlusPlus = 1;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
264 LO.CPlusPlus11 = 1;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
265 TestCompiler Compiler(LO);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
266 auto CustomASTConsumer
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
267 = std::make_unique<MyASTConsumer>(std::move(Compiler.CG));
150
anatofuz
parents:
diff changeset
268
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
269 Compiler.init(TestProgram, std::move(CustomASTConsumer));
150
anatofuz
parents:
diff changeset
270
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
271 clang::ParseAST(Compiler.compiler.getSema(), false, false);
150
anatofuz
parents:
diff changeset
272
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
273 ASSERT_TRUE(test_codegen_fns_ran);
150
anatofuz
parents:
diff changeset
274 }
anatofuz
parents:
diff changeset
275
anatofuz
parents:
diff changeset
276 } // end anonymous namespace