Aggregate Alloca Splitting Transformation. More...

#include <AggregateAllocaSplitting.hpp>

Inheritance diagram for jlm::llvm::AggregateAllocaSplitting:

Collaboration diagram for jlm::llvm::AggregateAllocaSplitting:

Classes
struct	AllocaTraceInfo

struct	Context

class	Statistics

Public Member Functions
	~AggregateAllocaSplitting () noexcept override

	AggregateAllocaSplitting ()

void	Run (rvsdg::RvsdgModule &module, util::StatisticsCollector &statisticsCollector) override
	Perform RVSDG transformation.

Public Member Functions inherited from jlm::rvsdg::Transformation
virtual	~Transformation () noexcept

	Transformation (std::string_view Name)

const std::string_view &	GetName () const noexcept

void	Run (RvsdgModule &module)
	Perform RVSDG transformation.

Private Member Functions
void	splitAllocaNodes (rvsdg::RvsdgModule &rvsdgModule)

std::vector< AllocaTraceInfo >	findSplitableAllocaNodes (rvsdg::Region &region) const

Static Private Member Functions
static void	splitAllocaNode (const AllocaTraceInfo &allocaTraceInfo)

static bool	checkGetElementPtrUsers (const rvsdg::SimpleNode &gepNode)

static std::optional< AllocaTraceInfo >	isSplitable (rvsdg::SimpleNode &allocaNode)

static bool	isSplitableType (const rvsdg::Type &type)

Private Attributes
std::unique_ptr< Context >	context_ {}

Detailed Description

Aggregate Alloca Splitting Transformation.

Aggregate Alloca Splitting splits up AllocaOperation nodes with aggregate types, i.e., struct and array types, into multiple AllocaOperation nodes with simple types, i.e., integer or floating-point types. The intention is to simplify the processing of these AllocaOperation nodes by passes such as StoreValueForwarding.

Definition at line 22 of file AggregateAllocaSplitting.hpp.

Constructor & Destructor Documentation

◆ ~AggregateAllocaSplitting()

jlm::llvm::AggregateAllocaSplitting::~AggregateAllocaSplitting ( )

overridedefaultnoexcept

◆ AggregateAllocaSplitting()

jlm::llvm::AggregateAllocaSplitting::AggregateAllocaSplitting ( )

Definition at line 94 of file AggregateAllocaSplitting.cpp.

Member Function Documentation

◆ checkGetElementPtrUsers()

bool jlm::llvm::AggregateAllocaSplitting::checkGetElementPtrUsers ( const rvsdg::SimpleNode & gepNode )

staticprivate

Definition at line 272 of file AggregateAllocaSplitting.cpp.

◆ findSplitableAllocaNodes()

std::vector< AggregateAllocaSplitting::AllocaTraceInfo > jlm::llvm::AggregateAllocaSplitting::findSplitableAllocaNodes ( rvsdg::Region & region ) const

private

Definition at line 413 of file AggregateAllocaSplitting.cpp.

◆ isSplitable()

std::optional< AggregateAllocaSplitting::AllocaTraceInfo > jlm::llvm::AggregateAllocaSplitting::isSplitable ( rvsdg::SimpleNode & allocaNode )

staticprivate

Definition at line 119 of file AggregateAllocaSplitting.cpp.

◆ isSplitableType()

bool jlm::llvm::AggregateAllocaSplitting::isSplitableType ( const rvsdg::Type & type )

staticprivate

Definition at line 99 of file AggregateAllocaSplitting.cpp.

◆ Run()

void jlm::llvm::AggregateAllocaSplitting::Run	(	rvsdg::RvsdgModule &	module,
		util::StatisticsCollector &	statisticsCollector
	)

overridevirtual

Perform RVSDG transformation.

Note: This method is expected to be called multiple times. An implementation is required to reset the objects' internal state to ensure correct behavior after every invocation.

Parameters