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	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 463 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 290 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 398 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 633 of file TranslateToCpp.cpp.

Referenced by printOperation().

printConstantOp()

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

static

Definition at line 327 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 966 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 977 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 989 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/42]

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

static

Definition at line 567 of file TranslateToCpp.cpp.

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

printOperation() [2/42]

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

static

Definition at line 587 of file TranslateToCpp.cpp.

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

printOperation() [3/42]

static LogicalResult printOperation ( CppEmitter &  emitter, DeclareFuncOp  declareFuncOp  )

static

Definition at line 1134 of file TranslateToCpp.cpp.

References printFunctionArgs().

printOperation() [4/42]

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

static

Definition at line 433 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [5/42]

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

static

Definition at line 708 of file TranslateToCpp.cpp.

printOperation() [6/42]

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

static

Definition at line 381 of file TranslateToCpp.cpp.

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

printOperation() [7/42]

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

static

Definition at line 721 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [8/42]

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

static

Definition at line 728 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [9/42]

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

static

Definition at line 734 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [10/42]

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

static

Definition at line 740 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [11/42]

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

static

Definition at line 747 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [12/42]

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

static

Definition at line 753 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [13/42]

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

static

Definition at line 653 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [14/42]

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

static

Definition at line 660 of file TranslateToCpp.cpp.

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

printOperation() [15/42]

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

static

Definition at line 771 of file TranslateToCpp.cpp.

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

printOperation() [16/42]

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

static

Definition at line 503 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [17/42]

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

static

Definition at line 535 of file TranslateToCpp.cpp.

printOperation() [18/42]

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

static

Definition at line 359 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [19/42]

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

static

Definition at line 439 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [20/42]

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

static

Definition at line 784 of file TranslateToCpp.cpp.

References shouldBeInlined().

printOperation() [21/42]

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

static

Definition at line 828 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/42]

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

static

Definition at line 1093 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [23/42]

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

static

Definition at line 375 of file TranslateToCpp.cpp.

printOperation() [24/42]

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

static

Definition at line 885 of file TranslateToCpp.cpp.

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

printOperation() [25/42]

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

static

Definition at line 797 of file TranslateToCpp.cpp.

printOperation() [26/42]

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

static

Definition at line 391 of file TranslateToCpp.cpp.

printOperation() [27/42]

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

static

Definition at line 810 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [28/42]

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

static

Definition at line 816 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [29/42]

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

static

Definition at line 822 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [30/42]

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

static

Definition at line 445 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [31/42]

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

static

Definition at line 451 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [32/42]

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

static

Definition at line 943 of file TranslateToCpp.cpp.

printOperation() [33/42]

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

static

Definition at line 457 of file TranslateToCpp.cpp.

References printBinaryOperation().

printOperation() [34/42]

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

static

Definition at line 474 of file TranslateToCpp.cpp.

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

printOperation() [35/42]

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

static

Definition at line 765 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [36/42]

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

static

Definition at line 759 of file TranslateToCpp.cpp.

References printUnaryOperation().

printOperation() [37/42]

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

static

Definition at line 367 of file TranslateToCpp.cpp.

References printConstantOp().

printOperation() [38/42]

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

static

Definition at line 558 of file TranslateToCpp.cpp.

printOperation() [39/42]

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

static

Definition at line 646 of file TranslateToCpp.cpp.

References printCallOperation().

printOperation() [40/42]

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

static

Definition at line 1056 of file TranslateToCpp.cpp.

References printFunctionArgs(), and printFunctionBody().

printOperation() [41/42]

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

static

Definition at line 922 of file TranslateToCpp.cpp.

printOperation() [42/42]

static LogicalResult printOperation ( CppEmitter &  emitter, ModuleOp  moduleOp  )

static

Definition at line 956 of file TranslateToCpp.cpp.

printUnaryOperation()

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

static

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

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

Referenced by printFunctionBody(), and printOperation().