Removes parameterized definitions whose instantiated replacements now cover every remaining use. More...

#include <SharedImpl.h>

Inheritance diagram for llzk::polymorphic::detail::FromEraseSet:

Collaboration diagram for llzk::polymorphic::detail::FromEraseSet:

Public Member Functions
	FromEraseSet (mlir::ModuleOp root, const SymbolDefTree &symDefTree, const SymbolUseGraph &symUseGraph, llvm::DenseSet< mlir::SymbolRefAttr > &&tryToErasePaths)
	Note: paths in tryToErase should be relative to root.
mlir::LogicalResult	eraseUnusedDefinitions ()
const llvm::DenseSet< mlir::SymbolOpInterface > &	getTryToEraseSet () const
Public Member Functions inherited from llzk::polymorphic::detail::CleanupBase
	CleanupBase (mlir::ModuleOp root, const SymbolDefTree &symDefTree, const SymbolUseGraph &symUseGraph)

Additional Inherited Members
Public Attributes inherited from llzk::polymorphic::detail::CleanupBase
mlir::SymbolTableCollection	tables
Protected Attributes inherited from llzk::polymorphic::detail::CleanupBase
mlir::ModuleOp	rootMod
const SymbolDefTree &	defTree
const SymbolUseGraph &	useGraph

Detailed Description

Removes parameterized definitions whose instantiated replacements now cover every remaining use.

Definition at line 86 of file SharedImpl.h.

Constructor & Destructor Documentation

llzk::polymorphic::detail::FromEraseSet::FromEraseSet	(	mlir::ModuleOp	root,
		const SymbolDefTree &	symDefTree,
		const SymbolUseGraph &	symUseGraph,
		llvm::DenseSet< mlir::SymbolRefAttr > &&	tryToErasePaths )

Note: paths in tryToErase should be relative to root.

Definition at line 61 of file SharedImpl.cpp.

mlir::LogicalResult llzk::polymorphic::detail::FromEraseSet::eraseUnusedDefinitions ( )

Definition at line 86 of file SharedImpl.cpp.

const llvm::DenseSet< mlir::SymbolOpInterface > & llzk::polymorphic::detail::FromEraseSet::getTryToEraseSet ( ) const

inline

Definition at line 96 of file SharedImpl.h.

The documentation for this class was generated from the following files: