Coverage Report

Created: 2019-07-24 05:18

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/lib/Transforms/Utils/StripGCRelocates.cpp
Line
Count
Source (jump to first uncovered line)
1
//===- StripGCRelocates.cpp - Remove gc.relocates inserted by RewriteStatePoints===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
// This is a little utility pass that removes the gc.relocates inserted by
10
// RewriteStatepointsForGC. Note that the generated IR is incorrect,
11
// but this is useful as a single pass in itself, for analysis of IR, without
12
// the GC.relocates. The statepoint and gc.result instrinsics would still be
13
// present.
14
//===----------------------------------------------------------------------===//
15
16
#include "llvm/IR/Function.h"
17
#include "llvm/IR/InstIterator.h"
18
#include "llvm/IR/Instructions.h"
19
#include "llvm/IR/Statepoint.h"
20
#include "llvm/IR/Type.h"
21
#include "llvm/Pass.h"
22
#include "llvm/Support/raw_ostream.h"
23
24
using namespace llvm;
25
26
namespace {
27
struct StripGCRelocates : public FunctionPass {
28
  static char ID; // Pass identification, replacement for typeid
29
1
  StripGCRelocates() : FunctionPass(ID) {
30
1
    initializeStripGCRelocatesPass(*PassRegistry::getPassRegistry());
31
1
  }
32
33
1
  void getAnalysisUsage(AnalysisUsage &Info) const override {}
34
35
  bool runOnFunction(Function &F) override;
36
37
};
38
char StripGCRelocates::ID = 0;
39
}
40
41
5
bool StripGCRelocates::runOnFunction(Function &F) {
42
5
  // Nothing to do for declarations.
43
5
  if (F.isDeclaration())
44
0
    return false;
45
5
  SmallVector<GCRelocateInst *, 20> GCRelocates;
46
5
  // TODO: We currently do not handle gc.relocates that are in landing pads,
47
5
  // i.e. not bound to a single statepoint token.
48
44
  for (Instruction &I : instructions(F)) {
49
44
    if (auto *GCR = dyn_cast<GCRelocateInst>(&I))
50
9
      if (isStatepoint(GCR->getOperand(0)))
51
8
        GCRelocates.push_back(GCR);
52
44
  }
53
5
  // All gc.relocates are bound to a single statepoint token. The order of
54
5
  // visiting gc.relocates for deletion does not matter.
55
8
  for (GCRelocateInst *GCRel : GCRelocates) {
56
8
    Value *OrigPtr = GCRel->getDerivedPtr();
57
8
    Value *ReplaceGCRel = OrigPtr;
58
8
59
8
    // All gc_relocates are i8 addrspace(1)* typed, we need a bitcast from i8
60
8
    // addrspace(1)* to the type of the OrigPtr, if the are not the same.
61
8
    if (GCRel->getType() != OrigPtr->getType())
62
8
      ReplaceGCRel = new BitCastInst(OrigPtr, GCRel->getType(), "cast", GCRel);
63
8
64
8
    // Replace all uses of gc.relocate and delete the gc.relocate
65
8
    // There maybe unncessary bitcasts back to the OrigPtr type, an instcombine
66
8
    // pass would clear this up.
67
8
    GCRel->replaceAllUsesWith(ReplaceGCRel);
68
8
    GCRel->eraseFromParent();
69
8
  }
70
5
  return !GCRelocates.empty();
71
5
}
72
73
INITIALIZE_PASS(StripGCRelocates, "strip-gc-relocates",
74
                "Strip gc.relocates inserted through RewriteStatepointsForGC",
75
                true, false)