#include "mlir/Transforms/SROA.h"
#include "mlir/Analysis/DataLayoutAnalysis.h"
#include "mlir/Analysis/SliceAnalysis.h"
#include "mlir/Analysis/TopologicalSortUtils.h"
#include "mlir/Interfaces/MemorySlotInterfaces.h"
#include "mlir/Transforms/Passes.h"
#include "mlir/Transforms/Passes.h.inc"

Namespaces
	mlir
	Include the generated interface declarations.

Macros
#define	GEN_PASS_DEF_SROA

#define	DEBUG_TYPE "sroa"

Functions
static std::optional< MemorySlotDestructuringInfo >	computeDestructuringInfo (DestructurableMemorySlot &slot, const DataLayout &dataLayout)
	Computes information for slot destructuring. More...

static void	destructureSlot (DestructurableMemorySlot &slot, DestructurableAllocationOpInterface allocator, OpBuilder &builder, const DataLayout &dataLayout, MemorySlotDestructuringInfo &info, SmallVectorImpl< DestructurableAllocationOpInterface > &newAllocators, const SROAStatistics &statistics)
	Performs the destructuring of a destructible slot given associated destructuring information. More...

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "sroa"

Definition at line 21 of file SROA.cpp.

◆ GEN_PASS_DEF_SROA

#define GEN_PASS_DEF_SROA

Definition at line 17 of file SROA.cpp.

Function Documentation

◆ computeDestructuringInfo()

static std::optional<MemorySlotDestructuringInfo> computeDestructuringInfo	(	DestructurableMemorySlot &	slot,
		const DataLayout &	dataLayout
	)

static

Computes information for slot destructuring.

This will compute whether this slot can be destructured and data to perform the destructuring. Returns nothing if the slot cannot be destructured or if there is no useful work to be done.

Definition at line 47 of file SROA.cpp.

References mlir::MemorySlot::elemType, mlir::getForwardSlice(), mlir::Value::getUses(), mlir::MemorySlot::ptr, and mlir::Value::use_empty().

Referenced by mlir::tryToDestructureMemorySlots().

◆ destructureSlot()

static void destructureSlot	(	DestructurableMemorySlot &	slot,
		DestructurableAllocationOpInterface	allocator,
		OpBuilder &	builder,
		const DataLayout &	dataLayout,
		MemorySlotDestructuringInfo &	info,
		SmallVectorImpl< DestructurableAllocationOpInterface > &	newAllocators,
		const SROAStatistics &	statistics
	)

static

Performs the destructuring of a destructible slot given associated destructuring information.

The provided slot will be destructured in subslots as specified by its allocator.

Definition at line 137 of file SROA.cpp.

References mlir::Delete, mlir::SROAStatistics::destructuredAmount, mlir::Value::getParentBlock(), mlir::SROAStatistics::maxSubelementAmount, mlir::MemorySlot::ptr, mlir::OpBuilder::setInsertionPointAfter(), mlir::OpBuilder::setInsertionPointToStart(), mlir::SROAStatistics::slotsWithMemoryBenefit, mlir::DestructurableMemorySlot::subelementTypes, mlir::topologicalSort(), and mlir::Value::use_empty().