RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 12:02:58 +02:00
Code Issues Projects Releases Wiki Activity
35,098 Commits 4 Branches 5 Tags 704 MiB
8f74d7f5c0
Commit Graph

61 Commits

Author SHA1 Message Date
Evan Cheng
87e735c4be Somehow this wasn't committed last time. M_CLOBBERS_PRED is gone. 
llvm-svn: 38495
 2007-07-10 17:50:43 +00:00
Evan Cheng
4c7b04f24d Teach if-conversion about instructions that were already predicated, e.g. conditional move. 
llvm-svn: 37964
 2007-07-06 23:24:39 +00:00
Evan Cheng
5e2aabd3ad Avoid if-converting simple block that ends with unconditional branch or fallthrough unless it branches / falls to the 'false' block. Not profitable, may end up increasing code size. 
llvm-svn: 37660
 2007-06-19 21:45:13 +00:00
Evan Cheng
12b3002673 Replace TargetInstrInfo::CanBeDuplicated() with a M_NOT_DUPLICABLE bit. 
llvm-svn: 37643
 2007-06-19 01:26:51 +00:00
Evan Cheng
b752a87db1 Fix some fragile code wrt CFG edge updating. 
llvm-svn: 37634
 2007-06-18 22:44:57 +00:00
Evan Cheng
b3cefc0824 Properly remove duplicate instructions as result of diamond if-conversion. Other bug fixes. 
llvm-svn: 37623
 2007-06-18 08:37:25 +00:00
Evan Cheng
1732a41371 Really turn if-converter loose: 
1. Consider all possible ifcvt cases at once. No longer restricted to bottom
   up iterative approach.
2. Sort all possible cases based on a cost function. Perform the most profitable
   ones first invalidate others that target the same blocks.
3. Fixed a number of bugs related to block duplication.

llvm-svn: 37613
 2007-06-16 09:34:52 +00:00
Evan Cheng
759b3cca3c Not every predicable block can be safely duplicated. 
llvm-svn: 37607
 2007-06-15 21:18:05 +00:00
Evan Cheng
88c463eb8c MachineInstr::isPredicable() is no longer needed. 
llvm-svn: 37599
 2007-06-15 19:06:07 +00:00
Evan Cheng
a6504bc2e0 Extra edges are deleted later if needed. 
llvm-svn: 37593
 2007-06-15 17:34:48 +00:00
Evan Cheng
f4d3d695b2 Allow small blocks to be duplicated to enable if-conversion. 
llvm-svn: 37590
 2007-06-15 07:36:12 +00:00
Evan Cheng
6f348e1c75 No really, clear predcessors states. 
llvm-svn: 37581
 2007-06-14 23:34:09 +00:00
Evan Cheng
b1b1914582 If BB is predicated, invalidate its predecessor(s) which would if-convert it. It needs to be re-analyzed. 
llvm-svn: 37580
 2007-06-14 23:13:19 +00:00
Evan Cheng
26d68261ae Fix typo. 
llvm-svn: 37577
 2007-06-14 21:26:08 +00:00
Evan Cheng
a2c2479e22 Fix some stupid bugs that have effectively disabled if-conversion. 
llvm-svn: 37575
 2007-06-14 20:28:52 +00:00
Evan Cheng
d4e9443a78 Typo 
llvm-svn: 37566
 2007-06-13 00:04:00 +00:00
Evan Cheng
d5aaab210c Now if-converting all 4 variants of triangles. 
llvm-svn: 37565
 2007-06-12 23:54:05 +00:00
Evan Cheng
d6740b478b Restructure code to reduce ifcvt compile time cost. 
llvm-svn: 37543
 2007-06-11 22:26:22 +00:00
Reid Spencer
0c11f4ebd8 Fix the build. 
llvm-svn: 37537
 2007-06-10 00:19:17 +00:00
Evan Cheng
859dab4bda Don't change CFG during analysis stage. Do so during ifcvt and invalidate predecessors accordingly. 
llvm-svn: 37531
 2007-06-09 01:03:43 +00:00
Evan Cheng
7996fc5d23 Carefully remove extraneous CFG edges after each ifcvt. 
llvm-svn: 37529
 2007-06-08 22:01:07 +00:00
Evan Cheng
515e2537d7 Correct transfer predicate information. 
llvm-svn: 37524
 2007-06-08 19:17:12 +00:00
Evan Cheng
49720a7312 Hidden options to help debugging ifcvt issues. 
llvm-svn: 37523
 2007-06-08 19:10:51 +00:00
Evan Cheng
a41764f141 Allow more cmp / bcc to be predicated; clean up triangle ifcvt checking code. 
llvm-svn: 37518
 2007-06-08 09:36:04 +00:00
Evan Cheng
2b9e9abed1 Only remove the edge from entry to false if false block is merged. 
llvm-svn: 37503
 2007-06-07 22:31:28 +00:00
Evan Cheng
4f73706838 ifcvt a triangle: don't merge ifcvt block with rejoin block if it can fall through to it. If merged, the resulting block is not a candidate for iterative ifcvting since it contains both predicated and non-predicated code. 
llvm-svn: 37487
 2007-06-07 08:13:00 +00:00
Evan Cheng
d440a235a1 Lots of bug fixes. Now finally in a reasonable state. 
llvm-svn: 37485
 2007-06-07 02:12:15 +00:00
Owen Anderson
b333dd064e Quick patch to fix the build, based on what it appears Evan meant to write. 
Evan, please check that this is in fact correct.

llvm-svn: 37471
 2007-06-06 16:22:00 +00:00
Evan Cheng
aeccfbef8b Lots of bug fixes. 
llvm-svn: 37467
 2007-06-06 10:16:17 +00:00
Evan Cheng
4c42a30bad If a unconditional branch is added to branch to the false path during ifcvt, the predicated block cannot be iteratively ifcvted. 
llvm-svn: 37456
 2007-06-06 02:08:52 +00:00
Evan Cheng
cc7186df2b Minor statistics counting bug. 
llvm-svn: 37451
 2007-06-06 01:12:44 +00:00
Evan Cheng
2eefb6f4c3 Fix a couple of typos and be smarter about order of blocks when ifcvt a diamond. 
llvm-svn: 37449
 2007-06-06 00:57:55 +00:00
Evan Cheng
3db28ad9f2 Fix diamond shape ifcvt bugs. 
llvm-svn: 37444
 2007-06-05 23:46:14 +00:00
Evan Cheng
acf719bf83 ReplaceUsesOfBlockWith() can modify the predecessors list. 
llvm-svn: 37441
 2007-06-05 22:03:53 +00:00
Evan Cheng
f2a2a5a025 Do not ifcvt if either true / false path is a backedge. Not profitable in almost all cases. 
llvm-svn: 37440
 2007-06-05 20:38:42 +00:00
Evan Cheng
d495b2f9b9 I had a senior moment. 
llvm-svn: 37433
 2007-06-05 07:05:25 +00:00
Evan Cheng
a7f7c92dc9 If the predicated block requires an early exit, end the block there and add a unconditional branch to false block. AnalyzeBranch() does not understand early exits. 
llvm-svn: 37430
 2007-06-05 01:31:40 +00:00
Evan Cheng
7b113514d4 Fix some subtle bugs: bug during succeessor copying; incorrectly updating states of ifcvted blocks. 
llvm-svn: 37429
 2007-06-05 00:07:37 +00:00
Evan Cheng
79f53ff66d Forgot to check for if iterator reached the end. 
llvm-svn: 37420
 2007-06-04 20:33:36 +00:00
Evan Cheng
c86e3086da Let IfConverter loose. Allow more aggressive subsumptions; reorder basic blocks to expose more ifcvt opportunities; code clean up and fixes. 
llvm-svn: 37409
 2007-06-04 06:47:22 +00:00
Evan Cheng
d7793e4561 Correctly mark early-exit on the false path. 
llvm-svn: 37387
 2007-06-01 20:29:21 +00:00
Evan Cheng
ce6bae7667 Ifcvt triangle: don't ifcvt 'true' BB if it has other predecessors; don't merge 'false' BB if it has other predecessors. 
llvm-svn: 37382
 2007-06-01 07:41:07 +00:00
Evan Cheng
8e188afada Remove a bogus check. Even terminators in a ifcvt need to be predicated. Unconditional branches can usually be converted to conditional ones. 
llvm-svn: 37380
 2007-06-01 00:55:26 +00:00
Evan Cheng
7c081d0d02 Allow multiple ifcvt candidates to share children blocks; add some debugging code. 
llvm-svn: 37379
 2007-06-01 00:12:12 +00:00
Evan Cheng
7a6edf8eab Fix a typo. 
llvm-svn: 37374
 2007-05-31 20:53:33 +00:00
Evan Cheng
c9c6bbd273 Change traversal order to bottom up in preparation for more aggressive if-conversion. 
llvm-svn: 37365
 2007-05-30 19:49:19 +00:00
Evan Cheng
a1300649ba Don't merge in tail block of a diamond if it has more than one predecessors after if-conversion. 
llvm-svn: 37353
 2007-05-29 23:37:20 +00:00
Evan Cheng
b1ba206831 If there is an empty block between a source and its successor block, it still requires a unconditional branch. 
llvm-svn: 37344
 2007-05-29 22:31:16 +00:00
Evan Cheng
36164f93fd Silly boog. 
llvm-svn: 37328
 2007-05-25 00:59:01 +00:00
Evan Cheng
3f44824179 Preliminary iterative if-conversion support. 
llvm-svn: 37309
 2007-05-23 07:23:16 +00:00