LLVM 20.0.0git
Classes | Namespaces
ProvenanceAnalysis.h File Reference

This file declares a special form of Alias Analysis called Provenance Analysis''. More...

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

Go to the source code of this file.

Classes

class  llvm::objcarc::ProvenanceAnalysis
 This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses special ObjC-specific reasoning about pointer relationships. More...
 

Namespaces

namespace  llvm
 This is an optimization pass for GlobalISel generic memory operations.
 
namespace  llvm::objcarc
 

Detailed Description

This file declares a special form of Alias Analysis called Provenance Analysis''.

The wordprovenance'' 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.

Definition in file ProvenanceAnalysis.h.