summaryrefslogtreecommitdiff
path: root/compiler/enco/core/src/Transforms/IndirectCopyElimination.cpp
blob: b36620f61dc7c8fa8a864015b3abfed3c04ad319 (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
/*
 * Copyright (c) 2018 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 "IndirectCopyElimination.h"

#include <cassert>

namespace
{

coco::Copy *as_copy(coco::Instr *ins) { return ins ? ins->asCopy() : nullptr; }

/**
 * @brief Return a set of copy instructions that are accessible from top-level module
 */
std::set<coco::Copy *> linked_copy_instrs(coco::Module *m)
{
  std::set<coco::Copy *> res;

  for (uint32_t n = 0; n < m->entity()->instr()->size(); ++n)
  {
    auto ins = m->entity()->instr()->at(n);
    assert(ins != nullptr);

    if (ins->parent() && ins->parent()->parent())
    {
      if (auto copy = ins->asCopy())
      {
        res.insert(copy);
      }
    }
  }

  return res;
}

} // namespace

namespace enco
{

void eliminate_indirect_copy(enco::Code *code)
{
  auto m = code->module();

  for (auto child : linked_copy_instrs(m))
  {
    auto from = child->from();
    assert(from != nullptr);

    // Find the irreducible origin
    while (true)
    {
      if (auto producer = coco::producer(from))
      {
        if (auto parent = as_copy(producer->loc()))
        {
          assert(parent->from() != nullptr);
          from = parent->from();
          continue;
        }
      }

      break;
    }

    child->from(from);
  }
}

} // namespace enco