StackColoring.cpp File Reference

#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/CodeGen/LiveInterval.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFrameInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineMemOperand.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/Passes.h"
#include "llvm/CodeGen/PseudoSourceValueManager.h"
#include "llvm/CodeGen/SlotIndexes.h"
#include "llvm/CodeGen/TargetOpcodes.h"
#include "llvm/CodeGen/WinEHFuncInfo.h"
#include "llvm/Config/llvm-config.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DebugInfoMetadata.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Use.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <limits>
#include <memory>
#include <utility>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "stack-coloring"

Functions
	STATISTIC (NumMarkerSeen, "Number of lifetime markers found.")
	STATISTIC (StackSpaceSaved, "Number of bytes saved due to merging slots.")
	STATISTIC (StackSlotMerged, "Number of stack slot merged.")
	STATISTIC (EscapedAllocas, "Number of allocas that escaped the lifetime region")
	INITIALIZE_PASS_BEGIN (StackColoring, DEBUG_TYPE, "Merge disjoint stack slots", false, false) INITIALIZE_PASS_END(StackColoring
static int	getStartOrEndSlot (const MachineInstr &MI)

Variables
static cl::opt< bool >	DisableColoring ("no-stack-coloring", cl::init(false), cl::Hidden, cl::desc("Disable stack coloring"))
static cl::opt< bool >	ProtectFromEscapedAllocas ("protect-from-escaped-allocas", cl::init(false), cl::Hidden, cl::desc("Do not optimize lifetime zones that " "are broken"))
	The user may write code that uses allocas outside of the declared lifetime zone.
static cl::opt< bool >	LifetimeStartOnFirstUse ("stackcoloring-lifetime-start-on-first-use", cl::init(true), cl::Hidden, cl::desc("Treat stack lifetimes as starting on first use, not on START marker."))
	Enable enhanced dataflow scheme for lifetime analysis (treat first use of stack slot as start of slot lifetime, as opposed to looking for LIFETIME_START marker).
	DEBUG_TYPE
Merge disjoint stack	slots
Merge disjoint stack	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "stack-coloring"

Definition at line 65 of file StackColoring.cpp.

Function Documentation

getStartOrEndSlot()

static int getStartOrEndSlot ( const MachineInstr &  MI )

inlinestatic

Definition at line 565 of file StackColoring.cpp.

References assert(), llvm::MachineOperand::getIndex(), and MI.

INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	StackColoring	,
		DEBUG_TYPE	,
		"Merge disjoint stack slots"	,
		false	,
		false
	)

STATISTIC() [1/4]

STATISTIC	(	EscapedAllocas	,
		"Number of allocas that escaped the lifetime region"
	)

References End.

STATISTIC() [2/4]

STATISTIC	(	NumMarkerSeen	,
		"Number of lifetime markers found."
	)

STATISTIC() [3/4]

STATISTIC	(	StackSlotMerged	,
		"Number of stack slot merged."
	)

STATISTIC() [4/4]

STATISTIC	(	StackSpaceSaved	,
		"Number of bytes saved due to merging slots."
	)

Variable Documentation

DEBUG_TYPE

DEBUG_TYPE

Definition at line 521 of file StackColoring.cpp.

DisableColoring

cl::opt< bool > DisableColoring("no-stack-coloring", cl::init(false), cl::Hidden, cl::desc("Disable stack coloring")) ( "no-stack-coloring"  , cl::init(false)  , cl::Hidden  , cl::desc("Disable stack coloring")    )

static

false

Merge disjoint stack false

Definition at line 522 of file StackColoring.cpp.

LifetimeStartOnFirstUse

cl::opt< bool > LifetimeStartOnFirstUse("stackcoloring-lifetime-start-on-first-use", cl::init(true), cl::Hidden, cl::desc("Treat stack lifetimes as starting on first use, not on START marker.")) ( "stackcoloring-lifetime-start-on-first-use"  , cl::init(true)  , cl::Hidden  , cl::desc("Treat stack lifetimes as starting on first use, not on START marker.")    )

static

Enable enhanced dataflow scheme for lifetime analysis (treat first use of stack slot as start of slot lifetime, as opposed to looking for LIFETIME_START marker).

See "Implementation notes" below for more info.

ProtectFromEscapedAllocas

cl::opt< bool > ProtectFromEscapedAllocas("protect-from-escaped-allocas", cl::init(false), cl::Hidden, cl::desc("Do not optimize lifetime zones that " "are broken")) ( "protect-from-escaped-allocas"  , cl::init(false)  , cl::Hidden  , cl::desc("Do not optimize lifetime zones that " "are broken")    )

static

The user may write code that uses allocas outside of the declared lifetime zone.

This can happen when the user returns a reference to a local data-structure. We can detect these cases and decide not to optimize the code. If this flag is enabled, we try to save the user. This option is treated as overriding LifetimeStartOnFirstUse below.

slots

Merge disjoint stack slots

Definition at line 522 of file StackColoring.cpp.