AArch64StackTagging.cpp File Reference

#include "AArch64.h"
#include "AArch64Subtarget.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/CFG.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/OptimizationRemarkEmitter.h"
#include "llvm/Analysis/PostDominators.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Analysis/StackSafetyAnalysis.h"
#include "llvm/BinaryFormat/Dwarf.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/IntrinsicsAArch64.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/PassManager.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/MemoryTaggingSupport.h"
#include <cassert>
#include <memory>
#include <utility>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "aarch64-stack-tagging"

Enumerations
enum	StackTaggingRecordStackHistoryMode { none , instr }

Functions
	INITIALIZE_PASS_BEGIN (AArch64StackTagging, DEBUG_TYPE, "AArch64 Stack Tagging", false, false) INITIALIZE_PASS_END(AArch64StackTagging

Variables
static cl::opt< bool >	ClMergeInit ("stack-tagging-merge-init", cl::Hidden, cl::init(true), cl::desc("merge stack variable initializers with tagging when possible"))
static cl::opt< bool >	ClUseStackSafety ("stack-tagging-use-stack-safety", cl::Hidden, cl::init(true), cl::desc("Use Stack Safety analysis results"))
static cl::opt< unsigned >	ClScanLimit ("stack-tagging-merge-init-scan-limit", cl::init(40), cl::Hidden)
static cl::opt< unsigned >	ClMergeInitSizeLimit ("stack-tagging-merge-init-size-limit", cl::init(272), cl::Hidden)
static cl::opt< size_t >	ClMaxLifetimes ("stack-tagging-max-lifetimes-for-alloca", cl::Hidden, cl::init(3), cl::ReallyHidden, cl::desc("How many lifetime ends to handle for a single alloca."), cl::Optional)
static cl::opt< StackTaggingRecordStackHistoryMode >	ClRecordStackHistory ("stack-tagging-record-stack-history", cl::desc("Record stack frames with tagged allocations in a thread-local " "ring buffer"), cl::values(clEnumVal(none, "Do not record stack ring history"), clEnumVal(instr, "Insert instructions into the prologue for " "storing into the stack ring buffer")), cl::Hidden, cl::init(none))
static const Align	kTagGranuleSize = Align(16)
	DEBUG_TYPE
AArch64 Stack	Tagging
AArch64 Stack	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "aarch64-stack-tagging"

Definition at line 53 of file AArch64StackTagging.cpp.

Enumeration Type Documentation

StackTaggingRecordStackHistoryMode

enum StackTaggingRecordStackHistoryMode

Enumerator
none
instr

Definition at line 79 of file AArch64StackTagging.cpp.

Function Documentation

INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	AArch64StackTagging	,
		DEBUG_TYPE	,
		"AArch64 Stack Tagging"	,
		false	,
		false	)

References DEBUG_TYPE, and INITIALIZE_PASS_DEPENDENCY.

Variable Documentation

ClMaxLifetimes

cl::opt< size_t > ClMaxLifetimes("stack-tagging-max-lifetimes-for-alloca", cl::Hidden, cl::init(3), cl::ReallyHidden, cl::desc("How many lifetime ends to handle for a single alloca."), cl::Optional) ( "stack-tagging-max-lifetimes-for-alloca" , cl::Hidden , cl::init(3) , cl::ReallyHidden , cl::desc("How many lifetime ends to handle for a single alloca.") , cl::Optional  )

static

ClMergeInit

cl::opt< bool > ClMergeInit("stack-tagging-merge-init", cl::Hidden, cl::init(true), cl::desc("merge stack variable initializers with tagging when possible")) ( "stack-tagging-merge-init" , cl::Hidden , cl::init(true) , cl::desc("merge stack variable initializers with tagging when possible")  )

static

ClMergeInitSizeLimit

cl::opt< unsigned > ClMergeInitSizeLimit("stack-tagging-merge-init-size-limit", cl::init(272), cl::Hidden) ( "stack-tagging-merge-init-size-limit" , cl::init(272) , cl::Hidden  )

static

ClRecordStackHistory

cl::opt< StackTaggingRecordStackHistoryMode > ClRecordStackHistory("stack-tagging-record-stack-history", cl::desc("Record stack frames with tagged allocations in a thread-local " "ring buffer"), cl::values(clEnumVal(none, "Do not record stack ring history"), clEnumVal(instr, "Insert instructions into the prologue for " "storing into the stack ring buffer")), cl::Hidden, cl::init(none)) ( "stack-tagging-record-stack-history" , cl::desc("Record stack frames with tagged allocations in a thread-local " "ring buffer") , cl::values(clEnumVal(none, "Do not record stack ring history"), clEnumVal(instr, "Insert instructions into the prologue for " "storing into the stack ring buffer")) , cl::Hidden , cl::init(none)  )

static

ClScanLimit

cl::opt< unsigned > ClScanLimit("stack-tagging-merge-init-scan-limit", cl::init(40), cl::Hidden) ( "stack-tagging-merge-init-scan-limit" , cl::init(40) , cl::Hidden  )

static

ClUseStackSafety

cl::opt< bool > ClUseStackSafety("stack-tagging-use-stack-safety", cl::Hidden, cl::init(true), cl::desc("Use Stack Safety analysis results")) ( "stack-tagging-use-stack-safety" , cl::Hidden , cl::init(true) , cl::desc("Use Stack Safety analysis results")  )

static

Referenced by llvm::AddressSanitizerPass::run().

DEBUG_TYPE

DEBUG_TYPE

Definition at line 355 of file AArch64StackTagging.cpp.

false

AArch64 Stack false

Definition at line 356 of file AArch64StackTagging.cpp.

kTagGranuleSize

const Align kTagGranuleSize = Align(16)

static

Definition at line 97 of file AArch64StackTagging.cpp.

Tagging

AArch64 Stack Tagging

Definition at line 355 of file AArch64StackTagging.cpp.