#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "mlir/IR/SymbolTable.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "mlir/Interfaces/SideEffectInterfaces.cpp.inc"

Functions
static bool	wouldOpBeTriviallyDeadImpl (Operation *rootOp)
	Internal implementation of `mlir::wouldOpBeTriviallyDead` that also considers terminator operations as dead if they have no side effects. More...

template bool	mlir::hasSingleEffect< MemoryEffects::Allocate > (Operation *, Value)

template bool	mlir::hasSingleEffect< MemoryEffects::Free > (Operation *, Value)

template bool	mlir::hasSingleEffect< MemoryEffects::Read > (Operation *, Value)

template bool	mlir::hasSingleEffect< MemoryEffects::Write > (Operation *, Value)

template bool	mlir::hasEffect< MemoryEffects::Allocate > (Operation *, Value)

template bool	mlir::hasEffect< MemoryEffects::Free > (Operation *, Value)

template bool	mlir::hasEffect< MemoryEffects::Read > (Operation *, Value)

template bool	mlir::hasEffect< MemoryEffects::Write > (Operation *, Value)

template bool	mlir::hasEffect< MemoryEffects::Write, MemoryEffects::Free > (Operation *, Value)

Function Documentation

◆ mlir::hasEffect< MemoryEffects::Allocate >()

template bool mlir::hasEffect< MemoryEffects::Allocate >	(	Operation *	,
		Value
	)

◆ mlir::hasEffect< MemoryEffects::Free >()

template bool mlir::hasEffect< MemoryEffects::Free >	(	Operation *	,
		Value
	)

◆ mlir::hasEffect< MemoryEffects::Read >()

template bool mlir::hasEffect< MemoryEffects::Read >	(	Operation *	,
		Value
	)

◆ mlir::hasEffect< MemoryEffects::Write >()

template bool mlir::hasEffect< MemoryEffects::Write >	(	Operation *	,
		Value
	)

◆ mlir::hasEffect< MemoryEffects::Write, MemoryEffects::Free >()

template bool mlir::hasEffect< MemoryEffects::Write, MemoryEffects::Free >	(	Operation *	,
		Value
	)

◆ mlir::hasSingleEffect< MemoryEffects::Allocate >()

template bool mlir::hasSingleEffect< MemoryEffects::Allocate >	(	Operation *	,
		Value
	)

◆ mlir::hasSingleEffect< MemoryEffects::Free >()

template bool mlir::hasSingleEffect< MemoryEffects::Free >	(	Operation *	,
		Value
	)

◆ mlir::hasSingleEffect< MemoryEffects::Read >()

template bool mlir::hasSingleEffect< MemoryEffects::Read >	(	Operation *	,
		Value
	)

◆ mlir::hasSingleEffect< MemoryEffects::Write >()

template bool mlir::hasSingleEffect< MemoryEffects::Write >	(	Operation *	,
		Value
	)

◆ wouldOpBeTriviallyDeadImpl()

static bool wouldOpBeTriviallyDeadImpl ( Operation * rootOp )

static

Internal implementation of mlir::wouldOpBeTriviallyDead that also considers terminator operations as dead if they have no side effects.

This allows for marking region operations as trivially dead without always being conservative of terminators.

Definition at line 43 of file SideEffectInterfaces.cpp.

Functions