RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-25 22:12:57 +02:00
Code Issues Projects Releases Wiki Activity
11,112 Commits 4 Branches 5 Tags 704 MiB
8a82176edc
Commit Graph

11112 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Chris Lattner
8a82176edc Implement LICM of calls in simple cases. This is sufficient to move around 
sin/cos/strlen calls and stuff.  This implements:
  LICM/call_sink_pure_function.ll
  LICM/call_sink_const_function.ll

llvm-svn: 12415
 2004-03-15 04:11:30 +00:00
Chris Lattner
ac4c05c9b2 New testcases to test LICM of call instructions 
llvm-svn: 12414
 2004-03-15 04:10:08 +00:00
Chris Lattner
b0cf0f89be Don't be COMPLETELY pessimistic in the face of function calls 
llvm-svn: 12413
 2004-03-15 04:08:36 +00:00
Chris Lattner
6a3efa7a38 Tweak argument 
llvm-svn: 12412
 2004-03-15 04:08:18 +00:00
Chris Lattner
a546ebb664 Deinline a couple of methods. Improve comment. 
llvm-svn: 12411
 2004-03-15 04:07:59 +00:00
Chris Lattner
cb99b04ead Deinline some virtual methods, provide better mod/ref answers through the 
use of the boolean queries

llvm-svn: 12410
 2004-03-15 04:07:29 +00:00
Chris Lattner
60c61e337a Pass through the boolean queries 
llvm-svn: 12409
 2004-03-15 04:06:46 +00:00
Chris Lattner
0ea40c6fac Teach basicaa about some stdc functions. 
llvm-svn: 12408
 2004-03-15 03:36:49 +00:00
Chris Lattner
275dd432ab Add two new methods which can be used to enable a bunch of transformations 
in common cases.

llvm-svn: 12407
 2004-03-15 01:58:54 +00:00
Chris Lattner
781ede7382 Mostly cosmetic improvements. Do fix the bug where a global value was considered an input. 
llvm-svn: 12406
 2004-03-15 01:26:44 +00:00
Chris Lattner
3933f4660f Assert that input blocks meet the invariants we expect 
Simplify the input/output finder.  All elements of a basic block are
instructions.  Any used arguments are also inputs.  An instruction can only
be used by another instruction.

llvm-svn: 12405
 2004-03-15 01:18:23 +00:00
Chris Lattner
d0a838b6c6 New testcase that causes the code extractor to generate bogus code. 
llvm-svn: 12404
 2004-03-15 00:08:49 +00:00
Chris Lattner
49038b7708 Fix several bugs in the loop extractor. In particular, subloops were never 
extracted, and a function that contained a single top-level loop never had
the loop extracted, regardless of how much non-loop code there was.

llvm-svn: 12403
 2004-03-15 00:02:02 +00:00
Chris Lattner
cfe9af750b No correctness fixes here, just minor qoi fixes: 
* Don't insert a branch to the switch instruction after the call, just
  make it a single block.
* Insert the new alloca instructions in the entry block of the original
  function instead of having them execute dynamically
* Don't make the default edge of the switch instruction go back to the switch.
  The loop extractor shouldn't create new loops!
* Give meaningful names to the alloca slots and the reload instructions
* Some minor code simplifications

llvm-svn: 12402
 2004-03-14 23:43:24 +00:00
Chris Lattner
17c2c776c3 Simplify code a bit, and fix bug CodeExtractor/2004-03-14-NoSwitchSupport.ll 
This also implements a two minor improvements:
  * Don't insert live-out stores IN the region, insert them on the code path
    that exits the region
  * If the region is exited to the same block from multiple paths, share the
    switch statement entry, live-out store code, and the basic block.

llvm-svn: 12401
 2004-03-14 23:05:49 +00:00
Chris Lattner
f8d6c1a252 Simplify the code a bit by making the collection of basic blocks to extract 
a member of the class.  While we're at it, turn the collection into a set
instead of a vector to improve efficiency and make queries simpler.

llvm-svn: 12400
 2004-03-14 22:34:55 +00:00
Chris Lattner
42b7a23b1b New testcase that crashes the loop extractor 
llvm-svn: 12399
 2004-03-14 22:16:52 +00:00
Chris Lattner
4ef444f59b After reducing a miscompiled program down to the functions which are being 
miscompiled, try to use the loop extractor to reduce the program down to a
loop nest that is being miscompiled.  In practice, the loop extractor appears
to have too many bugs for this to be useful, but hopefully they will be fixed
soon...

llvm-svn: 12398
 2004-03-14 22:08:00 +00:00
Chris Lattner
acf045e970 Fix a minor bug in runPassesOn 
llvm-svn: 12397
 2004-03-14 21:37:41 +00:00
Chris Lattner
d82b46916c Add a new "AutoDebugCrashes" option 
llvm-svn: 12396
 2004-03-14 21:21:57 +00:00
Chris Lattner
d4b06def93 Refactor to use a new method 
llvm-svn: 12395
 2004-03-14 21:17:22 +00:00
Chris Lattner
c3bbd5a66d Add new method 
llvm-svn: 12394
 2004-03-14 21:17:03 +00:00
Chris Lattner
491f3054b8 Refactor and clean up a bunch more code. No major functionality changes. 
* Make several methods of bugdriver global functions (ParseInputFile, PrintFunctionList)
 * Make PrintFunctionList truncate the output after 10 entries, like the crash debugger
   did.  This allows code sharing.
 * Add a couple of methods to BugDriver that allows us to eliminate some friends
 * Improve comments in ExtractFunction.cpp
 * Make classes that used to be friends up bugdriver now live in anon namespaces
 * Rip a bunch of functionality in the miscompilation tester into a new
   TestMergedProgram function for future code sharing.
 * Fix a bug in the miscompilation tester induced in my last checkin

llvm-svn: 12393
 2004-03-14 20:50:42 +00:00
Alkis Evlogimenos
2b94b048a9 Another API change to MRegisterInfo::foldMemoryOperand. Instead of a 
MachineBasicBlock::iterator take a MachineInstr*.

llvm-svn: 12392
 2004-03-14 20:14:27 +00:00
Chris Lattner
07b9a2c117 Add a method to extract a loop 
llvm-svn: 12391
 2004-03-14 20:02:07 +00:00
Chris Lattner
95c238ef5b Split into two passes. Now there is the general loop extractor, usable on 
the command line, and the single loop extractor, usable by bugpoint

llvm-svn: 12390
 2004-03-14 20:01:36 +00:00
Chris Lattner
fffee2b160 Rename createLoopExtractorPass to createSingleLoopExtractorPass 
Doxygenify

llvm-svn: 12389
 2004-03-14 20:00:37 +00:00
Chris Lattner
da20cdaaf2 add a fixme 
llvm-svn: 12388
 2004-03-14 19:31:00 +00:00
Chris Lattner
36e8168af5 Refactor all of the "splitting a module into two pieces" code to avoid 
code duplication.  Also, don't use ReduceMiscompilingFunctions::TestFuncs
to print out the final message.

llvm-svn: 12387
 2004-03-14 19:27:19 +00:00
Alkis Evlogimenos
ff9482b664 Change MRegisterInfo::foldMemoryOperand to return the folded 
instruction to make the API more flexible.

llvm-svn: 12386
 2004-03-14 07:19:51 +00:00
Chris Lattner
cf5d48e8af Passes don't print stuff! 
llvm-svn: 12385
 2004-03-14 04:17:53 +00:00
Chris Lattner
7e7c3332b8 Do not create empty basic blocks when the lowerswitch pass expects blocks to 
be non-empty!  This fixes LowerSwitch/2004-03-13-SwitchIsDefaultCrash.ll

llvm-svn: 12384
 2004-03-14 04:14:31 +00:00
Chris Lattner
c143e195ba New testcase that crashes the -lowerswitch pass 
llvm-svn: 12383
 2004-03-14 04:13:57 +00:00
Chris Lattner
e52c176a7c Minor random cleanups 
llvm-svn: 12382
 2004-03-14 04:01:47 +00:00
Chris Lattner
f3b0377169 FunctionPass's should not define their own 'run' method. 
Require 'simplified' loops, not just raw natural loops.  This fixes
CodeExtractor/2004-03-13-LoopExtractorCrash.ll

llvm-svn: 12381
 2004-03-14 04:01:06 +00:00
Chris Lattner
39b3ae34bd If a block is dead, dominators will not be calculated for it. Because of this 
loop information won't see it, and we could have unreachable blocks pointing to
the non-header node of blocks in a natural loop.  This isn't tidy, so have the
loopsimplify pass clean it up.

llvm-svn: 12380
 2004-03-14 03:59:22 +00:00
Chris Lattner
f943b487c5 Catch some more cases of broken code. The loop extractor seems to be creating 
situations where there is a branch that goes to a block in another function.

llvm-svn: 12379
 2004-03-14 03:23:54 +00:00
Chris Lattner
b23b38259a Verify functions as they are produced if -debug is specified. Reduce 
curly braceage

llvm-svn: 12378
 2004-03-14 03:17:22 +00:00
Chris Lattner
17042ee9ad verifyFunction has been broken for a long time now. Fix it. 
llvm-svn: 12377
 2004-03-14 03:16:15 +00:00
Chris Lattner
1c752f73b9 New testcase that crashes the loop extractor 
llvm-svn: 12376
 2004-03-14 03:03:59 +00:00
Chris Lattner
46c006bb19 Move prototype to IPO.h instead of Scalar.h 
Make sure that the file interface header (IPO.h) is included first
remove dead #incldue

llvm-svn: 12375
 2004-03-14 02:37:16 +00:00
Chris Lattner
3bb91dafcd Move loop extractor to the IPO header 
llvm-svn: 12374
 2004-03-14 02:36:34 +00:00
Chris Lattner
3d96322890 Indent anon namespace properly, add copyright block 
llvm-svn: 12373
 2004-03-14 02:34:07 +00:00
Chris Lattner
1685a3af78 Move to the IPO library. Utils shouldn't contain passes. 
llvm-svn: 12372
 2004-03-14 02:32:27 +00:00
Chris Lattner
6d84c5547a Remove dead file 
llvm-svn: 12371
 2004-03-14 02:13:57 +00:00
Chris Lattner
5003f9e473 DemoteRegToStack got moved from DemoteRegToStack.h to Local.h 
llvm-svn: 12368
 2004-03-14 02:13:38 +00:00
Chris Lattner
7ed7f02c3a Move DemoteRegToStack prototype out of DemoteRegToStack.h to this file. 
llvm-svn: 12367
 2004-03-14 02:13:07 +00:00
Chris Lattner
2d65522a09 Document stuff that is known to be broken 
llvm-svn: 12366
 2004-03-14 02:03:02 +00:00
Chris Lattner
52ac108b28 Add some debugging output 
Fix InstCombine/2004-03-13-InstCombineInfLoop.ll which caused an infinite
loop compiling (I think) povray.

llvm-svn: 12365
 2004-03-13 23:54:27 +00:00
Chris Lattner
2620407c28 New testcase, distilled from povray I think. 
llvm-svn: 12364
 2004-03-13 23:53:04 +00:00