RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 12:12:47 +01:00
Code Issues Projects Releases Wiki Activity
2,970 Commits 4 Branches 5 Tags 704 MiB
b202b77aab
Commit Graph

1686 Commits

Author SHA1 Message Date
Vikram S. Adve
3e8b72f0e3 Rename static struct Initializer to avoid name conflict with BB. 
llvm-svn: 2831
 2002-07-08 23:04:31 +00:00
Vikram S. Adve
25d81936d2 Fix printing of BB in dump. 
llvm-svn: 2830
 2002-07-08 23:03:54 +00:00
Vikram S. Adve
f6d73e9711 Moved class MachineCodeForBasicBlock to MachineCodeForBasicBlock.h. 
This class is now an annotation on BasicBlock.

llvm-svn: 2829
 2002-07-08 23:03:10 +00:00
Vikram S. Adve
5b4c4a9326 MachineInstr::dump() now takes no arguments. 
llvm-svn: 2828
 2002-07-08 23:01:46 +00:00
Vikram S. Adve
a2381d3998 Implementation of class MachineCodeForBasicBlock. 
Moved here from MachineInstr.cpp to make it an annotation on BasicBlock.

llvm-svn: 2827
 2002-07-08 23:01:11 +00:00
Vikram S. Adve
4efbb9c931 A single MachineInstr operand may now be both a def and a use, 
so additional dep. edges have to be added.
This was needed to correctly handle conditional move instructions!
MachineCodeForBasicBlock is now an annotation on BasicBlock.
Renamed "earliestForNode" to "earliestReadyTimeForNode".

llvm-svn: 2826
 2002-07-08 22:59:23 +00:00
Vikram S. Adve
daf9b38ed9 A single MachineInstr operand may now be both a def and a use. 
llvm-svn: 2825
 2002-07-08 22:56:34 +00:00
Vikram S. Adve
58b597078f getUsableUniRegAtMI interface simplified slightly. 
llvm-svn: 2822
 2002-07-08 22:39:36 +00:00
Vikram S. Adve
a110ccca19 Moved class MachineCodeForBasicBlock to MachineCodeForBasicBlock.{cpp,h}. 
An (explicit or implicit) operand may now be both a def and a use.
Also add a set of regs used by each instruction.
dump() no longer takes an optional argument, which doesn't work in gdb.

llvm-svn: 2821
 2002-07-08 22:38:45 +00:00
Vikram S. Adve
d82933c6c8 MachineInstr* in vector are not const (and never really were) 
because operands may be modified directly to set register.

llvm-svn: 2820
 2002-07-08 22:34:40 +00:00
Vikram S. Adve
da5e272403 Moved MachineCodeForBB to be an annotation on BasicBlock. 
llvm-svn: 2818
 2002-07-08 22:31:11 +00:00
Anand Shukla
43bbde3f76 changes BBsorting and oredering 
llvm-svn: 2817
 2002-07-08 19:37:06 +00:00
Anand Shukla
9d38b4b511 small corrections 
llvm-svn: 2816
 2002-07-08 19:36:39 +00:00
Anand Shukla
a5c08b7973 changed function numbering 
llvm-svn: 2815
 2002-07-08 19:36:01 +00:00
Chris Lattner
a590093513 *** empty log message *** 
llvm-svn: 2813
 2002-06-30 16:25:25 +00:00
Chris Lattner
63f4011a0c Clean up anands patch 
llvm-svn: 2812
 2002-06-30 16:25:21 +00:00
Chris Lattner
362a0846af Remove diff-cluttering tags 
llvm-svn: 2808
 2002-06-30 16:12:03 +00:00
Chris Lattner
5339840831 Remove tag that just clutters diffs 
llvm-svn: 2807
 2002-06-30 16:08:25 +00:00
Chris Lattner
aa9a5b5c15 Fix anands changes 
llvm-svn: 2806
 2002-06-30 16:07:20 +00:00
Chris Lattner
ab88b62968 Convert tabs to spaces 
llvm-svn: 2805
 2002-06-30 16:04:37 +00:00
Chris Lattner
c645efd64c Fix anand's last checkin 
llvm-svn: 2804
 2002-06-30 16:01:15 +00:00
Anand Shukla
62f8f85b50 changes for 64bit gcc 
llvm-svn: 2801
 2002-06-25 22:07:38 +00:00
Anand Shukla
5dbf11fc92 added include<iostream> for cerr 
llvm-svn: 2800
 2002-06-25 22:04:00 +00:00
Anand Shukla
0de79ee516 added include<iostream> for cerr 
llvm-svn: 2796
 2002-06-25 21:29:10 +00:00
Anand Shukla
3ab9ffd5b1 changes to make it compatible with 64bit gcc 
llvm-svn: 2795
 2002-06-25 21:18:19 +00:00
Anand Shukla
25f890e009 additions and bug fixes 
llvm-svn: 2794
 2002-06-25 21:14:58 +00:00
Anand Shukla
0908af95f6 added include<iostream> for cerr 
llvm-svn: 2793
 2002-06-25 21:12:25 +00:00
Anand Shukla
85065832f1 changes to make it compatible with 64bit gcc 
llvm-svn: 2792
 2002-06-25 21:07:58 +00:00
Anand Shukla
ee7ed50bb4 changes to make it compatible with 64bit gcc 
llvm-svn: 2791
 2002-06-25 20:55:50 +00:00
Anand Shukla
b35aa2b2e7 changes to make it compatible with 64bit gcc 
llvm-svn: 2790
 2002-06-25 20:44:04 +00:00
Anand Shukla
af8556bf5b changes to make it compatible with 64bit gcc 
llvm-svn: 2789
 2002-06-25 20:35:19 +00:00
Anand Shukla
819239b667 minor change in removing endl 
llvm-svn: 2788
 2002-06-25 20:34:54 +00:00
Chris Lattner
dfd421a7df MEGAPATCH checkin. 
For details, See: docs/2002-06-25-MegaPatchInfo.txt

llvm-svn: 2779
 2002-06-25 16:13:24 +00:00
Chris Lattner
d7cbd7d5d2 MEGAPATCH checkin. 
For details, See: docs/2002-06-25-MegaPatchInfo.txt

llvm-svn: 2778
 2002-06-25 16:13:21 +00:00
Chris Lattner
cee706572b *** empty log message *** 
llvm-svn: 2777
 2002-06-25 16:12:52 +00:00
Chris Lattner
390c338968 * Update with MegaPatch 
* Fix various bugs

llvm-svn: 2774
 2002-06-25 15:57:03 +00:00
Chris Lattner
12075bfedd * Update to work with Megapatch 
* Add two new checks:
  * PHI nodes must be the first thing in a basic block, all grouped together
  * All basic blocks should only end with terminator insts, not contain them

llvm-svn: 2773
 2002-06-25 15:56:27 +00:00
Chris Lattner
8e1476c302 Remove DynamicConstantMerge pass, because it did not fit in with the Pass 
system correctly.

llvm-svn: 2772
 2002-06-25 15:55:29 +00:00
Chris Lattner
ef6daeb534 Remove "fixers" for problems in GCC generated code that cannot be generated 
anymore.

llvm-svn: 2771
 2002-06-25 15:55:03 +00:00
Anand Shukla
92dcd43312 Relocating Graph.h 
llvm-svn: 2770
 2002-06-25 14:28:55 +00:00
Chris Lattner
d3327b19e0 Fix constness 
llvm-svn: 2762
 2002-06-05 18:11:37 +00:00
Chris Lattner
1a37bd9d7e Fix Constness problems 
llvm-svn: 2761
 2002-06-05 18:08:26 +00:00
Chris Lattner
593394bb04 Fix constness problem 
llvm-svn: 2759
 2002-06-05 17:49:40 +00:00
Chris Lattner
8556c1936d Fix constness problems now that the cast operators preserve the constness 
of their argument

llvm-svn: 2758
 2002-06-05 17:38:28 +00:00
Chris Lattner
81e6e7615f * Be more typesafe: cast<x> now no longer discards constness 
* The newly installed version of Bison now really likes there to be ;'s
  after productions.  Add them to avoid tons of warnings.

llvm-svn: 2757
 2002-06-04 21:58:56 +00:00
Chris Lattner
3cd6295cb7 Disable debugging output 
llvm-svn: 2756
 2002-06-04 03:09:57 +00:00
Chris Lattner
27a93b1e90 *** empty log message *** 
llvm-svn: 2755
 2002-06-03 22:10:52 +00:00
Chris Lattner
779f966ce5 Avoid deleting individual instructions until AFTER dead blocks have dropped 
their references.  This fixes bug:
    test/Regression/Transforms/ADCE/2002-05-28-Crash*.ll

llvm-svn: 2753
 2002-05-28 21:38:16 +00:00
Chris Lattner
b95dde758a Simplify the interface to local DCE and Constant prop 
llvm-svn: 2749
 2002-05-26 20:18:18 +00:00
Chris Lattner
365806ddf7 Support opaque type printing a little bit at least 
llvm-svn: 2748
 2002-05-26 20:17:54 +00:00
Chris Lattner
3611a1e91c Do not remove type names that contain a . 
llvm-svn: 2747
 2002-05-26 20:17:35 +00:00
Chris Lattner
d98e784be4 Fix "unimplemented features": 
test/Regression/Transforms/FunctionResolve/retmismatch[12].ll

This makes it much more useful for running benchmarks that are missing
prototypes for some functions.

llvm-svn: 2745
 2002-05-24 21:33:26 +00:00
Chris Lattner
5dc1524174 Split the FunctionResolution pass out of CleanGCCOutput.cpp. 
llvm-svn: 2742
 2002-05-24 20:42:13 +00:00
Chris Lattner
4c766269b7 Fix comments to reflect reality 
llvm-svn: 2741
 2002-05-24 20:41:51 +00:00
Chris Lattner
e69803b06f Support programs that do not #include <malloc.h> or give a full prototype 
for malloc and free.  Lots of crufty benchmarks are using stuff like:
char *malloc();
void free();

to forward declare malloc and free.  Now we recognize and raise these forms

llvm-svn: 2740
 2002-05-24 20:29:18 +00:00
Chris Lattner
9dde5c9df7 Fold add X, 0 for floating point types as well 
llvm-svn: 2734
 2002-05-23 17:11:38 +00:00
Chris Lattner
2cf3917aae Fix bug: test/Regression/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll 
Which contains a description of why this is neccesary.

llvm-svn: 2733
 2002-05-23 16:52:34 +00:00
Chris Lattner
e61bc07952 Convert RegClass::IsColorUsedArr from a dynamically allocated array to 
a vector.  This makes asserting on array bounds easier.

llvm-svn: 2731
 2002-05-23 15:50:03 +00:00
Chris Lattner
9c56a9e21b Avoid creating the symbol table if we don't need it. 
llvm-svn: 2728
 2002-05-22 22:53:05 +00:00
Chris Lattner
0737f63807 Support function declarations with either %XXX or "XXX" style for now 
"XXX" style should be considered deprecated, and will hopefully be removed
in the future.

llvm-svn: 2727
 2002-05-22 22:33:00 +00:00
Chris Lattner
37107da53e Print out function name with % style instead of "" style 
llvm-svn: 2726
 2002-05-22 22:29:26 +00:00
Chris Lattner
76bf940554 Convert code to use the DEBUG macro so that debug code can simply be 
enabled with the -debug command line option.

llvm-svn: 2721
 2002-05-22 21:56:32 +00:00
Chris Lattner
1f66858791 Fix and implement ADCE to finally work! 
llvm-svn: 2720
 2002-05-22 21:32:16 +00:00
Chris Lattner
d406cb7c9d Convert transforms over to standardize debugging output on -debug option 
llvm-svn: 2714
 2002-05-22 17:27:12 +00:00
Chris Lattner
1f2723a2c9 Use the new DEBUG(x) macro to allow debugging code to be enabled on the commandline 
llvm-svn: 2713
 2002-05-22 17:17:27 +00:00
Chris Lattner
7d0544f0cc Move debug options out of header files so that the header does not have 
to #include CommandLine.h.

llvm-svn: 2712
 2002-05-22 17:08:27 +00:00
Chris Lattner
5907666379 Move the DEBUG_LV option out of the public header file into a private header. 
llvm-svn: 2711
 2002-05-22 17:07:26 +00:00
Chris Lattner
07732a38b7 Avoid #including CommandLine.h 
llvm-svn: 2710
 2002-05-22 17:06:56 +00:00
Chris Lattner
7f8f0b5863 Implement a new command line option, -debug, which is meant to unify all of 
the random debugging macros scattered throughout llvm.

The new DEBUG(x) macro should be used instead of special purpose debug macros.

llvm-svn: 2709
 2002-05-22 17:06:20 +00:00
Chris Lattner
555163a0ab Add ability to update existing variables with values read from the command line 
to certain classes.  This is nice because it means that in header files we can
just declare a value, and still have that value be set based on a command-line
argument.  The difference is now that the #include of CommandLine.h does not
need to go into the header file as well.

llvm-svn: 2708
 2002-05-22 17:03:05 +00:00
Chris Lattner
245c8615e4 Fix bug: test/Regression/Transforms/SCCP/2002-05-21-InvalidSimplify.ll 
Improperly handling edges... by not marking them alive properly

llvm-svn: 2707
 2002-05-22 16:07:20 +00:00
Chris Lattner
4864c06550 * Fix typeo 
* Provide a #include of <malloc.h> so that the sun C compiler does not
  miscompile malloc function calls

llvm-svn: 2702
 2002-05-21 21:10:04 +00:00
Chris Lattner
e7ce749d63 Add implementation of SimplifyCFG 
llvm-svn: 2701
 2002-05-21 20:50:24 +00:00
Chris Lattner
bb7416fa7f New CFG Simplification pass: removed from the old DCE pass 
llvm-svn: 2700
 2002-05-21 20:49:37 +00:00
Chris Lattner
4b29ff417d Simplify interface to ConstantFoldTerminator 
llvm-svn: 2697
 2002-05-21 20:04:50 +00:00
Chris Lattner
e628d8b2b9 Fix bug: test/Regression/Transforms/CFGSimplify/2002-05-21-PHIElimination.ll 
llvm-svn: 2694
 2002-05-21 19:52:49 +00:00
Chris Lattner
b82857d705 Fix bug: test/Regression/CBackend/2002-05-21-MissingReturn.ll 
llvm-svn: 2690
 2002-05-21 18:05:19 +00:00
Mehwish Nagda
54a7cdf7e9 Fixed the makefile to not die when compiling a new, empty, source directory 
llvm-svn: 2688
 2002-05-21 15:58:24 +00:00
Chris Lattner
c7e2f5bbd7 * Change commandline options a bit to be nicer 
* Insert accurate prototypes for functions
* Insert casts to use accurate prototypes

llvm-svn: 2677
 2002-05-20 21:43:59 +00:00
Chris Lattner
1752fa9899 Hide debugging options 
llvm-svn: 2676
 2002-05-20 21:39:10 +00:00
Chris Lattner
7d07dffa5f Remove explicit support for tracing code. It should be linked into the 
executable just like everything else.

llvm-svn: 2674
 2002-05-20 21:17:16 +00:00
Chris Lattner
7563f3d1fb Remove tracing code hack 
llvm-svn: 2673
 2002-05-20 21:16:46 +00:00
Chris Lattner
c3d944c4f7 Fix bug: test/Regression/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll 
That was causing a miscompilation of strtol/atoi plus others

llvm-svn: 2669
 2002-05-20 20:48:03 +00:00
Chris Lattner
0cfea31aee Don't lose namespace qualifications on previous patch. 
llvm-svn: 2664
 2002-05-20 17:38:26 +00:00
Chris Lattner
db193d32ca Rename IsPowerOf2 to isPowerOf2 
llvm-svn: 2663
 2002-05-19 21:20:19 +00:00
Vikram S. Adve
db5bc3b4a2 Link with test/Libraries/libinstr32.a for runtime routines 
supporting tracing.  That should be moved to a "runtime" directory.

llvm-svn: 2660
 2002-05-19 16:00:28 +00:00
Vikram S. Adve
02f9033264 Added external functions for hashing pointers to sequence numbers. 
llvm-svn: 2659
 2002-05-19 15:59:25 +00:00
Vikram S. Adve
21ed1be093 InstrnsBefore and InstrnsAfter are now vectors instead of deques. 
May be slightly less efficient but significantly reduces special
cases interfaces in code generation.

llvm-svn: 2649
 2002-05-19 15:41:33 +00:00
Vikram S. Adve
c0db1765f4 Hash pointer values to a sequence number to get identical results from 
lli and llc.  This is controlled with options -tracehash on|off.

Also, added an option to specify which functions should be traced.
Particularly useful to reduce output volume in basic-block tracing.

llvm-svn: 2646
 2002-05-19 15:39:02 +00:00
Vikram S. Adve
3d968bccd8 Better folding getelementptr operations with mixed 
array and struct indexes.
Update operand values in CallArgsDescriptor (a new class)
when replacing constant values with immediates.

llvm-svn: 2645
 2002-05-19 15:34:29 +00:00
Vikram S. Adve
883c425f15 cpValue2Value now needs a vector of MachineInstr to store return values. 
llvm-svn: 2644
 2002-05-19 15:31:08 +00:00
Vikram S. Adve
1f8badf623 Annotation class for MachineInstr. 
llvm-svn: 2643
 2002-05-19 15:30:21 +00:00
Vikram S. Adve
6133689517 Numerous bug fixes: 
-- passing FP arguments to functions with more than 6 arguments
-- passing FP arguments to varargs functions
-- passing FP arguments to functions with no prototypes
-- incorrect coloring for CC registers (both int and FP): interferences
   were being completely ignored for int CC and were considered but no
   spills were marked for fp CC!

Also some code improvements:
-- better interface to generating machine instr for common cases
   (many places still need to be updated to use this interface)
-- annotations on MachineInstr to communicate information from
   one codegen phase to another (now used to pass information about
   CALL/JMPLCALL operands from selection to register allocation)
-- all sizes and offests in class TargetData are uint64_t instead of uint

llvm-svn: 2642
 2002-05-19 15:29:31 +00:00
Vikram S. Adve
a5968c518f Add integer register size field. 
Make all sizes and offsets uint64_t instead of uint.
Fixed GetIndexedOffset to handle mixed array and struct indices.

llvm-svn: 2641
 2002-05-19 15:28:02 +00:00
Vikram S. Adve
fa6c24db76 Numerous bug fixes: 
-- correct sign extensions for integer casts and for shift-by-constant
   instructions generated for integer multiply
-- passing FP arguments to functions with more than 6 arguments
-- passing FP arguments to varargs functions
-- passing FP arguments to functions with no prototypes
-- incorrect stack frame size when padding a section
-- folding getelementptr operations with mixed array and struct indexes
-- use uint64_t instead of uint for constant offsets in mem operands
-- incorrect coloring for CC registers (both int and FP): interferences
   were being completely ignored for int CC and were considered but no
   spills were marked for fp CC!

Also some code improvements:
-- better interface to generating machine instr for common cases
   (many places still need to be updated to use this interface)
-- annotations on MachineInstr to communicate information from
   one codegen phase to another (now used to pass information about
   CALL/JMPLCALL operands from selection to register allocation)
-- all sizes and offests in class TargetData are uint64_t instead of uint

llvm-svn: 2640
 2002-05-19 15:25:51 +00:00
Chris Lattner
4d98351cea Fix bug: test/Regression/CBackend/2002-05-16-NameCollide.ll by tracking 
which global variables would have name collisions if they were not mangled,
and use this info to mangle them iff they would collide.

llvm-svn: 2639
 2002-05-17 04:55:35 +00:00
Chris Lattner
a524df6d1d * Make debug output conditional on #define 
* Add optimization to rank computation to not recursively search when
  unneccesary.
* More agressively negate expressions to open reassociation opportunities.
* Linearize (A+B)+(C+D) into ((A+B)+C)+D

llvm-svn: 2637
 2002-05-16 04:37:07 +00:00
Chris Lattner
fc21b26332 * Fix bug: test/Regression/Transforms/GCSE/2002-05-14-OperandSwap.ll 
By making sure to consider binary expressions identical if their operands
are backwards, but swappable.

llvm-svn: 2629
 2002-05-14 19:57:25 +00:00
Chris Lattner
8106c7a841 Fix bug: test/Regression/Transforms/InstCombine/2002-05-14-SubFailure.ll 
llvm-svn: 2627
 2002-05-14 16:44:07 +00:00
Chris Lattner
f7333e31a1 Avoid emitting a useless comment for a basic block with no uses (which 
often happens for the entry basic block of a function)

llvm-svn: 2624
 2002-05-14 16:02:05 +00:00
Chris Lattner
0ee0c26f4e Fix bug: test/Regression/Transforms/InstCombine/2002-05-14-TouchDeletedInst.ll 
"This testcase caused instcombine to fail because it got the same instruction on
it's worklist more than once (which is ok), but then deleted the instruction.
Since the inst stayed on the worklist, as soon as it came back up to be
processed, bad things happened, and opt asserted."

llvm-svn: 2623
 2002-05-14 15:24:07 +00:00
Chris Lattner
f98fefc1ea Fix a major source of "type unsafety", where a cast is neccesary, but can 
be put either before or after a load.  We chose to cast the value loaded
instead of the pointer to load from.

Fixes bug: test/Regression/Transforms/LevelRaise/2002-05-10-LoadPeephole.ll

llvm-svn: 2621
 2002-05-14 05:23:45 +00:00
Chris Lattner
b7688286c1 Implement elimination of loads 
llvm-svn: 2620
 2002-05-14 05:02:40 +00:00
Chris Lattner
fc14cb90a2 Trivial cleanups 
llvm-svn: 2617
 2002-05-13 22:04:46 +00:00
Chris Lattner
2735171cf5 Add method to check to see if two _Instructions_ dominate each other 
llvm-svn: 2616
 2002-05-13 22:03:16 +00:00
Chris Lattner
1b769f2a94 Initial checkin of LICM pass 
llvm-svn: 2615
 2002-05-10 22:44:58 +00:00
Chris Lattner
590bcc9629 We actually need this code for the release build to prevent link errors, 
un#ifdef it.

llvm-svn: 2606
 2002-05-10 18:54:35 +00:00
Chris Lattner
adba963886 Add support for printing out statistics information when -stats is added to 
the command line

llvm-svn: 2601
 2002-05-10 15:38:35 +00:00
Chris Lattner
1bf8912c74 Fix some bugs, straighten stuff out, more work needs to be done. 
llvm-svn: 2600
 2002-05-10 15:37:35 +00:00
Chris Lattner
8c131ef721 Initial checkin of Statistic class. 
llvm-svn: 2598
 2002-05-10 15:36:46 +00:00
Chris Lattner
0671b3db5d * Add support for the -stats command line option to report how much is changed 
* Make cast-of-self-ty DCE the dead cast instruction immediately instead of
  waiting for it to be DCE'd by another sweep over the function.  This speeds
  this up noticably.

llvm-svn: 2597
 2002-05-10 15:29:25 +00:00
Chris Lattner
2d91be1ab7 Initial checkin of the PiNodeInsertion pass 
llvm-svn: 2593
 2002-05-10 05:41:34 +00:00
Chris Lattner
a98304f4fa Last minor cleanups, this code still does not work for all cases, but it 
works much better than it used to.

llvm-svn: 2588
 2002-05-09 21:31:18 +00:00
Chris Lattner
4ece8deba5 Two Cleanups to generated C code: 
1. Avoid printing *(&globalvariable), instead print globalvariable alone
   as a special case.
2. Inline subexpressions into expressions as much as legal that preserves
   execution characteristics of expressions.  Now we get nice (but
   over-parenthesized, oh well) things like:

     ltmp_428_7 = spec__putc(((unsigned char )((bsBuff) >> 24)), (bsStream));

   instead of five seperate instructions (bsBuff & bsStream are globals).

llvm-svn: 2587
 2002-05-09 21:18:38 +00:00
Chris Lattner
9a9b801669 * Remove CInstPrintVisitor class, incorporating it into the CWriter class 
* Reorder code in the file to make it more logically laid out.

llvm-svn: 2586
 2002-05-09 20:53:56 +00:00
Chris Lattner
3fd3c03371 Remove CLocalVars data structure entirely, instead of building stuff and 
then printing it out, just print as we go.

llvm-svn: 2585
 2002-05-09 20:39:03 +00:00
Chris Lattner
5ed180c1bd Simplify code by removing InstLocalVarsVisitor, replacing it with a simple 
inst_iterator.

llvm-svn: 2584
 2002-05-09 20:33:35 +00:00
Chris Lattner
aa1d35be51 * Clean up how PHI nodes are handled 
* Correct global variable references
* Fix loads & stores with zero indices
* Do not emit an else part of a branch if there is no code (no phi node
  and a fallthrough branch), makes code more readable to get:
  if (l2_cond240) {
    goto l13_bb10;
  }

with no else{} branch

llvm-svn: 2583
 2002-05-09 20:14:10 +00:00
Chris Lattner
cd326f096f Handle setcc <global*>, 0 instructions, Global pointers are never null! 
llvm-svn: 2582
 2002-05-09 20:11:54 +00:00
Chris Lattner
9de1aeb91c Give the longer name to the instruction that will probably be eliminated later 
llvm-svn: 2581
 2002-05-09 20:11:23 +00:00
Chris Lattner
94e4578db4 Emit: 
l3_reg109 = l81_this->field0;
Instead of:
  l3_reg109 = l81_this[0u].field0;

where possible

llvm-svn: 2579
 2002-05-09 15:59:50 +00:00
Chris Lattner
97ae8c039e * Print structures types correctly 
* Clean up generated code to not emit basic block labels and goto
  instructions if they are unneccesary (for example, fall throughs)

llvm-svn: 2578
 2002-05-09 15:49:41 +00:00
Chris Lattner
93fb65370c * Continue cleanup of type printing code 
* Print a newline after a malloc instruction
* Convert unprintable characters to x_ instead of _x so that we don't
  generate identifiers that start with underscores

llvm-svn: 2577
 2002-05-09 15:18:52 +00:00
Chris Lattner
b3acea93cf Gut the type printing code so there is only one copy of it instead of 3 
llvm-svn: 2576
 2002-05-09 14:40:11 +00:00
Chris Lattner
619c55baec * Remove dead "constant printing" code 
* Mangle names with only a prefix so that they are easier on the eyes.
* Put spaces around binary operators with low precedence to make them easier to read
* Don't prefix function names with &, although it's correct, it's unnecesary and
  easier to read without it.

llvm-svn: 2575
 2002-05-09 05:16:40 +00:00
Chris Lattner
cde698978f Remove gross "Operand" instance variable 
Remove lots of unneccesary arguments to methods

llvm-svn: 2574
 2002-05-09 04:39:00 +00:00
Chris Lattner
e8573f21c7 Simplify and clean up function calls. 
Now indirect function calls work, except that function pointer types are not correct.

llvm-svn: 2573
 2002-05-09 04:21:21 +00:00
Chris Lattner
72286b8a3b * Remove dead function 
* Print C strings correctly
* Expand C escape sequences nicely (ie \n \t, etc get generated instead of hex escapes)

llvm-svn: 2572
 2002-05-09 03:56:52 +00:00
Chris Lattner
c7b3367aad Make Getelementptr, load & store all work the right way. 
Handle global variables correctly.

llvm-svn: 2571
 2002-05-09 03:50:42 +00:00
Chris Lattner
2a4f66f21d Many random fixes: 
* Use binary operator logic for shifts instead of cloning code
 * Unary not is '~' not '!'

llvm-svn: 2570
 2002-05-09 03:28:37 +00:00
Chris Lattner
87d656d2a6 Incorporate and purge function before and after printing them so unnamed values 
have some hope of working right.

Function calls do not try to emit an lvalue if they return void.

llvm-svn: 2569
 2002-05-09 03:12:34 +00:00
Chris Lattner
80f7e2db14 Factor out the code to print a value to ONE place. 
It turns out that unnamed values DO NOT work at all, that's next on the list.

llvm-svn: 2568
 2002-05-09 03:06:06 +00:00
Chris Lattner
558771c658 First wave of cleanups, looks like the first of many. 
llvm-svn: 2567
 2002-05-09 02:28:59 +00:00
Chris Lattner
172488eb68 Add ability to transform (x - (y - z)) into (x + (z - y)) 
llvm-svn: 2566
 2002-05-09 01:29:19 +00:00
Chris Lattner
a39fc03021 Print out post dominance data structures more nicely 
llvm-svn: 2562
 2002-05-08 23:11:08 +00:00
Chris Lattner
34d5891f0a * Combine: A-(-B) -> A + B 
* Bugfix:  A + -B and -A + B

llvm-svn: 2561
 2002-05-08 22:46:53 +00:00
Chris Lattner
c38d2de2b5 Initial checkin of expression reassociation pass 
llvm-svn: 2559
 2002-05-08 22:19:27 +00:00
Chris Lattner
6453305616 Verify that function call arguments match the function signature 
llvm-svn: 2553
 2002-05-08 19:49:50 +00:00
Sumant Kowshik
64cf4b95c9 *** empty log message *** 
llvm-svn: 2552
 2002-05-08 18:09:58 +00:00
Chris Lattner
ce6632281f Give the unified exit node a name 
llvm-svn: 2550
 2002-05-07 22:14:45 +00:00
Chris Lattner
bbd8a94a9b Fix bug: test/Regression/Transforms/ADCE/2002-01-31-UseStuckAround.ll 
Cleanup code a lot

llvm-svn: 2547
 2002-05-07 22:11:39 +00:00
Chris Lattner
c636f5427b Implement constant propogation of PHI instructions like this: 
X = phi(0, 0, 0)

llvm-svn: 2543
 2002-05-07 20:44:59 +00:00
Chris Lattner
2a43c7c03d Merge all individual .h files into a single Scalar.h file 
llvm-svn: 2537
 2002-05-07 20:03:00 +00:00
Chris Lattner
e615c275c5 This doesn't use DCE! 
llvm-svn: 2536
 2002-05-07 20:02:44 +00:00
Chris Lattner
c038503630 Extend TargetData::getIndexedOffset to support arrays and pointers! 
llvm-svn: 2535
 2002-05-07 20:00:33 +00:00
Chris Lattner
f7806b0212 Move UnifyFunctionExitNodes to Utils library: final resting place this time 
llvm-svn: 2531
 2002-05-07 19:18:48 +00:00
Chris Lattner
276dd3d721 fix comments and documentation in file 
llvm-svn: 2530
 2002-05-07 19:04:39 +00:00
Chris Lattner
e125e808a8 Split ChangeAllocations.cpp into Raise & LowerAllocations.cpp 
llvm-svn: 2529
 2002-05-07 19:02:48 +00:00
Chris Lattner
6ccbd5804a Cleanup implementation a bit 
llvm-svn: 2526
 2002-05-07 18:51:25 +00:00
Chris Lattner
9e1c79995e Updates to move some header files out of include/llvm/Transforms into 
the Scalar and Utils subdirectories

llvm-svn: 2523
 2002-05-07 18:36:35 +00:00
Chris Lattner
c5a6d978b8 Reduce dependance on TransformInternals.h, instead using the TransformUtils library 
llvm-svn: 2518
 2002-05-07 18:12:18 +00:00
Chris Lattner
a35a291f7b Add #include no longer included by llvm/Transforms/Scalar/ConstantProp.h 
llvm-svn: 2517
 2002-05-07 18:11:30 +00:00
Chris Lattner
c099f62190 Factor code out to the TransformUtils library 
llvm-svn: 2516
 2002-05-07 18:10:55 +00:00
Chris Lattner
7b20305ef9 Factor code out of TransformInternals into the Transform Utils library 
llvm-svn: 2515
 2002-05-07 18:09:15 +00:00
Chris Lattner
e817245564 Build Transforms Utils library 
llvm-svn: 2514
 2002-05-07 18:08:50 +00:00
Chris Lattner
d5477af051 Add code pulled out of TransformInternals.cpp, ConstProp.cpp, and DCE.cpp 
llvm-svn: 2513
 2002-05-07 18:07:59 +00:00
Chris Lattner
394781b660 * Convert InstWorkList to vector instead of set, because on big programs it 
is empirically faster by a noticable margin, even though duplicates can
  happen.

llvm-svn: 2511
 2002-05-07 04:29:32 +00:00
Chris Lattner
4a830e1a4a * Remove all cfg simplification stuff for a new cfg simplify pass (todo) 
* Convert to worklist instead of iterative algorithm

llvm-svn: 2510
 2002-05-07 04:24:11 +00:00
Chris Lattner
44c4a3f18f Mark analyses that only depend on the CFG of a function 
llvm-svn: 2507
 2002-05-06 19:32:07 +00:00
Chris Lattner
06c3ae573f Make functions that preserve the CFG not invalidate analyses that only depend 
on the CFG of a function

llvm-svn: 2506
 2002-05-06 19:31:52 +00:00
Chris Lattner
ca538273d4 Only do masking for unsigned values! 
llvm-svn: 2504
 2002-05-06 18:54:59 +00:00
Chris Lattner
66ff017174 * Eliminate dead code that should have been removed in last revision 
* Convert main constant propogation pass to be worklist driven instead of
  iterative.
* -constprop pass no longer "constant propogates" terminator instructions
   - CFG is now preserved!

llvm-svn: 2502
 2002-05-06 18:21:31 +00:00
Chris Lattner
24ebec1273 Handle X = phi Y --> X = Y 
llvm-svn: 2501
 2002-05-06 18:06:38 +00:00
Chris Lattner
e2242ebf8e Move code out of header file 
llvm-svn: 2498
 2002-05-06 17:54:27 +00:00
Chris Lattner
910ca80941 * Use simplified interface to constant propogation stuff. 
* Remove dead PHI case (which could not work due to getNumOperands rather than
  getNumIncomingValues.  This really belongs in InstCombine, anyway so we'll
  move it there.

llvm-svn: 2497
 2002-05-06 17:54:10 +00:00
Chris Lattner
47fb300c56 Add #include removed from ConstantHandling.h 
llvm-svn: 2496
 2002-05-06 17:53:10 +00:00
Chris Lattner
b40c1bf6f7 Clean up ADCE by removing extraneous wrapper class 
llvm-svn: 2494
 2002-05-06 17:27:57 +00:00
Chris Lattner
c5279917bc Combine not (not X) -> X 
llvm-svn: 2493
 2002-05-06 17:03:21 +00:00
Chris Lattner
24a94a50d8 Support more cases... 
llvm-svn: 2490
 2002-05-06 16:49:18 +00:00
Chris Lattner
8898eec72c Change usage of isPointerType to use isa 
llvm-svn: 2487
 2002-05-06 16:15:49 +00:00
Chris Lattner
fd8d5b852c Replace all usages of Type::isPointerType with isa<PointerType> 
llvm-svn: 2486
 2002-05-06 16:15:30 +00:00
Chris Lattner
17ac289374 Implement getPrimitiveSize() 
don't use isPointerType()

llvm-svn: 2485
 2002-05-06 16:14:39 +00:00
Chris Lattner
24ebdf3f74 Add many more instruction combination simplifications 
llvm-svn: 2484
 2002-05-06 16:14:14 +00:00
Chris Lattner
728a84e0f7 Remove dead code 
llvm-svn: 2473
 2002-05-06 03:03:09 +00:00
Chris Lattner
ef7f8fc474 Merge blocks like this: 
void "test3"(bool %T) {
        br bool %T, label %BB1, label %BB1
BB1:
        ret void
}

llvm-svn: 2472
 2002-05-06 03:02:02 +00:00
Chris Lattner
d12eac0b1b Implement constant propogation of shift instructions 
llvm-svn: 2471
 2002-05-06 03:01:37 +00:00
Chris Lattner
5b5663b806 Implement constant propogation of shifts 
llvm-svn: 2470
 2002-05-06 03:00:54 +00:00
Chris Lattner
dfb7d63b15 Print functions with curly braces instead of begin/end 
llvm-svn: 2469
 2002-05-06 03:00:40 +00:00
Chris Lattner
1d4e297a65 Implement two iterator remove method 
llvm-svn: 2467
 2002-05-06 02:59:34 +00:00
Chris Lattner
7c3c3eefcc Implement remainder 
Fix implementation of Not

llvm-svn: 2464
 2002-05-03 21:41:07 +00:00
Chris Lattner
0c91866478 Fix bug: test/Regression/Transforms/SCCP/2002-05-03-NotOperator.ll 
by using the ~ operator instead of !

llvm-svn: 2458
 2002-05-03 20:09:52 +00:00
Chris Lattner
beb2a36b9e Implement the NOT operator. 
llvm-svn: 2455
 2002-05-03 19:52:30 +00:00
Chris Lattner
5369a645e6 Allow open/closing curly braces instead of begin/end to define the body of a function 
llvm-svn: 2451
 2002-05-03 18:23:48 +00:00
Chris Lattner
9606fd4830 Ok, really it only takes me 3 times to get this right! 
Now use #if 0 instead of #ifdef 0

llvm-svn: 2448
 2002-05-02 21:49:50 +00:00
Chris Lattner
de442f70ac Oops, disable debugging code all the way. :) 
llvm-svn: 2447
 2002-05-02 21:47:40 +00:00
Chris Lattner
7d4f3ed1f2 * Finish the implementation of isEdgeFeasible this fixes bug: 
test/Regression/Transforms/SCCP/2002-05-02-EdgeFailure.ll
* SCCP now preserves the CFG:  It leaves conditional branches the way they
  are in the program, not simplifying them.  A seperate pass should eliminate
  the potentially dead basic blocks and edges in the CFG.

llvm-svn: 2446
 2002-05-02 21:44:00 +00:00
Chris Lattner
b30088a50d * Enable SCCP debugging to be turned on with a simple change of #define 
* Change worklist to a set so that duplicates cannot happen
* Add support for the invoke instruction
* Avoid marking store and free instructions as overdefined, since they
  cannot produce a value anyway.
* Inline the OperandChangedState implementation
* Add isEdgeFeasible in preparation to fix a bug.  Right now it behaves
  exactly as before.
* Remove obsolete comment about constant pools

llvm-svn: 2445
 2002-05-02 21:18:01 +00:00
Chris Lattner
28a8acc476 * Simplify the code by not bothering to name the folded constant 
* Do not skip the instruction immediately after a folded instruction.  This
  was causing the testcase failure:
	test/Regression/Transforms/SCCP/2002-05-02-MissSecondInst.ll

llvm-svn: 2443
 2002-05-02 20:32:51 +00:00
Chris Lattner
dff0195064 Implement cast operations on booleans to allow casting bools to ints, f.e. 
llvm-svn: 2437
 2002-05-02 19:28:45 +00:00
Chris Lattner
8f309d920f * Fix a bug (test/Regression/Assembler/2002-05-02-InvalidForwardRef.ll) 
introduced in the 1.66 revision of this file.
* Convert a hard coded constant to a symbolic value.

llvm-svn: 2436
 2002-05-02 19:27:42 +00:00
Chris Lattner
bbd002a9ca The implementation keyword is no longer neccesary 
llvm-svn: 2434
 2002-05-02 19:11:29 +00:00
Chris Lattner
7af6cac869 The "implementation" is now allowed but not required by the parser. All type 
definitions must still occur before function bodies, but the wierd keyword is
no longer neccesary.

llvm-svn: 2433
 2002-05-02 19:11:13 +00:00
Chris Lattner
6212dd5c08 ExprTypeConvert will already do this transformation, no need to specialize 
it here.

llvm-svn: 2431
 2002-05-02 17:38:55 +00:00
Chris Lattner
2c44e5bca3 Be a little more efficient, do not generate loads and stores with indices in them. 
llvm-svn: 2430
 2002-05-02 17:38:14 +00:00
Chris Lattner
66f5b12141 Fix bug: test/Regression/Transforms/LevelRaise/2002-05-02-BadCastElimination.ll 
llvm-svn: 2429
 2002-05-02 17:37:34 +00:00
Chris Lattner
b7df910c1a * Add ability to eliminate a bunch of different cascading cast variations 
* Allow elimination of getelementptr X, uint 0 (which is a noop)

llvm-svn: 2428
 2002-05-02 17:06:02 +00:00
Chris Lattner
8a6104c3cb Fixed bug: test/Regression/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll 
llvm-svn: 2423
 2002-05-01 15:38:23 +00:00
Chris Lattner
5879b0928b Remove unneccesary pass 
llvm-svn: 2420
 2002-04-30 20:52:49 +00:00
Chris Lattner
8eb37c77d6 Fix problem where subpasses would invalidate all analyses outstanding 
llvm-svn: 2418
 2002-04-30 18:50:17 +00:00
Chris Lattner
a6cb49c533 Add folding rules for mul X, 0 and mul X, 2 
llvm-svn: 2417
 2002-04-29 22:24:47 +00:00