SliceWalk.cpp File Reference

#include "mlir/Analysis/SliceWalk.h"
#include "mlir/Interfaces/ControlFlowInterfaces.h"

Go to the source code of this file.

Functions
static std::optional< SmallVector< Value > >	getBlockPredecessorOperands (BlockArgument blockArg)
	Returns the predecessor branch operands that match blockArg, or nullopt if some of the predecessor terminators do not implement the BranchOpInterface.

Function Documentation

getBlockPredecessorOperands()

std::optional< SmallVector< Value > > getBlockPredecessorOperands ( BlockArgument blockArg )

static

Returns the predecessor branch operands that match blockArg, or nullopt if some of the predecessor terminators do not implement the BranchOpInterface.

Definition at line 38 of file SliceWalk.cpp.

References mlir::BlockArgument::getArgNumber(), mlir::BlockArgument::getOwner(), mlir::Block::getTerminator(), mlir::Block::pred_begin(), and mlir::Block::pred_end().

Referenced by mlir::getControlFlowPredecessors().