LLVM  mainline
Defines | Functions | Variables
ObjCARCAliasAnalysis.cpp File Reference

This file defines a simple ARC-aware AliasAnalysis using special knowledge of Objective C to enhance other optimization passes which rely on the Alias Analysis infrastructure. More...

#include "llvm/Analysis/ObjCARCAliasAnalysis.h"
#include "llvm/Analysis/ObjCARCAnalysisUtils.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/PassAnalysisSupport.h"
#include "llvm/PassSupport.h"
Include dependency graph for ObjCARCAliasAnalysis.cpp:

Go to the source code of this file.

Defines

#define DEBUG_TYPE   "objc-arc-aa"

Functions

 INITIALIZE_PASS_BEGIN (ObjCARCAAWrapperPass,"objc-arc-aa","ObjC-ARC-Based Alias Analysis", false, true) INITIALIZE_PASS_END(ObjCARCAAWrapperPass

Variables

objc arc aa
objc arc ObjC ARC Based Alias Analysis
objc arc ObjC ARC Based Alias false

Detailed Description

This file defines a simple ARC-aware AliasAnalysis using special knowledge of Objective C to enhance other optimization passes which rely on the Alias Analysis infrastructure.

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.

TODO: Theoretically we could check for dependencies between objc_* calls and FMRB_OnlyAccessesArgumentPointees calls or other well-behaved calls.

Definition in file ObjCARCAliasAnalysis.cpp.


Define Documentation

#define DEBUG_TYPE   "objc-arc-aa"

Definition at line 35 of file ObjCARCAliasAnalysis.cpp.


Function Documentation

INITIALIZE_PASS_BEGIN ( ObjCARCAAWrapperPass  ,
"objc-arc-aa ,
"ObjC-ARC-Based Alias Analysis ,
false  ,
true   
)

Variable Documentation

objc arc aa

Definition at line 145 of file ObjCARCAliasAnalysis.cpp.

objc arc ObjC ARC Based Alias Analysis

Definition at line 145 of file ObjCARCAliasAnalysis.cpp.

objc arc ObjC ARC Based Alias false

Definition at line 145 of file ObjCARCAliasAnalysis.cpp.