Nikita Popov a718ad096c [SCEV] Improve handling of not expressions in isImpliedCond() ... SCEV currently tries to prove implications of x pred y by also trying to imply ~y pred ~x. This is expensive in terms of compile-time (in fact, the majority of isImpliedCond compile-time is spent here) and generally not fruitful. The issue is that this also swaps the operands and thus breaks canonical ordering. If originally we were trying to prove an implication like X > C1 -> Y > C2, then we'll now try to prove X > C1 -> C3 > ~Y, which will not work. The only real case where we can get some use out of this transform is if the original conditions were in the form X > C1 -> Y < C2, were then swapped to X > C1 -> C2 > Y and are then swapped again here to X > C1 -> ~Y > C3. As such, handle this at a higher level, where we are doing the swapping in the first place. There's four different ways that we can line up a predicate and a swapped predicate, so we use some heuristics to pick some profitable way. Because we now try this transform at a higher level (isImpliedCondOperands rather than isImpliedCondOperandsHelper), we can also prove additional facts. Of the added tests, one was proven previously while the other wasn't. Differential Revision: https://reviews.llvm.org/D90926		2021-03-24 21:53:02 +01:00
..
Inputs/ir2native_x86_64_model
AliasAnalysisTest.cpp	[AA] Cache (optionally) estimated PartialAlias offsets.	2021-03-02 19:04:15 +03:00
AliasSetTrackerTest.cpp
AssumeBundleQueriesTest.cpp	[AssumeBundles] Add nonnull/align to op bundle if noundef exists	2021-03-16 10:23:42 +09:00
BasicAliasAnalysisTest.cpp
BlockFrequencyInfoTest.cpp
BranchProbabilityInfoTest.cpp
CallGraphTest.cpp
CaptureTrackingTest.cpp
CFGTest.cpp
CGSCCPassManagerTest.cpp	Reapply "[NPM][CGSCC] FunctionAnalysisManagerCGSCCProxy: do not clear immutable function passes"	2021-03-18 09:44:34 -07:00
CMakeLists.txt
ConstraintSystemTest.cpp
DDGTest.cpp
DivergenceAnalysisTest.cpp	[NewPM] Introduce (GPU)DivergenceAnalysis in the new pass manager	2021-02-16 10:26:45 +05:30
DomTreeUpdaterTest.cpp
FunctionPropertiesAnalysisTest.cpp
GlobalsModRefTest.cpp
IRSimilarityIdentifierTest.cpp
IVDescriptorsTest.cpp	[Analysis][LoopVectorize] rename "Unsafe" variables/methods; NFC	2021-03-04 10:40:26 -05:00
LazyCallGraphTest.cpp
LoadsTest.cpp
LoopInfoTest.cpp
LoopNestTest.cpp
MemoryBuiltinsTest.cpp
MemorySSATest.cpp	[MSSA] Extending IsGuaranteedLoopInvariant to support an instruction defined in the entry block	2021-03-23 21:50:56 +00:00
PhiValuesTest.cpp
ProfileSummaryInfoTest.cpp
ScalarEvolutionTest.cpp	[SCEV] Improve handling of not expressions in isImpliedCond()	2021-03-24 21:53:02 +01:00
SparsePropagation.cpp
TargetLibraryInfoTest.cpp
TBAATest.cpp
TFUtilsTest.cpp
UnrollAnalyzerTest.cpp
ValueLatticeTest.cpp
ValueTrackingTest.cpp
VectorFunctionABITest.cpp
VectorUtilsTest.cpp