TranslateToCpp.cpp File Reference

#include "mlir/Dialect/ControlFlow/IR/ControlFlowOps.h"
#include "mlir/Dialect/EmitC/IR/EmitC.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/Operation.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Support/IndentedOstream.h"
#include "mlir/Support/LLVM.h"
#include "mlir/Target/Cpp/CppEmitter.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/ScopedHashTable.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/FormatVariadic.h"
#include <stack>
#include <utility>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "translate-to-cpp"

Functions
template<typename ForwardIterator , typename UnaryFunctor , typename NullaryFunctor >
LogicalResult	interleaveWithError (ForwardIterator begin, ForwardIterator end, UnaryFunctor eachFn, NullaryFunctor betweenFn)
	Convenience functions to produce interleaved output with functions returning a LogicalResult. More...
template<typename Container , typename UnaryFunctor , typename NullaryFunctor >
LogicalResult	interleaveWithError (const Container &c, UnaryFunctor eachFn, NullaryFunctor betweenFn)
template<typename Container , typename UnaryFunctor >
LogicalResult	interleaveCommaWithError (const Container &c, raw_ostream &os, UnaryFunctor eachFn)
static FailureOr< int >	getOperatorPrecedence (Operation *operation)
	Return the precedence of a operator as an integer, higher values imply higher precedence. More...
static bool	hasDeferredEmission (Operation *op)
	Determine whether expression op should be emitted in a deferred way. More...
static bool	shouldBeInlined (ExpressionOp expressionOp)
	Determine whether expression expressionOp should be emitted inline, i.e. More...
static LogicalResult	printConstantOp (CppEmitter &emitter, Operation *operation, Attribute value)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ConstantOp constantOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::VariableOp variableOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::GlobalOp globalOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::AssignOp assignOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::LoadOp loadOp)
static LogicalResult	printBinaryOperation (CppEmitter &emitter, Operation *operation, StringRef binaryOperator)
static LogicalResult	printUnaryOperation (CppEmitter &emitter, Operation *operation, StringRef unaryOperator)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::AddOp addOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::DivOp divOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::MulOp mulOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::RemOp remOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::SubOp subOp)
static LogicalResult	emitSwitchCase (CppEmitter &emitter, raw_indented_ostream &os, Region &region)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::SwitchOp switchOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::CmpOp cmpOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ConditionalOp conditionalOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::VerbatimOp verbatimOp)
static LogicalResult	printOperation (CppEmitter &emitter, cf::BranchOp branchOp)
static LogicalResult	printOperation (CppEmitter &emitter, cf::CondBranchOp condBranchOp)
static LogicalResult	printCallOperation (CppEmitter &emitter, Operation *callOp, StringRef callee)
static LogicalResult	printOperation (CppEmitter &emitter, func::CallOp callOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::CallOp callOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::CallOpaqueOp callOpaqueOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ApplyOp applyOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseAndOp bitwiseAndOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseLeftShiftOp bitwiseLeftShiftOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseNotOp bitwiseNotOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseOrOp bitwiseOrOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseRightShiftOp bitwiseRightShiftOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::BitwiseXorOp bitwiseXorOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::UnaryPlusOp unaryPlusOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::UnaryMinusOp unaryMinusOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::CastOp castOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ExpressionOp expressionOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::IncludeOp includeOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::LogicalAndOp logicalAndOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::LogicalNotOp logicalNotOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::LogicalOrOp logicalOrOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ForOp forOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::IfOp ifOp)
static LogicalResult	printOperation (CppEmitter &emitter, func::ReturnOp returnOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::ReturnOp returnOp)
static LogicalResult	printOperation (CppEmitter &emitter, ModuleOp moduleOp)
static LogicalResult	printOperation (CppEmitter &emitter, ClassOp classOp)
static LogicalResult	printOperation (CppEmitter &emitter, FieldOp fieldOp)
static LogicalResult	printOperation (CppEmitter &emitter, GetFieldOp getFieldOp)
static LogicalResult	printOperation (CppEmitter &emitter, FileOp file)
static LogicalResult	printFunctionArgs (CppEmitter &emitter, Operation *functionOp, ArrayRef< Type > arguments)
static LogicalResult	printFunctionArgs (CppEmitter &emitter, Operation *functionOp, Region::BlockArgListType arguments)
static LogicalResult	printFunctionBody (CppEmitter &emitter, Operation *functionOp, Region::BlockListType &blocks)
static LogicalResult	printOperation (CppEmitter &emitter, func::FuncOp functionOp)
static LogicalResult	printOperation (CppEmitter &emitter, emitc::FuncOp functionOp)
static LogicalResult	printOperation (CppEmitter &emitter, DeclareFuncOp declareFuncOp)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "translate-to-cpp"

Definition at line 30 of file TranslateToCpp.cpp.

Function Documentation

emitSwitchCase()

static LogicalResult emitSwitchCase ( CppEmitter &  emitter, raw_indented_ostream &  os, Region &  region  )

static

Definition at line 510 of file TranslateToCpp.cpp.

References mlir::Region::op_begin(), and mlir::Region::op_end().

Referenced by printOperation().

getOperatorPrecedence()

static FailureOr<int> getOperatorPrecedence ( Operation *  operation )

static

Return the precedence of a operator as an integer, higher values imply higher precedence.

Definition at line 73 of file TranslateToCpp.cpp.

hasDeferredEmission()

static bool hasDeferredEmission ( Operation *  op )

static

Determine whether expression op should be emitted in a deferred way.

Definition at line 337 of file TranslateToCpp.cpp.

Referenced by shouldBeInlined().

interleaveCommaWithError()

template<typename Container , typename UnaryFunctor >

LogicalResult interleaveCommaWithError ( const Container &  c, raw_ostream &  os, UnaryFunctor  eachFn  )

inline

Definition at line 65 of file TranslateToCpp.cpp.

References interleaveWithError().

Referenced by printFunctionArgs(), and printOperation().

interleaveWithError() [1/2]

template<typename Container , typename UnaryFunctor , typename NullaryFunctor >

LogicalResult interleaveWithError ( const Container &  c, UnaryFunctor  eachFn, NullaryFunctor  betweenFn  )

inline

Definition at line 58 of file TranslateToCpp.cpp.

References interleaveWithError().

interleaveWithError() [2/2]

template<typename ForwardIterator , typename UnaryFunctor , typename NullaryFunctor >

LogicalResult interleaveWithError ( ForwardIterator  begin, ForwardIterator  end, UnaryFunctor  eachFn, NullaryFunctor  betweenFn  )

inline

Convenience functions to produce interleaved output with functions returning a LogicalResult.

This is different than those in STLExtras as functions used on each element doesn't return a string.

Definition at line 42 of file TranslateToCpp.cpp.

Referenced by interleaveCommaWithError(), and interleaveWithError().

printBinaryOperation()

static LogicalResult printBinaryOperation ( CppEmitter &  emitter, Operation *  operation, StringRef  binaryOperator  )

static

Definition at line 445 of file TranslateToCpp.cpp.

References mlir::Operation::getOperand().

Referenced by printOperation().

printCallOperation()

static LogicalResult printCallOperation ( CppEmitter &  emitter, Operation *  callOp, StringRef  callee  )

static

Definition at line 696 of file TranslateToCpp.cpp.

Referenced by printOperation().

printConstantOp()

static LogicalResult printConstantOp ( CppEmitter &  emitter, Operation *  operation, Attribute  value  )

static

Definition at line 374 of file TranslateToCpp.cpp.

References mlir::Operation::getLoc(), and mlir::Operation::getResult().

Referenced by printOperation().

printFunctionArgs() [1/2]

static LogicalResult printFunctionArgs ( CppEmitter &  emitter, Operation *  functionOp, ArrayRef< Type >  arguments  )

static

Definition at line 1089 of file TranslateToCpp.cpp.

References mlir::Operation::getLoc(), and interleaveCommaWithError().

Referenced by printOperation().

printFunctionArgs() [2/2]

static LogicalResult printFunctionArgs ( CppEmitter &  emitter, Operation *  functionOp, Region::BlockArgListType  arguments  )

static

Definition at line 1100 of file TranslateToCpp.cpp.

References mlir::Operation::getLoc(), mlir::Value::getType(), and interleaveCommaWithError().

printFunctionBody()

static LogicalResult printFunctionBody ( CppEmitter &  emitter, Operation *  functionOp, Region::BlockListType &  blocks  )

static

Definition at line 1112 of file TranslateToCpp.cpp.

References mlir::WalkResult::advance(), mlir::Operation::emitError(), mlir::Operation::emitOpError(), mlir::Operation::getParentOp(), mlir::Operation::getResults(), mlir::raw_indented_ostream::indent(), mlir::PreOrder, shouldBeInlined(), mlir::WalkResult::skip(), mlir::raw_indented_ostream::unindent(), mlir::Operation::walk(), and mlir::WalkResult::wasInterrupted().

Referenced by printOperation().

printOperation() [1/46]

static LogicalResult printOperation ( CppEmitter &  emitter, cf::BranchOp  branchOp  )

static

Definition at line 628 of file TranslateToCpp.cpp.

References mlir::Block::getArguments(), and mlir::Block::getSuccessor().

printOperation() [2/46]

static LogicalResult printOperation ( CppEmitter &  emitter, cf::CondBranchOp  condBranchOp  )

static

Definition at line 648 of file TranslateToCpp.cpp.

References mlir::Block::getArguments(), mlir::raw_indented_ostream::indent(), and mlir::raw_indented_ostream::unindent().

printOperation() [3/46]

static LogicalResult printOperation ( CppEmitter &  emitter, ClassOp  classOp  )

static

Definition at line 1036 of file TranslateToCpp.cpp.

References mlir::raw_indented_ostream::indent(), and mlir::raw_indented_ostream::unindent().

printOperation() [4/46]

static LogicalResult printOperation ( CppEmitter &  emitter, DeclareFuncOp  declareFuncOp  )

static

Definition at line 1257 of file TranslateToCpp.cpp.

References printFunctionArgs().

printOperation() [5/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::AddOp  addOp  )

static

Definition at line 480 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [6/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ApplyOp  applyOp  )

static

Definition at line 779 of file TranslateToCpp.cpp.

printOperation() [7/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::AssignOp  assignOp  )

static

Definition at line 428 of file TranslateToCpp.cpp.

References mlir::Value::getDefiningOp(), and mlir::Operation::getResult().

printOperation() [8/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseAndOp  bitwiseAndOp  )

static

Definition at line 792 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [9/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseLeftShiftOp  bitwiseLeftShiftOp  )

static

Definition at line 799 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [10/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseNotOp  bitwiseNotOp  )

static

Definition at line 805 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [11/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseOrOp  bitwiseOrOp  )

static

Definition at line 811 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [12/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseRightShiftOp  bitwiseRightShiftOp  )

static

Definition at line 818 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [13/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::BitwiseXorOp  bitwiseXorOp  )

static

Definition at line 824 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [14/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::CallOp  callOp  )

static

Definition at line 716 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [15/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::CallOpaqueOp  callOpaqueOp  )

static

Definition at line 723 of file TranslateToCpp.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getLoc(), mlir::Operation::getOperand(), and interleaveCommaWithError().

printOperation() [16/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::CastOp  castOp  )

static

Definition at line 842 of file TranslateToCpp.cpp.

References mlir::Operation::getLoc(), mlir::Operation::getResult(), and mlir::Value::getType().

printOperation() [17/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::CmpOp  cmpOp  )

static

Definition at line 550 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [18/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ConditionalOp  conditionalOp  )

static

Definition at line 582 of file TranslateToCpp.cpp.

printOperation() [19/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ConstantOp  constantOp  )

static

Definition at line 406 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [20/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::DivOp  divOp  )

static

Definition at line 486 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [21/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ExpressionOp  expressionOp  )

static

Definition at line 855 of file TranslateToCpp.cpp.

References shouldBeInlined().

printOperation() [22/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ForOp  forOp  )

static

Definition at line 899 of file TranslateToCpp.cpp.

References mlir::Value::getDefiningOp(), mlir::Region::getOps(), mlir::raw_indented_ostream::indent(), shouldBeInlined(), and mlir::raw_indented_ostream::unindent().

printOperation() [23/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::FuncOp  functionOp  )

static

Definition at line 1216 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [24/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::GlobalOp  globalOp  )

static

Definition at line 422 of file TranslateToCpp.cpp.

printOperation() [25/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::IfOp  ifOp  )

static

Definition at line 957 of file TranslateToCpp.cpp.

References mlir::Region::empty(), mlir::raw_indented_ostream::indent(), and mlir::raw_indented_ostream::unindent().

printOperation() [26/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::IncludeOp  includeOp  )

static

Definition at line 868 of file TranslateToCpp.cpp.

printOperation() [27/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::LoadOp  loadOp  )

static

Definition at line 438 of file TranslateToCpp.cpp.

printOperation() [28/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::LogicalAndOp  logicalAndOp  )

static

Definition at line 881 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [29/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::LogicalNotOp  logicalNotOp  )

static

Definition at line 887 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [30/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::LogicalOrOp  logicalOrOp  )

static

Definition at line 893 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [31/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::MulOp  mulOp  )

static

Definition at line 492 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [32/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::RemOp  remOp  )

static

Definition at line 498 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [33/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::ReturnOp  returnOp  )

static

Definition at line 1015 of file TranslateToCpp.cpp.

printOperation() [34/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::SubOp  subOp  )

static

Definition at line 504 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [35/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::SwitchOp  switchOp  )

static

Definition at line 521 of file TranslateToCpp.cpp.

References emitSwitchCase(), mlir::raw_indented_ostream::indent(), and mlir::raw_indented_ostream::unindent().

printOperation() [36/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::UnaryMinusOp  unaryMinusOp  )

static

Definition at line 836 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [37/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::UnaryPlusOp  unaryPlusOp  )

static

Definition at line 830 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [38/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::VariableOp  variableOp  )

static

Definition at line 414 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [39/46]

static LogicalResult printOperation ( CppEmitter &  emitter, emitc::VerbatimOp  verbatimOp  )

static

Definition at line 605 of file TranslateToCpp.cpp.

printOperation() [40/46]

static LogicalResult printOperation ( CppEmitter &  emitter, FieldOp  fieldOp  )

static

Definition at line 1054 of file TranslateToCpp.cpp.

printOperation() [41/46]

static LogicalResult printOperation ( CppEmitter &  emitter, FileOp  file  )

static

Definition at line 1078 of file TranslateToCpp.cpp.

printOperation() [42/46]

static LogicalResult printOperation ( CppEmitter &  emitter, func::CallOp  callOp  )

static

Definition at line 709 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [43/46]

static LogicalResult printOperation ( CppEmitter &  emitter, func::FuncOp  functionOp  )

static

Definition at line 1179 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [44/46]

static LogicalResult printOperation ( CppEmitter &  emitter, func::ReturnOp  returnOp  )

static

Definition at line 994 of file TranslateToCpp.cpp.

printOperation() [45/46]

static LogicalResult printOperation ( CppEmitter &  emitter, GetFieldOp  getFieldOp  )

static

Definition at line 1062 of file TranslateToCpp.cpp.

References mlir::Value::getType().

printOperation() [46/46]

static LogicalResult printOperation ( CppEmitter &  emitter, ModuleOp  moduleOp  )

static

Definition at line 1028 of file TranslateToCpp.cpp.

printUnaryOperation()

static LogicalResult printUnaryOperation ( CppEmitter &  emitter, Operation *  operation, StringRef  unaryOperator  )

static

Definition at line 464 of file TranslateToCpp.cpp.

References mlir::Operation::getOperand().

Referenced by printOperation().

shouldBeInlined()

static bool shouldBeInlined ( ExpressionOp  expressionOp )

static

Determine whether expression expressionOp should be emitted inline, i.e.

as part of its user. This function recommends inlining of any expressions that can be inlined unless it is used by another expression, under the assumption that any expression fusion/re-materialization was taken care of by transformations run by the backend.

Definition at line 347 of file TranslateToCpp.cpp.

References mlir::Value::getUsers(), hasDeferredEmission(), and mlir::Value::hasOneUse().

Referenced by printFunctionBody(), and printOperation().