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, 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 472 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 299 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 407 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 658 of file TranslateToCpp.cpp.

Referenced by printOperation().

printConstantOp()

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

static

Definition at line 336 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 1004 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 1015 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 1027 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/43]

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

static

Definition at line 590 of file TranslateToCpp.cpp.

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

printOperation() [2/43]

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

static

Definition at line 610 of file TranslateToCpp.cpp.

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

printOperation() [3/43]

static LogicalResult printOperation ( CppEmitter &  emitter, DeclareFuncOp  declareFuncOp  )

static

Definition at line 1172 of file TranslateToCpp.cpp.

References printFunctionArgs().

printOperation() [4/43]

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

static

Definition at line 442 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [5/43]

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

static

Definition at line 733 of file TranslateToCpp.cpp.

printOperation() [6/43]

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

static

Definition at line 390 of file TranslateToCpp.cpp.

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

printOperation() [7/43]

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

static

Definition at line 746 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [8/43]

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

static

Definition at line 753 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [9/43]

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

static

Definition at line 759 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [10/43]

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

static

Definition at line 765 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [11/43]

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

static

Definition at line 772 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [12/43]

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

static

Definition at line 778 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [13/43]

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

static

Definition at line 678 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [14/43]

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

static

Definition at line 685 of file TranslateToCpp.cpp.

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

printOperation() [15/43]

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

static

Definition at line 796 of file TranslateToCpp.cpp.

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

printOperation() [16/43]

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

static

Definition at line 512 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [17/43]

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

static

Definition at line 544 of file TranslateToCpp.cpp.

printOperation() [18/43]

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

static

Definition at line 368 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [19/43]

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

static

Definition at line 448 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [20/43]

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

static

Definition at line 809 of file TranslateToCpp.cpp.

References shouldBeInlined().

printOperation() [21/43]

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

static

Definition at line 853 of file TranslateToCpp.cpp.

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

printOperation() [22/43]

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

static

Definition at line 1131 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [23/43]

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

static

Definition at line 384 of file TranslateToCpp.cpp.

printOperation() [24/43]

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

static

Definition at line 910 of file TranslateToCpp.cpp.

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

printOperation() [25/43]

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

static

Definition at line 822 of file TranslateToCpp.cpp.

printOperation() [26/43]

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

static

Definition at line 400 of file TranslateToCpp.cpp.

printOperation() [27/43]

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

static

Definition at line 835 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [28/43]

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

static

Definition at line 841 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [29/43]

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

static

Definition at line 847 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [30/43]

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

static

Definition at line 454 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [31/43]

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

static

Definition at line 460 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [32/43]

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

static

Definition at line 968 of file TranslateToCpp.cpp.

printOperation() [33/43]

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

static

Definition at line 466 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [34/43]

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

static

Definition at line 483 of file TranslateToCpp.cpp.

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

printOperation() [35/43]

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

static

Definition at line 790 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [36/43]

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

static

Definition at line 784 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [37/43]

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

static

Definition at line 376 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [38/43]

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

static

Definition at line 567 of file TranslateToCpp.cpp.

printOperation() [39/43]

static LogicalResult printOperation ( CppEmitter &  emitter, FileOp  file  )

static

Definition at line 991 of file TranslateToCpp.cpp.

printOperation() [40/43]

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

static

Definition at line 671 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [41/43]

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

static

Definition at line 1094 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [42/43]

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

static

Definition at line 947 of file TranslateToCpp.cpp.

printOperation() [43/43]

static LogicalResult printOperation ( CppEmitter &  emitter, ModuleOp  moduleOp  )

static

Definition at line 981 of file TranslateToCpp.cpp.

printUnaryOperation()

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

static

Definition at line 426 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 309 of file TranslateToCpp.cpp.

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

Referenced by printFunctionBody(), and printOperation().