mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
e29e035ab8
Over time I am going to be using RegionAnalysis for a series of passes that all use that same information since I am worried about RegionAnalysis computation time. With that being said, we want to make sure to eliminate the memory that RegionAnalysis uses once this series of passes have completed. What this commit does is create a pass that explicitly invalidates region analysis and explicitly places it in the pass pipeline after the series of passes. This will ensure that even if we add an additional pass, there is a strong "rattlesnake" signal to the new code author that the code needs to be placed before the region analysis invalidation and will prevent mistakes such as having to recompute the region analysis in that later pass or the later pass forgeting to invalidate the analysis.
44 lines
1.7 KiB
C++
44 lines
1.7 KiB
C++
//===--- AnalysisInvalidationTransform.h ----------------------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2023 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 defines a transform that can be used to explicitly invalidate an
|
|
/// analysis in the pass pipeline. It is intended to be used in a situation
|
|
/// where passes are reusing state from an analysis and one wants to explicitly
|
|
/// placed into the pass pipeline that it is expected that the analysis be
|
|
/// invalidated after the series of passes complete. If we were to just place
|
|
/// the invalidation in the last run of the passes, it is possible for a
|
|
/// programmer later to add another pass to the end of the pipeline. This would
|
|
/// then force recomputation and may prevent invalidation from happening. So by
|
|
/// doing this, it is clear to someone adding a new pass that this needs to
|
|
/// happen last.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_SILOPTIMIZER_UTILS_ANALYSISINVALIDATIONTRANSFORM_H
|
|
#define SWIFT_SILOPTIMIZER_UTILS_ANALYSISINVALIDATIONTRANSFORM_H
|
|
|
|
#include "swift/SILOptimizer/Analysis/Analysis.h"
|
|
#include "swift/SILOptimizer/PassManager/Transforms.h"
|
|
|
|
namespace swift {
|
|
|
|
template <typename AnalysisTy>
|
|
struct AnalysisInvalidationTransform : public SILFunctionTransform {
|
|
void run() override {
|
|
getAnalysis<AnalysisTy>()->invalidate();
|
|
}
|
|
};
|
|
|
|
} // namespace swift
|
|
|
|
#endif
|