As we analyze each global, keep track of some information about it. More...

#include "llvm/Transforms/Utils/GlobalStatus.h"

Collaboration diagram for llvm::GlobalStatus:

[legend]

Public Types
enum	StoredType { NotStored, InitializerStored, StoredOnce, Stored }
	Keep track of what stores to the global look like. More...

Public Member Functions
	GlobalStatus ()

Static Public Member Functions
static bool	analyzeGlobal (const Value *V, GlobalStatus &GS)
	Look at all uses of the global and fill in the GlobalStatus structure. More...

Public Attributes
bool	IsCompared = false
	True if the global's address is used in a comparison. More...

bool	IsLoaded = false
	True if the global is ever loaded. More...

enum llvm::GlobalStatus::StoredType	StoredType = NotStored

Value *	StoredOnceValue = nullptr
	If only one value (besides the initializer constant) is ever stored to this global, keep track of what value it is. More...

const Function *	AccessingFunction = nullptr
	These start out null/false. More...

bool	HasMultipleAccessingFunctions = false

bool	HasNonInstructionUser = false
	Set to true if this global has a user that is not an instruction (e.g. More...

AtomicOrdering	Ordering = AtomicOrdering::NotAtomic
	Set to the strongest atomic ordering requirement. More...

Detailed Description

As we analyze each global, keep track of some information about it.

If we find out that the address of the global is taken, none of this info will be accurate.

Definition at line 30 of file GlobalStatus.h.

Member Enumeration Documentation

◆ StoredType

enum llvm::GlobalStatus::StoredType

Keep track of what stores to the global look like.

Enumerator
NotStored	There is no store to this global. It can thus be marked constant.
InitializerStored	This global is stored to, but the only thing stored is the constant it was initialized with. This is only tracked for scalar globals.
StoredOnce	This global is stored to, but only its initializer and one other value is ever stored to it. If this global isStoredOnce, we track the value stored to it in StoredOnceValue below. This is only tracked for scalar globals.
Stored	This global is stored to by multiple values or something else that we cannot track.

Definition at line 39 of file GlobalStatus.h.

Constructor & Destructor Documentation

◆ GlobalStatus()

GlobalStatus::GlobalStatus ( )

default

Referenced by analyzeGlobalAux().

Member Function Documentation

◆ analyzeGlobal()

bool GlobalStatus::analyzeGlobal	(	const Value *	V,
		GlobalStatus &	GS
	)

static

Look at all uses of the global and fill in the GlobalStatus structure.

If the global has its address taken, return true to indicate we can't do anything with it.

Definition at line 192 of file GlobalStatus.cpp.

References analyzeGlobalAux().

Referenced by processGlobal().

Member Data Documentation

◆ AccessingFunction

const Function* llvm::GlobalStatus::AccessingFunction = nullptr

These start out null/false.

When the first accessing function is noticed, it is recorded. When a second different accessing function is noticed, HasMultipleAccessingFunctions is set to true.

Definition at line 65 of file GlobalStatus.h.

Referenced by analyzeGlobalAux(), and processInternalGlobal().