1 //===- DependencyAnalysis.h - ObjC ARC Optimization ---*- C++ -*-----------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 /// This file declares special dependency analysis routines used in Objective C
11 /// ARC Optimizations.
13 /// WARNING: This file knows about certain library functions. It recognizes them
14 /// by name, and hardwires knowledge of their semantics.
16 /// WARNING: This file knows about how certain Objective-C library functions are
17 /// used. Naive LLVM IR transformations which would otherwise be
18 /// behavior-preserving may break these assumptions.
20 //===----------------------------------------------------------------------===//
22 #ifndef LLVM_LIB_TRANSFORMS_OBJCARC_DEPENDENCYANALYSIS_H
23 #define LLVM_LIB_TRANSFORMS_OBJCARC_DEPENDENCYANALYSIS_H
25 #include "llvm/ADT/SmallPtrSet.h"
26 #include "llvm/Analysis/ObjCARCInstKind.h"
37 class ProvenanceAnalysis;
39 /// \enum DependenceKind
40 /// Defines different dependence kinds among various ARC constructs.
42 /// There are several kinds of dependence-like concepts in use here.
45 NeedsPositiveRetainCount,
46 AutoreleasePoolBoundary,
48 RetainAutoreleaseDep, ///< Blocks objc_retainAutorelease.
49 RetainAutoreleaseRVDep, ///< Blocks objc_retainAutoreleaseReturnValue.
50 RetainRVDep ///< Blocks objc_retainAutoreleasedReturnValue.
53 void FindDependencies(DependenceKind Flavor,
55 BasicBlock *StartBB, Instruction *StartInst,
56 SmallPtrSetImpl<Instruction *> &DependingInstructions,
57 SmallPtrSetImpl<const BasicBlock *> &Visited,
58 ProvenanceAnalysis &PA);
61 Depends(DependenceKind Flavor, Instruction *Inst, const Value *Arg,
62 ProvenanceAnalysis &PA);
64 /// Test whether the given instruction can "use" the given pointer's object in a
65 /// way that requires the reference count to be positive.
66 bool CanUse(const Instruction *Inst, const Value *Ptr, ProvenanceAnalysis &PA,
69 /// Test whether the given instruction can result in a reference count
70 /// modification (positive or negative) for the pointer's object.
71 bool CanAlterRefCount(const Instruction *Inst, const Value *Ptr,
72 ProvenanceAnalysis &PA, ARCInstKind Class);
74 /// Returns true if we can not conservatively prove that Inst can not decrement
75 /// the reference count of Ptr. Returns false if we can.
76 bool CanDecrementRefCount(const Instruction *Inst, const Value *Ptr,
77 ProvenanceAnalysis &PA, ARCInstKind Class);
79 static inline bool CanDecrementRefCount(const Instruction *Inst,
81 ProvenanceAnalysis &PA) {
82 return CanDecrementRefCount(Inst, Ptr, PA, GetARCInstKind(Inst));
85 } // namespace objcarc