blob: 43fa3d930e048858279990f1264ddd163082599c [file] [log] [blame]
//===--- TypeExpansionAnalysis.cpp - Type Expansion Analysis --------------===//
// This source file is part of the 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 for license information
// See for the list of Swift project authors
#define DEBUG_TYPE "typeexpansion-analysis"
#include "swift/SILOptimizer/Analysis/TypeExpansionAnalysis.h"
#include "swift/SIL/SILInstruction.h"
#include "swift/SIL/SILModule.h"
#include "swift/SILOptimizer/Utils/InstOptUtils.h"
#include "llvm/Support/Debug.h"
using namespace swift;
// The TypeExpansion Cache must not grow beyond this size.
// We limit the size of the MB cache to 2**12 because we want to limit the
// memory usage of this cache.
static const int TypeExpansionAnalysisMaxCacheSize = 4096;
const ProjectionPathList &
TypeExpansionAnalysis::getTypeExpansion(SILType B, SILModule *Mod,
TypeExpansionContext context) {
// Check whether we have the type expansion.
auto key = std::make_pair(B, context);
auto Iter = ExpansionCache.find(key);
if (Iter != ExpansionCache.end()) {
return Iter->second;
// Don't expand large types. This would defeat keeping them in memory.
if (!shouldExpand(*Mod, B)) {
// Push the empty projection path.
ProjectionPath P(B);
return ExpansionCache[key];
// Flush the cache if the size of the cache is too large.
if (ExpansionCache.size() > TypeExpansionAnalysisMaxCacheSize) {
// Build the type expansion for the leaf nodes.
ProjectionPath::expandTypeIntoLeafProjectionPaths(B, Mod, context,
return ExpansionCache[key];
SILAnalysis *swift::createTypeExpansionAnalysis(SILModule *M) {
return new TypeExpansionAnalysis(M);