llzk::detail Namespace Reference

Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations that load or store values from the result of an allocator op marked with the MemAlloc<DiscardableAllocationResource> memory effect so unused allocators and stores can be removed. More...

Classes
struct	DiscardableAllocationAccessorOpInterfaceInterfaceTraits
struct	DiscardableAllocationAccessorOpInterfaceTrait
struct	LLZKCallLikeOpInterfaceInterfaceTraits
struct	LLZKCallLikeOpInterfaceTrait
struct	NestedTextualOptions
	Shared storage and helpers for nested textual pass and pipeline options. More...
class	NonDetOpGenericAdaptorBase
class	RemoveDeadValuesWorkaroundPass
	A workaround wrapper around MLIR's remove-dead-values pass that normalizes empty scf.if else regions before running the upstream implementation, cleans up the trivial regions afterwards, and removes unused ub.poison values left by an earlier invocation. More...

Detailed Description

Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations that load or store values from the result of an allocator op marked with the MemAlloc<DiscardableAllocationResource> memory effect so unused allocators and stores can be removed.