constant_folding_pass.cc 5.9 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
/* Copyright (c) 2022 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. */

#include "paddle/fluid/framework/ir/constant_folding_pass.h"
#include <string>
#include <vector>
#include "glog/logging.h"
#include "paddle/fluid/framework/ir/graph_helper.h"
#include "paddle/fluid/framework/ir/graph_pattern_detector.h"
#include "paddle/fluid/framework/ir/pass.h"
#include "paddle/fluid/framework/op_registry.h"
#include "paddle/fluid/framework/op_version_registry.h"
#include "paddle/fluid/platform/enforce.h"

#include "paddle/fluid/framework/convert_utils.h"

namespace paddle {
namespace framework {
namespace ir {
class Node;
}  // namespace ir
}  // namespace framework
}  // namespace paddle

/*
 * When a op's inputs and outputs is determined before feeding data to the
 * model, we can remove this op from the model. This ConstantFolding pass can
 * remove all these like ops.
 *
 */

namespace paddle {
namespace framework {
namespace ir {
namespace patterns {

struct ConstantFolding : public PatternBase {
  ConstantFolding(PDPattern *pattern, const std::string &name_scope)
      : PatternBase(pattern, name_scope, "constant_folding_pass") {}
};
}  // namespace patterns

ConstantFoldingPass::ConstantFoldingPass() {}

void ConstantFoldingPass::ApplyImpl(ir::Graph *graph) const {
  PADDLE_ENFORCE_NOT_NULL(
      graph, platform::errors::PreconditionNotMet("graph should not be null."));
  FusePassBase::Init("constant_folding", graph);
  auto *scope = param_scope();

  PADDLE_ENFORCE_NOT_NULL(
      scope,
      platform::errors::Fatal(
C
co63oc 已提交
65
          "scope must not be null when applying constant folding."));
66

67
  std::vector<std::string> blacklist{"feed", "matrix_multiply", "save"};
周周周 已提交
68
  int folded_op_num = 0;
69 70 71 72 73 74 75 76 77 78

  auto op_node_sorted = framework::ir::TopologyVarientSort(
      *graph, static_cast<framework::ir::SortKind>(0));
  for (auto *op_node : op_node_sorted) {
    if (!op_node->IsOp()) continue;
    if (std::find(blacklist.begin(), blacklist.end(), op_node->Name()) !=
        blacklist.end())
      continue;

    bool input_persis = true;
C
co63oc 已提交
79
    // map is used to record how many time a name string occurs in the whole
80
    // graph's nodes
81
    std::unordered_map<std::string, int> map;
82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
    for (auto in_node : op_node->inputs) {
      map[in_node->Name()] = 0;
      if (!in_node->Var()->Persistable()) {
        input_persis = false;
      }
    }
    for (auto out_node : op_node->outputs) {
      map[out_node->Name()] = 0;
    }
    // Forbid other node in graph having the same name with nodes in map
    for (auto iter : map) {
      for (auto node : graph->Nodes()) {
        if (node->IsVar() && node->Name() == iter.first) {
          map[node->Name()]++;
          if (map[node->Name()] > 1) {
            input_persis = false;
          }
        }
      }
    }

    framework::Scope *local_scope = new framework::Scope();
    std::unordered_set<const paddle::framework::ir::Node *> remove_nodes;
    std::unique_ptr<OperatorBase> op;

    if (input_persis) {
      for (auto in_node : op_node->inputs) {
        local_scope->Var(in_node->Var()->Name());
110 111
        local_scope->FindVar(in_node->Var()->Name())
            ->GetMutable<phi::DenseTensor>();
112 113 114 115 116
        // This persistable input node is exclusive, and can be removed
        if (in_node->outputs.size() == 1L) remove_nodes.emplace(in_node);

        auto in_shape = in_node->Var()->GetShape();
        auto *global_persis_x_tensor =
117 118 119
            scope->FindVar(in_node->Name())->GetMutable<phi::DenseTensor>();
        auto *local_x_tensor = local_scope->FindVar(in_node->Name())
                                   ->GetMutable<phi::DenseTensor>();
120 121 122 123 124 125 126 127
        local_x_tensor->Resize(global_persis_x_tensor->dims());
        *local_x_tensor = *global_persis_x_tensor;
      }

      op = paddle::framework::OpRegistry::CreateOp(*op_node->Op());
      remove_nodes.emplace(op_node);
      for (auto out_node : op_node->outputs) {
        local_scope->Var(out_node->Var()->Name());
128 129
        local_scope->FindVar(out_node->Var()->Name())
            ->GetMutable<phi::DenseTensor>();
130 131 132 133
        // useless out_node can be removed, not need set it persistable !
        if (out_node->outputs.size() == 0L) remove_nodes.emplace(out_node);
      }
      op->Run(*local_scope, platform::CPUPlace());
周周周 已提交
134
      folded_op_num++;
135 136 137 138 139 140
      for (auto out_node : op_node->outputs) {
        // this out_node is useless, do not set it persistable
        if (out_node->outputs.size() == 0L) continue;
        auto out_desc = out_node->Var();
        auto out_name = out_desc->Name();
        auto *local_out_tensor =
141
            local_scope->FindVar(out_name)->GetMutable<phi::DenseTensor>();
142 143 144 145 146 147
        std::vector<int64_t> out_shape;
        for (int64_t i = 0; i < local_out_tensor->dims().size(); i++) {
          out_shape.push_back(local_out_tensor->dims()[i]);
        }
        out_desc->SetShape(out_shape);
        out_desc->SetPersistable(true);
148 149 150 151
        auto *var_desc_out = op_node->Op()->Block()->Var(out_name);
        var_desc_out->SetShape(out_shape);
        var_desc_out->SetPersistable(true);
        var_desc_out->Flush();
152 153
        auto *global_out_tensor =
            scope->Var(out_name)->GetMutable<phi::DenseTensor>();
154 155 156 157 158 159
        *global_out_tensor = *local_out_tensor;
      }
      GraphSafeRemoveNodes(graph, remove_nodes);
    }
    delete local_scope;
  }
周周周 已提交
160
  LOG(INFO) << folded_op_num << " Ops are folded";
161 162 163 164 165 166 167 168
}

}  // namespace ir
}  // namespace framework
}  // namespace paddle

REGISTER_PASS(constant_folding_pass,
              paddle::framework::ir::ConstantFoldingPass);