operation.cc 8.8 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 16
#include <ostream>

17
#include "paddle/ir/core/block.h"
18
#include "paddle/ir/core/dialect.h"
19
#include "paddle/ir/core/enforce.h"
20 21
#include "paddle/ir/core/op_info.h"
#include "paddle/ir/core/operation.h"
22
#include "paddle/ir/core/program.h"
23
#include "paddle/ir/core/region.h"
24
#include "paddle/ir/core/utils.h"
25
#include "paddle/ir/core/value_impl.h"
26 27

namespace ir {
28 29
Operation *Operation::Create(OperationArgument &&argument) {
  Operation *op = Create(argument.inputs,
30
                         argument.attributes,
31 32 33 34 35 36 37 38
                         argument.output_types,
                         argument.info,
                         argument.regions.size());

  for (size_t index = 0; index < argument.regions.size(); ++index) {
    op->GetRegion(index).TakeBody(std::move(*argument.regions[index]));
  }
  return op;
39 40
}

41 42 43
// Allocate the required memory based on the size and number of inputs, outputs,
// and operators, and construct it in the order of: OpOutlineResult,
// OpInlineResult, Operation, Operand.
44
Operation *Operation::Create(const std::vector<ir::OpResult> &inputs,
45
                             const AttributeMap &attributes,
46 47 48
                             const std::vector<ir::Type> &output_types,
                             ir::OpInfo op_info,
                             size_t num_regions) {
49 50
  // 0. Verify
  if (op_info) {
51
    op_info.Verify(inputs, output_types, attributes);
52
  }
53 54 55 56 57 58 59 60 61 62 63 64 65 66
  // 1. Calculate the required memory size for OpResults + Operation +
  // OpOperands.
  uint32_t num_results = output_types.size();
  uint32_t num_operands = inputs.size();
  uint32_t max_inline_result_num =
      detail::OpResultImpl::GetMaxInlineResultIndex() + 1;
  size_t result_mem_size =
      num_results > max_inline_result_num
          ? sizeof(detail::OpOutlineResultImpl) *
                    (num_results - max_inline_result_num) +
                sizeof(detail::OpInlineResultImpl) * max_inline_result_num
          : sizeof(detail::OpInlineResultImpl) * num_results;
  size_t operand_mem_size = sizeof(detail::OpOperandImpl) * num_operands;
  size_t op_mem_size = sizeof(Operation);
67 68 69
  size_t region_mem_size = num_regions * sizeof(Region);
  size_t base_size =
      result_mem_size + op_mem_size + operand_mem_size + region_mem_size;
70 71 72 73 74 75 76 77 78 79 80 81 82 83
  // 2. Malloc memory.
  char *base_ptr = reinterpret_cast<char *>(aligned_malloc(base_size, 8));
  // 3.1. Construct OpResults.
  for (size_t idx = num_results; idx > 0; idx--) {
    if (idx > max_inline_result_num) {
      new (base_ptr)
          detail::OpOutlineResultImpl(output_types[idx - 1], idx - 1);
      base_ptr += sizeof(detail::OpOutlineResultImpl);
    } else {
      new (base_ptr) detail::OpInlineResultImpl(output_types[idx - 1], idx - 1);
      base_ptr += sizeof(detail::OpInlineResultImpl);
    }
  }
  // 3.2. Construct Operation.
84
  Operation *op = new (base_ptr)
85
      Operation(attributes, op_info, num_results, num_operands, num_regions);
86 87 88
  base_ptr += sizeof(Operation);
  // 3.3. Construct OpOperands.
  if ((reinterpret_cast<uintptr_t>(base_ptr) & 0x7) != 0) {
89
    IR_THROW("The address of OpOperandImpl must be divisible by 8.");
90 91 92 93 94
  }
  for (size_t idx = 0; idx < num_operands; idx++) {
    new (base_ptr) detail::OpOperandImpl(inputs[idx].impl_, op);
    base_ptr += sizeof(detail::OpOperandImpl);
  }
95 96 97 98 99 100 101 102
  // 3.4. Construct Regions
  if (num_regions > 0) {
    op->regions_ = reinterpret_cast<Region *>(base_ptr);
    for (size_t idx = 0; idx < num_regions; idx++) {
      new (base_ptr) Region(op);
      base_ptr += sizeof(Region);
    }
  }
103 104 105 106 107
  return op;
}

// Call destructors for OpResults, Operation, and OpOperands in sequence, and
// finally free memory.
108
void Operation::Destroy() {
109 110 111 112 113 114 115
  // Deconstruct Regions.
  if (num_regions_ > 0) {
    for (size_t idx = 0; idx < num_regions_; idx++) {
      regions_[idx].~Region();
    }
  }

116 117 118 119 120 121 122 123 124 125 126 127 128
  // 1. Get aligned_ptr by result_num.
  uint32_t max_inline_result_num =
      detail::OpResultImpl::GetMaxInlineResultIndex() + 1;
  size_t result_mem_size =
      num_results_ > max_inline_result_num
          ? sizeof(detail::OpOutlineResultImpl) *
                    (num_results_ - max_inline_result_num) +
                sizeof(detail::OpInlineResultImpl) * max_inline_result_num
          : sizeof(detail::OpInlineResultImpl) * num_results_;
  char *aligned_ptr = reinterpret_cast<char *>(this) - result_mem_size;
  // 2.1. Deconstruct OpResult.
  char *base_ptr = aligned_ptr;
  for (size_t idx = num_results_; idx > 0; idx--) {
129 130 131
    // release the uses of this result
    detail::OpOperandImpl *first_use =
        reinterpret_cast<detail::OpResultImpl *>(base_ptr)->first_use();
Z
zhangbo9674 已提交
132 133 134 135
    while (first_use != nullptr) {
      first_use->remove_from_ud_chain();
      first_use =
          reinterpret_cast<detail::OpResultImpl *>(base_ptr)->first_use();
136
    }
137
    // destory the result
138 139 140 141 142 143 144 145 146 147 148 149 150
    if (idx > max_inline_result_num) {
      reinterpret_cast<detail::OpOutlineResultImpl *>(base_ptr)
          ->~OpOutlineResultImpl();
      base_ptr += sizeof(detail::OpOutlineResultImpl);
    } else {
      reinterpret_cast<detail::OpInlineResultImpl *>(base_ptr)
          ->~OpInlineResultImpl();
      base_ptr += sizeof(detail::OpInlineResultImpl);
    }
  }
  // 2.2. Deconstruct Operation.
  if (reinterpret_cast<uintptr_t>(base_ptr) !=
      reinterpret_cast<uintptr_t>(this)) {
151
    IR_THROW("Operation address error");
152 153 154
  }
  reinterpret_cast<Operation *>(base_ptr)->~Operation();
  base_ptr += sizeof(Operation);
C
co63oc 已提交
155
  // 2.3. Deconstruct OpOperand.
156 157 158 159 160 161 162 163 164 165 166
  for (size_t idx = 0; idx < num_operands_; idx++) {
    reinterpret_cast<detail::OpOperandImpl *>(base_ptr)->~OpOperandImpl();
    base_ptr += sizeof(detail::OpOperandImpl);
  }
  // 3. Free memory.
  VLOG(4) << "Destroy an Operation: {ptr = "
          << reinterpret_cast<void *>(aligned_ptr)
          << ", size = " << result_mem_size << "}";
  aligned_free(reinterpret_cast<void *>(aligned_ptr));
}

167
IrContext *Operation::ir_context() const { return info_.ir_context(); }
168

169 170
Dialect *Operation::dialect() const { return info_.dialect(); }

171
Operation::Operation(const AttributeMap &attributes,
172 173
                     ir::OpInfo op_info,
                     uint32_t num_results,
174
                     uint32_t num_operands,
175
                     uint32_t num_regions)
176
    : attributes_(attributes),
177
      info_(op_info),
178 179 180
      num_results_(num_results),
      num_operands_(num_operands),
      num_regions_(num_regions) {}
181

182
ir::OpResult Operation::GetResultByIndex(uint32_t index) const {
183
  if (index >= num_results_) {
184
    IR_THROW("index exceeds OP output range.");
185 186
  }
  uint32_t max_inline_idx = detail::OpResultImpl::GetMaxInlineResultIndex();
187 188 189 190 191 192 193
  const char *ptr =
      (index > max_inline_idx)
          ? reinterpret_cast<const char *>(this) -
                (max_inline_idx + 1) * sizeof(detail::OpInlineResultImpl) -
                (index - max_inline_idx) * sizeof(detail::OpOutlineResultImpl)
          : reinterpret_cast<const char *>(this) -
                (index + 1) * sizeof(detail::OpInlineResultImpl);
194
  if (index > max_inline_idx) {
195 196
    return ir::OpResult(
        reinterpret_cast<const detail::OpOutlineResultImpl *>(ptr));
197
  } else {
198 199
    return ir::OpResult(
        reinterpret_cast<const detail::OpInlineResultImpl *>(ptr));
200 201 202
  }
}

203
ir::OpOperand Operation::GetOperandByIndex(uint32_t index) const {
204
  if (index >= num_operands_) {
205
    IR_THROW("index exceeds OP input range.");
206
  }
207 208 209
  const char *ptr = reinterpret_cast<const char *>(this) + sizeof(Operation) +
                    (index) * sizeof(detail::OpOperandImpl);
  return ir::OpOperand(reinterpret_cast<const detail::OpOperandImpl *>(ptr));
210 211
}

212 213 214
std::string Operation::name() const {
  auto p_name = info_.name();
  return p_name ? p_name : "";
215 216
}

217
Region *Operation::GetParentRegion() const {
218
  return parent_ ? parent_->GetParent() : nullptr;
219 220 221 222 223 224 225 226 227 228 229 230 231 232 233
}

Operation *Operation::GetParentOp() const {
  return parent_ ? parent_->GetParentOp() : nullptr;
}

Program *Operation::GetParentProgram() {
  Operation *op = this;
  while (Operation *parent_op = op->GetParentOp()) {
    op = parent_op;
  }
  ModuleOp module_op = op->dyn_cast<ModuleOp>();
  return module_op ? module_op.program() : nullptr;
}

234 235 236 237 238
Region &Operation::GetRegion(unsigned index) {
  assert(index < num_regions_ && "invalid region index");
  return regions_[index];
}

239 240 241 242 243
void Operation::SetParent(Block *parent, const Block::iterator &position) {
  parent_ = parent;
  position_ = position;
}

244
}  // namespace ir