| /*! |
| * Copyright (c) 2017 by Contributors |
| * \brief External computation rule. |
| * \file extern_op.cc |
| */ |
| #include <tvm/operation.h> |
| #include <tvm/arithmetic.h> |
| #include <tvm/ir.h> |
| #include <unordered_set> |
| #include "op_util.h" |
| |
| namespace tvm { |
| using namespace ir; |
| // ExternOpNode |
| TVM_STATIC_IR_FUNCTOR(IRPrinter, vtable) |
| .set_dispatch<ExternOpNode>([](const ExternOpNode *op, IRPrinter *p) { |
| p->stream << "extern(" << op->name << ", " << op << ")"; |
| }); |
| |
| TVM_REGISTER_NODE_TYPE(ExternOpNode); |
| |
| int ExternOpNode::num_outputs() const { |
| return static_cast<int>(output_placeholders.size()); |
| } |
| |
| Array<IterVar> ExternOpNode::root_iter_vars() const { |
| return {}; |
| } |
| |
| Type ExternOpNode::output_dtype(size_t i) const { |
| return output_placeholders[i]->dtype; |
| } |
| |
| Array<Expr> ExternOpNode::output_shape(size_t i) const { |
| return output_placeholders[i]->shape; |
| } |
| |
| |
| Operation ExternOpNode::make(std::string name, |
| std::string tag, |
| Map<std::string, NodeRef> attrs, |
| Array<Tensor> inputs, |
| Array<Buffer> input_placeholders, |
| Array<Buffer> output_placeholders, |
| Stmt body) { |
| if (!attrs.defined()) { |
| attrs = Map<std::string, NodeRef>(); |
| } |
| auto n = make_node<ExternOpNode>(); |
| n->name = std::move(name); |
| n->tag = std::move(tag); |
| n->attrs = std::move(attrs); |
| CHECK_EQ(inputs.size(), input_placeholders.size()); |
| for (size_t i = 0; i < inputs.size(); ++i) { |
| CHECK_EQ(inputs[i]->dtype, input_placeholders[i]->dtype); |
| CHECK(inputs[i]->shape.same_as(input_placeholders[i]->shape)); |
| CHECK_EQ(input_placeholders[i]->strides.size(), 0U); |
| } |
| n->inputs = std::move(inputs); |
| n->input_placeholders = std::move(input_placeholders); |
| n->output_placeholders = std::move(output_placeholders); |
| n->body = std::move(body); |
| return Operation(n); |
| } |
| |
| Array<Tensor> ExternOpNode::InputTensors() const { |
| return inputs; |
| } |
| |
| Operation ExternOpNode::ReplaceInputs( |
| const Operation& self, |
| const std::unordered_map<Tensor, Tensor>& rmap) const { |
| CHECK_EQ(self.operator->(), this); |
| auto n = make_node<ExternOpNode>(*this); |
| n->body = op::ReplaceTensor(this->body, rmap); |
| for (size_t i = 0; i < n->inputs.size(); ++i) { |
| Tensor t = n->inputs[i]; |
| if (rmap.count(t)) { |
| n->inputs.Set(i, rmap.at(t)); |
| } |
| } |
| |
| if (body.same_as(n->body) && |
| inputs.same_as(n->inputs)) { |
| return self; |
| } else { |
| return Operation(n); |
| } |
| } |
| |
| void ExternOpNode::PropBoundToInputs( |
| const Operation& self, |
| const std::unordered_map<const Variable*, IntSet>& dom_map, |
| std::unordered_map<Tensor, TensorDom>* out_dom_map) const { |
| for (Tensor t : this->inputs) { |
| auto it = out_dom_map->find(t); |
| if (it == out_dom_map->end()) continue; |
| TensorDom& dom = it->second; |
| for (size_t i = 0; i < t->shape.size(); ++i) { |
| dom.data[i].emplace_back(IntSet::range( |
| Range::make_by_min_extent( |
| make_const(t->shape[i].type(), 0), t->shape[i]))); |
| } |
| } |
| } |
| |
| void ExternOpNode::GatherBound( |
| const Operation& self, |
| const std::unordered_map<Tensor, TensorDom>& tensor_dom, |
| std::unordered_map<IterVar, Range>* out_dom_map) const { |
| } |
| |
| Stmt ExternOpNode::BuildRealize( |
| const Stage& stage, |
| const std::unordered_map<IterVar, Range>& realize_map, |
| const Stmt& body) const { |
| CHECK_EQ(stage->op.get(), this); |
| Stmt realize_body = body; |
| for (int k = 0; k < num_outputs(); ++k) { |
| Tensor t = stage->op.output(k); |
| HalideIR::Internal::Region bounds; |
| for (size_t i = 0; i < t->shape.size(); ++i) { |
| bounds.push_back( |
| Range::make_by_min_extent( |
| make_const(t->shape[i].type(), 0), t->shape[i])); |
| } |
| realize_body = ir::Realize::make( |
| t->op, t->value_index, t->dtype, |
| bounds, const_true(), realize_body); |
| } |
| return realize_body; |
| } |
| |
| Stmt ExternOpNode::BuildProvide( |
| const Stage& stage, |
| const std::unordered_map<IterVar, Range>& dom_map, |
| bool debug_keep_trivial_loop) const { |
| CHECK_EQ(stage->op.operator->(), this); |
| Stmt ret = AttrStmt::make(make_zero(Int(32)), attr::extern_scope, 0, this->body); |
| auto f_push_bind = [&ret](Buffer buffer, Tensor tensor) { |
| Array<NodeRef> bind_spec; |
| Array<Expr> tuple; |
| bind_spec.push_back(buffer); |
| bind_spec.push_back(tensor); |
| for (size_t k = 0; k < buffer->shape.size(); ++k) { |
| tuple.push_back(make_const(buffer->shape[k].type(), 0)); |
| tuple.push_back(buffer->shape[k]); |
| } |
| ret = AttrStmt::make( |
| bind_spec, attr::buffer_bind_scope, |
| Call::make(Handle(), intrinsic::tvm_tuple, tuple, Call::Intrinsic), ret); |
| }; |
| for (size_t i = output_placeholders.size(); i != 0; --i) { |
| f_push_bind(output_placeholders[i - 1], stage->op.output(i - 1)); |
| } |
| for (size_t i = inputs.size(); i != 0; --i) { |
| f_push_bind(input_placeholders[i - 1], inputs[i - 1]); |
| } |
| return ret; |
| } |
| } // namespace tvm |