tvm
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
extern.h
Go to the documentation of this file.
1 /*
2  * Licensed to the Apache Software Foundation (ASF) under one
3  * or more contributor license agreements. See the NOTICE file
4  * distributed with this work for additional information
5  * regarding copyright ownership. The ASF licenses this file
6  * to you under the Apache License, Version 2.0 (the
7  * "License"); you may not use this file except in compliance
8  * with the License. You may obtain a copy of the License at
9  *
10  * http://www.apache.org/licenses/LICENSE-2.0
11  *
12  * Unless required by applicable law or agreed to in writing,
13  * software distributed under the License is distributed on an
14  * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15  * KIND, either express or implied. See the License for the
16  * specific language governing permissions and limitations
17  * under the License.
18  */
19 
24 #ifndef TVM_TOPI_DETAIL_EXTERN_H_
25 #define TVM_TOPI_DETAIL_EXTERN_H_
26 
27 #include <tvm/te/operation.h>
28 #include <tvm/tir/builtin.h>
29 
30 #include <string>
31 #include <vector>
32 
33 namespace tvm {
34 namespace topi {
35 namespace detail {
36 
37 using namespace tvm::te;
38 
48 inline Buffer DeclExternBuffer(Array<PrimExpr> shape, DataType dtype, std::string name) {
49  auto data = var(name, DataType::Handle());
50  auto elem_offset = PrimExpr();
51  return Buffer(data, dtype, shape, Array<PrimExpr>(), elem_offset, name, -1, 0, kDefault);
52 }
53 
59 using FExtern = std::function<PrimExpr(Array<Buffer>, Array<Buffer>)>;
60 
78 inline Array<Tensor> make_extern(const Array<Array<PrimExpr>>& out_shapes,
79  const std::vector<DataType>& out_types,
80  const Array<Tensor>& inputs, FExtern fextern, std::string name,
81  std::string tag, ::tvm::Map<String, ObjectRef> attrs) {
82  ICHECK_EQ(out_shapes.size(), out_types.size())
83  << "make_extern: out_shapes and out_types must have equal size";
84 
85  Array<Buffer> input_placeholders;
86  for (auto t : inputs) {
87  input_placeholders.push_back(DeclExternBuffer(t->shape, t->dtype, t->op->name));
88  }
89  Array<Buffer> output_placeholders;
90  for (size_t i = 0; i < out_shapes.size(); ++i) {
91  output_placeholders.push_back(DeclExternBuffer(out_shapes[i], out_types[i], name));
92  }
93 
94  auto body = fextern(input_placeholders, output_placeholders);
95  auto body_stmt = tvm::tir::Evaluate(body);
96 
97  auto op = ExternOp(name, tag, attrs, inputs, input_placeholders, output_placeholders, body_stmt);
98 
99  Array<Tensor> outputs;
100  for (size_t i = 0; i < output_placeholders.size(); ++i) {
101  outputs.push_back(op.output(i));
102  }
103  return outputs;
104 }
105 
114 inline PrimExpr pack_buffer(Buffer buf) {
115  ICHECK_GT(buf->shape.size(), 0) << "buf shape must have at least one element";
116  auto shape =
118  PrimExpr strides;
119  if (buf->strides.size() > 0) {
120  strides =
122  } else {
123  strides = 0;
124  }
125  Array<PrimExpr> pack_args{buf->data,
126  shape,
127  strides,
128  make_const(DataType::Int(32), static_cast<int64_t>(buf->shape.size())),
129  make_const(buf->dtype, 0),
130  buf->elem_offset};
132 }
133 
143 inline PrimExpr call_packed(Array<PrimExpr> args) {
145 }
146 
147 } // namespace detail
148 } // namespace topi
149 } // namespace tvm
150 #endif // TVM_TOPI_DETAIL_EXTERN_H_
TIR builtin intrinsics.
static DataType Int(int bits, int lanes=1)
Construct an int type.
Definition: data_type.h:176
static DataType Handle(int bits=64, int lanes=1)
Construct a handle type.
Definition: data_type.h:222
Map container of NodeRef->NodeRef in DSL graph. Map implements copy on write semantics,...
Definition: map.h:1271
Managed reference to ExternOpNode.
Definition: operation.h:460
Buffer is a symbolic n-darray structure. It is a composition of primitive symbolic types,...
Definition: buffer.h:162
Managed reference to CallNode.
Definition: expr.h:913
void Evaluate(PrimExpr value)
Evaluate the input expression.
Tensor expression language DSL.
Definition: extracted_task.h:33
Var var(std::string name_hint, DataType t=DataType::Int(32))
Construct a new Var expression.
const Op & tvm_stack_make_array()
Allocate a NDArray(DLTensor) on stack, return the handle.
const Op & tvm_call_packed()
See pesudo code.
const Op & tvm_stack_make_shape()
Allocate a shape tuple on stack, return the handle.
PrimExpr make_const(DataType t, ValueType value, Span span=Span())
Make a const value with certain data type.
Definition: op.h:961
Tensor shape(const Tensor &src, DataType dtype, const std::string name="T_shape", const std::string tag=kInjective)
Get the shape of input tensor.
Definition: transform.h:1766
runtime implementation for LibTorch/TorchScript.
Definition: analyzer.h:36
runtime::DataType DataType
Definition: data_type.h:433
Operation node can generate one or multiple Tensors.