#include "mlir/Transforms/SROA.h"
#include "mlir/Analysis/SliceAnalysis.h"
#include "mlir/Interfaces/MemorySlotInterfaces.h"
#include "mlir/Transforms/GreedyPatternRewriteDriver.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)
	Computes information for slot destructuring. More...

static void	destructureSlot (DestructurableMemorySlot &slot, DestructurableAllocationOpInterface allocator, RewriterBase &rewriter, MemorySlotDestructuringInfo &info, 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 20 of file SROA.cpp.

◆ GEN_PASS_DEF_SROA

#define GEN_PASS_DEF_SROA

Definition at line 16 of file SROA.cpp.

Function Documentation

◆ computeDestructuringInfo()

static std::optional<MemorySlotDestructuringInfo> computeDestructuringInfo ( DestructurableMemorySlot & slot )

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 46 of file SROA.cpp.

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

Referenced by mlir::tryToDestructureMemorySlots().

◆ destructureSlot()

static void destructureSlot	(	DestructurableMemorySlot &	slot,
		DestructurableAllocationOpInterface	allocator,
		RewriterBase &	rewriter,
		MemorySlotDestructuringInfo &	info,
		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 133 of file SROA.cpp.

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