llzk::detail Namespace Reference

Classes
struct	DiscardableAllocationAccessorOpInterfaceInterfaceTraits
struct	DiscardableAllocationAccessorOpInterfaceTrait
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 and cleans up the trivial regions afterwards. More...