mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-15 23:16:04 +00:00
Code Issues Projects Releases Wiki Activity
43,284 Commits 1,258 Branches 288 Tags
Commit Graph

80 Commits

Author SHA1 Message Date
Bill Wendling
86ceb0db9c Porting r50563 from Tak to mainline. 
llvm-svn: 50564
 2008-05-02 00:43:20 +00:00
Gabor Greif
e9ecc68d8f API changes for class Use size reduction, wave 1. 
Specifically, introduction of XXX::Create methods
for Users that have a potentially variable number of
Uses.

llvm-svn: 49277
 2008-04-06 20:25:17 +00:00
David Greene
586740f401 Iterators folloring a SmallVector erased element are invalidated so 
don't access cached iterators from after the erased element.

Re-apply 49056 with SmallVector support.

llvm-svn: 49106
 2008-04-02 18:24:46 +00:00
Tanya Lattner
052838c55d Reverting 49056 due to the build being broken. 
llvm-svn: 49060
 2008-04-01 23:41:44 +00:00
David Greene
7f7edc3824 Iterators folloring a SmallVector erased element are invalidated so 
don't access cached iterators from after the erased element.

llvm-svn: 49056
 2008-04-01 22:14:23 +00:00
Devang Patel
eb1e3fcbe0 PHI->removeIncomingValue may remove PHInode. 
Increment iterator in advance.

llvm-svn: 48890
 2008-03-27 17:32:46 +00:00
Devang Patel
a38f58aa5c Add incoming value from header only if phi node has any use inside the loop. 
llvm-svn: 48738
 2008-03-24 20:16:14 +00:00
Devang Patel
2e622e4c2b If loop header is also loop exiting block then OrigPN is incoming value for B loop header. 
Fixes PR 2030.

llvm-svn: 47141
 2008-02-14 23:18:47 +00:00
Devang Patel
0ecb76d820 A loop latch phi node may have uses inside loop, not just in loop header. 
llvm-svn: 47093
 2008-02-13 22:23:07 +00:00
Devang Patel
22c3caab6e While moving exit condition, do not drop loop latch on the floor. 
llvm-svn: 47089
 2008-02-13 22:06:36 +00:00
Devang Patel
c281d8031b Keep track of exit value operand number when operands are swapped. 
llvm-svn: 47082
 2008-02-13 19:48:48 +00:00
Devang Patel
26f75e2576 Fix PR 1995. 
llvm-svn: 46898
 2008-02-08 22:49:13 +00:00
Devang Patel
67fa0521b6 Filter loops that subtract induction variables. 
These loops are not yet handled.

Fix PR 1912.

llvm-svn: 46484
 2008-01-29 02:20:41 +00:00
Chris Lattner
f3ebc3f3d2 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Devang Patel
bd75910fa7 If ExitValue operand is also defined in Loop header then 
insert new ExitValue after this operand definition.

This fixes PR1828.

llvm-svn: 44539
 2007-12-03 19:17:21 +00:00
Devang Patel
7bba386f72 Handle multiple induction variables. 
This fixes PR714.

llvm-svn: 42309
 2007-09-25 18:24:48 +00:00
Devang Patel
5e1651d270 doh.. 
llvm-svn: 42300
 2007-09-25 17:43:08 +00:00
Devang Patel
87d7e8ebcb Add transformation to update loop interation space. Now, 
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
 2007-09-25 17:31:19 +00:00
Devang Patel
361e52f39c Fix PR1692 
llvm-svn: 42209
 2007-09-21 21:18:19 +00:00
Devang Patel
6117a3b696 Don't increment invalid iterator. 
llvm-svn: 42178
 2007-09-20 23:01:50 +00:00
Devang Patel
69a55a38ed Relax loop ExitCondition predicate restriction. 
llvm-svn: 42122
 2007-09-19 00:28:47 +00:00
Devang Patel
455a53b7db Filter loops where split condition's false branch is not empty. For example 
for (int i = 0; i < N; ++i) {
  if (i == somevalue)
    dosomething();
   else
    dosomethingelse();
}

llvm-svn: 42121
 2007-09-19 00:15:16 +00:00
Devang Patel
4c238c451f Bail out early, before modifying anything. 
llvm-svn: 42120
 2007-09-19 00:11:01 +00:00
Devang Patel
31f2c8592c Work is incomplete. Loop is not modified at all right now. 
llvm-svn: 42119
 2007-09-19 00:08:13 +00:00
Devang Patel
267c07b51f Do not eliminate loop when it is invalid to do so. For example, 
for(int i = 0; i < N; i++) {
	if ( i == XYZ) {
		A;
	else
		B;
	}
	C;
	D;
}

llvm-svn: 42058
 2007-09-17 21:01:05 +00:00
Devang Patel
712dbe9d13 Skeleton for transformations to truncate loop's iteration space. 
llvm-svn: 42054
 2007-09-17 20:39:48 +00:00
Bill Wendling
264d4813c7 Temporary reverting r41817 
(http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20070910/053370.html). It's
causing SPASS to fail.

llvm-svn: 41938
 2007-09-14 01:13:55 +00:00
Devang Patel
7ed6eb8992 Avoid negative logic. 
llvm-svn: 41829
 2007-09-11 01:10:45 +00:00
Devang Patel
8c95373ced Refactor code into a separate method. 
llvm-svn: 41826
 2007-09-11 00:42:56 +00:00
Devang Patel
d67479b6ee Clear split info object. 
llvm-svn: 41823
 2007-09-11 00:23:56 +00:00
Devang Patel
a28a7f1b2d Split condition does not have to be ICmpInst in all cases. 
llvm-svn: 41822
 2007-09-11 00:12:56 +00:00
Devang Patel
f4202e91f8 Check all terminators inside loop. 
llvm-svn: 41821
 2007-09-10 23:57:58 +00:00
Devang Patel
2181b8e86a Swap exit condition operands if it works. 
llvm-svn: 41817
 2007-09-10 23:34:06 +00:00
Devang Patel
f8ab0a9acc Filter exit conditions which are not yet handled. 
llvm-svn: 41800
 2007-09-10 18:33:42 +00:00
Devang Patel
d2456a171d Use simpler test to filter loops. 
llvm-svn: 41516
 2007-08-27 21:34:31 +00:00
Devang Patel
6114751544 Move exit condition and exit branch from exiting block into loop header and dominator info. This avoid execution of dead iteration. Loop is already filter in the beginning such that this change is safe. 
llvm-svn: 41394
 2007-08-25 02:39:24 +00:00
Devang Patel
c1ef32ef3d Constant split values needs upper bound and lower bound check, just like any other split value. 
llvm-svn: 41389
 2007-08-25 01:09:14 +00:00
Devang Patel
4e63e1f5b5 While calculating upper loop bound for first loop and lower loop bound for second loop, take care of edge cases. 
llvm-svn: 41387
 2007-08-25 00:56:38 +00:00
Devang Patel
f5a01bf025 Fix regression that I caused yesterday night while adding logic to select appropriate split condition branch. 
llvm-svn: 41365
 2007-08-24 19:32:26 +00:00
Devang Patel
4bc9298f2a It is not safe to execute split condition's true branch first all the time. If split 
condition predicate is GT or GE then execute false branch first.

llvm-svn: 41358
 2007-08-24 06:17:19 +00:00
Devang Patel
4be56a5d12 Reject ICMP_NE as index split condition. 
llvm-svn: 41357
 2007-08-24 06:02:25 +00:00
Devang Patel
5e46fac6de Tightenup loop filter. 
llvm-svn: 41356
 2007-08-24 05:36:56 +00:00
Devang Patel
504dc0aaed Remove incomplete cost analysis. 
llvm-svn: 41354
 2007-08-24 05:21:13 +00:00
Devang Patel
887db2d832 Remove dead code. 
llvm-svn: 41295
 2007-08-22 21:07:41 +00:00
Devang Patel
6f4f23320d Fix typo. 
llvm-svn: 41292
 2007-08-22 20:55:18 +00:00
Devang Patel
31206b56d5 Cosmetic change 
"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
 2007-08-22 19:33:29 +00:00
Devang Patel
90da534987 Refactor loop condition check in a separate function. 
llvm-svn: 41282
 2007-08-22 18:27:01 +00:00
Devang Patel
cd8beb7645 Fix thinko. 
Starting value of second loop's induction variable can not be lower 
then starting value of original loop's induction variable.

llvm-svn: 41280
 2007-08-22 18:07:47 +00:00
Devang Patel
a12000d572 Rename bunch of variables. 
llvm-svn: 41250
 2007-08-21 21:12:02 +00:00
Devang Patel
f98db5e62a Preserve LCSSA. 
llvm-svn: 41246
 2007-08-21 19:47:46 +00:00