summaryrefslogtreecommitdiff
path: root/compiler/luci/pass/src/MakeBatchNormGammaPositivePass.cpp
blob: 96776dc92a05ba70b0260cf95b8f54a72b1017b8 (plain)
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
/*
 * Copyright (c) 2020 Samsung Electronics Co., Ltd. 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 "luci/Pass/MakeBatchNormGammaPositivePass.h"

#include "BatchNormPatternFinder.h"

#include <luci/IR/CircleNodes.h>

namespace
{

// Update negative gamma to positive (1e-10)
bool negative_gamma_to_positive(luci::CircleConst *gamma)
{
  assert(gamma->dtype() == loco::DataType::FLOAT32);

  bool changed = false;
  uint32_t size = gamma->size<loco::DataType::FLOAT32>();
  for (uint32_t i = 0; i < size; ++i)
  {
    if (gamma->at<loco::DataType::FLOAT32>(i) < 0)
    {
      gamma->at<loco::DataType::FLOAT32>(i) = 1e-10;
      changed = true;
    }
  }
  return changed;
}

bool make_positive_gamma(luci::CircleAdd *add)
{
  luci::CircleMul *mul = nullptr;
  luci::CircleConst *beta = nullptr;
  luci::CircleConst *gamma = nullptr;
  luci::CircleNode *pred = nullptr;

  if (!is_batchnorm_add(add, mul, beta))
    return false;

  if (loco::succs(mul).size() != 1)
    return false;

  if (!is_batchnorm_mul(mul, pred, gamma))
    return false;
  assert(pred == add);
  // Only support Relu
  if (add->fusedActivationFunction() != luci::FusedActFunc::RELU)
    return false;

  return negative_gamma_to_positive(gamma);
}

} // namespace

namespace luci
{

/**
 * Make negative gamma values of Mul-Add (as BatchNorm) to a small positive value (1e-10)
 *
 *  PATTERN:
 *          |
 *    [CircleNode] [CircleConst](as gamma)
 *              |   |
 *           [CircleMul] [CircleConst]
 *                   |    |
 *               [CircleAdd]
 *                     |
 */
bool MakeBatchNormGammaPositivePass::run(loco::Graph *g)
{
  bool changed = false;
  for (auto node : loco::active_nodes(loco::output_nodes(g)))
  {
    auto add = dynamic_cast<luci::CircleAdd *>(node);
    if (add == nullptr)
      continue;

    if (make_positive_gamma(add))
      changed = true;
  }
  return changed;
}

} // namespace luci