6024e5c395
clang 20.0.0 (based on r547379) from build 12806354. Bug: http://b/379133546 Test: N/A Change-Id: I2eb8938af55d809de674be63cb30cf27e801862b Upstream-Commit: ad834e67b1105d15ef907f6255d4c96e8e733f57
84 lines
2.8 KiB
C++
84 lines
2.8 KiB
C++
//===-- GlobalDCE.h - DCE unreachable internal functions ------------------===//
|
|
//
|
|
// 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 transform is designed to eliminate unreachable internal globals from the
|
|
// program. It uses an aggressive algorithm, searching out globals that are
|
|
// known to be alive. After it finds all of the globals which are needed, it
|
|
// deletes whatever is left over. This allows it to delete recursive chunks of
|
|
// the program which are unreachable.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_TRANSFORMS_IPO_GLOBALDCE_H
|
|
#define LLVM_TRANSFORMS_IPO_GLOBALDCE_H
|
|
|
|
#include "llvm/ADT/DenseMap.h"
|
|
#include "llvm/ADT/SmallSet.h"
|
|
#include "llvm/IR/GlobalValue.h"
|
|
#include "llvm/IR/PassManager.h"
|
|
#include <unordered_map>
|
|
|
|
namespace llvm {
|
|
class Comdat;
|
|
class Constant;
|
|
class Function;
|
|
class GlobalVariable;
|
|
class Metadata;
|
|
class Module;
|
|
class Value;
|
|
|
|
/// Pass to remove unused function declarations.
|
|
class GlobalDCEPass : public PassInfoMixin<GlobalDCEPass> {
|
|
public:
|
|
GlobalDCEPass(bool InLTOPostLink = false) : InLTOPostLink(InLTOPostLink) {}
|
|
|
|
PreservedAnalyses run(Module &M, ModuleAnalysisManager &);
|
|
|
|
void printPipeline(raw_ostream &OS,
|
|
function_ref<StringRef(StringRef)> MapClassName2PassName);
|
|
|
|
private:
|
|
bool InLTOPostLink = false;
|
|
|
|
SmallPtrSet<GlobalValue*, 32> AliveGlobals;
|
|
|
|
/// Global -> Global that uses this global.
|
|
DenseMap<GlobalValue *, SmallPtrSet<GlobalValue *, 4>> GVDependencies;
|
|
|
|
/// Constant -> Globals that use this global cache.
|
|
std::unordered_map<Constant *, SmallPtrSet<GlobalValue *, 8>>
|
|
ConstantDependenciesCache;
|
|
|
|
/// Comdat -> Globals in that Comdat section.
|
|
std::unordered_multimap<Comdat *, GlobalValue *> ComdatMembers;
|
|
|
|
/// !type metadata -> set of (vtable, offset) pairs
|
|
DenseMap<Metadata *, SmallSet<std::pair<GlobalVariable *, uint64_t>, 4>>
|
|
TypeIdMap;
|
|
|
|
// Global variables which are vtables, and which we have enough information
|
|
// about to safely do dead virtual function elimination.
|
|
SmallPtrSet<GlobalValue *, 32> VFESafeVTables;
|
|
|
|
void UpdateGVDependencies(GlobalValue &GV);
|
|
void MarkLive(GlobalValue &GV,
|
|
SmallVectorImpl<GlobalValue *> *Updates = nullptr);
|
|
|
|
// Dead virtual function elimination.
|
|
void AddVirtualFunctionDependencies(Module &M);
|
|
void ScanVTables(Module &M);
|
|
void ScanTypeCheckedLoadIntrinsics(Module &M);
|
|
void ScanVTableLoad(Function *Caller, Metadata *TypeId, uint64_t CallOffset);
|
|
|
|
void ComputeDependencies(Value *V, SmallPtrSetImpl<GlobalValue *> &U);
|
|
};
|
|
|
|
}
|
|
|
|
#endif // LLVM_TRANSFORMS_IPO_GLOBALDCE_H
|