File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/llvm/lib/Transforms/ObjCARC

usr / src / contrib / llvm-project / llvm / lib / Transforms / ObjCARC /

📁 ..
📄 ARCRuntimeEntryPoints.h(4.66 KB)
📄 BlotMapVector.h(3.64 KB)
📄 DependencyAnalysis.cpp(9.33 KB)
📄 DependencyAnalysis.h(3.23 KB)
📄 ObjCARC.cpp(1.32 KB)
📄 ObjCARC.h(3.21 KB)
📄 ObjCARCAPElim.cpp(5.74 KB)
📄 ObjCARCContract.cpp(27.85 KB)
📄 ObjCARCExpand.cpp(3.84 KB)
📄 ObjCARCOpts.cpp(89.62 KB)
📄 ProvenanceAnalysis.cpp(6.29 KB)
📄 ProvenanceAnalysis.h(2.87 KB)
📄 ProvenanceAnalysisEvaluator.cpp(2.5 KB)
📄 PtrState.cpp(14.56 KB)
📄 PtrState.h(7.16 KB)

Editing: ProvenanceAnalysis.h

//===- ProvenanceAnalysis.h - ObjC ARC Optimization -------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
/// \file
///
/// This file declares a special form of Alias Analysis called ``Provenance
/// Analysis''. The word ``provenance'' refers to the history of the ownership
/// of an object. Thus ``Provenance Analysis'' is an analysis which attempts to
/// use various techniques to determine if locally
///
/// WARNING: This file knows about certain library functions. It recognizes them
/// by name, and hardwires knowledge of their semantics.
///
/// WARNING: This file knows about how certain Objective-C library functions are
/// used. Naive LLVM IR transformations which would otherwise be
/// behavior-preserving may break these assumptions.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_LIB_TRANSFORMS_OBJCARC_PROVENANCEANALYSIS_H
#define LLVM_LIB_TRANSFORMS_OBJCARC_PROVENANCEANALYSIS_H

#include "llvm/ADT/DenseMap.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/IR/ValueHandle.h"
#include <utility>

namespace llvm {

class DataLayout;
class PHINode;
class SelectInst;
class Value;

namespace objcarc {

/// This is similar to BasicAliasAnalysis, and it uses many of the same
/// techniques, except it uses special ObjC-specific reasoning about pointer
/// relationships.
///
/// In this context ``Provenance'' is defined as the history of an object's
/// ownership. Thus ``Provenance Analysis'' is defined by using the notion of
/// an ``independent provenance source'' of a pointer to determine whether or
/// not two pointers have the same provenance source and thus could
/// potentially be related.
class ProvenanceAnalysis {
  AliasAnalysis *AA;

using ValuePairTy = std::pair<const Value *, const Value *>;
  using CachedResultsTy = DenseMap<ValuePairTy, bool>;

CachedResultsTy CachedResults;

DenseMap<const Value *, WeakTrackingVH> UnderlyingObjCPtrCache;

bool relatedCheck(const Value *A, const Value *B, const DataLayout &DL);
  bool relatedSelect(const SelectInst *A, const Value *B);
  bool relatedPHI(const PHINode *A, const Value *B);

public:
  ProvenanceAnalysis() = default;
  ProvenanceAnalysis(const ProvenanceAnalysis &) = delete;
  ProvenanceAnalysis &operator=(const ProvenanceAnalysis &) = delete;

void setAA(AliasAnalysis *aa) { AA = aa; }

AliasAnalysis *getAA() const { return AA; }

bool related(const Value *A, const Value *B, const DataLayout &DL);

void clear() {
    CachedResults.clear();
    UnderlyingObjCPtrCache.clear();
  }
};

} // end namespace objcarc

} // end namespace llvm

#endif // LLVM_LIB_TRANSFORMS_OBJCARC_PROVENANCEANALYSIS_H

003 File Manager

Editing: ProvenanceAnalysis.h

Upload File

Create Folder