maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
8,699 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

654 Commits

Author SHA1 Message Date
Chris Lattner 7d1a871ede The tarjan iterator now returns a reference to the current SCC, not a possibly null pointer! 
llvm-svn: 8262
 2003-08-31 19:35:16 +00:00
Chris Lattner 2ee82ff48e Minor cleanups 
Iterate from tarj_begin -> tarj_end, not from tarj_begin -> NULL

llvm-svn: 8260
 2003-08-31 19:29:52 +00:00
Chris Lattner 2f120bbb95 Indent classes correctly in the namespace 
move bodies out-of-line
Add getAnalysisUsage method for SFGSCC

llvm-svn: 8259
 2003-08-31 19:27:11 +00:00
Chris Lattner c4caf3ad67 * Cleanups 
* Iterate from tarj_begin -> tarj_end, not from tarj_begin -> NULL

llvm-svn: 8258
 2003-08-31 19:23:41 +00:00
Chris Lattner f7e9594843 Initial checkin of the CallGraphSCCPass class 
llvm-svn: 8247
 2003-08-31 01:54:59 +00:00
Chris Lattner 5f9be67e07 There is no reason for this to be a pass! 
llvm-svn: 8214
 2003-08-29 14:43:17 +00:00
Misha Brukman 7eb05a170a Spell `necessary' correctly. 
llvm-svn: 7944
 2003-08-18 14:43:39 +00:00
Chris Lattner c01f05f4be Fix the bug that broke the nightly tester in McCat/18-imp last night. :( 
llvm-svn: 7925
 2003-08-17 21:47:33 +00:00
Chris Lattner 7a991010d6 Fix bug: LoopPreheaders/2003-08-15-PreheadersFail.ll 
llvm-svn: 7915
 2003-08-16 20:57:16 +00:00
Vikram S. Adve 96c81e9fff Improvement to the previous fix: branch following a delay slot of 
another delayed instr. would cause the later sanity-check (assertion)
in PhyRegAlloc.cpp to fail, even though there is really no error.

llvm-svn: 7848
 2003-08-14 20:45:56 +00:00
Vikram S. Adve 869b11b7c4 For an instruction with delay slots, mark all live values before 
the instruction as being live before/after the delay slot
instructions as well.

llvm-svn: 7795
 2003-08-12 22:19:59 +00:00
Chris Lattner c592c9f8a3 Remove unnecessary use of NonCopyable 
llvm-svn: 7641
 2003-08-06 17:16:24 +00:00
Chris Lattner 61182a2021 Add more verbose comment 
llvm-svn: 7610
 2003-08-05 18:38:37 +00:00
Sumant Kowshik 1d869b78f5 Added function mergeInGlobalsGraph which merges in the entire globals graph with the graph of a function 
llvm-svn: 7606
 2003-08-05 17:04:41 +00:00
Chris Lattner 8abcd56c74 DEBUG got moved to Support/Debug.h 
llvm-svn: 7492
 2003-08-01 22:15:03 +00:00
Vikram S. Adve 09091ee782 Don't require a BB to look-up live variables, unless they may need to 
be recomputed.

llvm-svn: 7388
 2003-07-29 19:42:32 +00:00
Chris Lattner 1cde34a7ff Fix another minor bug 
llvm-svn: 7340
 2003-07-26 23:00:05 +00:00
Chris Lattner d504c33746 Dont' try to parse the colon 
llvm-svn: 7323
 2003-07-25 20:49:29 +00:00
Chris Lattner 39e89fe443 Add a more general check-flags which can be used to ensure arbitrary flags are set 
llvm-svn: 7322
 2003-07-25 20:45:40 +00:00
Chris Lattner 3bc9b251b9 Fit code into 80 columns 
llvm-svn: 7249
 2003-07-23 15:17:01 +00:00
Chris Lattner 23801c571e Eliminate old-style cast 
llvm-svn: 7248
 2003-07-23 15:16:40 +00:00
Vikram S. Adve eb04c29378 Fix comment. 
llvm-svn: 7227
 2003-07-22 12:08:58 +00:00
Brian Gaeke c55a920283 Fix typo in call to isUnresolvableFunc, which was breaking the build. 
llvm-svn: 7194
 2003-07-17 19:07:46 +00:00
Vikram S. Adve cf01ed5f75 Rematerialize nodes from the globals graph into the current graph 
after all callees are inlined into the current graph.

NOTE: There's also a major bug fix for the BU pass in DataStructure.cpp,
which ensures that resolvable indirect calls are not moved out to the
globals graph, so that they are eventually inlined (if possible).

llvm-svn: 7189
 2003-07-16 21:42:03 +00:00
Vikram S. Adve 03be4a96f3 (1) Rematerialize nodes from the globals graph into the current graph 
after all callers are inlined into the current graph.
(2) Optimize the way a graph is inlined into its callees in the TD phase:
    (a) Use DSGraph::cloneReachableSubgraph to clone only a subgraph at
        each call site, for faster inlining.
    (b) Clone separately for the same callee at different call sites,
        since only the reachable subgraph is being cloned, not the entire
        caller graph.

llvm-svn: 7188
 2003-07-16 21:40:28 +00:00
Vikram S. Adve dce6694ff4 Implement 2 important changes: (1) rematerialization from the globals graph, 
and (2) faster inlining by cloning only reachable nodes.  In particular:
(1) Added DSGraph::cloneReachableSubgraph and DSGraph::cloneReachableNodes
    to clone the subgraph reachable from a set of root nodes, into the
    current graph, merging the global nodes into thos in the current graph.
    The TD pass now uses this for faster inlining, and so does the
    next function.
(2) Added DSGraph::updateFromGlobalGraph() to rematerialize nodes from the
    globals graph into the current graph in both BU and TD passes.
(3) `I' flags are removed from all nodes in the globals graph, because they
    are difficult to maintain correctly and are not needed anyway.
(4) Aux. function calls are only removed to the globals graph if they
    will never be resovled.  (This is what fixed gap.)  The immediate
    reason is that if we took these out of a function (and moved them to
    the globals graph) we would need to rematerialize these nodes into the
    function graph for every function in the BU pass.  The longer term
    problem is that we would need to find a way to remove them from the
    globals graph iff they have been resolved on all paths through the
    call graph.

llvm-svn: 7187
 2003-07-16 21:36:31 +00:00
Vikram S. Adve 6c254f0534 Factor out the test for unresolvable external functions into 
isUnresolvableFunc() (I thought I needed this externally.
I don't, but it's still nicer this way.)

llvm-svn: 7186
 2003-07-16 21:25:17 +00:00
Misha Brukman 7b14a19965 The word `separate' only has one `e'. 
llvm-svn: 7174
 2003-07-14 17:26:34 +00:00
Chris Lattner cedbb88d05 Reuse the values if they are constants: this is important so that we index into the right structure field 
This fixes bug: BasicAA/2003-07-03-BasicAACrash.ll

llvm-svn: 7093
 2003-07-03 06:42:38 +00:00
Chris Lattner 117da20334 Remove globals more aggressively from graphs. 
Fix a bug where we removed nodes that were marked U.

llvm-svn: 7090
 2003-07-03 02:03:53 +00:00
Chris Lattner c812e5f44e INCLUDE_PARENT_GRAPH is required! 
llvm-svn: 7088
 2003-07-02 23:57:05 +00:00
Chris Lattner 9a75369b74 Disable incorrect mustalias code 
llvm-svn: 7087
 2003-07-02 23:56:51 +00:00
Chris Lattner 959177fb96 Remove space at end of line 
llvm-svn: 7084
 2003-07-02 23:44:15 +00:00
Chris Lattner 7fd198806a Fix how we are handling unreachable functions. This DRAMATICALLY improves efficiency 
llvm-svn: 7082
 2003-07-02 23:42:48 +00:00
Chris Lattner cd7482b354 Keep track of how many inlinings are performed 
llvm-svn: 7076
 2003-07-02 20:24:42 +00:00
Chris Lattner d3d5c5c98e Try using trivially dead deletion 
llvm-svn: 7075
 2003-07-02 19:49:11 +00:00
Chris Lattner ad7b9c1810 Remove dead Nodes list 
llvm-svn: 7065
 2003-07-02 06:06:34 +00:00
Chris Lattner 116f68a990 Complete rewrite of td pass 
llvm-svn: 7064
 2003-07-02 04:39:44 +00:00
Chris Lattner 049d558988 Print collapsed to match the paper 
llvm-svn: 7063
 2003-07-02 04:39:27 +00:00
Chris Lattner 0b61cdd191 Reduce amount of work we do calculating mustaliases if the arg is a global 
llvm-svn: 7062
 2003-07-02 04:39:13 +00:00
Chris Lattner 03f3cb1af7 Add support for ParentGraph only when building in debug mode 
Minor cleanups, reenable folding of call nodes to external functions

llvm-svn: 7061
 2003-07-02 04:38:49 +00:00
Chris Lattner db6e0ac800 Add some functions to the blacklist 
llvm-svn: 7060
 2003-07-02 04:38:00 +00:00
Chris Lattner 5a3d63d5aa Make the BU closure keep track of which actual calls happen 
Minor cleanups

llvm-svn: 7059
 2003-07-02 04:37:48 +00:00
Chris Lattner 3ff99e3731 Make local pass print out its progress 
llvm-svn: 7058
 2003-07-02 04:37:26 +00:00
Chris Lattner 8309574e8d Fix bug: Regression/Other/2002-03-11-ExprAssertion.ll 
llvm-svn: 7046
 2003-07-01 21:08:52 +00:00
Chris Lattner 23428214e9 Rework TD pass to work with the precise call graph constructed by the BU phase 
llvm-svn: 7031
 2003-07-01 16:28:11 +00:00
Chris Lattner e809e3afd8 Do not treat global variables as functions! (and assert failing) 
llvm-svn: 7030
 2003-07-01 16:27:53 +00:00
Chris Lattner 8a30ad6d89 Dont' print scalar nodes for ConstantPointerRefs 
llvm-svn: 7029
 2003-07-01 16:27:32 +00:00
Chris Lattner 269467d216 Minor cleanups 
llvm-svn: 7027
 2003-07-01 16:04:18 +00:00
Chris Lattner 70923c688d Use the getFunctionNames method 
llvm-svn: 7008
 2003-06-30 05:57:39 +00:00
Chris Lattner bfce1115e3 Add new method 
llvm-svn: 7007
 2003-06-30 05:57:30 +00:00
Chris Lattner f8865a4389 Split CallSiteIterator out into DSCallSiteIterator.h, and generalize it a bit 
llvm-svn: 7006
 2003-06-30 05:27:53 +00:00
Chris Lattner fa52af4fb0 Be more const-correct 
llvm-svn: 7005
 2003-06-30 05:27:18 +00:00
Chris Lattner 0929c5ef68 Fix bug in last checkin 
llvm-svn: 7003
 2003-06-30 05:18:26 +00:00
Chris Lattner 4ffb4e0e03 Reimplement the BU closure to collapse all SCC graphs into a single graph. 
Look at all of the code that gets deleted!

llvm-svn: 7001
 2003-06-30 05:09:58 +00:00
Chris Lattner 348d93c8c2 Handle the case where OldNodeMap == &ScalarMap correctly 
llvm-svn: 7000
 2003-06-30 05:09:29 +00:00
Chris Lattner 312783f0d2 Remove dead method 
llvm-svn: 6999
 2003-06-30 04:53:39 +00:00
Chris Lattner 01877f5224 Do not delete the same graph multiple times when freeing memory if graphs are sharing 
llvm-svn: 6998
 2003-06-30 04:53:27 +00:00
Chris Lattner 7695128217 Do not multiply delete graphs if functions are sharing graphs 
llvm-svn: 6997
 2003-06-30 04:53:08 +00:00
Chris Lattner 6d187fdc5a Move usages of explicit hash_* datastructures to use typedefs 
llvm-svn: 6996
 2003-06-30 03:36:09 +00:00
Chris Lattner 63aeacfe3d Revamp DSGraphs so that they can support multiple functions in the same 
DSGraph at one time

llvm-svn: 6994
 2003-06-30 03:15:25 +00:00
Chris Lattner 151576413e Adjust for new DSGraph API 
llvm-svn: 6993
 2003-06-30 03:14:54 +00:00
Chris Lattner 7e29f97d1d Abstract out the predicate which decides whether a function gets complete 
arguments or not...

llvm-svn: 6987
 2003-06-29 22:37:07 +00:00
Chris Lattner 205d1acfba Fix minor bug in previous checkin 
llvm-svn: 6986
 2003-06-29 22:36:31 +00:00
Chris Lattner 992abdae26 Add support for ensuring that nodes are not incomplete 
llvm-svn: 6985
 2003-06-29 22:36:15 +00:00
Chris Lattner 16e3c398c8 Add support for "physical subtyping", which fixes: 
DSGraph/2003-06-29-NodeCollapsing2.ll & DSGraph/PhysicalSubtyping.ll

llvm-svn: 6982
 2003-06-29 20:27:45 +00:00
Chris Lattner 0aca3e714f Add print method to not get silly warning from analyze 
llvm-svn: 6981
 2003-06-29 20:27:16 +00:00
Chris Lattner 5da440b239 New pass which is useful for writing regression tests 
llvm-svn: 6979
 2003-06-29 18:17:07 +00:00
Chris Lattner 0877def4f6 Expose must alias information for global variables, implementing: DSGraph/mustalias.ll 
llvm-svn: 6973
 2003-06-29 00:54:08 +00:00
Chris Lattner 426b890f0d If the alias analysis algorithm we are using can provide MUST alias information, 
expose it directly as value numbering information

llvm-svn: 6972
 2003-06-29 00:53:34 +00:00
Chris Lattner 83e21a0c93 Count operands to instructions as well as just results. This allows for global variables to be checked as well 
llvm-svn: 6970
 2003-06-29 00:07:11 +00:00
Chris Lattner fa578d0eb4 Propagate globals graph from the local to bu to td globals graphs. This 
fixes bug: DSGraph/buglobals.ll

llvm-svn: 6947
 2003-06-28 22:14:55 +00:00
Chris Lattner c7ba69d8b4 Drop references to globals who do exist in the globals graph, but are never 
read or written to.  Keep track of how many times this happens.  This should
be good for deleting things like references to type information in C++ classes

llvm-svn: 6946
 2003-06-28 22:10:58 +00:00
Chris Lattner 856a6cbb80 Avoid double negatives 
llvm-svn: 6945
 2003-06-28 21:58:28 +00:00
Chris Lattner 2890f428a9 New pass to perform DSA based optimizations. Initially we just support turning 
globals into constants if we can prove it's safe

llvm-svn: 6941
 2003-06-28 21:54:55 +00:00
Chris Lattner 81d75b7cfc Fix bug: LevelRaise/2003-06-25-ExprAnalysis.ll 
llvm-svn: 6903
 2003-06-25 17:09:03 +00:00
Chris Lattner d791d8e427 Remove support for the MultiObject flag, which was fundamentally broken 
llvm-svn: 6840
 2003-06-22 03:03:52 +00:00
Chris Lattner 4853d162af * Changes to make NodeType be private to DSNode. 
* Add new MultiObject flag to DSNode which keeps track of whether or not
  multiple objects have been merged into the node, allowing must-alias info
  to be tracked.

llvm-svn: 6794
 2003-06-19 21:15:11 +00:00
Chris Lattner 1bec75e730 Implement handling of constantexprs for disambiguation. This implements 
BasicAA/featuretest.ll:constexpr_test

llvm-svn: 6740
 2003-06-17 15:25:37 +00:00
Chris Lattner 702a42bb8a Avoid divide by zero errors 
llvm-svn: 6738
 2003-06-17 15:07:20 +00:00
Chris Lattner 3937726a5b Nodes get forwarded when they are collapsed currently. 
llvm-svn: 6696
 2003-06-16 12:08:18 +00:00
Chris Lattner 82f4f85f6d Remove bogus assertion: a node with no referrers could be collapsed if field-sensitivity was disabled 
llvm-svn: 6695
 2003-06-16 12:07:39 +00:00
Chris Lattner 98105944b3 Implement forwarding from stores to loads of must-aliased pointers. 
This implements: GCSE/2003-06-13-LoadStoreEliminate.ll

llvm-svn: 6694
 2003-06-16 12:06:41 +00:00
Chris Lattner 78dd43245d Be more robust in the face of undefined behavior. 
Fixes bug: BasicAA/2003-06-01-AliasCrash.ll

llvm-svn: 6538
 2003-06-02 05:42:39 +00:00
Chris Lattner 9ed31bc497 Fix bug: CBackend/2003-05-31-MissingStructName.ll 
llvm-svn: 6495
 2003-05-31 23:30:52 +00:00
Chris Lattner f789f29aaa Eliminate unnecessary ->get calls that are now automatically handled. 
llvm-svn: 6397
 2003-05-29 15:12:27 +00:00
Vikram S. Adve 6bbfe341dd Renamed MachienOperand::opIsDef to MachineOperand::opIsDefOnly() 
and related functions and flags.  Fixed several bugs where only
"isDef" was being checked, not "isDefAndUse".

llvm-svn: 6342
 2003-05-27 00:06:48 +00:00
Chris Lattner 060f38121e Fix Bug: BasicAA/2003-05-21-GEP-Problem.ll 
llvm-svn: 6270
 2003-05-21 20:23:26 +00:00
Misha Brukman 9392c3ca74 The word `operands' has an `r' in it. 
llvm-svn: 6250
 2003-05-20 20:36:39 +00:00
Misha Brukman 56f4fa10fd Sparc instruction opcodes now all live under the `V9' namespace. 
llvm-svn: 6249
 2003-05-20 20:32:24 +00:00
Misha Brukman e5838c4d72 s/convertable/convertible/g 
llvm-svn: 6248
 2003-05-20 18:45:36 +00:00
Chris Lattner 0e416df2b2 Fix bug: Analysis/LoopInfo/2003-05-15-NestingProblem.ll 
llvm-svn: 6230
 2003-05-15 18:03:51 +00:00
Chris Lattner d14c200425 Fix miscompilation in Fhourstones and bug: LICM/2003-05-02-LoadHoist.ll 
llvm-svn: 5994
 2003-05-03 03:42:08 +00:00
Chris Lattner d021c2d56b Fix bug: LoopPreheaders/2003-04-25-AssertFail.ll 
llvm-svn: 5959
 2003-04-26 19:34:18 +00:00
Chris Lattner be2d24e3b5 Fix BasicAA/2003-04-25-GEPCrash.ll 
llvm-svn: 5940
 2003-04-25 18:03:06 +00:00
Chris Lattner 6ee2cf5d89 Remove unneccesary &* 
llvm-svn: 5871
 2003-04-23 16:36:11 +00:00
Chris Lattner 4183b34d39 Fix bug: BasicAA/2003-04-22-GEPProblem.ll 
llvm-svn: 5858
 2003-04-22 22:00:27 +00:00
Chris Lattner dee5f75221 Fix bug: IndVarSimplify/2003-04-16-ExprAnalysis.ll 
llvm-svn: 5795
 2003-04-16 22:50:19 +00:00
Chris Lattner 1520eda3e3 Remove unneccesary forward decl 
llvm-svn: 5710
 2003-03-06 16:37:29 +00:00
Chris Lattner ce848a3397 Fix bug: BasicAA/2003-03-04-GEPCrash.ll 
llvm-svn: 5695
 2003-03-04 16:40:17 +00:00