mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ef8825bfe6
LLVM has removed llvm::Optional, move over to std::optional. Also clang-format to fix up all the renamed #includes.
127 lines
3.8 KiB
C++
127 lines
3.8 KiB
C++
//===--- ARCMatchingSet.h ---------------------------------------*- 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_SILOPTIMIZER_PASSMANAGER_GLOBALARCPAIRINGANALYSIS_H
|
|
#define SWIFT_SILOPTIMIZER_PASSMANAGER_GLOBALARCPAIRINGANALYSIS_H
|
|
|
|
#include "GlobalARCSequenceDataflow.h"
|
|
#include "GlobalLoopARCSequenceDataflow.h"
|
|
#include "swift/SIL/SILValue.h"
|
|
#include "swift/SILOptimizer/Utils/LoopUtils.h"
|
|
#include "swift/SILOptimizer/Analysis/RCIdentityAnalysis.h"
|
|
#include "llvm/ADT/SetVector.h"
|
|
|
|
namespace swift {
|
|
|
|
class SILInstruction;
|
|
class SILFunction;
|
|
class AliasAnalysis;
|
|
class PostOrderAnalysis;
|
|
class LoopRegionFunctionInfo;
|
|
class SILLoopInfo;
|
|
class RCIdentityFunctionInfo;
|
|
|
|
/// A set of matching reference count increments, decrements, increment
|
|
/// insertion pts, and decrement insertion pts.
|
|
struct ARCMatchingSet {
|
|
|
|
/// The pointer that this ARCMatchingSet is providing matching increment and
|
|
/// decrement sets for.
|
|
///
|
|
/// TODO: This should really be called RCIdentity.
|
|
SILValue Ptr;
|
|
|
|
/// The set of reference count increments that were paired.
|
|
llvm::SetVector<SILInstruction *> Increments;
|
|
|
|
/// The set of reference count decrements that were paired.
|
|
llvm::SetVector<SILInstruction *> Decrements;
|
|
|
|
// This is a data structure that cannot be moved or copied.
|
|
ARCMatchingSet() = default;
|
|
ARCMatchingSet(const ARCMatchingSet &) = delete;
|
|
ARCMatchingSet(ARCMatchingSet &&) = delete;
|
|
ARCMatchingSet &operator=(const ARCMatchingSet &) = delete;
|
|
ARCMatchingSet &operator=(ARCMatchingSet &&) = delete;
|
|
|
|
void clear() {
|
|
Ptr = SILValue();
|
|
Increments.clear();
|
|
Decrements.clear();
|
|
}
|
|
};
|
|
|
|
struct MatchingSetFlags {
|
|
bool KnownSafe;
|
|
bool CodeMotionSafe;
|
|
};
|
|
static_assert(std::is_pod<MatchingSetFlags>::value,
|
|
"MatchingSetFlags should be a pod.");
|
|
|
|
struct ARCMatchingSetBuilder {
|
|
using TDMapTy = BlotMapVector<SILInstruction *, TopDownRefCountState>;
|
|
using BUMapTy = BlotMapVector<SILInstruction *, BottomUpRefCountState>;
|
|
|
|
TDMapTy &TDMap;
|
|
BUMapTy &BUMap;
|
|
|
|
llvm::SmallVector<SILInstruction *, 8> NewIncrements;
|
|
llvm::SmallVector<SILInstruction *, 8> NewDecrements;
|
|
bool MatchedPair;
|
|
ARCMatchingSet MatchSet;
|
|
bool PtrIsGuaranteedArg;
|
|
|
|
RCIdentityFunctionInfo *RCIA;
|
|
|
|
public:
|
|
ARCMatchingSetBuilder(TDMapTy &TDMap, BUMapTy &BUMap,
|
|
RCIdentityFunctionInfo *RCIA)
|
|
: TDMap(TDMap), BUMap(BUMap), MatchedPair(false),
|
|
PtrIsGuaranteedArg(false), RCIA(RCIA) {}
|
|
|
|
void init(SILInstruction *Inst) {
|
|
clear();
|
|
MatchSet.Ptr = RCIA->getRCIdentityRoot(Inst->getOperand(0));
|
|
|
|
// If we have a function argument that is guaranteed, set the guaranteed
|
|
// flag so we know that it is always known safe.
|
|
if (auto *A = dyn_cast<SILFunctionArgument>(MatchSet.Ptr)) {
|
|
auto C = A->getArgumentConvention();
|
|
PtrIsGuaranteedArg = C == SILArgumentConvention::Direct_Guaranteed;
|
|
}
|
|
NewIncrements.push_back(Inst);
|
|
}
|
|
|
|
void clear() {
|
|
MatchSet.clear();
|
|
MatchedPair = false;
|
|
NewIncrements.clear();
|
|
NewDecrements.clear();
|
|
}
|
|
|
|
bool matchUpIncDecSetsForPtr();
|
|
|
|
// We only allow for get result when this object is invalidated via a move.
|
|
ARCMatchingSet &getResult() { return MatchSet; }
|
|
|
|
bool matchedPair() const { return MatchedPair; }
|
|
|
|
private:
|
|
/// Returns .Some(MatchingSetFlags) on success and .None on failure.
|
|
std::optional<MatchingSetFlags> matchIncrementsToDecrements();
|
|
std::optional<MatchingSetFlags> matchDecrementsToIncrements();
|
|
};
|
|
|
|
} // end swift namespace
|
|
|
|
#endif
|