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
|
//===- ReduceIRReferences.cpp - Specialized Delta 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
//
//===----------------------------------------------------------------------===//
//
// This file implements a function which calls the Generic Delta pass in order
// to remove backreferences to the IR from MIR. In particular, this will remove
// the Value references in MachineMemOperands.
//
//===----------------------------------------------------------------------===//
#include "ReduceIRReferences.h"
#include "Delta.h"
#include "llvm/CodeGen/MachineFrameInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineModuleInfo.h"
using namespace llvm;
static void dropIRReferencesFromInstructions(Oracle &O, MachineFunction &MF) {
for (MachineBasicBlock &MBB : MF) {
for (MachineInstr &MI : MBB) {
if (!O.shouldKeep()) {
for (MachineMemOperand *MMO : MI.memoperands()) {
// Leave behind pseudo source values.
// TODO: Removing all MemOperand values is a further reduction step.
if (MMO->getPointerInfo().V.is<const Value *>())
MMO->setValue(static_cast<const Value *>(nullptr));
}
// TODO: Try to remove GlobalValue references and metadata
}
}
}
}
static void stripIRFromInstructions(Oracle &O, ReducerWorkItem &WorkItem) {
for (const Function &F : WorkItem.getModule()) {
if (auto *MF = WorkItem.MMI->getMachineFunction(F))
dropIRReferencesFromInstructions(O, *MF);
}
}
static void stripIRFromBlocks(Oracle &O, ReducerWorkItem &WorkItem) {
for (const Function &F : WorkItem.getModule()) {
if (auto *MF = WorkItem.MMI->getMachineFunction(F)) {
for (MachineBasicBlock &MBB : *MF) {
if (!O.shouldKeep())
MBB.clearBasicBlock();
}
}
}
}
static void stripIRFromFunctions(Oracle &O, ReducerWorkItem &WorkItem) {
for (const Function &F : WorkItem.getModule()) {
if (!O.shouldKeep()) {
if (auto *MF = WorkItem.MMI->getMachineFunction(F)) {
MachineFrameInfo &MFI = MF->getFrameInfo();
for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd();
I != E; ++I)
MFI.clearObjectAllocation(I);
}
}
}
}
void llvm::reduceIRInstructionReferencesDeltaPass(TestRunner &Test) {
runDeltaPass(Test, stripIRFromInstructions,
"Reducing IR references from instructions");
}
void llvm::reduceIRBlockReferencesDeltaPass(TestRunner &Test) {
runDeltaPass(Test, stripIRFromBlocks, "Reducing IR references from blocks");
}
void llvm::reduceIRFunctionReferencesDeltaPass(TestRunner &Test) {
runDeltaPass(Test, stripIRFromFunctions,
"Reducing IR references from functions");
}
|
