Whitney Tsang 6bfb9aa78b [LOOPINFO] Extend Loop object to add utilities to get the loop bounds, ... step, and loop induction variable. Summary: This PR extends the loop object with more utilities to get loop bounds, step, and loop induction variable. There already exists passes which try to obtain the loop induction variable in their own pass, e.g. loop interchange. It would be useful to have a common area to get these information. /// Example: /// for (int i = lb; i < ub; i+=step) /// <loop body> /// --- pseudo LLVMIR --- /// beforeloop: /// guardcmp = (lb < ub) /// if (guardcmp) goto preheader; else goto afterloop /// preheader: /// loop: /// i1 = phi[{lb, preheader}, {i2, latch}] /// <loop body> /// i2 = i1 + step /// latch: /// cmp = (i2 < ub) /// if (cmp) goto loop /// exit: /// afterloop: /// /// getBounds /// getInitialIVValue --> lb /// getStepInst --> i2 = i1 + step /// getStepValue --> step /// getFinalIVValue --> ub /// getCanonicalPredicate --> '<' /// getDirection --> Increasing /// getInductionVariable --> i1 /// getAuxiliaryInductionVariable --> {i1} /// isCanonical --> false Reviewers: kbarton, hfinkel, dmgreen, Meinersbur, jdoerfert, syzaara, fhahn Reviewed By: kbarton Subscribers: tvvikram, bmahjour, etiotto, fhahn, jsji, hiraditya, llvm-commits Tag: LLVM Differential Revision: https://reviews.llvm.org/D60565 llvm-svn: 362644		2019-06-05 20:42:47 +00:00
..
AliasAnalysisTest.cpp	[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.	2019-03-22 17:22:19 +00:00
AliasSetTrackerTest.cpp
BasicAliasAnalysisTest.cpp	[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.	2019-03-22 17:22:19 +00:00
BlockFrequencyInfoTest.cpp
BranchProbabilityInfoTest.cpp
CallGraphTest.cpp
CaptureTrackingTest.cpp
CFGTest.cpp	An unreachable block may have a route to a reachable block, don't fast-path return that it can't.	2019-04-04 23:09:40 +00:00
CGSCCPassManagerTest.cpp	[NewPM] Fix a nasty bug with analysis invalidation in the new PM.	2019-03-28 00:51:36 +00:00
CMakeLists.txt	Save the induction binary operator in IVDescriptors for non FP induction variables.	2019-05-14 13:26:36 +00:00
DivergenceAnalysisTest.cpp	[opaque pointer types] Add a FunctionCallee wrapper type, and use it.	2019-02-01 02:28:03 +00:00
DomTreeUpdaterTest.cpp	[DTU] Refine the interface and logic of applyUpdates	2019-02-22 13:48:38 +00:00
GlobalsModRefTest.cpp
IVDescriptorsTest.cpp	Save the induction binary operator in IVDescriptors for non FP induction variables.	2019-05-14 13:26:36 +00:00
LazyCallGraphTest.cpp	[INLINER] allow inlining of blockaddresses if sole uses are callbrs	2019-05-20 16:48:09 +00:00
LoopInfoTest.cpp	[LOOPINFO] Extend Loop object to add utilities to get the loop bounds,	2019-06-05 20:42:47 +00:00
MemoryBuiltinsTest.cpp
MemorySSATest.cpp	[MemorySSA] Make insertDef insert corresponding phi nodes.	2019-02-27 22:20:22 +00:00
OrderedBasicBlockTest.cpp
OrderedInstructionsTest.cpp	[opaque pointer types] Pass value type to LoadInst creation.	2019-02-01 20:44:24 +00:00
PhiValuesTest.cpp	[opaque pointer types] Pass value type to LoadInst creation.	2019-02-01 20:44:24 +00:00
ProfileSummaryInfoTest.cpp
ScalarEvolutionTest.cpp	Add ScalarEvolutionsTest::SCEVExpandInsertCanonicalIV tests	2019-06-03 18:26:45 +00:00
SparsePropagation.cpp	[opaque pointer types] Pass value type to LoadInst creation.	2019-02-01 20:44:24 +00:00
TargetLibraryInfoTest.cpp	[SimplifyLibCalls] Fold more fortified functions into non-fortified variants	2019-05-31 22:41:36 +00:00
TBAATest.cpp	[opaque pointer types] Add a FunctionCallee wrapper type, and use it.	2019-02-01 02:28:03 +00:00
UnrollAnalyzerTest.cpp
ValueLatticeTest.cpp
ValueTrackingTest.cpp	[ValueTracking] Known bits support for unsigned saturating add/sub	2019-03-01 20:07:04 +00:00