File: VeneerElimination.cpp

package info (click to toggle)
llvm-toolchain-14 1%3A14.0.6-20
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,496,436 kB
  • sloc: cpp: 5,593,990; ansic: 986,873; asm: 585,869; python: 184,223; objc: 72,530; lisp: 31,119; f90: 27,793; javascript: 9,780; pascal: 9,762; sh: 9,482; perl: 7,468; ml: 5,432; awk: 3,523; makefile: 2,547; xml: 953; cs: 573; fortran: 567
file content (105 lines) | stat: -rw-r--r-- 3,323 bytes parent folder | download | duplicates (2)
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
100
101
102
103
104
105
//===- bolt/Passes/VeneerElimination.cpp ----------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// This class implements a pass that removes linker-inserted veneers from the
// code and redirects veneer callers to call to veneers destinations
//
//===----------------------------------------------------------------------===//

#include "bolt/Passes/VeneerElimination.h"
#define DEBUG_TYPE "veneer-elim"

using namespace llvm;

namespace opts {

extern cl::OptionCategory BoltOptCategory;

static llvm::cl::opt<bool>
EliminateVeneers("elim-link-veneers",
  cl::desc("run veneer elimination pass"),
  cl::init(true),
  cl::ZeroOrMore,
  cl::Hidden,
  cl::cat(BoltOptCategory));
} // namespace opts

namespace llvm {
namespace bolt {

void VeneerElimination::runOnFunctions(BinaryContext &BC) {
  if (!opts::EliminateVeneers || !BC.isAArch64())
    return;

  auto &BFs = BC.getBinaryFunctions();
  std::unordered_map<const MCSymbol *, const MCSymbol *> VeneerDestinations;
  uint64_t VeneersCount = 0;
  for (auto It = BFs.begin(); It != BFs.end();) {
    auto CurrentIt = It;
    ++It;

    if (CurrentIt->second.isAArch64Veneer()) {
      VeneersCount++;
      BinaryFunction &VeneerFunction = CurrentIt->second;

      MCInst &FirstInstruction = *(VeneerFunction.begin()->begin());
      const MCSymbol *VeneerTargetSymbol =
          BC.MIB->getTargetSymbol(FirstInstruction, 1);

      // Functions can have multiple symbols
      for (StringRef Name : VeneerFunction.getNames()) {
        MCSymbol *Symbol = BC.Ctx->lookupSymbol(Name);
        VeneerDestinations[Symbol] = VeneerTargetSymbol;
        BC.SymbolToFunctionMap.erase(Symbol);
      }

      BC.BinaryDataMap.erase(VeneerFunction.getAddress());
      BFs.erase(CurrentIt);
    }
  }

  LLVM_DEBUG(dbgs() << "BOLT-INFO: number of removed linker-inserted veneers :"
                    << VeneersCount << "\n");

  // Handle veneers to veneers in case they occur
  for (auto entry : VeneerDestinations) {
    const MCSymbol *src = entry.first;
    const MCSymbol *dest = entry.second;
    while (VeneerDestinations.find(dest) != VeneerDestinations.end()) {
      dest = VeneerDestinations[dest];
    }
    VeneerDestinations[src] = dest;
  }

  uint64_t VeneerCallers = 0;
  for (auto &It : BFs) {
    BinaryFunction &Function = It.second;
    for (BinaryBasicBlock &BB : Function) {
      for (MCInst &Instr : BB) {
        if (!BC.MIB->isCall(Instr) || BC.MIB->isIndirectCall(Instr))
          continue;

        const MCSymbol *TargetSymbol = BC.MIB->getTargetSymbol(Instr, 0);
        if (VeneerDestinations.find(TargetSymbol) == VeneerDestinations.end())
          continue;

        VeneerCallers++;
        if (!BC.MIB->replaceBranchTarget(
                Instr, VeneerDestinations[TargetSymbol], BC.Ctx.get()))
          assert(false && "updating veneer call destination failed");
      }
    }
  }

  LLVM_DEBUG(
      dbgs() << "BOLT-INFO: number of linker-inserted veneers call sites :"
             << VeneerCallers << "\n");
}

} // namespace bolt
} // namespace llvm