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 |
|
Evan Cheng
|
d395b14837
|
If-convert early exit blocks (returns, etc.); bug fixes, etc.
llvm-svn: 37270
|
2007-05-21 22:22:58 +00:00 |
|
Evan Cheng
|
ca7bc898aa
|
Clean up.
llvm-svn: 37237
|
2007-05-18 19:32:08 +00:00 |
|
Evan Cheng
|
ad9ce3c5b2
|
Change to depth-first traversal.
llvm-svn: 37236
|
2007-05-18 19:26:33 +00:00 |
|
Evan Cheng
|
1ed1741260
|
Some restructuring in preparation for most aggressive if-conversion.
llvm-svn: 37231
|
2007-05-18 18:14:37 +00:00 |
|
Evan Cheng
|
234f07808b
|
Watch out for blocks that end with a return.
llvm-svn: 37227
|
2007-05-18 17:06:53 +00:00 |
|
Evan Cheng
|
40eecb3d06
|
If true / false blocks fallthrough before ifcvt, add unconditional branches to ifcvt'd block.
llvm-svn: 37200
|
2007-05-18 01:55:58 +00:00 |
|
Evan Cheng
|
c6aa69557a
|
Make use of target specific block size limits; bug fixes.
llvm-svn: 37195
|
2007-05-18 00:20:58 +00:00 |
|
Evan Cheng
|
ab88e91c81
|
isBlockPredicable() always ignore terminal instructions; add comments.
llvm-svn: 37126
|
2007-05-16 21:54:37 +00:00 |
|
Evan Cheng
|
6f761adecb
|
Rename M_PREDICATED to M_PREDICABLE; Moved isPredicable() to MachineInstr.
llvm-svn: 37121
|
2007-05-16 20:56:08 +00:00 |
|
Evan Cheng
|
3fb34a4fdd
|
Devang points out that we need an assertion here.
llvm-svn: 37097
|
2007-05-16 05:11:10 +00:00 |
|
Evan Cheng
|
aafca4d4a2
|
Initial commit of (very basic) if converter.
llvm-svn: 37092
|
2007-05-16 02:00:57 +00:00 |
|