LLVM 19.0.0git
Macros | Functions | Variables
ObjCARCContract.cpp File Reference

This file defines late ObjC ARC optimizations. More...

#include "ARCRuntimeEntryPoints.h"
#include "DependencyAnalysis.h"
#include "ObjCARC.h"
#include "ProvenanceAnalysis.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/ObjCARCUtil.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/EHPersonalities.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/PassManager.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/ObjCARC.h"

Go to the source code of this file.


#define DEBUG_TYPE   "objc-arc-contract"


 STATISTIC (NumPeeps, "Number of calls peephole-optimized")
 STATISTIC (NumStoreStrongs, "Number objc_storeStrong calls formed")
static StoreInstfindSafeStoreForStoreStrongContraction (LoadInst *Load, Instruction *Release, ProvenanceAnalysis &PA, AAResults *AA)
static InstructionfindRetainForStoreStrongContraction (Value *New, StoreInst *Store, Instruction *Release, ProvenanceAnalysis &PA)
 INITIALIZE_PASS_BEGIN (ObjCARCContractLegacyPass, "objc-arc-contract", "ObjC ARC contraction", false, false) INITIALIZE_PASS_END(ObjCARCContractLegacyPass


objc arc contract
objc arc ObjC ARC contraction
objc arc ObjC ARC false

Detailed Description

This file defines late ObjC ARC optimizations.

ARC stands for Automatic Reference Counting and is a system for managing reference counts for objects in Objective C.

This specific file mainly deals with `‘contracting’' multiple lower level operations into singular higher level operations through pattern matching.

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.

Definition in file ObjCARCContract.cpp.

Macro Definition Documentation


#define DEBUG_TYPE   "objc-arc-contract"

Definition at line 50 of file ObjCARCContract.cpp.

Function Documentation

◆ findRetainForStoreStrongContraction()

static Instruction * findRetainForStoreStrongContraction ( Value New,
StoreInst Store,
Instruction Release,
ProvenanceAnalysis PA 

◆ findSafeStoreForStoreStrongContraction()

static StoreInst * findSafeStoreForStoreStrongContraction ( LoadInst Load,
Instruction Release,
ProvenanceAnalysis PA,
AAResults AA 


"objc-arc-contract"  ,
"ObjC ARC contraction"  ,
false  ,

◆ STATISTIC() [1/2]

STATISTIC ( NumPeeps  ,
"Number of calls peephole-optimized"   

◆ STATISTIC() [2/2]

STATISTIC ( NumStoreStrongs  ,
"Number objc_storeStrong calls formed"   

Variable Documentation

◆ contract

objc arc contract

Definition at line 727 of file ObjCARCContract.cpp.

◆ contraction

objc arc ObjC ARC contraction

Definition at line 728 of file ObjCARCContract.cpp.

◆ false

objc arc ObjC ARC false

Definition at line 728 of file ObjCARCContract.cpp.