mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 19:52:54 +01:00
a15cdde064
The logic there only considers `SLT/SGT` predicates. We can use the same logic for proving `ULT/UGT` predicates if all involved values are non-negative. Adding full-scale support for unsigned might be challenging because of code amount, so we can consider this in the future. Differential Revision: https://reviews.llvm.org/D88087 Reviewed By: reames |
||
---|---|---|
.. | ||
Inputs/ir2native_x86_64_model | ||
AliasAnalysisTest.cpp | ||
AliasSetTrackerTest.cpp | ||
AssumeBundleQueriesTest.cpp | ||
BasicAliasAnalysisTest.cpp | ||
BlockFrequencyInfoTest.cpp | ||
BranchProbabilityInfoTest.cpp | ||
CallGraphTest.cpp | ||
CaptureTrackingTest.cpp | ||
CFGTest.cpp | ||
CGSCCPassManagerTest.cpp | ||
CMakeLists.txt | ||
ConstraintSystemTest.cpp | ||
DDGTest.cpp | ||
DivergenceAnalysisTest.cpp | ||
DomTreeUpdaterTest.cpp | ||
FunctionPropertiesAnalysisTest.cpp | ||
GlobalsModRefTest.cpp | ||
IRSimilarityIdentifierTest.cpp | ||
IVDescriptorsTest.cpp | ||
LazyCallGraphTest.cpp | ||
LoadsTest.cpp | ||
LoopInfoTest.cpp | ||
LoopNestTest.cpp | ||
MemoryBuiltinsTest.cpp | ||
MemorySSATest.cpp | ||
PhiValuesTest.cpp | ||
ProfileSummaryInfoTest.cpp | ||
ScalarEvolutionTest.cpp | ||
SparsePropagation.cpp | ||
TargetLibraryInfoTest.cpp | ||
TBAATest.cpp | ||
TFUtilsTest.cpp | ||
UnrollAnalyzerTest.cpp | ||
ValueLatticeTest.cpp | ||
ValueTrackingTest.cpp | ||
VectorFunctionABITest.cpp | ||
VectorUtilsTest.cpp |