mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
102 lines
3.6 KiB
C++
102 lines
3.6 KiB
C++
//===--- NonLocalAccessBlockAnalysis.h - Nonlocal end_access ----*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2021 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// Cache the set of blocks that contain a non-local end_access, which is a rare
|
|
/// occurrence. Optimizations that are driven by a known-use analysis, such as
|
|
/// CanonicalOSSA, don't need to scan instructions that are unrelated to the SSA
|
|
/// def-use graph. However, they may still need to be aware of unrelated access
|
|
/// scope boundaries. By querying this analysis, they can avoid scanning all
|
|
/// instructions just to deal with the extremely rare case of an end_access that
|
|
/// spans blocks within the relevant SSA lifetime.
|
|
///
|
|
/// By default, this analysis is invalidated whenever instructions or blocks are
|
|
/// changed, but it should ideally be preserved by passes that invalidate
|
|
/// instructions but don't create any new access scopes or move end_access
|
|
/// across blocks, which is unusual.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_SILOPTIMIZER_ANALYSIS_NONLOCALACCESSBLOCKS_H
|
|
#define SWIFT_SILOPTIMIZER_ANALYSIS_NONLOCALACCESSBLOCKS_H
|
|
|
|
#include "swift/Basic/Assertions.h"
|
|
#include "swift/Basic/Compiler.h"
|
|
#include "swift/SILOptimizer/Analysis/Analysis.h"
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
|
|
|
namespace swift {
|
|
|
|
class SILBasicBlock;
|
|
class SILFunction;
|
|
|
|
class NonLocalAccessBlocks {
|
|
friend class NonLocalAccessBlockAnalysis;
|
|
|
|
SILFunction *function;
|
|
llvm::SmallPtrSet<SILBasicBlock *, 4> accessBlocks;
|
|
|
|
public:
|
|
NonLocalAccessBlocks(SILFunction *function) : function(function) {}
|
|
|
|
SILFunction *getFunction() const { return function; }
|
|
|
|
bool containsNonLocalEndAccess(SILBasicBlock *block) const {
|
|
return accessBlocks.count(block);
|
|
}
|
|
|
|
/// Perform NonLocalAccessBlockAnalysis for this function. Populate
|
|
/// this->accessBlocks with all blocks containing a non-local end_access.
|
|
void compute();
|
|
};
|
|
|
|
class NonLocalAccessBlockAnalysis
|
|
: public FunctionAnalysisBase<NonLocalAccessBlocks> {
|
|
public:
|
|
static bool classof(const SILAnalysis *S) {
|
|
return S->getKind() == SILAnalysisKind::NonLocalAccessBlock;
|
|
}
|
|
NonLocalAccessBlockAnalysis()
|
|
: FunctionAnalysisBase<NonLocalAccessBlocks>(
|
|
SILAnalysisKind::NonLocalAccessBlock) {}
|
|
|
|
NonLocalAccessBlockAnalysis(const NonLocalAccessBlockAnalysis &) = delete;
|
|
|
|
NonLocalAccessBlockAnalysis &
|
|
operator=(const NonLocalAccessBlockAnalysis &) = delete;
|
|
|
|
protected:
|
|
virtual std::unique_ptr<NonLocalAccessBlocks>
|
|
newFunctionAnalysis(SILFunction *function) override {
|
|
auto result = std::make_unique<NonLocalAccessBlocks>(function);
|
|
result->compute();
|
|
return result;
|
|
}
|
|
|
|
virtual bool shouldInvalidate(SILAnalysis::InvalidationKind kind) override {
|
|
return kind & InvalidationKind::BranchesAndInstructions;
|
|
}
|
|
|
|
SWIFT_ASSERT_ONLY_DECL(
|
|
virtual void verify(NonLocalAccessBlocks *accessBlocks) const override {
|
|
NonLocalAccessBlocks checkAccessBlocks(accessBlocks->function);
|
|
checkAccessBlocks.compute();
|
|
assert(llvm::all_of(checkAccessBlocks.accessBlocks,
|
|
[&](SILBasicBlock *bb) {
|
|
return accessBlocks->accessBlocks.count(bb);
|
|
}));
|
|
})
|
|
};
|
|
|
|
} // end namespace swift
|
|
|
|
#endif
|