averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add option for raw layout to move as its like type

Browse Source
This commit is contained in:
Alejandro Alonso
2024-05-28 14:34:22 -07:00
parent 231f5b5500
commit a9da08ccb6
16 changed files with 239 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
lib/IRGen/StructLayout.cpp
View File

@@ -125,11 +125,26 @@ StructLayout::StructLayout(IRGenModule &IGM, std::optional<CanType> type,
MinimumAlign = likeFixedType->getFixedAlignment();
IsFixedLayout = true;
IsKnownAlwaysFixedSize = IsFixedSize;
// @_rawLayout(like: T) has an optional `movesAsLike` which enforces that
// a value of this raw layout type should have the same move semantics
// as the like its like.
if (rawLayout->shouldMoveAsLikeType()) {
IsKnownTriviallyDestroyable = likeFixedType->isTriviallyDestroyable(ResilienceExpansion::Maximal);
IsKnownBitwiseTakable = likeFixedType->isBitwiseTakable(ResilienceExpansion::Maximal);
}
} else {
MinimumSize = Size(0);
MinimumAlign = Alignment(1);
IsFixedLayout = false;
IsKnownAlwaysFixedSize = IsNotFixedSize;
// We don't know our like type, so assume we're not known to be bitwise
// takable.
if (rawLayout->shouldMoveAsLikeType()) {
IsKnownTriviallyDestroyable = IsNotTriviallyDestroyable;
IsKnownBitwiseTakable = IsNotBitwiseTakable;
}
}
} else if (auto likeArray = rawLayout->getResolvedArrayLikeTypeAndCount(sd)) {
auto elementType = likeArray->first;