mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-22 18:54:02 +01:00
58c9429d2a
The CfgTraits abstraction simplfies writing algorithms that are
generic over the type of CFG, and enables writing such algorithms
as regular non-template code that operates on opaque references
to CFG blocks and values.
Implementations of CfgTraits provide operations on the concrete
CFG types, e.g. `IrCfgTraits::BlockRef` is `BasicBlock *`.
CfgInterface is an abstract base class which provides operations
on opaque types CfgBlockRef and CfgValueRef. Those opaque types
encapsulate a `void *`, but the meaning depends on the concrete
CFG type. For example, MachineCfgTraits -- for use with MachineIR
in SSA form -- encodes a Register inside CfgValueRef. Converting
between concrete references and opaque/generic ones is done by
CfgTraits::{fromGeneric,toGeneric}. Convenience methods
CfgTraits::{un}wrap{Iterator,Range} are available as well.
Writing algorithms in terms of CfgInterface adds some overhead
(virtual method calls, plus in same cases it removes the
opportunity to inline iterators), but can be much more convenient
since generic algorithms can be written as non-templates.
This patch adds implementations of CfgTraits for all CFGs on
which dominator trees are calculated, so that the dominator
tree can be ported to this machinery. Only IrCfgTraits (LLVM IR)
and MachineCfgTraits (Machine IR in SSA form) are complete, the
other implementations are limited to the absolute minimum
required to make the upcoming dominator tree changes work.
v5:
- fix MachineCfgTraits::blockdef_iterator and allow it to iterate over
the instructions in a bundle
- use MachineBasicBlock::printName
v6:
- implement predecessors/successors for all CfgTraits implementations
- fix error in unwrapRange
- rename toGeneric/fromGeneric into wrapRef/unwrapRef to have naming
that is consistent with {wrap,unwrap}{Iterator,Range}
- use getVRegDef instead of getUniqueVRegDef
v7:
- std::forward fix in wrapping_iterator
- fix typos
v8:
- cleanup operators on CfgOpaqueType
- address other review comments
Change-Id: Ia75f4f268fded33fca11218a7d578c9aec1f3f4d
Differential Revision: https://reviews.llvm.org/D83088
68 lines
1.1 KiB
CMake
68 lines
1.1 KiB
CMake
add_llvm_component_library(LLVMCore
|
|
AbstractCallSite.cpp
|
|
AsmWriter.cpp
|
|
Attributes.cpp
|
|
AutoUpgrade.cpp
|
|
BasicBlock.cpp
|
|
CFG.cpp
|
|
Comdat.cpp
|
|
ConstantFold.cpp
|
|
ConstantRange.cpp
|
|
Constants.cpp
|
|
Core.cpp
|
|
DIBuilder.cpp
|
|
DataLayout.cpp
|
|
DebugInfo.cpp
|
|
DebugInfoMetadata.cpp
|
|
DebugLoc.cpp
|
|
DiagnosticHandler.cpp
|
|
DiagnosticInfo.cpp
|
|
DiagnosticPrinter.cpp
|
|
Dominators.cpp
|
|
FPEnv.cpp
|
|
Function.cpp
|
|
GVMaterializer.cpp
|
|
Globals.cpp
|
|
IRBuilder.cpp
|
|
IRPrintingPasses.cpp
|
|
InlineAsm.cpp
|
|
Instruction.cpp
|
|
Instructions.cpp
|
|
IntrinsicInst.cpp
|
|
LLVMContext.cpp
|
|
LLVMContextImpl.cpp
|
|
LLVMRemarkStreamer.cpp
|
|
LegacyPassManager.cpp
|
|
MDBuilder.cpp
|
|
Mangler.cpp
|
|
Metadata.cpp
|
|
Module.cpp
|
|
ModuleSummaryIndex.cpp
|
|
Operator.cpp
|
|
OptBisect.cpp
|
|
Pass.cpp
|
|
PassInstrumentation.cpp
|
|
PassManager.cpp
|
|
PassRegistry.cpp
|
|
PassTimingInfo.cpp
|
|
SafepointIRVerifier.cpp
|
|
ProfileSummary.cpp
|
|
Statepoint.cpp
|
|
StructuralHash.cpp
|
|
Type.cpp
|
|
TypeFinder.cpp
|
|
Use.cpp
|
|
User.cpp
|
|
Value.cpp
|
|
ValueSymbolTable.cpp
|
|
Verifier.cpp
|
|
|
|
ADDITIONAL_HEADER_DIRS
|
|
${LLVM_MAIN_INCLUDE_DIR}/llvm/IR
|
|
|
|
LINK_LIBS ${LLVM_PTHREAD_LIB}
|
|
|
|
DEPENDS
|
|
intrinsics_gen
|
|
)
|