mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 21:42:54 +02:00
479a57ca4a
Summary: Implement guard widening in LLVM. Description from GuardWidening.cpp: The semantics of the `@llvm.experimental.guard` intrinsic lets LLVM transform it so that it fails more often that it did before the transform. This optimization is called "widening" and can be used hoist and common runtime checks in situations like these: ``` %cmp0 = 7 u< Length call @llvm.experimental.guard(i1 %cmp0) [ "deopt"(...) ] call @unknown_side_effects() %cmp1 = 9 u< Length call @llvm.experimental.guard(i1 %cmp1) [ "deopt"(...) ] ... ``` to ``` %cmp0 = 9 u< Length call @llvm.experimental.guard(i1 %cmp0) [ "deopt"(...) ] call @unknown_side_effects() ... ``` If `%cmp0` is false, `@llvm.experimental.guard` will "deoptimize" back to a generic implementation of the same function, which will have the correct semantics from that point onward. It is always _legal_ to deoptimize (so replacing `%cmp0` with false is "correct"), though it may not always be profitable to do so. NB! This pass is a work in progress. It hasn't been tuned to be "production ready" yet. It is known to have quadriatic running time and will not scale to large numbers of guards Reviewers: reames, atrick, bogner, apilipenko, nlewycky Subscribers: mcrosier, llvm-commits Differential Revision: http://reviews.llvm.org/D20143 llvm-svn: 269997
64 lines
1.4 KiB
CMake
64 lines
1.4 KiB
CMake
add_llvm_library(LLVMScalarOpts
|
|
ADCE.cpp
|
|
AlignmentFromAssumptions.cpp
|
|
BDCE.cpp
|
|
ConstantHoisting.cpp
|
|
ConstantProp.cpp
|
|
CorrelatedValuePropagation.cpp
|
|
DCE.cpp
|
|
DeadStoreElimination.cpp
|
|
EarlyCSE.cpp
|
|
FlattenCFGPass.cpp
|
|
Float2Int.cpp
|
|
GuardWidening.cpp
|
|
GVN.cpp
|
|
InductiveRangeCheckElimination.cpp
|
|
IndVarSimplify.cpp
|
|
JumpThreading.cpp
|
|
LICM.cpp
|
|
LoadCombine.cpp
|
|
LoopDeletion.cpp
|
|
LoopDataPrefetch.cpp
|
|
LoopDistribute.cpp
|
|
LoopIdiomRecognize.cpp
|
|
LoopInstSimplify.cpp
|
|
LoopInterchange.cpp
|
|
LoopLoadElimination.cpp
|
|
LoopRerollPass.cpp
|
|
LoopRotation.cpp
|
|
LoopSimplifyCFG.cpp
|
|
LoopStrengthReduce.cpp
|
|
LoopUnrollPass.cpp
|
|
LoopUnswitch.cpp
|
|
LoopVersioningLICM.cpp
|
|
LowerAtomic.cpp
|
|
LowerExpectIntrinsic.cpp
|
|
LowerGuardIntrinsic.cpp
|
|
MemCpyOptimizer.cpp
|
|
MergedLoadStoreMotion.cpp
|
|
NaryReassociate.cpp
|
|
PartiallyInlineLibCalls.cpp
|
|
PlaceSafepoints.cpp
|
|
Reassociate.cpp
|
|
Reg2Mem.cpp
|
|
RewriteStatepointsForGC.cpp
|
|
SCCP.cpp
|
|
SROA.cpp
|
|
Scalar.cpp
|
|
ScalarReplAggregates.cpp
|
|
Scalarizer.cpp
|
|
SeparateConstOffsetFromGEP.cpp
|
|
SimplifyCFGPass.cpp
|
|
Sink.cpp
|
|
SpeculativeExecution.cpp
|
|
StraightLineStrengthReduce.cpp
|
|
StructurizeCFG.cpp
|
|
TailRecursionElimination.cpp
|
|
|
|
ADDITIONAL_HEADER_DIRS
|
|
${LLVM_MAIN_INCLUDE_DIR}/llvm/Transforms
|
|
${LLVM_MAIN_INCLUDE_DIR}/llvm/Transforms/Scalar
|
|
)
|
|
|
|
add_dependencies(LLVMScalarOpts intrinsics_gen)
|