New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6975 91177308-0d34-0410-b5e6-96231b3b80d8

Make sure that the global is known to be internal

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6974 91177308-0d34-0410-b5e6-96231b3b80d8

Expose must alias information for global variables, implementing: DSGraph/mustalias.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6973 91177308-0d34-0410-b5e6-96231b3b80d8

If the alias analysis algorithm we are using can provide MUST alias information,
expose it directly as value numbering information

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6972 91177308-0d34-0410-b5e6-96231b3b80d8

Add support for gathering sets of must aliases

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6971 91177308-0d34-0410-b5e6-96231b3b80d8

Count operands to instructions as well as just results.  This allows for global variables to be checked as well

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6970 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6969 91177308-0d34-0410-b5e6-96231b3b80d8

Do not chain to basic-aa

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6968 91177308-0d34-0410-b5e6-96231b3b80d8

Remove obsolete script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6967 91177308-0d34-0410-b5e6-96231b3b80d8

Remove usage of grep-not script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6966 91177308-0d34-0410-b5e6-96231b3b80d8

Remove explicit control flow through the use of the 'not' script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6965 91177308-0d34-0410-b5e6-96231b3b80d8

Move DSGraph tests to test/Regression/Analysis/DSGraph

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6964 91177308-0d34-0410-b5e6-96231b3b80d8

Move files to test/Regression/Analysis/DSGraph

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6963 91177308-0d34-0410-b5e6-96231b3b80d8

No use in having CFGSimplify and SimplifyCFG directories!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6962 91177308-0d34-0410-b5e6-96231b3b80d8

Eliminate explicit control flow in tests

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6961 91177308-0d34-0410-b5e6-96231b3b80d8

Use not instead of grep-not

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6960 91177308-0d34-0410-b5e6-96231b3b80d8

Switch tests over to use the 'not' script, instead of explicit control flow

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6959 91177308-0d34-0410-b5e6-96231b3b80d8

Force the interpreter for this testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6958 91177308-0d34-0410-b5e6-96231b3b80d8

Get rid of control flow in the test

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6957 91177308-0d34-0410-b5e6-96231b3b80d8

New script for testrunner programs

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6956 91177308-0d34-0410-b5e6-96231b3b80d8

Convert scripts from using explicit control flow to use the new grep-not script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6955 91177308-0d34-0410-b5e6-96231b3b80d8

Handle quoting right

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6954 91177308-0d34-0410-b5e6-96231b3b80d8

Make the TestRunner tests not print out horrible things when they run

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6953 91177308-0d34-0410-b5e6-96231b3b80d8

Fix testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6952 91177308-0d34-0410-b5e6-96231b3b80d8

Initial checkin of grep-not script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6951 91177308-0d34-0410-b5e6-96231b3b80d8

Add the test/Scripts directory to the path used by TestRunner

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6950 91177308-0d34-0410-b5e6-96231b3b80d8

Describe directory

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6949 91177308-0d34-0410-b5e6-96231b3b80d8

Improve the make rule

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6948 91177308-0d34-0410-b5e6-96231b3b80d8

Propagate globals graph from the local to bu to td globals graphs.  This
fixes bug: DSGraph/buglobals.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6947 91177308-0d34-0410-b5e6-96231b3b80d8

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6946 91177308-0d34-0410-b5e6-96231b3b80d8

Avoid double negatives

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6945 91177308-0d34-0410-b5e6-96231b3b80d8

Add new DSGraph::ScalarMapTy typedef to avoid pulling representation issues
into callers of getScalarMap

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6944 91177308-0d34-0410-b5e6-96231b3b80d8

Add new 'isComplete' method

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6943 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6942 91177308-0d34-0410-b5e6-96231b3b80d8

New pass to perform DSA based optimizations.  Initially we just support turning
globals into constants if we can prove it's safe

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6941 91177308-0d34-0410-b5e6-96231b3b80d8

New makefile for Dsgraph tests

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6940 91177308-0d34-0410-b5e6-96231b3b80d8

Add DSGraph to the tests

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6939 91177308-0d34-0410-b5e6-96231b3b80d8

Avoid printing out huge structures or arrays if they are just filled with zeros

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6938 91177308-0d34-0410-b5e6-96231b3b80d8

Add support for a new zeroinitializer token which can be used to get rid of
huge arrays of zero initialized values

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6937 91177308-0d34-0410-b5e6-96231b3b80d8

Add test for new zeroinitializer token

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6936 91177308-0d34-0410-b5e6-96231b3b80d8

jmp_buf is really a pointer type that is passed around...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6935 91177308-0d34-0410-b5e6-96231b3b80d8

Add support for the Invoke instruction!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6934 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase for invoke support

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6933 91177308-0d34-0410-b5e6-96231b3b80d8

Preserve compatibility with non-gcc compilers

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6932 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: CBackend/2003-06-28-LinkOnceGlobalVars.llx

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6931 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6930 91177308-0d34-0410-b5e6-96231b3b80d8

Allow the inlining limit to be controlled from the command line!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6929 91177308-0d34-0410-b5e6-96231b3b80d8

Add support for 'unsigned' command line arguments

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6928 91177308-0d34-0410-b5e6-96231b3b80d8

Added code to the clean rule that deletes files placed in the source directory.
These files interfer with a second build attempt.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6927 91177308-0d34-0410-b5e6-96231b3b80d8

Added the OPTIONAL_DIRS variable for specifying optional directories to build.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6926 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase that crashes the cfe

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6925 91177308-0d34-0410-b5e6-96231b3b80d8

Nice tasty llc fixes. These should fix LLC for x86 for everything in
SingleSource except oopack and Oscar.  (Sorry, Oscar.)

include/llvm/Target/TargetInstrInfo.h: Remove virtual print method. Add
 accessors for ImplicitUses/Defs.
lib/Target/TargetInstrInfo.cpp: Remove virtual print method. If you
 really wanted this, just use MI->print(O, TM); instead...
lib/Target/X86:
FloatingPoint.cpp: ...like this.
X86InstrInfo.h: Remove virtual print method. Define the PrintImplUses
 target-specific flag bit.
X86InstrInfo.def: Add the PrintImplUses flag to all the instructions
 which implicitly use CL, because the assembler needs to see the CL in
 order to generate the right instruction.
Printer.cpp: Ditch fnIndex at Chris's request. Now we use CurrentFnName
  to name constants in the constant pool for each function instead. This
  avoids keeping state between runOnMachineFunction() invocations, which
  is a no-no. Having MangledGlobals be global is a bogon I'd like to get
  rid of too, but making it a static member of Printer causes link errors
  (why???).
 Make NumberForBB into a member of Printer instead of a global, too.
 Make printOp and printMemReference into methods of Printer.
 X86InstrInfo::print is now Printer::printMachineInstruction, because
  TargetInstrInfo::print is history. (Because of this, we have to qualify
  the names of some TargetInstrInfo methods we call.)
 Print out the ImplicitUses field of any instruction we print that has
  the PrintImplUses bit set.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6924 91177308-0d34-0410-b5e6-96231b3b80d8

Here are the notes from our Reoptimizer meetings.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6923 91177308-0d34-0410-b5e6-96231b3b80d8

Modify script to support checkins on branches

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6921 91177308-0d34-0410-b5e6-96231b3b80d8

Number constants from constant pool as CPIf_i where f is the function index
and i is the constant pool index.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6920 91177308-0d34-0410-b5e6-96231b3b80d8

Add a testcase to ensure that ctor/dtor attributes work in C

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6919 91177308-0d34-0410-b5e6-96231b3b80d8

Add support to globaldce for deleting dead function prototypes

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6918 91177308-0d34-0410-b5e6-96231b3b80d8

When internalizing global ctor/dtor list, also mark it constant.  This is gross, but
until DSA is working all of the time and is totally reliable, we do this.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6917 91177308-0d34-0410-b5e6-96231b3b80d8

Run the simplify CFG pass after instcombine which has the effect of deleting
ALL of the global ctor/dtor stuff if it is not used!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6916 91177308-0d34-0410-b5e6-96231b3b80d8

New variable which is just the GCCLD tool

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6914 91177308-0d34-0410-b5e6-96231b3b80d8

Implement more aggressive folding of constant GEP instructions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6913 91177308-0d34-0410-b5e6-96231b3b80d8

Add support for elimination of load instruction from global constants

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6912 91177308-0d34-0410-b5e6-96231b3b80d8

add tests for elimination of loads

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6911 91177308-0d34-0410-b5e6-96231b3b80d8

Move the instcombine pass before globaldce, so that if globals are made dead by instcombine, that they can be deleted.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6910 91177308-0d34-0410-b5e6-96231b3b80d8

Don't register the destructors if the list is empty

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6909 91177308-0d34-0410-b5e6-96231b3b80d8

Integrate the C writer's name mangler.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6908 91177308-0d34-0410-b5e6-96231b3b80d8

First draft of X86 LLC backend. This should be OK for small programs like
Shootout, but it has some issues with bigger programs. Work in progress.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6907 91177308-0d34-0410-b5e6-96231b3b80d8

Add test for instcombine -1*X -> -X

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6905 91177308-0d34-0410-b5e6-96231b3b80d8

Instcombine:  X * -1 -> -X

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6904 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: LevelRaise/2003-06-25-ExprAnalysis.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6903 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6902 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: Mem2Reg/2003-06-26-IterativePromote.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6901 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6900 91177308-0d34-0410-b5e6-96231b3b80d8

Remove completed tasks

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6899 91177308-0d34-0410-b5e6-96231b3b80d8

- Fixed name mangling conditions to handle 'linkonce' linkage type. In
particular, name mangling for GlobalValues only occurs when the linkage type is
internal or when the name must be mangled to avoid a collision.  See comments in
CWriter::getValueName for more information.

- 'inline' keyword is now emitted for functions with 'linkonce' linkage type.

- Fixed typos.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6898 91177308-0d34-0410-b5e6-96231b3b80d8

Try to run cleanups even if nothing was modified in the preview passes

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6897 91177308-0d34-0410-b5e6-96231b3b80d8

Run dead arg elimination, and tell it that it's ok to hack up non-internal functions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6896 91177308-0d34-0410-b5e6-96231b3b80d8

Add argument to DAE to allow operation on non-internal functions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6895 91177308-0d34-0410-b5e6-96231b3b80d8

It seems likely that floats would need a cast too, because they are
ordinarily promoted to doubles.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6894 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6893 91177308-0d34-0410-b5e6-96231b3b80d8

Don't print message, remove temp files

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6892 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: ADCE/2003-06-24-BadSuccessor.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6891 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6890 91177308-0d34-0410-b5e6-96231b3b80d8

Make assertion more descriptive

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6889 91177308-0d34-0410-b5e6-96231b3b80d8

Modernize testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6888 91177308-0d34-0410-b5e6-96231b3b80d8

Do not mark ALL terminators live if any instruciton in the block is live.  We only
want to mark it live if it is an unconditional branch.  This fixes bug:
ADCE/2002-05-28-Crash.ll and makes this pass _much_ more useful.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6887 91177308-0d34-0410-b5e6-96231b3b80d8

modernize testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6886 91177308-0d34-0410-b5e6-96231b3b80d8

Make sure adce is basically working!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6885 91177308-0d34-0410-b5e6-96231b3b80d8

Modernize testcases

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6884 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: SCCP/2003-06-24-OverdefinedPHIValue.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6883 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6882 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: TailDup/2003-06-24-Simpleloop.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6881 91177308-0d34-0410-b5e6-96231b3b80d8

Testcase reduced by bugpoint

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6880 91177308-0d34-0410-b5e6-96231b3b80d8

Run the tail dup tests

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6879 91177308-0d34-0410-b5e6-96231b3b80d8

Prevented inclusion of (non-existent) stdint.h on Sparc.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6876 91177308-0d34-0410-b5e6-96231b3b80d8

Implement new transforms:
  Replace (cast (sub A, B) to bool) -> (setne A, B)
  Replace (cast (add A, B) to bool) -> (setne A, -B)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6873 91177308-0d34-0410-b5e6-96231b3b80d8

Fix comment

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6872 91177308-0d34-0410-b5e6-96231b3b80d8

Yet another testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6871 91177308-0d34-0410-b5e6-96231b3b80d8

Test cases for when casts to bool can be eliminated

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6870 91177308-0d34-0410-b5e6-96231b3b80d8

Fix 2003-06-23-PromotedExprs.llx -- if we are adding two bytes we better
explicitly cast the result to be a byte, or C will gleefully promote it
to int.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6869 91177308-0d34-0410-b5e6-96231b3b80d8