mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
6b9a3051e3
Motivated by need for protocol-based dynamic dispatch, which hasn't been possible in Embedded Swift due to a full ban on existentials. This lifts that restriction but only for class-bound existentials: Class-bound existentials are already (even in desktop Swift) much more lightweight than full existentials, as they don't need type metadata, their containers are typically 2 words only (reference + wtable pointer), don't incur copies (only retains+releases). Included in this PR: [x] Non-generic class-bound existentials, executable tests for those. [x] Extension methods on protocols and using those from a class-bound existential. [x] RuntimeEffects now differentiate between Existential and ExistentialClassBound. [x] PerformanceDiagnostics don't flag ExistentialClassBound in Embedded Swift. [x] WTables are generated in IRGen when needed. Left for follow-up PRs: [ ] Generic classes support
87 lines
3.3 KiB
C++
87 lines
3.3 KiB
C++
//===--- GenDecl.h - Swift IR generation for some decl ----------*- 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file provides the private interface to some decl emission code.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_IRGEN_GENDECL_H
|
|
#define SWIFT_IRGEN_GENDECL_H
|
|
|
|
#include "DebugTypeInfo.h"
|
|
#include "IRGen.h"
|
|
#include "swift/Basic/OptimizationMode.h"
|
|
#include "swift/SIL/SILLocation.h"
|
|
#include "clang/AST/DeclCXX.h"
|
|
#include "llvm/IR/CallingConv.h"
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
namespace llvm {
|
|
class AttributeList;
|
|
class Function;
|
|
class FunctionType;
|
|
class CallBase;
|
|
}
|
|
namespace swift {
|
|
namespace irgen {
|
|
class IRGenModule;
|
|
class LinkEntity;
|
|
class LinkInfo;
|
|
class Signature;
|
|
|
|
void updateLinkageForDefinition(IRGenModule &IGM,
|
|
llvm::GlobalValue *global,
|
|
const LinkEntity &entity);
|
|
|
|
llvm::Function *createFunction(
|
|
IRGenModule &IGM, LinkInfo &linkInfo, const Signature &signature,
|
|
llvm::Function *insertBefore = nullptr,
|
|
OptimizationMode FuncOptMode = OptimizationMode::NotSet,
|
|
StackProtectorMode stackProtect = StackProtectorMode::NoStackProtector);
|
|
|
|
llvm::GlobalVariable *
|
|
createVariable(IRGenModule &IGM, LinkInfo &linkInfo, llvm::Type *objectType,
|
|
Alignment alignment, DebugTypeInfo DebugType = DebugTypeInfo(),
|
|
std::optional<SILLocation> DebugLoc = std::nullopt,
|
|
StringRef DebugName = StringRef());
|
|
|
|
llvm::GlobalVariable *
|
|
createLinkerDirectiveVariable(IRGenModule &IGM, StringRef Name);
|
|
|
|
void disableAddressSanitizer(IRGenModule &IGM, llvm::GlobalVariable *var);
|
|
|
|
/// If the calling convention for `ctor` doesn't match the calling convention
|
|
/// that we assumed for it when we imported it as `initializer`, emit and
|
|
/// return a thunk that conforms to the assumed calling convention. The thunk
|
|
/// is marked `alwaysinline`, so it doesn't generate any runtime overhead.
|
|
/// If the assumed calling convention was correct, just return `ctor`.
|
|
///
|
|
/// See also comments in CXXMethodConventions in SIL/IR/SILFunctionType.cpp.
|
|
llvm::Constant *
|
|
emitCXXConstructorThunkIfNeeded(IRGenModule &IGM, Signature signature,
|
|
const clang::CXXConstructorDecl *ctor,
|
|
StringRef name, llvm::Constant *ctorAddress);
|
|
|
|
llvm::CallBase *emitCXXConstructorCall(IRGenFunction &IGF,
|
|
const clang::CXXConstructorDecl *ctor,
|
|
llvm::FunctionType *ctorFnType,
|
|
llvm::Constant *ctorAddress,
|
|
llvm::ArrayRef<llvm::Value *> args);
|
|
|
|
bool hasValidSignatureForEmbedded(SILFunction *f);
|
|
}
|
|
}
|
|
|
|
extern llvm::cl::opt<bool> UseBasicDynamicReplacement;
|
|
|
|
#endif
|