RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-30 07:22:55 +01:00
Code Issues Projects Releases Wiki Activity
9,106 Commits 4 Branches 5 Tags 704 MiB
ca6f25286f
Commit Graph

1069 Commits

Author SHA1 Message Date
Chris Lattner
baba417853 Simplify the loop a bit 
llvm-svn: 8862
 2003-10-05 03:45:44 +00:00
Chris Lattner
59281d3581 There is no need for separate WriteSets and PhiNodeBlocks lists. It is just a 
work-list of value definitions.  This allows elimination of the explicit
'iterative' step of the algorithm, and also reuses temporary memory better.

llvm-svn: 8861
 2003-10-05 03:39:10 +00:00
Chris Lattner
5958d93c95 The PhiNodes 2D vector is only used during PHI node placement. It doesn't 
need to be an instance variable!

llvm-svn: 8860
 2003-10-05 03:26:25 +00:00
Chris Lattner
91d69f2693 * Document instance vars better 
* Fuse two parallel loops
* Use a more specific type for AllocaLookup

llvm-svn: 8859
 2003-10-05 03:16:07 +00:00
Chris Lattner
773a1c4474 Two small cleanups/speedups: 
* Do not insert a new entry into NewPhiNodes during the rename pass if there are no PHIs in a block.
 * Do not compute WriteSets in parallel

llvm-svn: 8858
 2003-10-05 02:37:36 +00:00
Chris Lattner
9f0a542057 * Minor cleanups 
* Eliminate the KillList instance variable, instead, just delete loads and
  stores as they are "renamed", and delete allocas when they are done
* Make the 'visited' set an instance variable to avoid passing it on the stack.

llvm-svn: 8857
 2003-10-05 01:52:53 +00:00
Chris Lattner
059033218b Implement InstCombine/add.ll:test17 & 18 
llvm-svn: 8817
 2003-10-02 15:11:26 +00:00
Chris Lattner
a72fa3ea50 Use global *_iterator 
llvm-svn: 8703
 2003-09-24 22:07:33 +00:00
Chris Lattner
feb17a5fbf Do not use BasicBlock::*_iterator, just use *_iterator itself. 
Isn't updating copy and pasted code a joy

llvm-svn: 8702
 2003-09-24 22:06:25 +00:00
Chris Lattner
cdf12dfd03 Fix bug: IndVarsSimplify/2003-09-23-NotAtTop.ll 
llvm-svn: 8689
 2003-09-23 20:26:48 +00:00
Chris Lattner
253c5f582e Fix bugs in the last change 
llvm-svn: 8667
 2003-09-22 23:30:59 +00:00
Chris Lattner
7ff5b8a024 Fix bug: Inline/2003-09-22-PHINodesInNormalInvokeDest.ll 
llvm-svn: 8666
 2003-09-22 22:35:39 +00:00
Chris Lattner
2cb1e9f0a6 Fix bug: Inline/2003-09-22-PHINodesInExceptionDest.ll 
... by making sure to update PHI nodes to take into consideration the
extra edges we get if we inline a call instruction through an invoke.

llvm-svn: 8664
 2003-09-22 21:59:27 +00:00
Misha Brukman
db8303670b Credits now go into the top-level CREDITS.TXT 
llvm-svn: 8662
 2003-09-22 21:57:56 +00:00
Misha Brukman
94a0f2edf0 Credits are now in top-level CREDITS.TXT 
llvm-svn: 8661
 2003-09-22 21:57:15 +00:00
Chris Lattner
68f6d33416 Squelch warning 
llvm-svn: 8659
 2003-09-22 20:33:34 +00:00
Chris Lattner
b6aad9cad0 Global variables with APPENDING linkage are very important to keep around! 
llvm-svn: 8632
 2003-09-20 19:00:50 +00:00
Chris Lattner
d4de2760aa Rename Function::getEntryNode -> getEntryBlock 
llvm-svn: 8625
 2003-09-20 14:39:18 +00:00
Chris Lattner
fabd2617fc Minor cleanups, no functional changes 
Rename Function::getEntryNode -> getEntryBlock

llvm-svn: 8623
 2003-09-20 14:36:23 +00:00
Chris Lattner
7bf15fccb9 Fix a really obvious huge gaping bug, add a comment 
llvm-svn: 8620
 2003-09-20 05:24:00 +00:00
Chris Lattner
bf7dd80e7c Expose the TCE pass 
llvm-svn: 8619
 2003-09-20 05:14:13 +00:00
Chris Lattner
70c9cbd5c6 New transformation: tail recursion elimination 
llvm-svn: 8618
 2003-09-20 05:03:31 +00:00
Chris Lattner
ef92d8eebb Implement InstCombine/and.ll:test(15|16) 
llvm-svn: 8607
 2003-09-19 19:05:02 +00:00
Chris Lattner
b8d0545d27 pull a large nested conditional out into its own function 
llvm-svn: 8605
 2003-09-19 17:17:26 +00:00
Chris Lattner
219dd8b23d Implement InstCombine/add.ll:test(15|16) 
llvm-svn: 8604
 2003-09-19 15:35:42 +00:00
Chris Lattner
13c224fd17 Fix bug raising allocations whose call sites were invoke instructions. 
Thanks to brg for tracking down the problem so precisely!

llvm-svn: 8568
 2003-09-16 19:42:21 +00:00
Chris Lattner
8502d4f3f8 This is effectively a complete rewrite of the globaldce algorithm, resulting 
in it being both shorter and more effective.  It no longer depends on the
callgraph, so one FIXME has been fixed.

Additionally, this pass was not able to delete recursive (but dead) functions
if they were pointed to by global variables which were also dead.  In fact
this pass had a lot of problems deleting functions which were only pointed
to by dead globals and other stuff.

Fixing this means that the entire EH library should be stripped away now from
programs that don't use sjlj or exceptions.

llvm-svn: 8567
 2003-09-16 19:27:31 +00:00
Chris Lattner
362afdca3f Minor cleanups, give credit, remove code that should not be necessary, and 
was a "major hack"  :)

llvm-svn: 8524
 2003-09-15 05:43:05 +00:00
Chris Lattner
c66f223e5a Initial checkin of the Setjmp/Longjmp lowering/transformation pass, 
contributed by the masterful Bill Wendling!

llvm-svn: 8520
 2003-09-15 04:56:27 +00:00
Chris Lattner
f3cac3df12 Ugh, a bug fix needed because of the bug in the CallGraph code 
llvm-svn: 8519
 2003-09-15 04:52:00 +00:00
Chris Lattner
6075013b55 Fix bug: PruneEH/2003-09-14-ExternalCall.llx 
llvm-svn: 8516
 2003-09-15 02:22:50 +00:00
Chris Lattner
7a55e0b56d Fix bug: Inline/2003-09-14-InlineValue.ll 
llvm-svn: 8514
 2003-09-15 02:10:16 +00:00
Chris Lattner
3a26b0d3be Make sure to cannonicalize loops before running indvar simplify 
llvm-svn: 8502
 2003-09-12 16:45:01 +00:00
Chris Lattner
f277240919 Do not return success after checking only the FIRST USE of a gep instruction. 
Instead, check all uses.
This fixes bug: ScalarRepl/2003-09-12-IncorrectPromote.ll
This also fixes the miscompilation of Ptrdist/bc

llvm-svn: 8493
 2003-09-12 16:02:12 +00:00
Chris Lattner
b12390cc41 Minor optimization efficiency improvement: 
- Run mem2reg promotion first
  - Only rerun passes if the previous thing changed something

llvm-svn: 8490
 2003-09-12 15:36:03 +00:00
Chris Lattner
9036a399f1 Simplify code 
Implement InstCombine/mul.ll:test9

llvm-svn: 8488
 2003-09-11 22:24:54 +00:00
Misha Brukman
ddbf126a18 Apostrophes are only used for possession and quoting. 
llvm-svn: 8473
 2003-09-11 16:58:31 +00:00
Chris Lattner
8a901c4d27 Integrate functionality of the mem2reg pass directly into this pass to make 
the combination more effective

llvm-svn: 8471
 2003-09-11 16:45:55 +00:00
Chris Lattner
3d39abeeb7 Renamed DominatorTree::Node::getNode() -> getBlock() 
llvm-svn: 8469
 2003-09-11 16:26:13 +00:00
Misha Brukman
d8279c4406 Spell `definite' correctly. 
llvm-svn: 8467
 2003-09-11 15:32:37 +00:00
Misha Brukman
6c4ffae6a5 Spell `definitely' correctly. 
llvm-svn: 8466
 2003-09-11 15:31:17 +00:00
Chris Lattner
b859bf2fb5 Unwind instructions are intrinsically alive, just like returns 
llvm-svn: 8462
 2003-09-10 20:38:14 +00:00
Chris Lattner
0d124f6067 Update for new UnifyFunction... API 
Remove using decl

llvm-svn: 8458
 2003-09-10 20:35:33 +00:00
Chris Lattner
3e9d3081fc Remove #include 
llvm-svn: 8457
 2003-09-10 20:35:21 +00:00
Chris Lattner
ee577bdc08 Expand the pass to unify all of the unwind blocks as well 
llvm-svn: 8456
 2003-09-10 20:34:51 +00:00
Chris Lattner
58d4183a25 Fix spell-o's 
llvm-svn: 8431
 2003-09-10 05:29:43 +00:00
Chris Lattner
df4ad7b311 Spelling fixes. I think that "cannonical" is ok, but "canonical" appears to 
be the canonical form for the word

llvm-svn: 8430
 2003-09-10 05:24:46 +00:00
Chris Lattner
501ec018c7 Fix up file header 
llvm-svn: 8428
 2003-09-10 05:10:34 +00:00
Misha Brukman
cac883668e Spell `occurrence' correctly. 
llvm-svn: 8425
 2003-09-09 21:54:45 +00:00
Chris Lattner
e8ae7bf114 Eliminate support for the llvm.unwind intrinisic, using the Unwind instruction instead 
llvm-svn: 8411
 2003-09-08 19:44:26 +00:00
Chris Lattner
5f9de6e523 Should invokify is always true 
llvm-svn: 8409
 2003-09-08 19:00:30 +00:00
Chris Lattner
4ad8720f91 Add support for the unwind instruction 
llvm-svn: 8408
 2003-09-08 18:54:55 +00:00
Chris Lattner
03b8e81aef Do not hoist volatile loads 
llvm-svn: 8399
 2003-09-08 18:17:14 +00:00
Brian Gaeke
5d6ee8cf02 Correct comments 
Don't include InstLoops.h
Don't export factory functions for these passes

llvm-svn: 8373
 2003-09-05 19:43:19 +00:00
Chris Lattner
3fdc7bbd0d Prototype for creator function got moved 
llvm-svn: 8315
 2003-09-01 20:45:33 +00:00
Chris Lattner
16149f6b85 Final cleanup: remove dead code 
llvm-svn: 8291
 2003-09-01 18:01:36 +00:00
Chris Lattner
b70da7293b Not only is this a lot smaller, it actually works if there is already a 
function with the right name in the module.

llvm-svn: 8290
 2003-09-01 16:53:46 +00:00
Chris Lattner
3bef1d6ae4 Dead files 
llvm-svn: 8289
 2003-09-01 16:49:57 +00:00
Chris Lattner
8fd6602748 If "These should be used only by the auto-parallelization pass", we might as 
well put them INTO the auto-par pass.

llvm-svn: 8288
 2003-09-01 16:49:38 +00:00
Chris Lattner
d5f57a52db Moved all of the cilkifier stuff into lib/Transforms/IPO, as it really is not 
support stuff.

llvm-svn: 8287
 2003-09-01 16:45:30 +00:00
Chris Lattner
4ee52b7154 Minor cleanups 
Do not #include Parallelize.h, it's just a subset of Cilkifier.h

llvm-svn: 8285
 2003-09-01 16:42:16 +00:00
Chris Lattner
2cdcc41517 Change the RaiseAllocations pass to be a Pass instead of a BasicBlock pass. 
This makes it more efficient: it doesn't have to scan the whole program, so
it performs work proportional to the number of malloc/free calls in the
program, not the size of the program.

llvm-svn: 8280
 2003-09-01 03:14:56 +00:00
Chris Lattner
c3019e3d22 Fix bug: TailDuplicate/2003-08-31-UnreachableBlocks.ll 
llvm-svn: 8276
 2003-08-31 21:17:44 +00:00
Chris Lattner
a37b6a09d3 Heavily refactor code: 
* Separate the policy decisions into a derived class [InlineSimple]
  * Move the inlining mechanics into a base class [Inliner]
  * Change the inliner to be an SCCPass, making it more structured and
    eventually pipelinable with other SCC passes

llvm-svn: 8257
 2003-08-31 19:10:30 +00:00
Chris Lattner
212039c1c8 Add accessor function 
llvm-svn: 8253
 2003-08-31 16:30:07 +00:00
Chris Lattner
d024e5ea75 Initial checkin of the -prune-eh pass, a very simple exception handling removal pass 
llvm-svn: 8250
 2003-08-31 02:47:32 +00:00
Chris Lattner
09777aa277 ScalarRepl does not modify the CFG. Say so! 
llvm-svn: 8243
 2003-08-31 00:45:13 +00:00
Chris Lattner
663f967b7b Use new interface, simplifies code 
llvm-svn: 8242
 2003-08-31 00:22:27 +00:00
Chris Lattner
8378e59323 Use the new interface, simplifies code 
NOTE that these two files are _BUGGY_ and need to be fixed, just not by me  :)

llvm-svn: 8241
 2003-08-31 00:21:59 +00:00
Chris Lattner
fa80983a82 Use the new interface, simplifies code 
Delete a bunch of commented out code

llvm-svn: 8240
 2003-08-31 00:21:05 +00:00
Chris Lattner
ad1253a44f Use the new interface, simplifies code 
llvm-svn: 8239
 2003-08-31 00:20:36 +00:00
Chris Lattner
a295c0d706 Fix bug where we considered function types equivalent even if they had differing numbers of arguments 
llvm-svn: 8178
 2003-08-28 16:42:50 +00:00
Chris Lattner
491ea39105 Fix bug: SCCP/2003-08-26-InvokeHandling.ll 
llvm-svn: 8152
 2003-08-27 01:08:35 +00:00
Chris Lattner
399ad7c300 Remove special casing 
llvm-svn: 8144
 2003-08-25 22:34:15 +00:00
Chris Lattner
bca7655aa9 Fix bug: Linker/2003-08-23-GlobalVarLinking.ll 
llvm-svn: 8130
 2003-08-24 19:30:20 +00:00
Chris Lattner
64c658e617 Implement: Linker/2003-08-24-InheritPtrSize.ll 
llvm-svn: 8129
 2003-08-24 19:26:42 +00:00
Chris Lattner
a0203709f4 Implement SimplifyCFG/InvokeEliminate.ll 
llvm-svn: 8126
 2003-08-24 18:36:16 +00:00
Chris Lattner
7e3e38b76d rethrow is really the language independent primitive here. "throw" can be written 
in terms of it and llvm.exc.setcurrent.
Rework the intrinsics.

llvm-svn: 8111
 2003-08-24 12:24:11 +00:00
Chris Lattner
c9e30ea132 Inline invoke instructions as well as call instructions 
llvm-svn: 8107
 2003-08-24 06:59:28 +00:00
Chris Lattner
d5be33fded *** Implement inlining of Invoke instructions! 
llvm-svn: 8106
 2003-08-24 06:59:16 +00:00
Chris Lattner
5159ae0f96 Big diff for a small change: delete inlined functions if all callees have 
inlined the function.
Implements: Inline/inline_dce.ll

llvm-svn: 8101
 2003-08-24 05:03:14 +00:00
Chris Lattner
b3db526a4f Implement: Inline/cfg_preserve_test.ll 
llvm-svn: 8099
 2003-08-24 04:06:56 +00:00
Chris Lattner
c499f5486f Implement SimplifyCFG/2003-08-17-FoldSwitch.ll:test5 
llvm-svn: 8093
 2003-08-23 23:18:19 +00:00
Chris Lattner
aa004bbc69 Fix bug: LowerSwitch/2003-08-23-EmptySwitch.ll 
llvm-svn: 8087
 2003-08-23 22:54:34 +00:00
Chris Lattner
9274d2d21a Do not consider any types that exist in the global symbol table! 
llvm-svn: 8084
 2003-08-23 21:32:24 +00:00
Chris Lattner
c94a7e8904 Fix bug: Linker/2003-08-23-RecursiveOpaqueTypeResolve.ll 
llvm-svn: 8083
 2003-08-23 21:25:54 +00:00
Chris Lattner
f063146af6 Implement Linker/2003-08-23-GlobalVarLinking.ll, which should fix 176.gcc 
llvm-svn: 8080
 2003-08-23 20:31:10 +00:00
Chris Lattner
4d5a165218 Fix bug: TailDup/2003-08-23-InvalidatedPointers.ll 
llvm-svn: 8078
 2003-08-23 20:08:30 +00:00
Chris Lattner
705fb5f473 Fix bug: FunctionResolve/2003-08-23-ArgumentWarning.ll 
llvm-svn: 8076
 2003-08-23 20:03:05 +00:00
Chris Lattner
d6bf205b7d Fix typeo 
llvm-svn: 8059
 2003-08-22 20:16:48 +00:00
Chris Lattner
fafb0d5a3c The process of linking types can cause their addresses to become invalid. For this reason, we must use TypeHandles! 
llvm-svn: 8057
 2003-08-22 19:12:55 +00:00
Chris Lattner
b382d33401 Implement Linker/2003-08-20-OpaqueTypeResolve.ll 
Hopefully this will fix the 176.gcc spec test as well.

llvm-svn: 8051
 2003-08-22 06:07:12 +00:00
Misha Brukman
cda7f97dbb The word dependent' has no a'. 
llvm-svn: 8030
 2003-08-21 22:14:26 +00:00
Chris Lattner
cd9ac7b0f7 Unless we CANNOT merge the arguments, do so 
llvm-svn: 7999
 2003-08-20 23:50:38 +00:00
Chris Lattner
7190bb52f3 Fix grammar, add comment 
llvm-svn: 7967
 2003-08-18 22:54:06 +00:00
Misha Brukman
56f7db4178 Spell `necessary' correctly. 
llvm-svn: 7944
 2003-08-18 14:43:39 +00:00
Chris Lattner
382a3a3708 Implement folding of switch instructions. 
Implements SimplifyCFG/2003-08-17-FoldSwitch.ll

llvm-svn: 7923
 2003-08-17 20:21:14 +00:00
Chris Lattner
1f5afd2a1c Fix bug: SimplifyCFG/2003-08-17-BranchFoldOrdering.ll 
llvm-svn: 7921
 2003-08-17 19:41:53 +00:00
Chris Lattner
17f985bfa4 The fixme is irrelevant: if that happens, the LLVM bytecode is malformed. 
This fixes testcase: SimplifyCFG/2003-08-17-BranchFold.ll

llvm-svn: 7919
 2003-08-17 19:34:55 +00:00
Brian Gaeke
4651096037 Factory methods for function passes now return type FunctionPass *. 
llvm-svn: 7839
 2003-08-14 06:09:32 +00:00
Chris Lattner
cd72043c89 Fix FIXME by removing FIXME 
llvm-svn: 7832
 2003-08-13 22:15:04 +00:00
Chris Lattner
2b7babcc41 Implement instcombine optimizations: 
(A <setcc1> B) logicalop (A <setcc2> B)  -> (A <setcc3> B) or true or false

Where setcc[123] is one of the 6 setcc instructions, and logicalop is one of: And, Or, Xor

llvm-svn: 7828
 2003-08-13 20:16:26 +00:00
Chris Lattner
7ba3220999 Generalize some of the add tests to allow for reassociation to take place 
llvm-svn: 7825
 2003-08-13 19:01:45 +00:00
Brian Gaeke
77c65be59e Factory methods for FunctionPasses now return type FunctionPass *. 
llvm-svn: 7823
 2003-08-13 18:18:15 +00:00
Chris Lattner
4e543f7021 Assign arguments different ranks so they get grouped together 
llvm-svn: 7813
 2003-08-13 16:16:26 +00:00
John Criswell
64631c7abe Removing the pool allocator from the main CVS tree. 
Use the poolalloc module in CVS from now on.

llvm-svn: 7810
 2003-08-13 15:36:15 +00:00
Chris Lattner
374473c778 Implement InstCombine/2003-08-12-AllocaNonNull.ll 
llvm-svn: 7807
 2003-08-13 05:38:46 +00:00
Chris Lattner
f8fbdb5ded Do not cannonicalize (X != 0) into (cast X to bool) 
llvm-svn: 7806
 2003-08-13 05:33:12 +00:00
Chris Lattner
5c9ccccd96 Change cannonicalization rules: add X,X is represented as multiplies, multiplies 
of a power of two are represented as a shift.

llvm-svn: 7803
 2003-08-13 04:18:28 +00:00
Brian Gaeke
9aa6b2db94 Give std::map<BasicBlock *, BasicBlock *> the short name BBMap, because 
it's used 7 different times.
Rename `getBackEdges' to `findAndInstrumentBackEdges', for clarity.
Remove some excess whitespace and commented-out code.
Use shorter forms of CallInst ctors.
Do not make `reopt_threshold' visible to the LLVM program, and do not
 pass it to the call to `reoptimizerInitialize'.  Don't pass the
 GlobalVariable representing it to any of our helper methods.
 `reopt_threshold' is an internal parameter of the reoptimizer, which
 InstLoops does not need to know about.

llvm-svn: 7794
 2003-08-12 22:00:24 +00:00
Chris Lattner
3e52e8ce5a Allow pulling logical operations through shifts. 
This implements InstCombine/shift.ll:test14*

llvm-svn: 7793
 2003-08-12 21:53:41 +00:00
Chris Lattner
7105c4aad0 Fix bug: Reassociate/2003-08-12-InfiniteLoop.ll 
llvm-svn: 7792
 2003-08-12 21:45:24 +00:00
Chris Lattner
c8d2398084 Assign finer grained ranks, make sure to reassociate top-level after reassociating bottom level 
llvm-svn: 7787
 2003-08-12 20:14:27 +00:00
Chris Lattner
2e2432d69e Simplify code 
llvm-svn: 7783
 2003-08-12 19:17:27 +00:00
Chris Lattner
c9c1d9f778 Implement testcases InstCombine/or.ll:test16/test17 
llvm-svn: 7782
 2003-08-12 19:11:07 +00:00
Sumant Kowshik
b3e21bb00f Bug fix: Some nodes pointed to by globals may not be marked incomplete and need to be tracked to find pool arguments 
llvm-svn: 7763
 2003-08-12 00:45:13 +00:00
Chris Lattner
623bd2eb83 Fix handling of 'free' if it has absolutely no prototype 
llvm-svn: 7721
 2003-08-11 15:05:08 +00:00
John Criswell
e5d4f11e14 Fixed a segfault in gccld. 
The original code does not work because the value from WorkList.end() is
invalidated once WorkList.erase() is called.  To ensure proper functionality,
we must ensure that WorkList.erase() is always called before WorkList.end().

llvm-svn: 7673
 2003-08-07 14:43:13 +00:00
Sumant Kowshik
095e7c3052 Added code for pool allocating only the pool-allocatable data structures in the presence of collapsed nodes + a couple of bug fixes 
llvm-svn: 7662
 2003-08-07 05:29:28 +00:00
Chris Lattner
c25494f95e Remove unnecessary use of NonCopyable 
llvm-svn: 7641
 2003-08-06 17:16:24 +00:00
Tanya Lattner
6fbe85279f Fixed minor bug in SafeToHoist and made some changes suggested by Chris. 
llvm-svn: 7614
 2003-08-05 20:39:02 +00:00
Tanya Lattner
48745a598c Fixed LICM bug that hoists trapping instructions that are not guaranteed to execute. 
llvm-svn: 7612
 2003-08-05 18:45:46 +00:00
Chris Lattner
629c78afe3 Minor changes: 
* Expand most tabs into spaces
  * Move #define DEBUG_TYPE to top of file to avoid warning

llvm-svn: 7611
 2003-08-05 18:44:12 +00:00
Sumant Kowshik
18c49a775f Major bug fixes including a memory leak and tracking some exceptional conditions. Also added support for including global and indirect call information in the DS graphs used by the pool allocation 
llvm-svn: 7605
 2003-08-05 17:01:54 +00:00
Chris Lattner
488b0e52a8 Fix bug: SimplifyCFG/2003-08-05-InvokeCrash.ll 
Fix bug: SimplifyCFG/2003-08-05-MishandleInvoke.ll

llvm-svn: 7599
 2003-08-05 16:27:44 +00:00
Chris Lattner
686e94e760 DEBUG got moved to Support/Debug.h 
llvm-svn: 7492
 2003-08-01 22:15:03 +00:00
Chris Lattner
c5b0f39c96 Instcombine: (A >> c1) << c2 for signed integers 
llvm-svn: 7295
 2003-07-24 18:38:56 +00:00
Chris Lattner
bf9589bf1f Reorganization of code, no functional changes. 
Now it shoudl be a bit more efficient

llvm-svn: 7292
 2003-07-24 17:52:58 +00:00
Chris Lattner
785e8453f0 Allow folding several instructions into casts, which can simplify a lot 
of codes.  For example,
short kernel (short t1) {
  t1 >>= 8; t1 <<= 8;
  return t1;
}

became:

short %kernel(short %t1.1) {
        %tmp.3 = shr short %t1.1, ubyte 8               ; <short> [#uses=1]
        %tmp.5 = cast short %tmp.3 to int               ; <int> [#uses=1]
        %tmp.7 = shl int %tmp.5, ubyte 8                ; <int> [#uses=1]
        %tmp.8 = cast int %tmp.7 to short               ; <short> [#uses=1]
        ret short %tmp.8
}

before, now it becomes:
short %kernel(short %t1.1) {
        %tmp.3 = shr short %t1.1, ubyte 8               ; <short> [#uses=1]
        %tmp.8 = shl short %tmp.3, ubyte 8              ; <short> [#uses=1]
        ret short %tmp.8
}

which will become:
short %kernel(short %t1.1) {
        %tmp.3 = and short %t1.1, 0xFF00
        ret short %tmp.3
}

This implements cast-set.ll:test4 and test5

llvm-svn: 7290
 2003-07-24 17:35:25 +00:00
Chris Lattner
9eb9ec67f7 Minor cleanups 
llvm-svn: 7289
 2003-07-24 17:31:56 +00:00
Chris Lattner
31224cdff9 Fix bug: FunctionResolve/2003-07-23-CPR-Reference.ll 
This fixes a long time annoyance which caused prototypes for bzero, bcopy,
bcmp, fputs, and fputs_unlocked to never get deleted.  Grr.

llvm-svn: 7285
 2003-07-23 22:03:18 +00:00
Chris Lattner
6d10220481 Add comments 
llvm-svn: 7283
 2003-07-23 21:41:57 +00:00
Chris Lattner
ac8a2be5e4 Remove explicit check for: not (not X) = X, it is already handled because xor is commutative 
- InstCombine: (X & C1) ^ C2 --> (X & C1) | C2 iff (C1&C2) == 0
  - InstCombine: (X | C1) ^ C2 --> (X | C1) & ~C2 iff (C1&C2) == C2

llvm-svn: 7282
 2003-07-23 21:37:07 +00:00
Chris Lattner
f453a39185 InstCombine: (X ^ C1) & C2 --> (X & C2) iff (C1&C2) == 0 
llvm-svn: 7272
 2003-07-23 19:36:21 +00:00
Chris Lattner
80d9c3a900 - InstCombine: (X | C1) & C2 --> X & C2 iff C1 & C1 == 0 
- InstCombine: (X | C) & C --> C
  - InstCombine: (X | C1) & C2 --> (X | (C1&C2)) & C2

llvm-svn: 7269
 2003-07-23 19:25:52 +00:00
Chris Lattner
76c1da471c IC: (X & C1) | C2 --> (X | C2) & (C1|C2) 
IC: (X ^ C1) | C2 --> (X | C2) ^ (C1&~C2)

We are now guaranteed that all 'or's will be inside of 'and's, and all 'and's
will be inside of 'xor's, if the second operands are constants.

llvm-svn: 7264
 2003-07-23 18:29:44 +00:00
Chris Lattner
4b43cd9700 IC: (X ^ C1) & C2 --> (X & C2) ^ (C1&C2) 
Minor code cleanup

llvm-svn: 7262
 2003-07-23 17:57:01 +00:00
Chris Lattner
ae691a3068 InstCombine: (X ^ 4) == 8 --> X == 12 
llvm-svn: 7260
 2003-07-23 17:26:36 +00:00
Chris Lattner
b07de65646 IC: (X & 5) == 13 --> false 
IC: (X | 8) == 4  --> false

llvm-svn: 7257
 2003-07-23 17:02:11 +00:00
Chris Lattner
6ad460b336 Simplify code by using ConstantInt::getRawValue instead of checking to see 
whether the constant is signed or unsigned, then casting

llvm-svn: 7252
 2003-07-23 15:22:26 +00:00
Chris Lattner
74a266d229 Fix bug: TailDup/2003-07-22-InfiniteLoop.ll 
llvm-svn: 7243
 2003-07-23 03:32:41 +00:00
Chris Lattner
7594fa7280 - InstCombine (cast (xor A, B) to bool) ==> (setne A, B) 
- InstCombine (cast (and X, (1 << size(X)-1)) to bool) ==> x < 0

llvm-svn: 7241
 2003-07-22 21:46:59 +00:00
John Criswell
98946bac5b Added code that checks to see if a global variable is external before replacing 
a load of the global variable with the variable's constant value.

llvm-svn: 7216
 2003-07-21 19:42:57 +00:00
Anand Shukla
d02a20b947 Added check for inlinable function 
llvm-svn: 7206
 2003-07-18 20:55:26 +00:00
Anand Shukla
bb730173d6 A pass to combine multiple backedges that go to same target 
llvm-svn: 7201
 2003-07-18 16:08:32 +00:00
John Criswell
dbaf5f719c Dinakar and I fixed a bug where we were trying to get the initializer of 
an external constant.  Since external constants don't have initializers, we
were failing on an assert() call in llvm/GlobalVariable.h.

llvm-svn: 7193
 2003-07-17 19:06:55 +00:00
Vikram S. Adve
f5914c9bca Trace loads and stores as they happen (stores were being 
remembered in valuesStoredInFunction, but never traced at function return,
and that's too late to be finding the error anyway).
Stores trace both the value and the address being stored to,
but after some experience I think only values should be traced.
The pointer hash table just fills up far too quickly if every
store address were traced.

llvm-svn: 7169
 2003-07-11 21:57:43 +00:00
Anand Shukla
cb78ec5ada Added functionality to instrmentation pass 
llvm-svn: 7161
 2003-07-10 21:55:57 +00:00
John Criswell
258dfc0319 Merged in autoconf branch. This provides configuration via the autoconf 
system.

llvm-svn: 7014
 2003-06-30 21:59:07 +00:00
Chris Lattner
a824a1ab66 Eliminate using declarations, adjust for new DSGraph API 
llvm-svn: 6992
 2003-06-30 03:14:44 +00:00