File: PackReuse.cpp

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.7-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,245,064 kB
  • sloc: cpp: 7,619,731; ansic: 1,434,018; asm: 1,058,748; python: 252,740; f90: 94,671; objc: 70,685; lisp: 42,813; pascal: 18,401; sh: 8,601; ml: 5,111; perl: 4,720; makefile: 3,676; awk: 3,523; javascript: 2,409; xml: 892; fortran: 770
file content (53 lines) | stat: -rw-r--r-- 1,991 bytes parent folder | download | duplicates (3)
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
//===- PackReuse.cpp - A pack de-duplication pass -------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "llvm/Transforms/Vectorize/SandboxVectorizer/Passes/PackReuse.h"
#include "llvm/Transforms/Vectorize/SandboxVectorizer/VecUtils.h"

namespace llvm::sandboxir {

bool PackReuse::runOnRegion(Region &Rgn, const Analyses &A) {
  if (Rgn.empty())
    return Change;
  // The key to the map is the ordered operands of the pack.
  // The value is a vector of all Pack Instrs with the same operands.
  DenseMap<std::pair<BasicBlock *, SmallVector<Value *>>,
           SmallVector<SmallVector<Instruction *>>>
      PacksMap;
  // Go over the region and look for pack patterns.
  for (auto *I : Rgn) {
    auto PackOpt = VecUtils::matchPack(I);
    if (PackOpt) {
      // TODO: For now limit pack reuse within a BB.
      BasicBlock *BB = (*PackOpt->Instrs.front()).getParent();
      PacksMap[{BB, PackOpt->Operands}].push_back(PackOpt->Instrs);
    }
  }
  for (auto &Pair : PacksMap) {
    auto &Packs = Pair.second;
    if (Packs.size() <= 1)
      continue;
    // Sort packs by program order.
    sort(Packs, [](const auto &PackInstrs1, const auto &PackInstrs2) {
      return PackInstrs1.front()->comesBefore(PackInstrs2.front());
    });
    Instruction *TopMostPack = Packs[0].front();
    // Replace duplicate packs with the first one.
    for (const auto &PackInstrs :
         make_range(std::next(Packs.begin()), Packs.end())) {
      PackInstrs.front()->replaceAllUsesWith(TopMostPack);
      // Delete the pack instrs bottom-up since they are now dead.
      for (auto *PackI : PackInstrs)
        PackI->eraseFromParent();
    }
    Change = true;
  }
  return Change;
}

} // namespace llvm::sandboxir