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

[ownership] Make destructure_{struct,tuple} true forwarding instructions instead of inferring from results/arguments.

Browse Source
This commit is contained in:
Michael Gottesman
2020-11-08 21:16:45 -08:00
parent d74dbebf3b
commit d1b555f59a
3 changed files with 77 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
include/swift/SIL/SILInstruction.h
View File

@@ -8753,6 +8753,23 @@ SILFunction *ApplyInstBase<Impl, Base, false>::getCalleeFunction() const {
}
}
class OwnershipForwardingMultipleValueInstruction
: public MultipleValueInstruction {
ValueOwnershipKind ownershipKind;
public:
OwnershipForwardingMultipleValueInstruction(SILInstructionKind kind,
SILDebugLocation loc,
ValueOwnershipKind ownershipKind)
: MultipleValueInstruction(kind, loc), ownershipKind(ownershipKind) {}
/// Returns the preferred ownership kind of this multiple value instruction.
ValueOwnershipKind getOwnershipKind() const { return ownershipKind; }
void setOwnershipKind(ValueOwnershipKind newOwnershipKind) {
ownershipKind = newOwnershipKind;
}
};
/// A result for the destructure_struct instruction. See documentation for
/// destructure_struct for more information.
class DestructureStructResult final : public MultipleValueInstructionResult {
@@ -8776,15 +8793,15 @@ public:
/// struct's fields.
class DestructureStructInst final
: public UnaryInstructionBase<SILInstructionKind::DestructureStructInst,
MultipleValueInstruction>,
public MultipleValueInstructionTrailingObjects<
DestructureStructInst, DestructureStructResult> {
OwnershipForwardingMultipleValueInstruction>,
public MultipleValueInstructionTrailingObjects<DestructureStructInst,
DestructureStructResult> {
friend TrailingObjects;
DestructureStructInst(SILModule &M, SILDebugLocation Loc, SILValue Operand,
ArrayRef<SILType> Types,
ArrayRef<ValueOwnershipKind> OwnershipKinds)
: UnaryInstructionBase(Loc, Operand),
: UnaryInstructionBase(Loc, Operand, Operand.getOwnershipKind()),
MultipleValueInstructionTrailingObjects(this, Types, OwnershipKinds) {}
public:
@@ -8825,15 +8842,15 @@ public:
/// tuples's elements.
class DestructureTupleInst final
: public UnaryInstructionBase<SILInstructionKind::DestructureTupleInst,
MultipleValueInstruction>,
public MultipleValueInstructionTrailingObjects<
DestructureTupleInst, DestructureTupleResult> {
OwnershipForwardingMultipleValueInstruction>,
public MultipleValueInstructionTrailingObjects<DestructureTupleInst,
DestructureTupleResult> {
friend TrailingObjects;
DestructureTupleInst(SILModule &M, SILDebugLocation Loc, SILValue Operand,
ArrayRef<SILType> Types,
ArrayRef<ValueOwnershipKind> OwnershipKinds)
: UnaryInstructionBase(Loc, Operand),
: UnaryInstructionBase(Loc, Operand, Operand.getOwnershipKind()),
MultipleValueInstructionTrailingObjects(this, Types, OwnershipKinds) {}
public: