|
LLVM 20.0.0git
|
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/Pass.h"Go to the source code of this file.
Macros | |
| #define | DEBUG_TYPE "objc-arc-aa" |
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.
TODO: The calls here to AAResultBase member functions are all effectively no-ops that just return a conservative result. The original intent was to chain to another analysis for a recursive query, but this was lost in a refactor. These should instead be rephrased in terms of queries to AAQI.AAR.
Definition in file ObjCARCAliasAnalysis.cpp.
| #define DEBUG_TYPE "objc-arc-aa" |
Definition at line 35 of file ObjCARCAliasAnalysis.cpp.
1.9.6