RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-24 21:42:54 +02:00
Code Issues Projects Releases Wiki Activity
67,204 Commits 4 Branches 5 Tags 704 MiB
7c6bd9e0f9
Commit Graph

604 Commits

Author SHA1 Message Date
Chris Lattner
574c5de9f8 Generalize instcombine's isSafeToLoadUnconditionally() function 
to ignore readonly calls, and factor it out of instcombine so
that it can be used by other passes.  Patch by Frits van Bommel!

llvm-svn: 73506
 2009-06-16 17:23:12 +00:00
Dan Gohman
111f127d23 Fix old-style type names in comments. 
llvm-svn: 73362
 2009-06-14 23:30:43 +00:00
Owen Anderson
6aa3d83630 Add an early implementation of a partial inlining pass. The idea behind this 
is that, for functions whose bodies are entirely guarded by an if-statement, it
can be profitable to pull the test out of the callee and into the caller.

This code has had some cursory testing, but still has a number of known issues
on the LLVM test suite.

llvm-svn: 73338
 2009-06-14 08:26:32 +00:00
Dan Gohman
00c4ac3add Re-apply 70645, converting ScalarEvolution to use 
CallbackVH, with fixes. allUsesReplacedWith need to
walk the def-use chains and invalidate all users of a
value that is replaced. SCEVs of users need to be
recalcualted even if the new value is equivalent. Also,
make forgetLoopPHIs walk def-use chains, since any
SCEV that depends on a PHI should be recalculated when
more information about that PHI becomes available.

llvm-svn: 70927
 2009-05-04 22:30:44 +00:00
Chris Lattner
b07d558841 Factor loop backedge finding out of CodeGenPrepare into a new 
FindFunctionBackedges function.

llvm-svn: 70819
 2009-05-04 02:25:58 +00:00
Dan Gohman
8e4b9e586b Revert r70645 for now; it's causing a variety of regressions. 
llvm-svn: 70661
 2009-05-03 05:46:20 +00:00
Dan Gohman
7d98736ca6 Convert ScalarEvolution to use CallbackVH for its internal map. This 
makes ScalarEvolution::deleteValueFromRecords, and it's code that
subtly needed to be called before ReplaceAllUsesWith, unnecessary.

It also makes ValueDeletionListener unnecessary.

llvm-svn: 70645
 2009-05-02 21:19:20 +00:00
Dan Gohman
a79cce4aef Previously, RecursivelyDeleteDeadInstructions provided an option 
of returning a list of pointers to Values that are deleted. This was
unsafe, because the pointers in the list are, by nature of what
RecursivelyDeleteDeadInstructions does, always dangling. Replace this
with a simple callback mechanism. This may eventually be removed if
all clients can reasonably be expected to use CallbackVH.

Use this to factor out the dead-phi-cycle-elimination code from LSR
utility function, and generalize it to use the
RecursivelyDeleteTriviallyDeadInstructions utility function.

This makes LSR more aggressive about eliminating dead PHI cycles;
adjust tests to either be less trivial or to simply expect fewer
instructions.

llvm-svn: 70636
 2009-05-02 18:29:22 +00:00
Duncan Sands
9c1869fdaf These bitfields were being miscompiled on some 
64 bit platforms when building with optimization.
So replace them by a hand-coded implementation.
This fixes PR3822.

llvm-svn: 69597
 2009-04-20 16:03:21 +00:00
Dale Johannesen
0f8e2bcd98 Use a SmallPtrSet instead of std::set. 
llvm-svn: 67578
 2009-03-23 23:39:20 +00:00
Dale Johannesen
672ef54d0f Clear the cached cost when removing a function in 
the inliner; prevents nondeterministic behavior
when the same address is reallocated.
Don't build call graph nodes for debug intrinsic calls;
they're useless, and there were typically a lot of them.

llvm-svn: 67311
 2009-03-19 18:03:56 +00:00
Devang Patel
f0b46d438a Add helper pass to remove llvm.dbg.declare intrinsics. 
llvm-svn: 66454
 2009-03-09 20:49:37 +00:00
Devang Patel
28a28a2588 Add "check/remove dbg var" helper routines. 
llvm-svn: 66223
 2009-03-06 00:19:37 +00:00
Dale Johannesen
33fa9dc8a9 When sinking an insn in InstCombine bring its debug 
info with it.
Don't count debug info insns against the scan maximum
in FindAvailableLoadedValue (lest they affect codegen).

llvm-svn: 65910
 2009-03-03 01:09:07 +00:00
Evan Cheng
d8aad94754 Factor address mode matcher out of codegen prepare to make it available to other passes, e.g. loop strength reduction. 
llvm-svn: 65134
 2009-02-20 18:24:38 +00:00
Cedric Venet
48be6b5e15 Unbreak the build on win32. 
Cleanup some warning.

Remark: when struct/class are declared differently than they are defined, this make problem for VC++ since it seems to mangle class differently that struct. These error are very hard to understand and find. So please, try to keep your definition/declaration in sync.

Only tested with VS2008. hope it does not break anything. feel free to revert.

llvm-svn: 64554
 2009-02-14 16:06:42 +00:00
Devang Patel
7377e7aa89 Enable scalar replacement of AllocaInst whose one of the user is dbg info. 
llvm-svn: 64207
 2009-02-10 07:00:59 +00:00
Devang Patel
72f5fba371 Revert rev. 63876. It is causing llvm-gcc bootstrap failure. 
llvm-svn: 63888
 2009-02-05 21:46:41 +00:00
Devang Patel
66eee02024 Ignore dbg intrinsics while propagating conditional expression info. 
llvm-svn: 63876
 2009-02-05 19:15:39 +00:00
Dale Johannesen
eb1316a896 Adjustments to last patch based on review. 
llvm-svn: 61969
 2009-01-09 01:30:11 +00:00
Dale Johannesen
4c25cb12ea Do not inline functions with (dynamic) alloca into 
functions that don't already have a (dynamic) alloca.
Dynamic allocas cause inefficient codegen and we shouldn't
propagate this (behavior follows gcc).  Two existing tests
assumed such inlining would be done; they are hacked by
adding an alloca in the caller, preserving the point of
the tests.

llvm-svn: 61946
 2009-01-08 21:45:23 +00:00
Dan Gohman
8271066844 Tidy up #includes, deleting a bunch of unnecessary #includes. 
llvm-svn: 61715
 2009-01-05 17:59:02 +00:00
Duncan Sands
36db5853cb Rename AddReadAttrs to FunctionAttrs, and teach it how 
to work out (in a very simplistic way) which function
arguments (pointer arguments only) are only dereferenced
and so do not escape.  Mark such arguments 'nocapture'.

llvm-svn: 61525
 2008-12-31 16:14:43 +00:00
Chris Lattner
420385f8c3 Factor some code into a new FoldSingleEntryPHINodes method. 
llvm-svn: 60501
 2008-12-03 19:44:02 +00:00
Chris Lattner
c77e2f13a3 fix a really incorrect comment. 
llvm-svn: 60492
 2008-12-03 19:18:54 +00:00
Chris Lattner
7a00825f57 Rename DeleteBlockIfDead to DeleteDeadBlock and make it 
unconditionally delete the block.  All likely clients will
do the checking anyway.

llvm-svn: 60464
 2008-12-03 06:40:52 +00:00
Chris Lattner
12c3938837 Factor some code out of SimplifyCFG, forming a new 
DeleteBlockIfDead method.

llvm-svn: 60463
 2008-12-03 06:37:44 +00:00
Chris Lattner
8b382de4e0 Enhance RecursivelyDeleteTriviallyDeadInstructions to optionally 
return a list of deleted instructions.

llvm-svn: 60193
 2008-11-27 23:14:34 +00:00
Chris Lattner
b374a0158a remove doConstantPropagation and dceInstruction, they are just 
wrappers around the interesting code and use an obscure iterator
abstraction that dates back many many years.

Move EraseDeadInstructions to Transforms/Utils and name it
RecursivelyDeleteTriviallyDeadInstructions.

llvm-svn: 60191
 2008-11-27 22:57:53 +00:00
Chris Lattner
577096bcaa move FindAvailableLoadedValue from JumpThreading to Transforms/Utils. 
llvm-svn: 60166
 2008-11-27 08:10:05 +00:00
Chris Lattner
bb86dff3fe move MergeBasicBlockIntoOnlyPred to Transforms/Utils. 
llvm-svn: 60162
 2008-11-27 07:43:12 +00:00
Devang Patel
e5a07d989e Do not use separate utility to walk all instructions and remove dead dbg intrinsics. Let instcombiner do this job. 
llvm-svn: 59659
 2008-11-19 19:01:37 +00:00
Devang Patel
233728e8c3 Add new helper pass that strips all symbol names except debugging information. 
This pass makes it easier to test wheter debugging info. influences optimization passes or not.

llvm-svn: 59552
 2008-11-18 21:34:39 +00:00
Devang Patel
0616706919 Undo previous check-in. 
llvm-svn: 59092
 2008-11-11 23:57:33 +00:00
Devang Patel
c9fdfd2f0b Add utility pass to remove dbg info. 
llvm-svn: 59068
 2008-11-11 19:33:39 +00:00
Devang Patel
ec4ae29ae4 Add utility routines to remove dead debug info. 
llvm-svn: 59011
 2008-11-11 00:53:02 +00:00
Devang Patel
de9b95965a Do now allow InlineAlways pass to remove dead functions. 
llvm-svn: 58744
 2008-11-05 01:39:16 +00:00
Dan Gohman
c162a200ad Add a new pass to simplify specific half_powr function calls. This is 
a specialized pass that it not likely to be generally useful.

llvm-svn: 58732
 2008-11-04 23:41:45 +00:00
Nick Lewycky
15a23d029c Add a new MergeFunctions pass. It finds identical functions and merges them. 
This triggers only 60 times in llvm-test (look at .llvm.bc, not .linked.rbc)
and so it probably wont be turned on by default. Also, may of those are likely
to go away when PR2973 is fixed.

llvm-svn: 58557
 2008-11-02 05:52:50 +00:00
Daniel Dunbar
097da598fb Add InlineCost class for represent the estimated cost of inlining a 
function.
 - This explicitly models the costs for functions which should
   "always" or "never" be inlined. This fixes bugs where such costs
   were not previously respected.

llvm-svn: 58450
 2008-10-30 19:26:59 +00:00
Daniel Dunbar
2265cf485e Factor shouldInline method out of Inliner. 
- No functionality change.

llvm-svn: 58355
 2008-10-29 01:02:02 +00:00
Daniel Dunbar
e2fe2de3f4 Assorted comment/naming fixes, 80-col violations, and reindentation. 
- No functionality change.

llvm-svn: 58352
 2008-10-28 23:24:26 +00:00
Torok Edwin
0c0acebd09 export an ID for the instructionNamer, allowing analysis/transformation passes 
that need it to require it by ID.

llvm-svn: 58238
 2008-10-27 10:16:27 +00:00
Daniel Dunbar
5447f9679d Change create*Pass factory functions to return Pass* instead of 
LoopPass*.
 - Although less precise, this means they can be used in clients
   without RTTI (who would otherwise need to include LoopPass.h, which
   eventually includes things using dynamic_cast). This was the
   simplest solution that presented itself, but I am happy to use a
   better one if available.

llvm-svn: 58010
 2008-10-22 23:32:42 +00:00
Duncan Sands
b2b5ddfaf6 Remove the MarkModRef pass (use AddReadAttrs instead). 
Unfortunately this means removing one regression test
of GlobalsModRef because I couldn't work out how to
perform it without MarkModRef.

llvm-svn: 56342
 2008-09-19 08:23:44 +00:00
Duncan Sands
c2ff9ca568 Add a new pass AddReadAttrs which works out which functions 
can get the readnone/readonly attributes, and gives them it.
The plan is to remove markmodref (which did the same thing
by querying GlobalsModRef) and delete the analogous
functionality from GlobalsModRef.

llvm-svn: 56341
 2008-09-19 08:17:05 +00:00
Dan Gohman
e1f9be27bc Tidy up several unbeseeming casts from pointer to intptr_t. 
llvm-svn: 55779
 2008-09-04 17:05:41 +00:00
Andrew Lenharth
4a69775c64 Initial version of a Partial Specialization IPO pass. It triggers a couple hundred times on 176.gcc. I don't know the performance impact yet, the heuristic is quite simple still. 
llvm-svn: 55734
 2008-09-03 21:00:28 +00:00
Devang Patel
d2fbb7aa32 Add missing decls. 
llvm-svn: 55719
 2008-09-03 20:24:05 +00:00
Duncan Sands
0338e9f60d Add a small pass that sets the readnone/readonly 
attributes on functions, based on the result of
alias analysis.  It's not hardwired to use
GlobalsModRef even though this is the only (AFAIK)
alias analysis that results in this pass actually
doing something.  Enable as follows:
  opt ... -globalsmodref-aa -markmodref ...
Advantages of this pass: (1) records the result
of globalsmodref in the bitcode, meaning it is
available for use by later passes (currently
the pass manager isn't smart enough to magically
make an advanced alias analysis available to all
later passes), which may expose more optimization
opportunities; (2) hopefully speeds up compilation
when code is optimized twice, for example when a
file is compiled to bitcode, then later LTO is done
on it: marking functions readonly/readnone when
producing the initial bitcode should speed up alias
analysis during LTO; (3) good for discovering that
globalsmodref doesn't work very well :)
Not currently turned on by default.

llvm-svn: 55604
 2008-09-01 11:40:11 +00:00
Chris Lattner
2f629c4b80 Add a new trivial -inst-namer pass which makes it possible to diff the 
before/after effects of a pass, crazy!

llvm-svn: 55230
 2008-08-23 06:07:02 +00:00
Owen Anderson
13498aa150 Remove GCSE, ValueNumbering, and LoadValueNumbering. These have been deprecated for almost a year; it's finally time for them to go away. 
llvm-svn: 54822
 2008-08-15 21:31:02 +00:00
Owen Anderson
cb787a2004 Make MergeBlockIntoPredecessor more aggressive when the same successor appears 
more than once.

llvm-svn: 53731
 2008-07-17 19:42:29 +00:00
Owen Anderson
7fb36c8bba Factor MergeBlockIntoPredecessor out into BasicBlockUtils. 
llvm-svn: 53705
 2008-07-17 00:01:40 +00:00
Dan Gohman
9f52e3890f Correct a top-level comment. 
llvm-svn: 53685
 2008-07-16 16:03:31 +00:00
Chris Lattner
8a9725bffe Reapply r53540, now with the matching header! 
llvm-svn: 53557
 2008-07-14 17:32:59 +00:00
Chris Lattner
58fe3dee5a whitespace fix. 
llvm-svn: 53537
 2008-07-14 00:28:45 +00:00
Chris Lattner
f5c321c7fc doxygenate comments and wrap to 80 cols. 
llvm-svn: 53536
 2008-07-14 00:27:31 +00:00
Dan Gohman
955fdc7a4c Add explicit keywords. 
llvm-svn: 53179
 2008-07-07 18:00:37 +00:00
Matthijs Kooijman
9b72ea4658 Add missing semicolumn in my last commit. 
llvm-svn: 52780
 2008-06-26 09:49:38 +00:00
Matthijs Kooijman
151654f100 Improve comments wrt createInternalize. 
llvm-svn: 52779
 2008-06-26 09:48:11 +00:00
Matthijs Kooijman
bb456f6b42 Rename a few variables to be more consistent. 
llvm-svn: 52672
 2008-06-24 09:14:10 +00:00
Evan Cheng
ce2c3b07ba Revert 51775. 
llvm-svn: 51795
 2008-05-30 22:47:19 +00:00
Evan Cheng
8ebaae9d1c Patches for building llvm on Solaris x86. Contributed by Nathan Keynes. 
llvm-svn: 51775
 2008-05-30 17:16:20 +00:00
Dan Gohman
3ea2dceca0 Prune and tidy #includes. 
llvm-svn: 51697
 2008-05-29 19:52:31 +00:00
Devang Patel
047ba6df54 Simplify internalize pass. Add test case. 
Patch by Matthijs Kooijman!

llvm-svn: 51114
 2008-05-14 20:01:01 +00:00
Dan Gohman
b4eeb4dfba Commit the header I accidentally left out of 51083. 
llvm-svn: 51093
 2008-05-14 04:39:40 +00:00
Dan Gohman
ffe0b1f40e Whitespace cleanups. 
llvm-svn: 51089
 2008-05-14 00:43:10 +00:00
Dan Gohman
138a53b303 Change class' public PassInfo variables to by initialized with the 
address of the PassInfo directly instead of calling getPassInfo.
This eliminates a bunch of dynamic initializations of static data.

Also, fold RegisterPassBase into PassInfo, make a bunch of its
data members const, and rearrange some code to initialize data
members in constructors instead of using setter member functions.

llvm-svn: 51022
 2008-05-13 02:05:11 +00:00
Dan Gohman
a84b75df17 Remove uses of llvm/System/IncludeFile.h that are no longer needed. 
llvm-svn: 50695
 2008-05-06 01:32:53 +00:00
Chris Lattner
be2bafbe92 Delete the IPO simplify-libcalls and completely reimplement it as 
a FunctionPass.  This makes it simpler, fixes dozens of bugs, adds
a couple of minor features, and shrinks is considerably: from
2214 to 1437 lines.

llvm-svn: 50520
 2008-05-01 06:25:24 +00:00
Owen Anderson
5b7928f3d2 Rename DeadLoopElimination to LoopDeletion, part 2. 
llvm-svn: 50437
 2008-04-29 20:06:54 +00:00
Owen Anderson
4cc52fd657 Add dead loop elimination, which removes dead loops for which we can compute 
the trip count.

llvm-svn: 50382
 2008-04-29 00:38:34 +00:00
Chris Lattner
57e11a167d Move SplitBlockPredecessors out of loopsimplify into BasicBlockUtils.h 
as a global helper function.  At the same type, switch it from taking
a vector of predecessors to an arbitrary sequential input.  This allows
us to switch LoopSimplify to use a SmallVector for various temporary
vectors that it passed into SplitBlockPredecessors.

llvm-svn: 50020
 2008-04-21 01:28:02 +00:00
Chris Lattner
c8c74f39db Add a new Jump Threading pass, which will handle cases 
such as those in PR2235.  Right now the pass is not very
effective. :)

llvm-svn: 50000
 2008-04-20 20:35:01 +00:00
Chris Lattner
d299f7b8cf Allow argpromote to promote struct arguments with a specified number 
of elements.  Patch by Matthijs Kooijman!

llvm-svn: 49962
 2008-04-19 19:50:01 +00:00
Owen Anderson
ca7e0e21f3 Factor a bunch of functionality related to memcpy and memset transforms out of 
GVN and into its own pass.

llvm-svn: 49419
 2008-04-09 08:23:16 +00:00
Evan Cheng
d01a2a18f8 Increasing the inline limit from (overly conservative) 200 to 300. Given each BB costs 20 and each instruction costs 5, 200 means a 4 BB function + 24 instructions (actually less because caller's size also contributes to it). 
Furthermore, double the limit when more than 10% of the callee instructions are vector instructions. Multimedia kernels tend to love inlining.

llvm-svn: 48725
 2008-03-24 06:37:48 +00:00
Andrew Lenharth
2ff2bcbde8 FunctionExtractorPass has been superceded by GVExtractorPass 
llvm-svn: 48648
 2008-03-21 16:46:53 +00:00
Andrew Lenharth
6c788376e9 add a pass that can extract all kinds of global values, not just functions. Update llvm-extract to use it and optionally extract a global variable if you want it too 
llvm-svn: 48015
 2008-03-07 19:51:57 +00:00
Gabor Greif
d746841e93 fix typos 
llvm-svn: 47994
 2008-03-06 10:36:00 +00:00
Devang Patel
cb72d92471 Add pass to promote sret. 
This pass transforms 

  %struct._Point = type { i32, i32, i32, i32, i32, i32 }
  define internal void @foo(%struct._Point* sret  %agg.result)

into

  %struct._Point = type { i32, i32, i32, i32, i32, i32 }
  define internal %struct._Point @foo()

This pass updates foo() clients appropriately to use
getresult instruction to extract return values.

This pass is not yet ready for prime time.

llvm-svn: 47776
 2008-02-29 23:34:08 +00:00
Chris Lattner
9fb1d740a6 prune #includes, fit in 80 cols. 
llvm-svn: 47556
 2008-02-25 19:21:38 +00:00
Chris Lattner
ae2f8bc116 remove the LowerSelect pass. The last client was the old Sparc backend, which is long dead by now. 
llvm-svn: 47323
 2008-02-19 07:49:17 +00:00
Chris Lattner
010e9fb704 remove the lower packed pass. It can never work and even the parts that 
could work don't work fully.  This fixes PR1705.  Oh yeah, we don't have
packed types anymore either ;-)

llvm-svn: 47322
 2008-02-19 07:39:17 +00:00
Bill Wendling
629a569ce9 The CorrelatedExpressionElimination pass is known to be buggy. Remove it. 
This fixes PR1769.

llvm-svn: 46408
 2008-01-27 06:11:41 +00:00
Chris Lattner
fb5876f0be Allow clients to specify the inline threshold when creating 
the inliner pass.  Patch by Robert Zeh.

llvm-svn: 45903
 2008-01-12 06:49:13 +00:00
Chris Lattner
ff7707de37 don't include loopinfo.h from this file. 
llvm-svn: 45858
 2008-01-11 06:30:04 +00:00
Gordon Henriksen
db4f51e1b9 With this patch, the LowerGC transformation becomes the 
ShadowStackCollector, which additionally has reduced overhead with
no sacrifice in portability.

Considering a function @fun with 8 loop-local roots,
ShadowStackCollector introduces the following overhead
(x86):

; shadowstack prologue
        movl    L_llvm_gc_root_chain$non_lazy_ptr, %eax
        movl    (%eax), %ecx
        movl    $___gc_fun, 20(%esp)
        movl    $0, 24(%esp)
        movl    $0, 28(%esp)
        movl    $0, 32(%esp)
        movl    $0, 36(%esp)
        movl    $0, 40(%esp)
        movl    $0, 44(%esp)
        movl    $0, 48(%esp)
        movl    $0, 52(%esp)
        movl    %ecx, 16(%esp)
        leal    16(%esp), %ecx
        movl    %ecx, (%eax)

; shadowstack loop overhead
        (none)

; shadowstack epilogue
        movl    48(%esp), %edx
        movl    %edx, (%ecx)

; shadowstack metadata
        .align  3
___gc_fun:                              # __gc_fun
        .long   8
        .space  4

In comparison to LowerGC:

; lowergc prologue
        movl    L_llvm_gc_root_chain$non_lazy_ptr, %eax
        movl    (%eax), %ecx
        movl    %ecx, 48(%esp)
        movl    $8, 52(%esp)
        movl    $0, 60(%esp)
        movl    $0, 56(%esp)
        movl    $0, 68(%esp)
        movl    $0, 64(%esp)
        movl    $0, 76(%esp)
        movl    $0, 72(%esp)
        movl    $0, 84(%esp)
        movl    $0, 80(%esp)
        movl    $0, 92(%esp)
        movl    $0, 88(%esp)
        movl    $0, 100(%esp)
        movl    $0, 96(%esp)
        movl    $0, 108(%esp)
        movl    $0, 104(%esp)
        movl    $0, 116(%esp)
        movl    $0, 112(%esp)

; lowergc loop overhead
        leal    44(%esp), %eax
        movl    %eax, 56(%esp)
        leal    40(%esp), %eax
        movl    %eax, 64(%esp)
        leal    36(%esp), %eax
        movl    %eax, 72(%esp)
        leal    32(%esp), %eax
        movl    %eax, 80(%esp)
        leal    28(%esp), %eax
        movl    %eax, 88(%esp)
        leal    24(%esp), %eax
        movl    %eax, 96(%esp)
        leal    20(%esp), %eax
        movl    %eax, 104(%esp)
        leal    16(%esp), %eax
        movl    %eax, 112(%esp)

; lowergc epilogue
        movl    48(%esp), %edx
        movl    %edx, (%ecx)

; lowergc metadata
        (none)

llvm-svn: 45670
 2008-01-07 01:30:53 +00:00
Chris Lattner
a09bc3d9a4 back out accidental commit. 
llvm-svn: 45660
 2008-01-06 19:19:32 +00:00
Chris Lattner
5489888580 rename isStore -> mayStore to more accurately reflect what it captures. 
llvm-svn: 45656
 2008-01-06 08:36:04 +00:00
Owen Anderson
6c7beb1748 Didn't mean to commit this. 
llvm-svn: 45607
 2008-01-05 00:43:37 +00:00
Owen Anderson
2adf8c5533 Move some more functionality from MRegisterInfo to TargetInstrInfo. 
llvm-svn: 45603
 2008-01-04 23:57:37 +00:00
Chris Lattner
e0b1ee937a Don't attribute in file headers anymore. See llvmdev for the 
discussion of this change.  Boy are my fingers tired. ;-)

llvm-svn: 45411
 2007-12-29 19:59:42 +00:00
Owen Anderson
7b92dab615 Start the process of making MachineLoopInfo possible by templating Loop. 
llvm-svn: 44097
 2007-11-14 02:33:58 +00:00
Anton Korobeynikov
8ab03c9d1c Make this header public 
llvm-svn: 43938
 2007-11-09 12:16:58 +00:00
Gordon Henriksen
8188f028a2 Deleting redundant copy of block extractor pass. See also PR1775. 
llvm-svn: 43694
 2007-11-05 01:54:05 +00:00
Anton Korobeynikov
bcee4726bf Reg2Mem cleanup and optimizations: 
- enable phi instructions demotion to stack
 - create alloca instructions in the entry block

llvm-svn: 43208
 2007-10-21 23:05:16 +00:00
Hartmut Kaiser
ed12f66488 Updated VC++ build system. 
Silenced some VC warnings.

I'm getting linker errors, though: unresolved externals:

llvm::Split<class llvm::BasicBlock *,struct llvm::GraphTraits<class llvm::BasicBlock *> >(class llvm::DominatorTreeBase<class llvm::BasicBlock> &,class llvm::BasicBlock *)

and

llvm::Split<struct llvm::Inverse<class llvm::BasicBlock *>,struct llvm::GraphTraits<struct llvm::Inverse<class llvm::BasicBlock *> > >(class llvm::DominatorTreeBase<class llvm::BasicBlock> &,class llvm::BasicBlock *)

Where are these defined?

llvm-svn: 43073
 2007-10-17 14:56:40 +00:00
Owen Anderson
a37895cfee Remove RLE from the headers, since the pass itself is gone now. 
llvm-svn: 41971
 2007-09-14 22:54:46 +00:00
Devang Patel
d412a2a0ed Add utility to clone loops. 
llvm-svn: 40997
 2007-08-10 17:59:47 +00:00
Chris Lattner
15b13dc5f9 add #ifndef guards 
llvm-svn: 40990
 2007-08-10 15:53:08 +00:00
Devang Patel
8289b6e663 Fix comment. 
llvm-svn: 40911
 2007-08-07 23:16:03 +00:00
Devang Patel
228dc09ff6 Begin loop index split pass. 
llvm-svn: 40883
 2007-08-07 00:25:56 +00:00
Dan Gohman
7dd04fb91c More explicit keywords. 
llvm-svn: 40673
 2007-08-01 15:32:29 +00:00
Owen Anderson
58e64df595 Rename FastDSE to just DSE. 
llvm-svn: 40668
 2007-08-01 06:36:51 +00:00
Devang Patel
a03e82d7ee Use SmallPtrSet. 
llvm-svn: 40560
 2007-07-27 18:34:27 +00:00
Devang Patel
d7b401bafd Add BasicInliner interface. 
This interface allows clients to inline bunch of functions with module
level call graph information.:wq

llvm-svn: 40486
 2007-07-25 18:00:25 +00:00
Owen Anderson
eb9f1b612c Add a GVN pass, using the value numbering code I developed for GVNPRE and the 
load elimination code from RedundantLoadElimination.

llvm-svn: 40469
 2007-07-24 17:55:58 +00:00
Owen Anderson
5969a3cb91 Rename a lot of things to change FastDLE to RedundantLoadElimination. 
llvm-svn: 40457
 2007-07-24 00:17:04 +00:00
Owen Anderson
0448fc9e66 Fix a comment. 
llvm-svn: 40446
 2007-07-23 21:51:37 +00:00
Owen Anderson
bd3360e856 Add FastDLE, the load-elimination counterpart of FastDSE. 
llvm-svn: 40445
 2007-07-23 21:48:08 +00:00
Devang Patel
9166ad7658 Make LCSSA a loop pass. 
llvm-svn: 39844
 2007-07-13 23:57:11 +00:00
Tanya Lattner
a715bbe152 Adding ability to demote phi to stack. 
llvm-svn: 39744
 2007-07-11 18:41:34 +00:00
Owen Anderson
1eaba31f12 Add FastDSE, a new algorithm for doing dead store elimination. This algorithm is not as accurate 
as the current DSE, but it only a linear scan over each block, rather than quadratic.  Eventually
(once it has been improved somewhat), this will replace the current DSE.

NOTE: This has not yet been extensively tested.
llvm-svn: 38517
 2007-07-11 00:46:18 +00:00
Devang Patel
65f3717db9 Expose struct size threhold to allow users to tweak their own setting. 
llvm-svn: 38472
 2007-07-09 21:19:23 +00:00
Devang Patel
d9043c7501 Add SplitEdge and SplitBlock utility routines. 
llvm-svn: 37952
 2007-07-06 21:39:20 +00:00
Tanya Lattner
6d152cd7df Move inliner pass header file. 
llvm-svn: 37664
 2007-06-19 22:29:02 +00:00
Devang Patel
b5554f450a Do not preserve ETForest. 
llvm-svn: 37506
 2007-06-08 00:02:08 +00:00
Devang Patel
3daf3625ab Do not use ETForest as well as DomiantorTree. DominatorTree is sufficient. 
llvm-svn: 37501
 2007-06-07 22:17:16 +00:00
Devang Patel
a466c96f77 Use DominatorTree instead of ETForest. 
This allows faster immediate domiantor walk.

llvm-svn: 37500
 2007-06-07 21:57:03 +00:00
Devang Patel
59091c81b6 Rename. 
llvm-svn: 37448
 2007-06-06 00:49:02 +00:00
Devang Patel
61661c6774 Avoid non-trivial loop unswitching while optimizing for size. 
llvm-svn: 37446
 2007-06-06 00:21:03 +00:00
Owen Anderson
d765ae21f7 Put GVN-PRE in all the right places. 
llvm-svn: 37352
 2007-05-29 23:36:32 +00:00
Nick Lewycky
c2306ff5b4 Fix typo in comment. 
llvm-svn: 36873
 2007-05-06 13:37:16 +00:00
Devang Patel
cd45427a87 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
8ee9065162 Use 'static const char' instead of 'static const int'. 
Due to darwin gcc bug, one version of darwin linker coalesces
static const int, which defauts PassID based pass identification.

llvm-svn: 36652
 2007-05-02 21:39:20 +00:00
Devang Patel
38a66bc82e Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Devang Patel
6a358e5694 Mem2Reg does not need TargetData. 
llvm-svn: 36446
 2007-04-25 18:41:11 +00:00
Devang Patel
b6ef7bc5d9 Remove unused function argument. 
llvm-svn: 36441
 2007-04-25 17:15:20 +00:00
Owen Anderson
41b527b75f Move more passes to using ETForest instead of DominatorTree. 
llvm-svn: 36271
 2007-04-20 06:27:13 +00:00
Owen Anderson
85b0e20f2a Completely purge DomSet. This is the (hopefully) final patch for PR1171. 
llvm-svn: 35731
 2007-04-07 07:17:27 +00:00
Owen Anderson
41bf50021d Expunge DomSet from CodeExtractor. This is part of the continuing work 
on PR1171.

llvm-svn: 35726
 2007-04-07 05:31:27 +00:00
Devang Patel
562df7f986 Add loop rotation pass. 
llvm-svn: 35714
 2007-04-07 01:25:15 +00:00
Chris Lattner
579b1c63d5 Split the sdisel code munging stuff out into its own opt-pass, CodeGenPrepare. 
llvm-svn: 35528
 2007-03-31 04:06:36 +00:00
Devang Patel
6a56e3c1a0 Now IndVarSimplify is a LoopPass. 
llvm-svn: 35003
 2007-03-07 06:39:01 +00:00
Devang Patel
16107bb71b Now LICM is a LoopPass. 
llvm-svn: 35001
 2007-03-07 04:41:30 +00:00
Devang Patel
3a24891f80 Now LoopUnroll is a LoopPass. 
llvm-svn: 34996
 2007-03-07 01:38:05 +00:00
Devang Patel
c35610b9f9 Now LoopUnswitch is a LoopPass. 
llvm-svn: 34992
 2007-03-07 00:26:10 +00:00
Devang Patel
0b82378a28 Now LoopStrengthReduce is a LoopPass. 
llvm-svn: 34984
 2007-03-06 21:14:09 +00:00
Chris Lattner
388222d25e remove some dead passes and stuff specific to the reoptimizer. 
llvm-svn: 34438
 2007-02-20 05:31:35 +00:00
Reid Spencer
55e4e98a2a For PR1195: 
Rename PackedType -> VectorType, ConstantPacked -> ConstantVector, and
PackedTyID -> VectorTyID. No functional changes.

llvm-svn: 34293
 2007-02-15 02:26:10 +00:00
Reid Spencer
6af21b3029 For PR411: 
This patch replaces the SymbolTable class with ValueSymbolTable which does
not support types planes. This means that all symbol names in LLVM must now
be unique. The patch addresses the necessary changes to deal with this and
removes code no longer needed as a result. This completes the bulk of the
changes for this PR. Some cleanup patches will follow.

llvm-svn: 33918
 2007-02-05 20:47:22 +00:00
Reid Spencer
45d9d72ac0 For PR1072: 
Removing -raise has neglible positive or negative side effects so we are
opting to remove it. See the PR for comparison details.

llvm-svn: 33844
 2007-02-03 23:15:56 +00:00
Chris Lattner
71fe09f397 Switch inliner over to use DenseMap instead of std::map for ValueMap. This 
speeds up the inliner 16%.

llvm-svn: 33801
 2007-02-03 00:08:31 +00:00
Chris Lattner
854464d748 move constant folding code out of Utils/Local into libanalysis 
llvm-svn: 33681
 2007-01-30 23:46:43 +00:00
Chris Lattner
23628987e2 The inliner/cloner can now optionally take TargetData info, which can be 
used by constant folding.

llvm-svn: 33676
 2007-01-30 23:22:39 +00:00
Chris Lattner
59ba02e557 Change constant folding APIs to take an optional TargetData, and change 
ConstantFoldInstOperands/ConstantFoldCall to take a pointer to an array
of operands + size, instead of an std::vector.

llvm-svn: 33669
 2007-01-30 23:12:47 +00:00
Anton Korobeynikov
611d5e2eda Propagate changes from my local tree. This patch includes: 
1. New parameter attribute called 'inreg'. It has meaning "place this
parameter in registers, if possible". This is some generalization of
gcc's regparm(n) attribute. It's currently used only in X86-32 backend.
2. Completely rewritten CC handling/lowering code inside X86 backend.
Merged stdcall + c CCs and fastcall + fast CC.
3. Dropped CSRET CC. We cannot add struct return variant for each
target-specific CC (e.g. stdcall + csretcc and so on).
4. Instead of CSRET CC introduced 'sret' parameter attribute. Setting in
on first attribute has meaning 'This is hidden pointer to structure
return. Handle it gently'.
5. Fixed small bug in llvm-extract + add new feature to
FunctionExtraction pass, which relinks all internal-linkaged callees
from deleted function to external linkage. This will allow further
linking everything together.

NOTEs: 1. Documentation will be updated soon.
       2. llvm-upgrade should be improved to translate csret => sret.
          Before this, there will be some unexpected test fails.
llvm-svn: 33597
 2007-01-28 13:31:35 +00:00
Devang Patel
bf44036fbf Inherit CallGraphSCCPass directly from Pass. 
llvm-svn: 33514
 2007-01-26 00:47:38 +00:00
Devang Patel
a9eae6951d Inherit BasicBlockPass directly from Pass. 
llvm-svn: 33511
 2007-01-25 23:23:25 +00:00
Chris Lattner
d5cd984a0e remove an old instrumentation pass that is not used anymore. 
llvm-svn: 32997
 2007-01-07 18:12:13 +00:00
Reid Spencer
4428c3483b For PR950: 
This patch removes the SetCC instructions and replaces them with the ICmp
and FCmp instructions. The SetCondInst instruction has been removed and
been replaced with ICmpInst and FCmpInst.

llvm-svn: 32751
 2006-12-23 06:05:41 +00:00
Jeff Cohen
e1003da1a2 Unbreak VC++ build. 
llvm-svn: 31464
 2006-11-05 19:31:28 +00:00
Chris Lattner
65f872288d add option to isCriticalEdge 
llvm-svn: 31258
 2006-10-28 06:58:17 +00:00
Chris Lattner
85bc826ca6 Expose a smarter way to break critical edges. 
llvm-svn: 31256
 2006-10-28 06:44:56 +00:00
Bill Wendling
85f53a4427 Corrected formatting. 
llvm-svn: 30942
 2006-10-13 20:53:50 +00:00
Duraid Madina
51396ffd3e add setJumpBufSize() and setJumpBufAlignment() to target-lowering. 
Call these from your backend to enjoy setjmp/longjmp goodness, see
lib/Target/IA64/IA64ISelLowering.cpp for an example

llvm-svn: 30095
 2006-09-04 06:21:35 +00:00
Nick Lewycky
9535a84c33 Add PredicateSimplifier pass. Collapses equal variables into one form 
and simplifies expressions. This implements the optimization described
in PR807.

llvm-svn: 29947
 2006-08-28 22:44:55 +00:00
Reid Spencer
eb02f1c668 For PR885: 
Consolidate the LinkAllAnalyses.h and LinkAllPasses.h headers into one
so there is no dupliation.

llvm-svn: 29787
 2006-08-21 05:34:03 +00:00
Jim Laskey
b92b14f422 Introducing plugable register allocators and instruction schedulers. 
llvm-svn: 29434
 2006-08-01 14:21:23 +00:00
Devang Patel
07e0d34f7d Add new constructor to accept vector of exported names while creating 
InternalizePass.

llvm-svn: 29222
 2006-07-20 17:48:05 +00:00
Owen Anderson
0d9583aa41 Update some comments, and expose LCSSAID in preparation for having other passes 
require LCSSA.

llvm-svn: 28734
 2006-06-08 20:02:53 +00:00
Chris Lattner
0f5ef733cc Force anything that #includes llvm/Transforms/Utils/UnifyFunctionExitNodes.h 
to link in the implementation.  Thanks to Anton Korobeynikov for figuring out
what was going on here.

llvm-svn: 28660
 2006-06-02 18:40:06 +00:00
Chris Lattner
fcb019fcb6 Implement a new method: CloneAndPruneFunctionInto, as documented. 
llvm-svn: 28518
 2006-05-27 01:21:50 +00:00
Chris Lattner
c8b9439f3a Add an interface to constant fold and instruction given it's opcode, type 
and operands.

llvm-svn: 28516
 2006-05-27 01:17:40 +00:00
Owen Anderson
93098cfc4c Skeletal LCSSA pass. This is currently non-functional. Expect functionality 
and documentation updates soo.

llvm-svn: 28495
 2006-05-26 13:58:26 +00:00
Chris Lattner
9a0d02f8f7 Add a CloneModule call that exposes the mapping of values from the old module 
to the new module.  Patch provided by Nick Lewycky!

llvm-svn: 28349
 2006-05-17 18:05:35 +00:00
Chris Lattner
2070effca0 This is a proper fix for the compiler warning. A termination condition is 
not needed, as it can never be reached: an edge must exist.

llvm-svn: 28282
 2006-05-14 02:01:22 +00:00
Reid Spencer
e343483440 Fix an infinite loop bug that Vladimir Prus identified. 
llvm-svn: 28281
 2006-05-13 18:11:32 +00:00
Chris Lattner
1275941193 Add pass ID's for various passes, so they can be AddRequiredID. Patch by 
Domagoj Babic!

llvm-svn: 28048
 2006-05-02 04:24:36 +00:00
Chris Lattner
0b321ad43f remove a dead prototype 
llvm-svn: 27882
 2006-04-20 15:45:54 +00:00
Andrew Lenharth
b3f434b83d Add a simple pass to make sure that all (non-library) calls to malloc and free 
are visible to analysis as intrinsics.  That is, make sure someone doesn't pass
free around by address in some struct (as happens in say 176.gcc).

This doesn't get rid of any indirect calls, just ensure calls to free and malloc
are always direct.

llvm-svn: 27560
 2006-04-10 19:26:09 +00:00
Evan Cheng
db35180b27 For each loop, keep track of all the IV expressions inserted indexed by 
stride. For a set of uses of the IV of a stride which is a multiple
of another stride, do not insert a new IV expression. Rather, reuse the
previous IV and rewrite the uses as uses of IV expression multiplied by
the factor.

e.g.
x = 0 ...; x ++
y = 0 ...; y += 4
then use of y can be rewritten as use of 4*x for x86.

llvm-svn: 26803
 2006-03-16 21:53:05 +00:00
Evan Cheng
692235499c Added target lowering hooks which LSR consults to make more intelligent 
transformation decisions.

llvm-svn: 26738
 2006-03-13 23:14:23 +00:00
Chris Lattner
ed45ad33b7 Make the LLVM headers "-ansi -pedantic -Wno-long-long" clean. 
Patch by Martin Partel!

llvm-svn: 26313
 2006-02-22 16:23:43 +00:00
Chris Lattner
0d03d576e4 Remove a level of indirection. 
llvm-svn: 26109
 2006-02-10 21:32:11 +00:00
Chris Lattner
5c0f92e308 Remove a never-working pass 
llvm-svn: 25348
 2006-01-16 01:05:24 +00:00
Chris Lattner
3e2e2b22ec Teach inline function how to update the callgraph when it makes changes. 
llvm-svn: 25318
 2006-01-14 20:05:06 +00:00
Chris Lattner
67fb415248 Allow the code cloning interfaces to capture some important info about the 
code being cloned if the client wants.

llvm-svn: 25281
 2006-01-13 18:39:17 +00:00
Andrew Lenharth
cad1d52b64 Added documented rsprofiler interface. Also remove new profiler passes, the 
old ones have been updated to implement the interface.

llvm-svn: 24499
 2005-11-28 18:00:38 +00:00
Andrew Lenharth
311ec68cf4 Random sampling (aka Arnold and Ryder) profiling. This is still preliminary, but it works on spec on x86 and alpha. The idea is to allow profiling passes to remember what profiling they inserted, then a random sampling framework is inserted which consists of duplicated basic blocks (without profiling), such that at each backedge in the program and entry into every function, the framework chooses whether to use the instrumented code or the instrumentation free code. The goal of such a framework is to make it reasonably cheap to do random sampling of very expensive profiling products (such as load-value profiling). 
The code is organized into 3 parts (2 passes)
1) a linked set of profiling passes, which implement an analysis group (linked, like alias analysis are).  These insert profiling into the program, and remember what they inserted, so that at a later time they can be queried about any instruction.

2) a pass that handles inserting the random sampling framework.  This also has options to control how random samples are choosen.  Currently implemented are Global counters, register allocated global counters, and read cycle counter (see? there was a reason for it).

The profiling passes are almost identical to the existing ones (block, function, and null profiling is supported right now), and they are valid passes without the sampling framework (hence the existing passes can be unified with the new ones, not done yet).

Some things are a bit ugly still, but that should be fixed up soon enough.

Other todo? making the counter values not "magic 2^16 -1" values, but dynamically choosable.

llvm-svn: 24493
 2005-11-28 00:58:09 +00:00
Andrew Lenharth
79ee761b69 Reg2Mem is something a pass may depend on, so allow that 
llvm-svn: 24488
 2005-11-22 22:14:23 +00:00
Andrew Lenharth
ddcbd92b23 needs to go here to apparently. 
llvm-svn: 24268
 2005-11-10 02:07:45 +00:00
Andrew Lenharth
03d60c3d09 The pass everyone has been waiting for! 
Reg2Mem

for fun you can opt -reg2mem -mem2reg

llvm-svn: 24267
 2005-11-10 01:58:38 +00:00
Nate Begeman
f299b9fb03 Add support alignment of allocation instructions. 
Add support for specifying alignment and size of setjmp jmpbufs.

No targets currently do anything with this information, nor is it presrved
in the bytecode representation.  That's coming up next.

llvm-svn: 24196
 2005-11-05 09:21:28 +00:00
Chris Lattner
dae0aafea8 Remove the LowerConstantExpressionsPass pass 
llvm-svn: 24089
 2005-10-29 05:32:20 +00:00
John Criswell
0893d5847f Move some constant folding functions into LLVMAnalysis since they are used 
by Analysis and Transformation passes.

llvm-svn: 24038
 2005-10-27 16:00:10 +00:00
Chris Lattner
bd6a973ae0 Don't link these three passes in anymore 
llvm-svn: 23941
 2005-10-24 02:30:25 +00:00
Chris Lattner
2f752062c1 Don't invade the system namespace 
llvm-svn: 23917
 2005-10-24 00:16:03 +00:00
Chris Lattner
31ac6df518 There is no need for this to be VC++ only 
llvm-svn: 23915
 2005-10-24 00:08:51 +00:00
Chris Lattner
dac26c2440 Make this work with the internalize change 
llvm-svn: 23812
 2005-10-19 01:41:47 +00:00
Chris Lattner
211f996c92 add an option to the internalize pass 
llvm-svn: 23782
 2005-10-18 06:28:16 +00:00
Chris Lattner
dbef366ea5 allow demotion to volatile values 
llvm-svn: 23472
 2005-09-27 19:38:43 +00:00
Chris Lattner
2a5d66d0e1 add a new function 
llvm-svn: 23443
 2005-09-26 05:26:32 +00:00
Chris Lattner
1fc1d60d5a add a helper 
llvm-svn: 22823
 2005-08-17 06:34:37 +00:00
Nate Begeman
ef41400067 Fix a fixme in CondPropagate.cpp by moving a PhiNode optimization into 
BasicBlock's removePredecessor routine.  This requires shuffling around
the definition and implementation of hasContantValue from Utils.h,cpp into
Instructions.h,cpp

llvm-svn: 22664
 2005-08-04 23:24:19 +00:00
Jeff Cohen
b555ae8f95 Add SimplyLibCalls.cpp to VC++ build 
llvm-svn: 21554
 2005-04-26 02:57:49 +00:00
Reid Spencer
a8e0496412 Declare a function to create the SimplifyLibCalls pass. 
llvm-svn: 21523
 2005-04-25 02:54:00 +00:00
Misha Brukman
58c97e67f3 Remove trailing whitespace 
llvm-svn: 21412
 2005-04-21 20:59:05 +00:00