#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/IR/Value.h"#include "mlir/Support/IndentedOstream.h"#include "mlir/Support/LLVM.h"#include "mlir/Target/Cpp/CppEmitter.h"#include "llvm/ADT/ScopedHashTable.h"#include "llvm/ADT/StringExtras.h"#include "llvm/ADT/TypeSwitch.h"#include "llvm/Support/Debug.h"#include "llvm/Support/FormatVariadic.h"#include <stack>Go to the source code of this file.
Macros | |
| #define | DEBUG_TYPE "translate-to-cpp" |
Functions | |
| template<typename ForwardIterator, typename UnaryFunctor, typename NullaryFunctor> | |
| static LogicalResult | interleaveWithError (ForwardIterator begin, ForwardIterator end, UnaryFunctor eachFn, NullaryFunctor betweenFn) |
| Convenience functions to produce interleaved output with functions returning a LogicalResult. | |
| template<typename Container, typename UnaryFunctor, typename NullaryFunctor> | |
| static LogicalResult | interleaveWithError (const Container &c, UnaryFunctor eachFn, NullaryFunctor betweenFn) |
| template<typename Container, typename UnaryFunctor> | |
| static 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. | |
| static bool | hasDeferredEmission (Operation *op) |
Determine whether expression op should be emitted in a deferred way. | |
| static bool | shouldBeInlined (ExpressionOp expressionOp) |
Determine whether expression expressionOp should be emitted inline, i.e. | |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::DereferenceOp dereferenceOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::GetFieldOp getFieldOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::GetGlobalOp getGlobalOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::LiteralOp literalOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::MemberOp memberOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::MemberOfPtrOp memberOfPtrOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::SubscriptOp subscriptOp) |
| static LogicalResult | printConstantOp (CppEmitter &emitter, Operation *operation, Attribute value) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::AddressOfOp addressOfOp) |
| 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 ®ion) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::SwitchOp switchOp) |
| static LogicalResult | printOperation (CppEmitter &emitter, emitc::DoOp doOp) |
| 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, 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 28 of file TranslateToCpp.cpp.
Function Documentation
◆ emitSwitchCase()
|
static |
Definition at line 610 of file TranslateToCpp.cpp.
References mlir::Region::op_begin(), mlir::Region::op_end(), and success().
Referenced by printOperation().
◆ getOperatorPrecedence()
|
static |
Return the precedence of a operator as an integer, higher values imply higher precedence.
Definition at line 71 of file TranslateToCpp.cpp.
◆ hasDeferredEmission()
Determine whether expression op should be emitted in a deferred way.
Definition at line 339 of file TranslateToCpp.cpp.
Referenced by shouldBeInlined().
◆ interleaveCommaWithError()
|
inlinestatic |
Definition at line 63 of file TranslateToCpp.cpp.
References interleaveWithError().
Referenced by printFunctionArgs(), printFunctionArgs(), and printOperation().
◆ interleaveWithError() [1/2]
|
inlinestatic |
Definition at line 56 of file TranslateToCpp.cpp.
References interleaveWithError().
◆ interleaveWithError() [2/2]
|
inlinestatic |
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 40 of file TranslateToCpp.cpp.
References success().
Referenced by interleaveCommaWithError(), and interleaveWithError().
◆ printBinaryOperation()
|
static |
Definition at line 545 of file TranslateToCpp.cpp.
References mlir::Operation::getOperand(), and success().
Referenced by printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), printOperation(), and printOperation().
◆ printCallOperation()
|
static |
Definition at line 820 of file TranslateToCpp.cpp.
References success().
Referenced by printOperation(), and printOperation().
◆ printConstantOp()
|
static |
Definition at line 460 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), mlir::Operation::getResult(), result, and success().
Referenced by printOperation(), and printOperation().
◆ printFunctionArgs() [1/2]
|
static |
Definition at line 1198 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), and interleaveCommaWithError().
Referenced by printOperation(), printOperation(), and printOperation().
◆ printFunctionArgs() [2/2]
|
static |
Definition at line 1209 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), mlir::Value::getType(), and interleaveCommaWithError().
◆ printFunctionBody()
|
static |
Definition at line 1221 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, result, shouldBeInlined(), mlir::WalkResult::skip(), success(), mlir::raw_indented_ostream::unindent(), and mlir::Operation::walk().
Referenced by printOperation(), and printOperation().
◆ printOperation() [1/54]
|
static |
Definition at line 752 of file TranslateToCpp.cpp.
References mlir::Block::getArguments(), mlir::Block::getSuccessor(), and success().
◆ printOperation() [2/54]
|
static |
Definition at line 772 of file TranslateToCpp.cpp.
References mlir::Block::getArguments(), mlir::raw_indented_ostream::indent(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [3/54]
|
static |
Definition at line 1153 of file TranslateToCpp.cpp.
References mlir::raw_indented_ostream::indent(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [4/54]
|
static |
Definition at line 1366 of file TranslateToCpp.cpp.
References mlir::SymbolTable::lookupNearestSymbolFrom(), printFunctionArgs(), and success().
◆ printOperation() [5/54]
|
static |
Definition at line 580 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [6/54]
|
static |
Definition at line 492 of file TranslateToCpp.cpp.
◆ printOperation() [7/54]
|
static |
Definition at line 899 of file TranslateToCpp.cpp.
◆ printOperation() [8/54]
|
static |
Definition at line 528 of file TranslateToCpp.cpp.
References result.
◆ printOperation() [9/54]
|
static |
Definition at line 910 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [10/54]
|
static |
Definition at line 917 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [11/54]
|
static |
Definition at line 923 of file TranslateToCpp.cpp.
References printUnaryOperation().
◆ printOperation() [12/54]
|
static |
Definition at line 929 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [13/54]
|
static |
Definition at line 936 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [14/54]
|
static |
Definition at line 942 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [15/54]
|
static |
Definition at line 840 of file TranslateToCpp.cpp.
References printCallOperation().
◆ printOperation() [16/54]
|
static |
Definition at line 847 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), mlir::Operation::getOperand(), interleaveCommaWithError(), and success().
◆ printOperation() [17/54]
|
static |
Definition at line 960 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), mlir::Operation::getResult(), and mlir::Value::getType().
◆ printOperation() [18/54]
|
static |
Definition at line 674 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [19/54]
|
static |
Definition at line 706 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [20/54]
|
static |
Definition at line 503 of file TranslateToCpp.cpp.
References mlir::Operation::getLoc(), and printConstantOp().
◆ printOperation() [21/54]
|
static |
Definition at line 400 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [22/54]
|
static |
Definition at line 586 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [23/54]
|
static |
Definition at line 650 of file TranslateToCpp.cpp.
References mlir::Block::back(), mlir::Block::front(), mlir::raw_indented_ostream::indent(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [24/54]
|
static |
Definition at line 973 of file TranslateToCpp.cpp.
References shouldBeInlined(), and success().
◆ printOperation() [25/54]
|
static |
Definition at line 1017 of file TranslateToCpp.cpp.
References mlir::Value::getDefiningOp(), mlir::Region::getOps(), mlir::raw_indented_ostream::indent(), shouldBeInlined(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [26/54]
|
static |
Definition at line 1325 of file TranslateToCpp.cpp.
References printFunctionArgs(), printFunctionBody(), and success().
◆ printOperation() [27/54]
|
static |
Definition at line 409 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [28/54]
|
static |
Definition at line 416 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [29/54]
|
static |
Definition at line 522 of file TranslateToCpp.cpp.
◆ printOperation() [30/54]
|
static |
Definition at line 1074 of file TranslateToCpp.cpp.
References mlir::Region::empty(), mlir::raw_indented_ostream::indent(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [31/54]
|
static |
Definition at line 986 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [32/54]
|
static |
Definition at line 422 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [33/54]
|
static |
Definition at line 538 of file TranslateToCpp.cpp.
◆ printOperation() [34/54]
|
static |
Definition at line 999 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [35/54]
|
static |
Definition at line 1005 of file TranslateToCpp.cpp.
References printUnaryOperation().
◆ printOperation() [36/54]
|
static |
Definition at line 1011 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [37/54]
|
static |
Definition at line 438 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [38/54]
|
static |
Definition at line 428 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [39/54]
|
static |
Definition at line 592 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [40/54]
|
static |
Definition at line 598 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [41/54]
|
static |
Definition at line 1132 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [42/54]
|
static |
Definition at line 604 of file TranslateToCpp.cpp.
References printBinaryOperation().
◆ printOperation() [43/54]
|
static |
Definition at line 448 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [44/54]
|
static |
Definition at line 621 of file TranslateToCpp.cpp.
References emitSwitchCase(), mlir::raw_indented_ostream::indent(), success(), and mlir::raw_indented_ostream::unindent().
◆ printOperation() [45/54]
|
static |
Definition at line 954 of file TranslateToCpp.cpp.
References printUnaryOperation().
◆ printOperation() [46/54]
|
static |
Definition at line 948 of file TranslateToCpp.cpp.
References printUnaryOperation().
◆ printOperation() [47/54]
|
static |
Definition at line 514 of file TranslateToCpp.cpp.
References printConstantOp().
◆ printOperation() [48/54]
|
static |
Definition at line 729 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [49/54]
|
static |
Definition at line 1171 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [50/54]
|
static |
Definition at line 1187 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [51/54]
|
static |
Definition at line 833 of file TranslateToCpp.cpp.
References printCallOperation().
◆ printOperation() [52/54]
|
static |
Definition at line 1288 of file TranslateToCpp.cpp.
References printFunctionArgs(), printFunctionBody(), and success().
◆ printOperation() [53/54]
|
static |
Definition at line 1111 of file TranslateToCpp.cpp.
References success().
◆ printOperation() [54/54]
|
static |
Definition at line 1145 of file TranslateToCpp.cpp.
References success().
◆ printUnaryOperation()
|
static |
Definition at line 564 of file TranslateToCpp.cpp.
References mlir::Operation::getOperand(), and success().
Referenced by printOperation(), printOperation(), printOperation(), and printOperation().
◆ shouldBeInlined()
|
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 350 of file TranslateToCpp.cpp.
References hasDeferredEmission(), and result.
Referenced by printFunctionBody(), printOperation(), and printOperation().
Generated on for MLIR by
1.14.0