tesla::PtrAnnotation Class Reference

Detailed Description

An annotation applied by LLVM to a pointer.

Definition at line 49 of file Annotations.h.

#include "Annotations.h"

Inheritance diagram for tesla::PtrAnnotation:

Collaboration diagram for tesla::PtrAnnotation:

Public Types
enum	AnnotationKind { AK_RawAnnotation, AK_FieldAnnotation }

Public Member Functions
virtual	~PtrAnnotation ()
virtual AnnotationKind	getKind () const
llvm::StringRef	getName () const
const llvm::Value *	getValue () const

Static Public Member Functions
static bool	classof (const PtrAnnotation *P)
static PtrAnnotation *	Interpret (llvm::User *)

Protected Member Functions
	PtrAnnotation (llvm::CallInst *Call, const llvm::Value *PtrArg, llvm::StringRef Name, llvm::StringRef Filename, llvm::APInt &Line)

Static Protected Member Functions
static llvm::StringRef	ExtractStringConstant (const llvm::Value *V)

Protected Attributes
llvm::CallInst *	Call
const llvm::Value *	PtrArg
const llvm::StringRef	Name
const llvm::StringRef	Filename
const llvm::APInt &	Line

Member Enumeration Documentation

enum tesla::PtrAnnotation::AnnotationKind

Enumerator
AK_RawAnnotation
AK_FieldAnnotation

Definition at line 53 of file Annotations.h.

{ AK_RawAnnotation, AK_FieldAnnotation };

Constructor & Destructor Documentation

virtual tesla::PtrAnnotation::~PtrAnnotation ( )

inlinevirtual

Definition at line 51 of file Annotations.h.

{}

tesla::PtrAnnotation::PtrAnnotation ( llvm::CallInst *  Call, const llvm::Value *  PtrArg, llvm::StringRef  Name, llvm::StringRef  Filename, llvm::APInt &  Line  )

inlineprotected

Definition at line 62 of file Annotations.h.

    : Call(Call), PtrArg(PtrArg), Name(Name), Filename(Filename), Line(Line)
  {
  }

Member Function Documentation

static bool tesla::PtrAnnotation::classof ( const PtrAnnotation *  P )

inlinestatic

Definition at line 55 of file Annotations.h.

{ return true; }

StringRef tesla::PtrAnnotation::ExtractStringConstant ( const llvm::Value *  V )

staticprotected

Definition at line 66 of file Annotations.cpp.

                                                             {
  auto *Ptr = dyn_cast<ConstantExpr>(V);
  assert(Ptr && Ptr->isGEPWithNoNotionalOverIndexing());

  auto *Var = dyn_cast<GlobalVariable>(Ptr->getOperand(0));
  auto *Array = dyn_cast<ConstantDataArray>(Var->getInitializer());

  return Array->getAsString();
}

virtual AnnotationKind tesla::PtrAnnotation::getKind ( ) const

inlinevirtual

Reimplemented in tesla::FieldAnnotation.

Definition at line 54 of file Annotations.h.

References AK_RawAnnotation.

Referenced by tesla::FieldAnnotation::classof().

{ return AK_RawAnnotation; }

Here is the caller graph for this function:

llvm::StringRef tesla::PtrAnnotation::getName ( ) const

inline

Definition at line 58 of file Annotations.h.

References Name.

{ return Name; }

const llvm::Value* tesla::PtrAnnotation::getValue ( ) const

inline

Definition at line 59 of file Annotations.h.

References Call.

{ return Call; }

PtrAnnotation * tesla::PtrAnnotation::Interpret ( llvm::User *  )

static

Definition at line 42 of file Annotations.cpp.

                                               {
  assert(U);

  auto *Call = dyn_cast<CallInst>(U);
  assert(Call);
  assert(Call->getNumArgOperands() == 4);

  Value *Ptr(Call->getArgOperand(0));
  StringRef Name(ExtractStringConstant(Call->getArgOperand(1)));
  StringRef Filename(ExtractStringConstant(Call->getArgOperand(2)));
  APInt Line = dyn_cast<ConstantInt>(Call->getArgOperand(3))->getValue();

  const string FIELD = "field:";

  if (!Name.startswith(FIELD))
    return new PtrAnnotation(Call, Ptr, Name, Filename, Line);

  size_t Dot(Name.find('.'));
  StringRef StructName(Name.slice(FIELD.length(), Dot));
  StringRef FieldName(Name.substr(Dot + 1));

  return new FieldAnnotation(Call, Ptr, StructName, FieldName, Filename, Line);
}

Member Data Documentation

llvm::CallInst* tesla::PtrAnnotation::Call

protected

Definition at line 71 of file Annotations.h.

Referenced by tesla::FieldAnnotation::begin(), tesla::FieldAnnotation::end(), and getValue().

const llvm::StringRef tesla::PtrAnnotation::Filename

protected

Definition at line 74 of file Annotations.h.

const llvm::APInt& tesla::PtrAnnotation::Line

protected

Definition at line 75 of file Annotations.h.

const llvm::StringRef tesla::PtrAnnotation::Name

protected

Definition at line 73 of file Annotations.h.

Referenced by getName().

const llvm::Value* tesla::PtrAnnotation::PtrArg

protected

Definition at line 72 of file Annotations.h.

---

The documentation for this class was generated from the following files:

• tesla/instrumenter/Annotations.h
• tesla/instrumenter/Annotations.cpp