shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
74,335 Commits 1,712 Branches 298 Tags
Commit Graph

360 Commits

Author SHA1 Message Date
Evan Cheng
090ac0865a Revert 91280-91283, 91286-91289, 91291, 91293, 91295-91296. It apparently introduced a non-deterministic behavior in the optimizer somewhere. 
llvm-svn: 91598
 2009-12-17 09:39:49 +00:00
Dan Gohman
265ce318b8 Delete an unused function. 
llvm-svn: 91432
 2009-12-15 16:30:09 +00:00
Dan Gohman
fbeec7270c Fix a thinko; isNotAlreadyContainedIn had a built-in negative, so the 
condition was inverted when the code was converted to contains().

llvm-svn: 91295
 2009-12-14 17:31:01 +00:00
Dan Gohman
416d5b7361 Remove unnecessary #includes. 
llvm-svn: 91293
 2009-12-14 17:19:06 +00:00
Dan Gohman
163fb26927 Instead of having a ScalarEvolution pointer member in BasedUser, just pass 
the ScalarEvolution pointer into the functions which need it.

llvm-svn: 91289
 2009-12-14 17:12:51 +00:00
Dan Gohman
8dbd4e3d16 Don't bother cleaning up if there's nothing to clean up. 
llvm-svn: 91288
 2009-12-14 17:10:44 +00:00
Dan Gohman
88c7e61c5b Delete an unused variable. 
llvm-svn: 91287
 2009-12-14 17:08:09 +00:00
Dan Gohman
838f604543 LSR itself doesn't need LoopInfo. 
llvm-svn: 91283
 2009-12-14 17:02:34 +00:00
Dan Gohman
273e692952 LSR itself doesn't need DominatorTree. 
llvm-svn: 91282
 2009-12-14 16:57:08 +00:00
Dan Gohman
c3513095cf Remove the code in LSR that manually hoists expansions out of loops; 
SCEVExpander does this automatically.

llvm-svn: 91281
 2009-12-14 16:52:55 +00:00
Dan Gohman
ec2a7c58e8 Minor code cleanups. 
llvm-svn: 91280
 2009-12-14 16:37:29 +00:00
Jim Grosbach
6bf5305f5d grammar 
llvm-svn: 89145
 2009-11-17 21:37:04 +00:00
Jim Grosbach
e4e018ae67 80-column violations 
llvm-svn: 89123
 2009-11-17 19:05:35 +00:00
Evan Cheng
ba4e5da727 Generalize OptimizeLoopTermCond to optimize more loop terminating icmp to use postinc iv. 
llvm-svn: 89116
 2009-11-17 18:10:11 +00:00
Jim Grosbach
60f4854c76 Remove trailing whitespace 
llvm-svn: 89110
 2009-11-17 17:53:56 +00:00
Evan Cheng
85a9f430e9 - Teach LSR to avoid changing cmp iv stride if it will create an immediate that 
cannot be folded into target cmp instruction.
- Avoid a phase ordering issue where early cmp optimization would prevent the
  later count-to-zero optimization.
- Add missing checks which could cause LSR to reuse stride that does not have
  users.
- Fix a bug in count-to-zero optimization code which failed to find the pre-inc
  iv's phi node.
- Remove, tighten, loosen some incorrect checks disable valid transformations.
- Quite a bit of code clean up.

llvm-svn: 86969
 2009-11-12 07:35:05 +00:00
Evan Cheng
12f146d8f7 Block terminator may be a switch. 
llvm-svn: 86761
 2009-11-11 00:00:21 +00:00
Evan Cheng
87fe40b32d Generalize lsr code that optimize loop to count down towards zero. 
llvm-svn: 86715
 2009-11-10 21:14:05 +00:00
Dan Gohman
a1bf0c0acc Teach LSR to avoid calling SplitCriticalEdge on edges with indirectbr. 
llvm-svn: 86193
 2009-11-05 23:34:59 +00:00
Dan Gohman
a83ac2d9e7 Update various Loop optimization passes to cope with the possibility that 
LoopSimplify form may not be available.

llvm-svn: 86175
 2009-11-05 21:11:53 +00:00
Dan Gohman
d632f89596 Make LSR's OptimizeShadowIV ignore induction variables with negative 
strides for now, because it doesn't handle them correctly. This fixes a
miscompile of SingleSource/Benchmarks/Misc-C++/ray.

This problem was usually hidden because indvars transforms such induction
variables into negations of canonical induction variables.

llvm-svn: 85118
 2009-10-26 15:32:57 +00:00
Nick Lewycky
54d7179a25 Remove ICmpInst::isSignedPredicate which was a reimplementation 
CmpInst::isSigned.

llvm-svn: 85037
 2009-10-25 05:20:17 +00:00
Nick Lewycky
42fb7452df Instruction::clone does not need to take an LLVMContext&. Remove that and 
update all the callers.

llvm-svn: 82889
 2009-09-27 07:38:41 +00:00
Dan Gohman
3ddbc242fb Re-apply r80926, with fixes: keep the domtree informed of new blocks 
that get created during loop unswitching, and fix SplitBlockPredecessors'
LCSSA updating code to create new PHIs instead of trying to just move
existing ones.

Also, optimize Loop::verifyLoop, since it gets called a lot. Use
searches on a sorted list of blocks instead of calling the "contains"
function, as is done in other places in the Loop class, since "contains"
does a linear search. Also, don't call verifyLoop from LoopSimplify or
LCSSA, as the PassManager is already calling verifyLoop as part of
LoopInfo's verifyAnalysis.

llvm-svn: 81221
 2009-09-08 15:45:00 +00:00
Evan Cheng
904199547b Revert r80926. It causes loop unswitch assertion and slow down some JIT tests significantly. 
llvm-svn: 81101
 2009-09-06 02:26:10 +00:00
Dan Gohman
4c1bdcf5d7 Add a verifyAnalysis to LoopInfo, LoopSimplify, and LCSSA form that verify 
that these passes are properly preserved.

Fix several transformation passes that claimed to preserve LoopSimplify
form but weren't.

llvm-svn: 80926
 2009-09-03 16:31:42 +00:00
Chris Lattner
2dd09dbdf7 eliminate VISIBILITY_HIDDEN from Transforms/Scalar. PR4861 
llvm-svn: 80766
 2009-09-02 06:11:42 +00:00
Chris Lattner
b25de3ff60 eliminate the "Value" printing methods that print to a std::ostream. 
This required converting a bunch of stuff off DOUT and other cleanups.

llvm-svn: 79819
 2009-08-23 04:37:46 +00:00
Owen Anderson
55f1c09e31 Push LLVMContexts through the IntegerType APIs. 
llvm-svn: 78948
 2009-08-13 21:58:54 +00:00
Owen Anderson
53aa7a960c Rename MVT to EVT, in preparation for splitting SimpleValueType out into its own struct type. 
llvm-svn: 78610
 2009-08-10 22:56:29 +00:00
Dan Gohman
298bce2aa9 Check for !isa<Constant> instead of isa<Instruction>. This 
matches what the comment says, and it avoids spurious BitCast
instructions for Argument values.

llvm-svn: 78121
 2009-08-04 23:23:56 +00:00
Owen Anderson
5a1acd9912 Move a few more APIs back to 2.5 forms. The only remaining ones left to change back are 
metadata related, which I'm waiting on to avoid conflicting with Devang.

llvm-svn: 77721
 2009-07-31 20:28:14 +00:00
Douglas Gregor
47d02732e0 Eliminate a few unused-variable warnings 
llvm-svn: 77519
 2009-07-29 22:41:10 +00:00
Owen Anderson
4056ca9568 Move types back to the 2.5 API. 
llvm-svn: 77516
 2009-07-29 22:17:13 +00:00
Owen Anderson
487375e9a2 Move ConstantExpr to 2.5 API. 
llvm-svn: 77494
 2009-07-29 18:55:55 +00:00
Owen Anderson
69c464dec4 Move ConstantFP construction back to the 2.5-ish API. 
llvm-svn: 77247
 2009-07-27 20:59:43 +00:00
Daniel Dunbar
6115b39ffd Remove Value::getName{Start,End}, the last of the old Name APIs. 
llvm-svn: 77152
 2009-07-26 09:48:23 +00:00
Owen Anderson
edb4a70325 Revert the ConstantInt constructors back to their 2.5 forms where possible, thanks to contexts-on-types. More to come. 
llvm-svn: 77011
 2009-07-24 23:12:02 +00:00
Owen Anderson
47db941fd3 Get rid of the Pass+Context magic. 
llvm-svn: 76702
 2009-07-22 00:24:57 +00:00
Dan Gohman
cc85ae132c Make Loop and MachineLoop be subclasses of LoopBase, rather than typedefs, 
using the Curiously Recurring Template Pattern with LoopBase.

This will help further refactoring, and future functionality for
Loop. Also, Headers can now foward-declare Loop, instead of pulling
in LoopInfo.h or doing tricks.

llvm-svn: 75519
 2009-07-13 21:51:15 +00:00
Owen Anderson
1e5f00e7a7 This started as a small change, I swear. Unfortunately, lots of things call the [I|F]CmpInst constructors. Who knew!? 
llvm-svn: 75200
 2009-07-09 23:48:35 +00:00
Dan Gohman
af75234955 Change all SCEV* to SCEV *. 
llvm-svn: 74918
 2009-07-07 17:06:11 +00:00
Owen Anderson
80baed63b4 Second batch of passes using LLVMContext. 
llvm-svn: 74753
 2009-07-03 00:54:20 +00:00
Dan Gohman
f19aeec3f5 Extend ScalarEvolution's multiple-exit support to compute exact 
trip counts in more cases.

Generalize ScalarEvolution's isLoopGuardedByCond code to recognize
And and Or conditions, splitting the code out into an
isNecessaryCond helper function so that it can evaluate Ands and Ors
recursively, and make SCEVExpander be much more aggressive about
hoisting instructions out of loops.

test/CodeGen/X86/pr3495.ll has an additional instruction now, but
it appears to be due to an arbitrary register allocation difference.

llvm-svn: 74048
 2009-06-24 01:18:18 +00:00
Dan Gohman
f522a4e034 Don't emit a redundant BitCastInst if the value to be defined in the 
preheader is already an instruction.

llvm-svn: 74031
 2009-06-24 00:28:59 +00:00
Owen Anderson
65b6056e37 SCEVHandle is no more! 
llvm-svn: 73906
 2009-06-22 21:39:50 +00:00
Dan Gohman
860379bcc2 Rename a variable for consistency with the ExitBlock vs ExitingBlock 
terminology that LoopInfo uses.

llvm-svn: 73863
 2009-06-21 23:48:38 +00:00
Dan Gohman
724f825f96 Fix a typo in a comment that Frits von Bommel noticed. 
llvm-svn: 73796
 2009-06-19 23:41:37 +00:00
Dan Gohman
cc31110b95 Re-apply r73718, now that the fix in r73787 is in, and add a 
hand-crafted testcase which demonstrates the bug that was exposed
in 254.gap.

llvm-svn: 73793
 2009-06-19 23:23:27 +00:00
Dan Gohman
55e3dd9174 Fix LSR's OptimizeSMax to ignore max operators with more than 2 operands, 
which it isn't prepared to handle.

llvm-svn: 73787
 2009-06-19 23:03:46 +00:00