annotate clang/lib/Frontend/LayoutOverrideSource.cpp @ 176:de4ac79aef9d

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 17:13:11 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===--- LayoutOverrideSource.cpp --Override Record Layouts ---------------===//
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 #include "clang/Frontend/LayoutOverrideSource.h"
anatofuz
parents:
diff changeset
9 #include "clang/AST/Decl.h"
anatofuz
parents:
diff changeset
10 #include "clang/Basic/CharInfo.h"
anatofuz
parents:
diff changeset
11 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
12 #include <fstream>
anatofuz
parents:
diff changeset
13 #include <string>
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 using namespace clang;
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 /// Parse a simple identifier.
anatofuz
parents:
diff changeset
18 static std::string parseName(StringRef S) {
anatofuz
parents:
diff changeset
19 if (S.empty() || !isIdentifierHead(S[0]))
anatofuz
parents:
diff changeset
20 return "";
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 unsigned Offset = 1;
anatofuz
parents:
diff changeset
23 while (Offset < S.size() && isIdentifierBody(S[Offset]))
anatofuz
parents:
diff changeset
24 ++Offset;
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 return S.substr(0, Offset).str();
anatofuz
parents:
diff changeset
27 }
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 LayoutOverrideSource::LayoutOverrideSource(StringRef Filename) {
anatofuz
parents:
diff changeset
30 std::ifstream Input(Filename.str().c_str());
anatofuz
parents:
diff changeset
31 if (!Input.is_open())
anatofuz
parents:
diff changeset
32 return;
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 // Parse the output of -fdump-record-layouts.
anatofuz
parents:
diff changeset
35 std::string CurrentType;
anatofuz
parents:
diff changeset
36 Layout CurrentLayout;
anatofuz
parents:
diff changeset
37 bool ExpectingType = false;
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 while (Input.good()) {
anatofuz
parents:
diff changeset
40 std::string Line;
anatofuz
parents:
diff changeset
41 getline(Input, Line);
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 StringRef LineStr(Line);
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 // Determine whether the following line will start a
anatofuz
parents:
diff changeset
46 if (LineStr.find("*** Dumping AST Record Layout") != StringRef::npos) {
anatofuz
parents:
diff changeset
47 // Flush the last type/layout, if there is one.
anatofuz
parents:
diff changeset
48 if (!CurrentType.empty())
anatofuz
parents:
diff changeset
49 Layouts[CurrentType] = CurrentLayout;
anatofuz
parents:
diff changeset
50 CurrentLayout = Layout();
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 ExpectingType = true;
anatofuz
parents:
diff changeset
53 continue;
anatofuz
parents:
diff changeset
54 }
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 // If we're expecting a type, grab it.
anatofuz
parents:
diff changeset
57 if (ExpectingType) {
anatofuz
parents:
diff changeset
58 ExpectingType = false;
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 StringRef::size_type Pos;
anatofuz
parents:
diff changeset
61 if ((Pos = LineStr.find("struct ")) != StringRef::npos)
anatofuz
parents:
diff changeset
62 LineStr = LineStr.substr(Pos + strlen("struct "));
anatofuz
parents:
diff changeset
63 else if ((Pos = LineStr.find("class ")) != StringRef::npos)
anatofuz
parents:
diff changeset
64 LineStr = LineStr.substr(Pos + strlen("class "));
anatofuz
parents:
diff changeset
65 else if ((Pos = LineStr.find("union ")) != StringRef::npos)
anatofuz
parents:
diff changeset
66 LineStr = LineStr.substr(Pos + strlen("union "));
anatofuz
parents:
diff changeset
67 else
anatofuz
parents:
diff changeset
68 continue;
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 // Find the name of the type.
anatofuz
parents:
diff changeset
71 CurrentType = parseName(LineStr);
anatofuz
parents:
diff changeset
72 CurrentLayout = Layout();
anatofuz
parents:
diff changeset
73 continue;
anatofuz
parents:
diff changeset
74 }
anatofuz
parents:
diff changeset
75
anatofuz
parents:
diff changeset
76 // Check for the size of the type.
anatofuz
parents:
diff changeset
77 StringRef::size_type Pos = LineStr.find(" Size:");
anatofuz
parents:
diff changeset
78 if (Pos != StringRef::npos) {
anatofuz
parents:
diff changeset
79 // Skip past the " Size:" prefix.
anatofuz
parents:
diff changeset
80 LineStr = LineStr.substr(Pos + strlen(" Size:"));
anatofuz
parents:
diff changeset
81
anatofuz
parents:
diff changeset
82 unsigned long long Size = 0;
anatofuz
parents:
diff changeset
83 (void)LineStr.getAsInteger(10, Size);
anatofuz
parents:
diff changeset
84 CurrentLayout.Size = Size;
anatofuz
parents:
diff changeset
85 continue;
anatofuz
parents:
diff changeset
86 }
anatofuz
parents:
diff changeset
87
anatofuz
parents:
diff changeset
88 // Check for the alignment of the type.
anatofuz
parents:
diff changeset
89 Pos = LineStr.find("Alignment:");
anatofuz
parents:
diff changeset
90 if (Pos != StringRef::npos) {
anatofuz
parents:
diff changeset
91 // Skip past the "Alignment:" prefix.
anatofuz
parents:
diff changeset
92 LineStr = LineStr.substr(Pos + strlen("Alignment:"));
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 unsigned long long Alignment = 0;
anatofuz
parents:
diff changeset
95 (void)LineStr.getAsInteger(10, Alignment);
anatofuz
parents:
diff changeset
96 CurrentLayout.Align = Alignment;
anatofuz
parents:
diff changeset
97 continue;
anatofuz
parents:
diff changeset
98 }
anatofuz
parents:
diff changeset
99
anatofuz
parents:
diff changeset
100 // Check for the size/alignment of the type.
anatofuz
parents:
diff changeset
101 Pos = LineStr.find("sizeof=");
anatofuz
parents:
diff changeset
102 if (Pos != StringRef::npos) {
anatofuz
parents:
diff changeset
103 /* Skip past the sizeof= prefix. */
anatofuz
parents:
diff changeset
104 LineStr = LineStr.substr(Pos + strlen("sizeof="));
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 // Parse size.
anatofuz
parents:
diff changeset
107 unsigned long long Size = 0;
anatofuz
parents:
diff changeset
108 (void)LineStr.getAsInteger(10, Size);
anatofuz
parents:
diff changeset
109 CurrentLayout.Size = Size;
anatofuz
parents:
diff changeset
110
anatofuz
parents:
diff changeset
111 Pos = LineStr.find("align=");
anatofuz
parents:
diff changeset
112 if (Pos != StringRef::npos) {
anatofuz
parents:
diff changeset
113 /* Skip past the align= prefix. */
anatofuz
parents:
diff changeset
114 LineStr = LineStr.substr(Pos + strlen("align="));
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 // Parse alignment.
anatofuz
parents:
diff changeset
117 unsigned long long Alignment = 0;
anatofuz
parents:
diff changeset
118 (void)LineStr.getAsInteger(10, Alignment);
anatofuz
parents:
diff changeset
119 CurrentLayout.Align = Alignment;
anatofuz
parents:
diff changeset
120 }
anatofuz
parents:
diff changeset
121
anatofuz
parents:
diff changeset
122 continue;
anatofuz
parents:
diff changeset
123 }
anatofuz
parents:
diff changeset
124
anatofuz
parents:
diff changeset
125 // Check for the field offsets of the type.
anatofuz
parents:
diff changeset
126 Pos = LineStr.find("FieldOffsets: [");
anatofuz
parents:
diff changeset
127 if (Pos == StringRef::npos)
anatofuz
parents:
diff changeset
128 continue;
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 LineStr = LineStr.substr(Pos + strlen("FieldOffsets: ["));
anatofuz
parents:
diff changeset
131 while (!LineStr.empty() && isDigit(LineStr[0])) {
anatofuz
parents:
diff changeset
132 // Parse this offset.
anatofuz
parents:
diff changeset
133 unsigned Idx = 1;
anatofuz
parents:
diff changeset
134 while (Idx < LineStr.size() && isDigit(LineStr[Idx]))
anatofuz
parents:
diff changeset
135 ++Idx;
anatofuz
parents:
diff changeset
136
anatofuz
parents:
diff changeset
137 unsigned long long Offset = 0;
anatofuz
parents:
diff changeset
138 (void)LineStr.substr(0, Idx).getAsInteger(10, Offset);
anatofuz
parents:
diff changeset
139
anatofuz
parents:
diff changeset
140 CurrentLayout.FieldOffsets.push_back(Offset);
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 // Skip over this offset, the following comma, and any spaces.
anatofuz
parents:
diff changeset
143 LineStr = LineStr.substr(Idx + 1);
anatofuz
parents:
diff changeset
144 while (!LineStr.empty() && isWhitespace(LineStr[0]))
anatofuz
parents:
diff changeset
145 LineStr = LineStr.substr(1);
anatofuz
parents:
diff changeset
146 }
anatofuz
parents:
diff changeset
147 }
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 // Flush the last type/layout, if there is one.
anatofuz
parents:
diff changeset
150 if (!CurrentType.empty())
anatofuz
parents:
diff changeset
151 Layouts[CurrentType] = CurrentLayout;
anatofuz
parents:
diff changeset
152 }
anatofuz
parents:
diff changeset
153
anatofuz
parents:
diff changeset
154 bool
anatofuz
parents:
diff changeset
155 LayoutOverrideSource::layoutRecordType(const RecordDecl *Record,
anatofuz
parents:
diff changeset
156 uint64_t &Size, uint64_t &Alignment,
anatofuz
parents:
diff changeset
157 llvm::DenseMap<const FieldDecl *, uint64_t> &FieldOffsets,
anatofuz
parents:
diff changeset
158 llvm::DenseMap<const CXXRecordDecl *, CharUnits> &BaseOffsets,
anatofuz
parents:
diff changeset
159 llvm::DenseMap<const CXXRecordDecl *, CharUnits> &VirtualBaseOffsets)
anatofuz
parents:
diff changeset
160 {
anatofuz
parents:
diff changeset
161 // We can't override unnamed declarations.
anatofuz
parents:
diff changeset
162 if (!Record->getIdentifier())
anatofuz
parents:
diff changeset
163 return false;
anatofuz
parents:
diff changeset
164
anatofuz
parents:
diff changeset
165 // Check whether we have a layout for this record.
anatofuz
parents:
diff changeset
166 llvm::StringMap<Layout>::iterator Known = Layouts.find(Record->getName());
anatofuz
parents:
diff changeset
167 if (Known == Layouts.end())
anatofuz
parents:
diff changeset
168 return false;
anatofuz
parents:
diff changeset
169
anatofuz
parents:
diff changeset
170 // Provide field layouts.
anatofuz
parents:
diff changeset
171 unsigned NumFields = 0;
anatofuz
parents:
diff changeset
172 for (RecordDecl::field_iterator F = Record->field_begin(),
anatofuz
parents:
diff changeset
173 FEnd = Record->field_end();
anatofuz
parents:
diff changeset
174 F != FEnd; ++F, ++NumFields) {
anatofuz
parents:
diff changeset
175 if (NumFields >= Known->second.FieldOffsets.size())
anatofuz
parents:
diff changeset
176 continue;
anatofuz
parents:
diff changeset
177
anatofuz
parents:
diff changeset
178 FieldOffsets[*F] = Known->second.FieldOffsets[NumFields];
anatofuz
parents:
diff changeset
179 }
anatofuz
parents:
diff changeset
180
anatofuz
parents:
diff changeset
181 // Wrong number of fields.
anatofuz
parents:
diff changeset
182 if (NumFields != Known->second.FieldOffsets.size())
anatofuz
parents:
diff changeset
183 return false;
anatofuz
parents:
diff changeset
184
anatofuz
parents:
diff changeset
185 Size = Known->second.Size;
anatofuz
parents:
diff changeset
186 Alignment = Known->second.Align;
anatofuz
parents:
diff changeset
187 return true;
anatofuz
parents:
diff changeset
188 }
anatofuz
parents:
diff changeset
189
anatofuz
parents:
diff changeset
190 LLVM_DUMP_METHOD void LayoutOverrideSource::dump() {
anatofuz
parents:
diff changeset
191 raw_ostream &OS = llvm::errs();
anatofuz
parents:
diff changeset
192 for (llvm::StringMap<Layout>::iterator L = Layouts.begin(),
anatofuz
parents:
diff changeset
193 LEnd = Layouts.end();
anatofuz
parents:
diff changeset
194 L != LEnd; ++L) {
anatofuz
parents:
diff changeset
195 OS << "Type: blah " << L->first() << '\n';
anatofuz
parents:
diff changeset
196 OS << " Size:" << L->second.Size << '\n';
anatofuz
parents:
diff changeset
197 OS << " Alignment:" << L->second.Align << '\n';
anatofuz
parents:
diff changeset
198 OS << " FieldOffsets: [";
anatofuz
parents:
diff changeset
199 for (unsigned I = 0, N = L->second.FieldOffsets.size(); I != N; ++I) {
anatofuz
parents:
diff changeset
200 if (I)
anatofuz
parents:
diff changeset
201 OS << ", ";
anatofuz
parents:
diff changeset
202 OS << L->second.FieldOffsets[I];
anatofuz
parents:
diff changeset
203 }
anatofuz
parents:
diff changeset
204 OS << "]\n";
anatofuz
parents:
diff changeset
205 }
anatofuz
parents:
diff changeset
206 }
anatofuz
parents:
diff changeset
207