circt::hwarith Namespace Reference

Functions
unsigned	inferAddResultType (IntegerType::SignednessSemantics &signedness, IntegerType lhs, IntegerType rhs)
bool	isHWArithIntegerType (::mlir::Type type)
static LogicalResult	verifyBinOp (Operation *binOp)

Function Documentation

inferAddResultType()

unsigned circt::hwarith::inferAddResultType	(	IntegerType::SignednessSemantics &	signedness,
		IntegerType	lhs,
		IntegerType	rhs )

Definition at line 225 of file HWArithOps.cpp.

isHWArithIntegerType()

bool circt::hwarith::isHWArithIntegerType

(

::mlir::Type

type

)

verifyBinOp()

LogicalResult circt::hwarith::verifyBinOp ( Operation * binOp )

static

Definition at line 251 of file HWArithOps.cpp.

References success().