type.h

Go to the documentation of this file.

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.  See the License for the
 * specific language governing permissions and limitations
 * under the License.
 */
 
#ifndef TVM_IR_TYPE_H_
#define TVM_IR_TYPE_H_
 
#include <tvm/ffi/container/array.h>
#include <tvm/ffi/reflection/registry.h>
#include <tvm/ir/source_map.h>
#include <tvm/node/node.h>
#include <tvm/runtime/data_type.h>
#include <tvm/runtime/object.h>
 
#include <string>
 
namespace tvm {
 
class TypeNode : public Object {
 public:
  mutable Span span;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    // span do not participate in structural equal and hash.
    refl::ObjectDef<TypeNode>().def_ro("span", &TypeNode::span, refl::DefaultValue(Span()),
                                       refl::AttachFieldFlag::SEqHashIgnore());
  }
 
  static constexpr TVMFFISEqHashKind _type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode;
  static constexpr const char* _type_key = "ir.Type";
 
  static constexpr const uint32_t _type_child_slots = 14;
  TVM_DECLARE_BASE_OBJECT_INFO(TypeNode, Object);
};
 
class Type : public ObjectRef {
 public:
  TVM_DEFINE_OBJECT_REF_METHODS(Type, ObjectRef, TypeNode);
};
 
class PrimTypeNode : public TypeNode {
 public:
  runtime::DataType dtype;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<PrimTypeNode>().def_ro("dtype", &PrimTypeNode::dtype);
  }
 
  static constexpr const char* _type_key = "ir.PrimType";
  TVM_DECLARE_FINAL_OBJECT_INFO(PrimTypeNode, TypeNode);
};
 
/*
 * \brief Managed reference to PrimTypeNode.
 * \sa PrimTypeNode
 */
class PrimType : public Type {
 public:
  TVM_DLL explicit PrimType(runtime::DataType dtype, Span span = Span());
 
  TVM_DEFINE_OBJECT_REF_METHODS(PrimType, Type, PrimTypeNode);
};
 
class PointerTypeNode : public TypeNode {
 public:
  Type element_type;
  String storage_scope;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<PointerTypeNode>()
        .def_ro("element_type", &PointerTypeNode::element_type)
        .def_ro("storage_scope", &PointerTypeNode::storage_scope);
  }
 
  static constexpr const char* _type_key = "ir.PointerType";
  TVM_DECLARE_FINAL_OBJECT_INFO(PointerTypeNode, TypeNode);
};
 
/*
 * \brief Managed reference to PointerTypeNode.
 * \sa PointerTypeNode
 */
class PointerType : public Type {
 public:
  TVM_DLL explicit PointerType(Type element_type, String storage_scope = "");
 
  TVM_DEFINE_OBJECT_REF_METHODS(PointerType, Type, PointerTypeNode);
};
 
class TupleTypeNode : public TypeNode {
 public:
  Array<Type> fields;
 
  TupleTypeNode() {}
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<TupleTypeNode>()
        .def_ro("fields", &TupleTypeNode::fields)
        .def_ro("span", &TupleTypeNode::span);
  }
 
  static constexpr const char* _type_key = "ir.TupleType";
  TVM_DECLARE_FINAL_OBJECT_INFO(TupleTypeNode, TypeNode);
};
 
class TupleType : public Type {
 public:
  TVM_DLL explicit TupleType(Array<Type> fields, Span span = Span());
 
  TVM_DLL TupleType static Empty();
 
  TVM_DEFINE_OBJECT_REF_METHODS(TupleType, Type, TupleTypeNode);
};
 
inline Type VoidType() { return TupleType::Empty(); }
 
inline bool IsVoidType(const Type& type) {
  auto* n = type.as<TupleTypeNode>();
  return n && n->fields.size() == 0;
}
 
class FuncTypeNode : public TypeNode {
 public:
  Array<Type> arg_types;
  Type ret_type;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<FuncTypeNode>()
        .def_ro("arg_types", &FuncTypeNode::arg_types)
        .def_ro("ret_type", &FuncTypeNode::ret_type)
        .def_ro("span", &FuncTypeNode::span);
  }
 
  static constexpr const char* _type_key = "ir.FuncType";
  TVM_DECLARE_FINAL_OBJECT_INFO(FuncTypeNode, TypeNode);
};
 
class FuncType : public Type {
 public:
  TVM_DLL FuncType(Array<Type> arg_types, Type ret_type, Span span = Span());
 
  TVM_DEFINE_OBJECT_REF_METHODS(FuncType, Type, FuncTypeNode);
};
 
class TensorMapTypeNode : public TypeNode {
 public:
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<TensorMapTypeNode>().def_ro("span", &TensorMapTypeNode::span);
  }
 
  static constexpr const char* _type_key = "ir.TensorMapType";
  TVM_DECLARE_FINAL_OBJECT_INFO(TensorMapTypeNode, TypeNode);
};
 
class TensorMapType : public Type {
 public:
  TVM_DLL TensorMapType(Span span = Span());
 
  TVM_DEFINE_OBJECT_REF_METHODS_WITHOUT_DEFAULT_CONSTRUCTOR(TensorMapType, Type, TensorMapTypeNode);
};
 
}  // namespace tvm
#endif  // TVM_IR_TYPE_H_