1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80
|
//===--- SILDifferentiabilityWitness.cpp - Differentiability witnesses ----===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2019 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
//
//===----------------------------------------------------------------------===//
#define DEBUG_TYPE "sil-differentiability-witness"
#include "swift/AST/ASTMangler.h"
#include "swift/SIL/SILDifferentiabilityWitness.h"
#include "swift/SIL/SILModule.h"
using namespace swift;
SILDifferentiabilityWitness *SILDifferentiabilityWitness::createDeclaration(
SILModule &module, SILLinkage linkage, SILFunction *originalFunction,
DifferentiabilityKind kind, IndexSubset *parameterIndices,
IndexSubset *resultIndices, GenericSignature derivativeGenSig,
const DeclAttribute *attribute) {
auto *diffWitness = new (module) SILDifferentiabilityWitness(
module, linkage, originalFunction, kind, parameterIndices, resultIndices,
derivativeGenSig, /*jvp*/ nullptr, /*vjp*/ nullptr,
/*isDeclaration*/ true, /*isSerialized*/ false, attribute);
// Register the differentiability witness in the module.
Mangle::ASTMangler mangler;
auto mangledKey = mangler.mangleSILDifferentiabilityWitness(
diffWitness->getOriginalFunction()->getName(),
diffWitness->getKind(), diffWitness->getConfig());
assert(!module.DifferentiabilityWitnessMap.count(mangledKey) &&
"Cannot create duplicate differentiability witness in a module");
module.DifferentiabilityWitnessMap[mangledKey] = diffWitness;
module.DifferentiabilityWitnessesByFunction[originalFunction->getName()]
.push_back(diffWitness);
module.getDifferentiabilityWitnessList().push_back(diffWitness);
return diffWitness;
}
SILDifferentiabilityWitness *SILDifferentiabilityWitness::createDefinition(
SILModule &module, SILLinkage linkage, SILFunction *originalFunction,
DifferentiabilityKind kind, IndexSubset *parameterIndices,
IndexSubset *resultIndices, GenericSignature derivativeGenSig,
SILFunction *jvp, SILFunction *vjp, bool isSerialized,
const DeclAttribute *attribute) {
auto *diffWitness = new (module) SILDifferentiabilityWitness(
module, linkage, originalFunction, kind, parameterIndices, resultIndices,
derivativeGenSig, jvp, vjp, /*isDeclaration*/ false, isSerialized,
attribute);
// Register the differentiability witness in the module.
Mangle::ASTMangler mangler;
auto mangledKey = mangler.mangleSILDifferentiabilityWitness(
diffWitness->getOriginalFunction()->getName(),
diffWitness->getKind(), diffWitness->getConfig());
assert(!module.DifferentiabilityWitnessMap.count(mangledKey) &&
"Cannot create duplicate differentiability witness in a module");
module.DifferentiabilityWitnessMap[mangledKey] = diffWitness;
module.DifferentiabilityWitnessesByFunction[originalFunction->getName()]
.push_back(diffWitness);
module.getDifferentiabilityWitnessList().push_back(diffWitness);
return diffWitness;
}
void SILDifferentiabilityWitness::convertToDefinition(SILFunction *jvp,
SILFunction *vjp,
bool isSerialized) {
assert(IsDeclaration);
IsDeclaration = false;
JVP = jvp;
VJP = vjp;
IsSerialized = isSerialized;
}
SILDifferentiabilityWitnessKey SILDifferentiabilityWitness::getKey() const {
return {getOriginalFunction()->getName(), getKind(), getConfig()};
}
|