summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Transforms/Scalar/LoopIndexSplit.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Handle multiple induction variables.Devang Patel2007-09-251-7/+14
| | | | | | This fixes PR714. llvm-svn: 42309
* doh.. Devang Patel2007-09-251-1/+1
| | | | llvm-svn: 42300
* Add transformation to update loop interation space. Now,Devang Patel2007-09-251-7/+148
| | | | | | | | | | | | | | | for (i=A; i<N; i++) { if (i < X && i > Y) do_something(); } is transformed into U=min(N,X); L=max(A,Y); for (i=L;i<U;i++) do_somethihg(); llvm-svn: 42299
* Fix PR1692Devang Patel2007-09-211-3/+5
| | | | llvm-svn: 42209
* Don't increment invalid iterator.Devang Patel2007-09-201-1/+2
| | | | llvm-svn: 42178
* Relax loop ExitCondition predicate restriction.Devang Patel2007-09-191-5/+7
| | | | llvm-svn: 42122
* Filter loops where split condition's false branch is not empty. For exampleDevang Patel2007-09-191-0/+4
| | | | | | | | | | | for (int i = 0; i < N; ++i) { if (i == somevalue) dosomething(); else dosomethingelse(); } llvm-svn: 42121
* Bail out early, before modifying anything.Devang Patel2007-09-191-4/+5
| | | | llvm-svn: 42120
* Work is incomplete. Loop is not modified at all right now.Devang Patel2007-09-191-1/+1
| | | | llvm-svn: 42119
* Do not eliminate loop when it is invalid to do so. For example,Devang Patel2007-09-171-14/+35
| | | | | | | | | | | | | | for(int i = 0; i < N; i++) { if ( i == XYZ) { A; else B; } C; D; } llvm-svn: 42058
* Skeleton for transformations to truncate loop's iteration space.Devang Patel2007-09-171-2/+198
| | | | llvm-svn: 42054
* Temporary reverting r41817Bill Wendling2007-09-141-15/+5
| | | | | | | (http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20070910/053370.html). It's causing SPASS to fail. llvm-svn: 41938
* Avoid negative logic.Devang Patel2007-09-111-4/+4
| | | | llvm-svn: 41829
* Refactor code into a separate method.Devang Patel2007-09-111-28/+47
| | | | llvm-svn: 41826
* Clear split info object.Devang Patel2007-09-111-0/+1
| | | | llvm-svn: 41823
* Split condition does not have to be ICmpInst in all cases.Devang Patel2007-09-111-5/+8
| | | | llvm-svn: 41822
* Check all terminators inside loop.Devang Patel2007-09-101-4/+3
| | | | llvm-svn: 41821
* Swap exit condition operands if it works.Devang Patel2007-09-101-5/+15
| | | | llvm-svn: 41817
* Filter exit conditions which are not yet handled.Devang Patel2007-09-101-1/+3
| | | | llvm-svn: 41800
* Use simpler test to filter loops.Devang Patel2007-08-271-14/+3
| | | | llvm-svn: 41516
* Move exit condition and exit branch from exiting block into loop header and ↵Devang Patel2007-08-251-0/+155
| | | | | | dominator info. This avoid execution of dead iteration. Loop is already filter in the beginning such that this change is safe. llvm-svn: 41394
* Constant split values needs upper bound and lower bound check, just like any ↵Devang Patel2007-08-251-6/+0
| | | | | | other split value. llvm-svn: 41389
* While calculating upper loop bound for first loop and lower loop bound for ↵Devang Patel2007-08-251-36/+231
| | | | | | second loop, take care of edge cases. llvm-svn: 41387
* Fix regression that I caused yesterday night while adding logic to select ↵Devang Patel2007-08-241-2/+2
| | | | | | appropriate split condition branch. llvm-svn: 41365
* It is not safe to execute split condition's true branch first all the time. ↵Devang Patel2007-08-241-5/+35
| | | | | | | | If split condition predicate is GT or GE then execute false branch first. llvm-svn: 41358
* Reject ICMP_NE as index split condition.Devang Patel2007-08-241-0/+3
| | | | llvm-svn: 41357
* Tightenup loop filter.Devang Patel2007-08-241-2/+22
| | | | llvm-svn: 41356
* Remove incomplete cost analysis.Devang Patel2007-08-241-40/+3
| | | | llvm-svn: 41354
* Remove dead code.Devang Patel2007-08-221-5/+0
| | | | llvm-svn: 41295
* Fix typo.Devang Patel2007-08-221-1/+1
| | | | llvm-svn: 41292
* Cosmetic changeDevang Patel2007-08-221-84/+102
| | | | | | | "True Loop" and "False Loop" naming terminology to refer two loops after loop cloning is confusing. Instead just use A_Loop and B_Loop. llvm-svn: 41287
* Refactor loop condition check in a separate function.Devang Patel2007-08-221-17/+34
| | | | llvm-svn: 41282
* Fix thinko.Devang Patel2007-08-221-3/+3
| | | | | | | Starting value of second loop's induction variable can not be lower then starting value of original loop's induction variable. llvm-svn: 41280
* Rename bunch of variables.Devang Patel2007-08-211-72/+79
| | | | llvm-svn: 41250
* Preserve LCSSA.Devang Patel2007-08-211-1/+15
| | | | llvm-svn: 41246
* s/ExitBlock/ExitingBlock/gDevang Patel2007-08-201-26/+27
| | | | llvm-svn: 41204
* Replace indunction variable with split value in loop body.Devang Patel2007-08-201-1/+5
| | | | | | This fixes art miscompile. llvm-svn: 41195
* Do not split loops rejected by processOneIterationLoop().Devang Patel2007-08-201-5/+11
| | | | llvm-svn: 41194
* Avoid spliting loops where two split condition branches are not independent.Devang Patel2007-08-181-1/+11
| | | | llvm-svn: 41148
* When one branch of condition is eliminated then head of the otherDevang Patel2007-08-171-21/+42
| | | | | | branch is not necessary immediate dominators of merge blcok in all cases. llvm-svn: 41144
* Dominance frontier is now required.Devang Patel2007-08-151-1/+1
| | | | llvm-svn: 41096
* Cleanup removeBlocks. Devang Patel2007-08-151-56/+70
| | | | | | | Use dominance frontier to fixup incoming edges of successor blocks not domianted by DeadBB. Use df_iterator to walk and delete basic blocks dominated by DeadBB. llvm-svn: 41095
* Remove unneeded header file.Reid Spencer2007-08-151-1/+0
| | | | llvm-svn: 41094
* Avoid triangle loops.Devang Patel2007-08-151-4/+16
| | | | llvm-svn: 41093
* Avoid nested loops at the moment.Devang Patel2007-08-141-0/+4
| | | | llvm-svn: 41090
* Fix dominance frontier update while removing blocks.Devang Patel2007-08-141-7/+30
| | | | llvm-svn: 41082
* Handle last value assignments.Devang Patel2007-08-141-14/+42
| | | | llvm-svn: 41063
* StartValue is already calculated.Devang Patel2007-08-141-1/+0
| | | | llvm-svn: 41062
* Preserve simple analysis.Devang Patel2007-08-131-4/+5
| | | | llvm-svn: 41054
* Preserve dominator info.Devang Patel2007-08-131-32/+46
| | | | llvm-svn: 41053
OpenPOWER on IntegriCloud