mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
79913b9595
Array literals only need to be finalized, if the array is really allocated. In case of zero elements, no allocation is done, but the empty-array singleton is used. "Finalization" means to emit an end_cow_mutation instruction on the array. As the empty-array singleton is a read-only and shared object, it's not legal to do a end_cow_mutation on it.
78 lines
2.5 KiB
C++
78 lines
2.5 KiB
C++
//===--- Varargs.h - SIL generation for (native) Swift varargs --*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// A storage structure for holding a destructured rvalue with an optional
|
|
// cleanup(s).
|
|
// Ownership of the rvalue can be "forwarded" to disable the associated
|
|
// cleanup(s).
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_LOWERING_VARARGS_H
|
|
#define SWIFT_LOWERING_VARARGS_H
|
|
|
|
#include "ManagedValue.h"
|
|
#include "swift/SIL/AbstractionPattern.h"
|
|
|
|
namespace swift {
|
|
namespace Lowering {
|
|
class SILGenFunction;
|
|
class TypeLowering;
|
|
|
|
/// Information about a varargs emission.
|
|
class VarargsInfo {
|
|
ManagedValue Array;
|
|
CleanupHandle AbortCleanup;
|
|
SILValue BaseAddress;
|
|
AbstractionPattern BasePattern;
|
|
const TypeLowering &BaseTL;
|
|
public:
|
|
VarargsInfo(ManagedValue array, CleanupHandle abortCleanup,
|
|
SILValue baseAddress, const TypeLowering &baseTL,
|
|
AbstractionPattern basePattern)
|
|
: Array(array), AbortCleanup(abortCleanup),
|
|
BaseAddress(baseAddress), BasePattern(basePattern), BaseTL(baseTL) {}
|
|
|
|
/// Return the array value. emitEndVarargs() is really the only
|
|
/// function that should be accessing this directly.
|
|
ManagedValue getArray() const {
|
|
return Array;
|
|
}
|
|
CleanupHandle getAbortCleanup() const { return AbortCleanup; }
|
|
|
|
/// An address of the lowered type.
|
|
SILValue getBaseAddress() const { return BaseAddress; }
|
|
|
|
AbstractionPattern getBaseAbstractionPattern() const {
|
|
return BasePattern;
|
|
}
|
|
|
|
const TypeLowering &getBaseTypeLowering() const {
|
|
return BaseTL;
|
|
}
|
|
};
|
|
|
|
/// Begin a varargs emission sequence.
|
|
VarargsInfo emitBeginVarargs(SILGenFunction &SGF, SILLocation loc,
|
|
CanType baseTy, CanType arrayTy,
|
|
unsigned numElements);
|
|
|
|
/// Successfully end a varargs emission sequence.
|
|
ManagedValue emitEndVarargs(SILGenFunction &SGF, SILLocation loc,
|
|
VarargsInfo &&varargs,
|
|
unsigned numElements);
|
|
|
|
} // end namespace Lowering
|
|
} // end namespace swift
|
|
|
|
#endif
|