MLIR  21.0.0git
Classes | Typedefs | Enumerations | Functions
mlir::emitc Namespace Reference

Classes

struct  Placeholder
 

Typedefs

using ReplacementItem = std::variant< StringRef, Placeholder >
 

Enumerations

enum class  LanguageTarget { c99 , cpp11 }
 Enum to specify the language target for EmitC code generation. More...
 

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...
 
ExpressionOp createExpression (Operation *op, OpBuilder &builder)
 
void populateExpressionPatterns (RewritePatternSet &patterns)
 Populates patterns with expression-related patterns. More...
 
std::optional< TypegetUnsignedTypeFor (Type ty)
 Get an unsigned integer or size data type corresponding to ty. More...
 
std::optional< TypegetSignedTypeFor (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, StringRef fileId={})
 Translates the given operation to C++ code. More...
 

Typedef Documentation

◆ ReplacementItem

using mlir::emitc::ReplacementItem = typedef std::variant<StringRef, Placeholder>

Definition at line 54 of file EmitC.h.

Enumeration Type Documentation

◆ LanguageTarget

Enum to specify the language target for EmitC code generation.

Enumerator
c99 
cpp11 

Definition at line 16 of file MathToEmitC.h.

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 58 of file EmitC.cpp.

References mlir::OpBuilder::create().

◆ createExpression()

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

◆ 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 52 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 39 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 112 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 135 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 62 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 117 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 96 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::patterns.

◆ translateToCpp()

LogicalResult mlir::emitc::translateToCpp ( Operation op,
raw_ostream &  os,
bool  declareVariablesAtTop = false,
StringRef  fileId = {} 
)

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. If parameter 'fileId' is non-empty, then body of emitc.file ops with matching id are emitted.

Definition at line 1788 of file TranslateToCpp.cpp.

Referenced by mlir::registerToCppTranslation().