Functions
void	buildTerminatedBody (OpBuilder &builder, Location loc)
	Default callback for builders of ops carrying a region. More...

bool	isSupportedEmitCType (mlir::Type type)
	Determines whether `type` is valid in EmitC. More...

bool	isSupportedIntegerType (mlir::Type type)
	Determines whether `type` is a valid integer type in EmitC. More...

bool	isIntegerIndexOrOpaqueType (Type type)
	Determines whether `type` is integer like, i.e. More...

bool	isSupportedFloatType (mlir::Type type)
	Determines whether `type` is a valid floating-point type in EmitC. More...

bool	isPointerWideType (mlir::Type type)
	Determines whether `type` is a emitc.size_t/ssize_t type. More...

std::unique_ptr< Pass >	createFormExpressionsPass ()
	Creates an instance of the C-style expressions forming pass. More...

ExpressionOp	createExpression (Operation *op, OpBuilder &builder)

void	populateExpressionPatterns (RewritePatternSet &patterns)
	Populates `patterns` with expression-related patterns. More...

std::optional< Type >	getUnsignedTypeFor (Type ty)
	Get an unsigned integer or size data type corresponding to `ty`. More...

std::optional< Type >	getSignedTypeFor (Type ty)
	Get a signed integer or size data type corresponding to `ty` that supports arithmetic on negative values. More...

LogicalResult	translateToCpp (Operation *op, raw_ostream &os, bool declareVariablesAtTop=false)
	Translates the given operation to C++ code. More...

Function Documentation

◆ buildTerminatedBody()

void mlir::emitc::buildTerminatedBody	(	OpBuilder &	builder,
		Location	loc
	)

Default callback for builders of ops carrying a region.

Inserts a yield without arguments.

Definition at line 57 of file EmitC.cpp.

References mlir::OpBuilder::create().

◆ createExpression()

ExpressionOp mlir::emitc::createExpression	(	Operation *	op,
		OpBuilder &	builder
	)

Definition at line 18 of file Transforms.cpp.

References mlir::OpBuilder::create(), mlir::Region::emplaceBlock(), mlir::Operation::getLoc(), mlir::Operation::getNumResults(), mlir::Operation::getResult(), mlir::Value::getType(), mlir::Operation::hasTrait(), mlir::Operation::moveBefore(), mlir::Value::replaceAllUsesWith(), mlir::OpBuilder::setInsertionPointAfter(), and mlir::OpBuilder::setInsertionPointToEnd().

◆ createFormExpressionsPass()

std::unique_ptr< Pass > mlir::emitc::createFormExpressionsPass ( )

Creates an instance of the C-style expressions forming pass.

Definition at line 60 of file FormExpressions.cpp.

◆ getSignedTypeFor()

std::optional< Type > mlir::emitc::getSignedTypeFor ( Type ty )

Get a signed integer or size data type corresponding to ty that supports arithmetic on negative values.

Definition at line 53 of file TypeConversions.cpp.

References mlir::get(), mlir::Type::getContext(), mlir::Type::getIntOrFloatBitWidth(), mlir::Type::isInteger(), and mlir::quant::QuantizationFlags::Signed.

◆ getUnsignedTypeFor()

std::optional< Type > mlir::emitc::getUnsignedTypeFor ( Type ty )

Get an unsigned integer or size data type corresponding to ty.

Definition at line 40 of file TypeConversions.cpp.

References mlir::get(), mlir::Type::getContext(), mlir::Type::getIntOrFloatBitWidth(), and mlir::Type::isInteger().

◆ isIntegerIndexOrOpaqueType()

bool mlir::emitc::isIntegerIndexOrOpaqueType ( Type type )

Determines whether type is integer like, i.e.

it's a supported integer, an index or opaque type.

Definition at line 111 of file EmitC.cpp.

References isPointerWideType(), and isSupportedIntegerType().

◆ isPointerWideType()

bool mlir::emitc::isPointerWideType ( mlir::Type type )

Determines whether type is a emitc.size_t/ssize_t type.

Definition at line 134 of file EmitC.cpp.

Referenced by isIntegerIndexOrOpaqueType(), isSupportedEmitCType(), and verifyInitializationAttribute().

◆ isSupportedEmitCType()

bool mlir::emitc::isSupportedEmitCType ( mlir::Type type )

Determines whether type is valid in EmitC.

Definition at line 61 of file EmitC.cpp.

References mlir::Type::isIndex(), isPointerWideType(), isSupportedFloatType(), and isSupportedIntegerType().

◆ isSupportedFloatType()

bool mlir::emitc::isSupportedFloatType ( mlir::Type type )

Determines whether type is a valid floating-point type in EmitC.

Definition at line 116 of file EmitC.cpp.

Referenced by isSupportedEmitCType().

◆ isSupportedIntegerType()

bool mlir::emitc::isSupportedIntegerType ( mlir::Type type )

Determines whether type is a valid integer type in EmitC.

Definition at line 95 of file EmitC.cpp.

Referenced by isIntegerIndexOrOpaqueType(), and isSupportedEmitCType().

◆ populateExpressionPatterns()

void mlir::emitc::populateExpressionPatterns ( RewritePatternSet & patterns )

Populates patterns with expression-related patterns.

Definition at line 110 of file Transforms.cpp.

References mlir::RewritePatternSet::add(), and mlir::RewritePatternSet::getContext().

◆ translateToCpp()

LogicalResult mlir::emitc::translateToCpp	(	Operation *	op,
		raw_ostream &	os,
		bool	declareVariablesAtTop = `false`
	)

Translates the given operation to C++ code.

The operation or operations in the region of 'op' need almost all be in EmitC dialect. The parameter 'declareVariablesAtTop' enforces that all variables for op results and block arguments are declared at the beginning of the function.

Definition at line 1743 of file TranslateToCpp.cpp.

Referenced by mlir::registerToCppTranslation().

Functions