value.cc 7.2 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 125 126 127 128 129 130 131 132 133 134 135 136
  return reinterpret_cast<detail::OpResultImpl *>(impl_);
}

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_; }

137 138
ir::Value OpOperandImpl::source() const { return source_; }

139 140 141 142 143 144 145 146
void OpOperandImpl::set_source(Value source) {
  RemoveFromUdChain();
  if (!source) {
    return;
  }
  source_ = source;
  InsertToUdChain();
}
147

148 149
OpOperandImpl::OpOperandImpl(ir::Value source, ir::Operation *owner)
    : source_(source), owner_(owner) {
K
kangguangli 已提交
150 151 152
  if (!source) {
    return;
  }
153 154 155 156 157 158
  InsertToUdChain();
}

void OpOperandImpl::InsertToUdChain() {
  prev_use_addr_ = source_.impl()->first_use_addr();
  next_use_ = source_.impl()->first_use();
159 160 161
  if (next_use_) {
    next_use_->prev_use_addr_ = &next_use_;
  }
162
  source_.impl()->SetFirstUse(this);
163 164
}

165
void OpOperandImpl::RemoveFromUdChain() {
K
kangguangli 已提交
166
  if (!source_) return;
167 168 169 170 171 172 173 174 175 176 177 178
  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 已提交
179 180
  next_use_ = nullptr;
  prev_use_addr_ = nullptr;
181
  source_ = nullptr;
182 183
}

184
OpOperandImpl::~OpOperandImpl() { RemoveFromUdChain(); }
185 186 187 188 189 190 191 192 193

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();
}

194
std::string ValueImpl::PrintUdChain() {
195 196 197 198 199 200 201 202 203 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
  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