type.h 2.6 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// Copyright (c) 2023 PaddlePaddle Authors. All Rights Reserved.
//
// Licensed 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.

#pragma once

17
#include "paddle/ir/cast_utils.h"
18 19 20 21 22 23 24 25 26 27 28
#include "paddle/ir/type_base.h"

namespace ir {
///
/// \brief Unified interface of the Type class. Derivation of all Type classes
/// only derives interfaces, not members. For example, DenseTensorType,
/// Float32Type, etc. are all derived classes of Type, but no new member
/// variables will be added.
///
class Type {
 public:
Z
zhangbo9674 已提交
29
  using Storage = TypeStorage;
30 31 32

  constexpr Type() = default;

Z
zhangbo9674 已提交
33 34
  Type(const Storage *storage)  // NOLINT
      : storage_(const_cast<Storage *>(storage)) {}
35 36 37 38 39 40

  Type(const Type &other) = default;

  Type &operator=(const Type &other) = default;

  ///
41
  /// \brief Some operators are overloaded.
42 43
  ///
  bool operator==(Type other) const { return storage_ == other.storage_; }
44

45 46 47 48 49 50
  bool operator!=(Type other) const { return storage_ != other.storage_; }

  explicit operator bool() const { return storage_; }

  bool operator!() const { return storage_ == nullptr; }

51 52 53
  ///
  /// \brief Some type attribute acquisition interfaces.
  ///
54 55 56 57
  TypeId type_id() { return storage_->abstract_type().type_id(); }

  const AbstractType &abstract_type() { return storage_->abstract_type(); }

Z
zhangbo9674 已提交
58
  const Storage *storage() const { return storage_; }
59

60 61 62 63
  const Dialect &dialect() const { return storage_->abstract_type().dialect(); }

  IrContext *ir_context() const;

64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
  ///
  /// \brief Methods for type judgment and cast.
  ///
  static bool classof(Type) { return true; }

  template <typename T>
  bool isa() const {
    return ir::isa<T>(*this);
  }

  template <typename U>
  U dyn_cast() const {
    return ir::dyn_cast<U>(*this);
  }

79 80 81 82 83 84
  ///
  /// \brief Enable hashing Type.
  ///
  friend struct std::hash<Type>;

 protected:
Z
zhangbo9674 已提交
85
  const Storage *storage_{nullptr};
86 87 88 89 90 91 92 93 94 95 96
};

}  // namespace ir

namespace std {
///
/// \brief Enable hashing Type.
///
template <>
struct hash<ir::Type> {
  std::size_t operator()(const ir::Type &obj) const {
Z
zhangbo9674 已提交
97
    return std::hash<const ir::Type::Storage *>()(obj.storage_);
98 99 100
  }
};
}  // namespace std