value.cc 7.5 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
// 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.

15
#include "paddle/ir/core/value.h"
16
#include "paddle/ir/core/enforce.h"
17
#include "paddle/ir/core/value_impl.h"
18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34

namespace ir {
// Operand
OpOperand::OpOperand(const detail::OpOperandImpl *impl)
    : impl_(const_cast<detail::OpOperandImpl *>(impl)) {}

OpOperand &OpOperand::operator=(const OpOperand &rhs) {
  if (this == &rhs) return *this;
  impl_ = rhs.impl_;
  return *this;
}

OpOperand &OpOperand::operator=(const detail::OpOperandImpl *impl) {
  if (this->impl_ == impl) return *this;
  impl_ = const_cast<detail::OpOperandImpl *>(impl);
  return *this;
}
K
kangguangli 已提交
35
OpOperand::operator bool() const { return impl_ && impl_->source(); }
36

37
OpOperand OpOperand::next_use() const { return impl()->next_use(); }
38

39
Value OpOperand::source() const { return impl()->source(); }
40

41 42 43 44 45
Type OpOperand::type() const { return source().type(); }

void OpOperand::set_source(Value value) { impl()->set_source(value); }

Operation *OpOperand::owner() const { return impl()->owner(); }
46

47
void OpOperand::RemoveFromUdChain() { return impl()->RemoveFromUdChain(); }
48

49
detail::OpOperandImpl *OpOperand::impl() const {
50
  IR_ENFORCE(impl_, "Can't use impl() interface while op_operand is null.");
51 52
  return impl_;
}
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
// Value
Value::Value(const detail::ValueImpl *impl)
    : impl_(const_cast<detail::ValueImpl *>(impl)) {}

bool Value::operator==(const Value &other) const {
  return impl_ == other.impl_;
}

bool Value::operator!=(const Value &other) const {
  return impl_ != other.impl_;
}

bool Value::operator!() const { return impl_ == nullptr; }

Value::operator bool() const { return impl_; }

69
ir::Type Value::type() const { return impl()->type(); }
70

71
void Value::set_type(ir::Type type) { impl()->set_type(type); }
72 73 74 75 76 77

Operation *Value::GetDefiningOp() const {
  if (auto result = dyn_cast<OpResult>()) return result.owner();
  return nullptr;
}

78
std::string Value::PrintUdChain() { return impl()->PrintUdChain(); }
79

80
Value::use_iterator Value::begin() const { return ir::OpOperand(first_use()); }
81 82 83

Value::use_iterator Value::end() const { return Value::use_iterator(); }

84 85
OpOperand Value::first_use() const { return impl()->first_use(); }

86 87
bool Value::use_empty() const { return !first_use(); }

88 89
bool Value::HasOneUse() const { return impl()->HasOneUse(); }

90 91 92 93
void Value::ReplaceUsesWithIf(
    Value new_value,
    const std::function<bool(OpOperand)> &should_replace) const {
  for (auto it = begin(); it != end();) {
94 95
    if (should_replace(*it)) {
      (it++)->set_source(new_value);
96 97 98 99
    }
  }
}

100 101 102 103 104 105
void Value::ReplaceAllUsesWith(Value new_value) const {
  for (auto it = begin(); it != end();) {
    (it++)->set_source(new_value);
  }
}

106 107 108 109 110
detail::ValueImpl *Value::impl() const {
  IR_ENFORCE(impl_, "Can't use impl() interface while value is null.");
  return impl_;
}

111 112
// OpResult
bool OpResult::classof(Value value) {
113
  return value && ir::isa<detail::OpResultImpl>(value.impl());
114 115 116 117 118 119 120
}

Operation *OpResult::owner() const { return impl()->owner(); }

uint32_t OpResult::GetResultIndex() const { return impl()->GetResultIndex(); }

detail::OpResultImpl *OpResult::impl() const {
121
  IR_ENFORCE(impl_, "Can't use impl() interface while value is null.");
122 123 124
  return reinterpret_cast<detail::OpResultImpl *>(impl_);
}

X
xiaoguoguo626807 已提交
125 126 127 128 129 130 131 132 133
bool OpResult::operator==(const OpResult &other) const {
  return impl_ == other.impl_;
}

detail::ValueImpl *OpResult::value_impl() const {
  IR_ENFORCE(impl_, "Can't use value_impl() interface while value is null.");
  return impl_;
}

134 135 136 137 138 139 140 141 142 143 144 145
uint32_t OpResult::GetValidInlineIndex(uint32_t index) {
  uint32_t max_inline_index =
      ir::detail::OpResultImpl::GetMaxInlineResultIndex();
  return index <= max_inline_index ? index : max_inline_index;
}

// details
namespace detail {
ir::Operation *OpOperandImpl::owner() const { return owner_; }

ir::detail::OpOperandImpl *OpOperandImpl::next_use() { return next_use_; }

146 147
ir::Value OpOperandImpl::source() const { return source_; }

148 149 150 151 152 153 154 155
void OpOperandImpl::set_source(Value source) {
  RemoveFromUdChain();
  if (!source) {
    return;
  }
  source_ = source;
  InsertToUdChain();
}
156

157 158
OpOperandImpl::OpOperandImpl(ir::Value source, ir::Operation *owner)
    : source_(source), owner_(owner) {
K
kangguangli 已提交
159 160 161
  if (!source) {
    return;
  }
162 163 164 165 166 167
  InsertToUdChain();
}

void OpOperandImpl::InsertToUdChain() {
  prev_use_addr_ = source_.impl()->first_use_addr();
  next_use_ = source_.impl()->first_use();
168 169 170
  if (next_use_) {
    next_use_->prev_use_addr_ = &next_use_;
  }
171
  source_.impl()->SetFirstUse(this);
172 173
}

174
void OpOperandImpl::RemoveFromUdChain() {
K
kangguangli 已提交
175
  if (!source_) return;
176 177 178 179 180 181 182 183 184 185 186 187
  if (!prev_use_addr_) return;
  if (prev_use_addr_ == source_.impl()->first_use_addr()) {
    /// NOTE: In ValueImpl, first_use_offseted_by_index_ use lower three bits
    /// storage index information, so need to be updated using the SetFirstUse
    /// method here.
    source_.impl()->SetFirstUse(next_use_);
  } else {
    *prev_use_addr_ = next_use_;
  }
  if (next_use_) {
    next_use_->prev_use_addr_ = prev_use_addr_;
  }
Z
zhangbo9674 已提交
188 189
  next_use_ = nullptr;
  prev_use_addr_ = nullptr;
190
  source_ = nullptr;
191 192
}

193
OpOperandImpl::~OpOperandImpl() { RemoveFromUdChain(); }
194 195 196 197 198 199 200 201 202

uint32_t ValueImpl::index() const {
  uint32_t index =
      reinterpret_cast<uintptr_t>(first_use_offseted_by_index_) & 0x07;
  if (index < 6) return index;
  return reinterpret_cast<OpOutlineResultImpl *>(const_cast<ValueImpl *>(this))
      ->GetResultIndex();
}

203
std::string ValueImpl::PrintUdChain() {
204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248
  std::stringstream result;
  result << "Value[" << this << "] -> ";
  OpOperandImpl *tmp = first_use();
  if (tmp) {
    result << "OpOperand[" << reinterpret_cast<void *>(tmp) << "] -> ";
    while (tmp->next_use() != nullptr) {
      result << "OpOperand[" << reinterpret_cast<void *>(tmp->next_use())
             << "] -> ";
      tmp = tmp->next_use();
    }
  }
  result << "nullptr";
  return result.str();
}

uint32_t OpResultImpl::GetResultIndex() const {
  if (const auto *outline_result = ir::dyn_cast<OpOutlineResultImpl>(this)) {
    return outline_result->GetResultIndex();
  }
  return ir::dyn_cast<OpInlineResultImpl>(this)->GetResultIndex();
}

ir::Operation *OpResultImpl::owner() const {
  // For inline result, pointer offset index to obtain the address of op.
  if (const auto *result = ir::dyn_cast<OpInlineResultImpl>(this)) {
    result += result->GetResultIndex() + 1;
    return reinterpret_cast<Operation *>(
        const_cast<OpInlineResultImpl *>(result));
  }
  // For outline result, pointer offset outline_index to obtain the address of
  // maximum inline result.
  const OpOutlineResultImpl *outline_result =
      (const OpOutlineResultImpl *)(this);
  outline_result +=
      (outline_result->outline_index_ - GetMaxInlineResultIndex());
  // The offset of the maximum inline result distance op is
  // GetMaxInlineResultIndex.
  const auto *inline_result =
      reinterpret_cast<const OpInlineResultImpl *>(outline_result);
  inline_result += (GetMaxInlineResultIndex() + 1);
  return reinterpret_cast<Operation *>(
      const_cast<OpInlineResultImpl *>(inline_result));
}
}  // namespace detail
}  // namespace ir