AffineLoopInvariantCodeMotion.cpp File Reference

#include "mlir/Dialect/Affine/Passes.h"
#include "mlir/Dialect/Affine/Analysis/Utils.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "mlir/Dialect/Affine/Passes.h.inc"

Go to the source code of this file.

Classes
class	mlir::affine::impl::AffineLoopInvariantCodeMotionBase< DerivedT >

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::affine
namespace	mlir::affine::impl

Macros
#define	GEN_PASS_DEF_AFFINELOOPINVARIANTCODEMOTION
#define	DEBUG_TYPE   "affine-licm"

Functions
static bool	checkInvarianceOfNestedIfOps (AffineIfOp ifOp, AffineForOp loop, SmallPtrSetImpl< Operation * > &opsWithUsers, SmallPtrSetImpl< Operation * > &opsToHoist)
static bool	isOpLoopInvariant (Operation &op, AffineForOp loop, SmallPtrSetImpl< Operation * > &opsWithUsers, SmallPtrSetImpl< Operation * > &opsToHoist)
	Returns true if op is invariant on loop.
static bool	areAllOpsInTheBlockListInvariant (Region &blockList, AffineForOp loop, SmallPtrSetImpl< Operation * > &opsWithUsers, SmallPtrSetImpl< Operation * > &opsToHoist)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "affine-licm"

Definition at line 26 of file AffineLoopInvariantCodeMotion.cpp.

GEN_PASS_DEF_AFFINELOOPINVARIANTCODEMOTION

#define GEN_PASS_DEF_AFFINELOOPINVARIANTCODEMOTION

Definition at line 21 of file AffineLoopInvariantCodeMotion.cpp.

Function Documentation

areAllOpsInTheBlockListInvariant()

bool areAllOpsInTheBlockListInvariant ( Region & blockList, AffineForOp loop, SmallPtrSetImpl< Operation * > & opsWithUsers, SmallPtrSetImpl< Operation * > & opsToHoist )

static

Definition at line 139 of file AffineLoopInvariantCodeMotion.cpp.

References b, and isOpLoopInvariant().

Referenced by checkInvarianceOfNestedIfOps(), and isOpLoopInvariant().

checkInvarianceOfNestedIfOps()

bool checkInvarianceOfNestedIfOps ( AffineIfOp ifOp, AffineForOp loop, SmallPtrSetImpl< Operation * > & opsWithUsers, SmallPtrSetImpl< Operation * > & opsToHoist )

static

Definition at line 155 of file AffineLoopInvariantCodeMotion.cpp.

References areAllOpsInTheBlockListInvariant().

Referenced by isOpLoopInvariant().

isOpLoopInvariant()

bool isOpLoopInvariant ( Operation & op, AffineForOp loop, SmallPtrSetImpl< Operation * > & opsWithUsers, SmallPtrSetImpl< Operation * > & opsToHoist )

static

Returns true if op is invariant on loop.

Definition at line 63 of file AffineLoopInvariantCodeMotion.cpp.

References areAllOpsInTheBlockListInvariant(), checkInvarianceOfNestedIfOps(), mlir::affine::getAffineForIVs(), mlir::Value::getDefiningOp(), mlir::Operation::getNumOperands(), mlir::Operation::getOperand(), mlir::hasEffect(), and mlir::isMemoryEffectFree().

Referenced by areAllOpsInTheBlockListInvariant().