SVFType.h File Reference

#include "Util/GeneralType.h"

Go to the source code of this file.

Classes
class	SVF::StInfo
class	SVF::SVFType
class	SVF::SVFPointerType
class	SVF::SVFIntegerType
class	SVF::SVFFunctionType
class	SVF::SVFStructType
class	SVF::SVFArrayType
class	SVF::SVFOtherType

Namespaces
namespace	SVF
	for isBitcode

Macros
#define	SVF_DEBUG_WITH_TYPE(TYPE, X)
#define	DBOUT(TYPE, X)
	LLVM debug macros, define type of your DBUG model of each pass.
#define	DOSTAT(X)
#define	DOTIMESTAT(X)
#define	DGENERAL   "general"
#define	DPAGBuild   "pag"
#define	DMemModel   "mm"
#define	DMemModelCE   "mmce"
#define	DCOMModel   "comm"
#define	DDDA   "dda"
#define	DDumpPT   "dumppt"
#define	DRefinePT   "sbpt"
#define	DCache   "cache"
#define	DWPA   "wpa"
#define	DMSSA   "mssa"
#define	DInstrument   "ins"
#define	DAndersen   "ander"
#define	DSaber   "saber"
#define	DMTA   "mta"
#define	DCHA   "cha"
#define	TIMEINTERVAL   1000
#define	CLOCK_IN_MS()
#define	NATIVE_INT_SIZE   (sizeof(unsigned long long) * CHAR_BIT)
	Size of native integer that we'll use for bit vectors, in bits.

Enumerations
enum	SVF::ModRefInfo { SVF::ModRef , SVF::Ref , SVF::Mod , SVF::NoModRef }
enum	SVF::AliasResult { SVF::NoAlias , SVF::MayAlias , SVF::MustAlias , SVF::PartialAlias }

Functions
std::ostream &	SVF::operator<< (std::ostream &os, const SVFType &type)

Macro Definition Documentation

CLOCK_IN_MS

#define CLOCK_IN_MS

(

)

Value:

(clock() / (CLOCKS_PER_SEC / (double)TIMEINTERVAL))

Definition at line 605 of file SVFType.h.

DAndersen

#define DAndersen   "ander"

Definition at line 595 of file SVFType.h.

DBOUT

#define DBOUT	(		TYPE,
			X )

Value:

SVF_DEBUG_WITH_TYPE(TYPE, X)

LLVM debug macros, define type of your DBUG model of each pass.

Definition at line 576 of file SVFType.h.

DCache

#define DCache   "cache"

Definition at line 591 of file SVFType.h.

DCHA

#define DCHA   "cha"

Definition at line 598 of file SVFType.h.

DCOMModel

#define DCOMModel   "comm"

Definition at line 587 of file SVFType.h.

DDDA

#define DDDA   "dda"

Definition at line 588 of file SVFType.h.

DDumpPT

#define DDumpPT   "dumppt"

Definition at line 589 of file SVFType.h.

DGENERAL

#define DGENERAL   "general"

General debug flag is for each phase of a pass, it is often in a colorful output format

Definition at line 582 of file SVFType.h.

DInstrument

#define DInstrument   "ins"

Definition at line 594 of file SVFType.h.

DMemModel

#define DMemModel   "mm"

Definition at line 585 of file SVFType.h.

DMemModelCE

#define DMemModelCE   "mmce"

Definition at line 586 of file SVFType.h.

DMSSA

#define DMSSA   "mssa"

Definition at line 593 of file SVFType.h.

DMTA

#define DMTA   "mta"

Definition at line 597 of file SVFType.h.

DOSTAT

#define DOSTAT

(

X

)

Value:

X

Definition at line 577 of file SVFType.h.

DOTIMESTAT

#define DOTIMESTAT

(

X

)

Value:

X

Definition at line 578 of file SVFType.h.

DPAGBuild

#define DPAGBuild   "pag"

Definition at line 584 of file SVFType.h.

DRefinePT

#define DRefinePT   "sbpt"

Definition at line 590 of file SVFType.h.

DSaber

#define DSaber   "saber"

Definition at line 596 of file SVFType.h.

DWPA

#define DWPA   "wpa"

Definition at line 592 of file SVFType.h.

NATIVE_INT_SIZE

#define NATIVE_INT_SIZE   (sizeof(unsigned long long) * CHAR_BIT)

Size of native integer that we'll use for bit vectors, in bits.

Definition at line 608 of file SVFType.h.

SVF_DEBUG_WITH_TYPE

#define SVF_DEBUG_WITH_TYPE	(		TYPE,
			X )

Value:

        do                                                                     \
        {                                                                      \
        } while (false)

Definition at line 569 of file SVFType.h.

#    define SVF_DEBUG_WITH_TYPE(TYPE, X)                                       \
        do                                                                     \
        {                                                                      \
        } while (false)

TIMEINTERVAL

#define TIMEINTERVAL   1000

Definition at line 604 of file SVFType.h.