mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-01 08:05:00 +01:00
Nicholas Bishop
2c91e5f5de
Add a `SpecificID` arg to `Class::GetStructTypeFields`, and use that in `CalculateCppFieldOffsets`. Also include the specific in the `clang_decls` lookup. This has no immediate effect since no specific class fields are being exported yet, but will be useful for exporting generic classes.
95 lines
3.5 KiB
C++
95 lines
3.5 KiB
C++
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
#include "toolchain/sem_ir/read_only_ast_source.h"
|
|
|
|
namespace Carbon::SemIR {
|
|
|
|
char ReadOnlyASTSource::id;
|
|
|
|
// Get the field offset for each field in a class.
|
|
//
|
|
// Returns true on success, false if any error occurs.
|
|
static auto CalculateCppFieldOffsets(
|
|
const File& sem_ir, ClassType class_type,
|
|
llvm::DenseMap<const clang::FieldDecl*, uint64_t>& field_offsets) -> bool {
|
|
auto class_info = sem_ir.classes().Get(class_type.class_id);
|
|
const auto& class_scope = sem_ir.name_scopes().Get(class_info.scope_id);
|
|
|
|
auto class_layout = SemIR::ObjectLayout::Empty();
|
|
for (const auto& struct_field :
|
|
class_info.GetStructTypeFields(sem_ir, class_type.specific_id)) {
|
|
auto field_type_id =
|
|
sem_ir.types().GetTypeIdForTypeInstId(struct_field.type_inst_id);
|
|
auto field_layout =
|
|
sem_ir.types().GetCompleteTypeInfo(field_type_id).object_layout;
|
|
|
|
// Use the field's name to look up the corresponding entry in the
|
|
// class. If it's a `FieldDecl`, write out the offset of the
|
|
// corresponding `clang::FieldDecl`.
|
|
auto class_field =
|
|
LookupClassFieldByStructField(sem_ir, class_scope, struct_field);
|
|
if (class_field) {
|
|
const auto* clang_decl = sem_ir.clang_decls().Lookup(
|
|
class_field->inst_id, class_type.specific_id);
|
|
if (!clang_decl) {
|
|
return false;
|
|
}
|
|
|
|
auto* cpp_field_decl = cast<clang::FieldDecl>(clang_decl->decl());
|
|
field_offsets.insert(
|
|
{cpp_field_decl, class_layout.FieldOffset(field_layout).bits()});
|
|
}
|
|
|
|
class_layout.AppendField(field_layout);
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
auto ReadOnlyASTSource::layoutRecordType(
|
|
const clang::RecordDecl* record_decl, uint64_t& size, uint64_t& alignment,
|
|
llvm::DenseMap<const clang::FieldDecl*, uint64_t>& field_offsets,
|
|
llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>& base_offsets,
|
|
llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>&
|
|
vbase_offsets) -> bool {
|
|
auto carbon_class_info = GetAsCarbonOwnedClass(sem_ir_, record_decl);
|
|
if (!carbon_class_info) {
|
|
return false;
|
|
}
|
|
auto& [class_type_id, class_type] = *carbon_class_info;
|
|
|
|
// Set the overall size and alignment. We round up the size to an integer
|
|
// number of bytes in order to avoid surprising Clang too much.
|
|
auto layout =
|
|
sem_ir_.types().GetCompleteTypeInfo(class_type_id).object_layout;
|
|
size = layout.size.bytes() * 8;
|
|
alignment = layout.alignment.bits();
|
|
|
|
// Fill in `field_offsets`.
|
|
CalculateCppFieldOffsets(sem_ir_, class_type, field_offsets);
|
|
|
|
// Add offset for base class, if any.
|
|
if (const auto* class_decl = dyn_cast<clang::CXXRecordDecl>(record_decl);
|
|
class_decl && !class_decl->bases().empty()) {
|
|
CARBON_CHECK(class_decl->getNumBases() == 1,
|
|
"Carbon class with multiple bases");
|
|
const auto& base = *class_decl->bases_begin();
|
|
// TODO: If this class introduced a vptr, the base will be at an offset of
|
|
// `sizeof(void*)`, not 0.
|
|
base_offsets.insert(
|
|
{base.getType()->getAsCXXRecordDecl()->getCanonicalDecl(),
|
|
clang::CharUnits::Zero()});
|
|
|
|
// TODO: Support deriving from a C++ class with virtual bases.
|
|
CARBON_CHECK(class_decl->getNumVBases() == 0,
|
|
"Carbon class with multiple bases");
|
|
static_cast<void>(vbase_offsets);
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
} // namespace Carbon::SemIR
|