Instcombine PHI's of the form  %PN = phi PN, X into X  and
%PN = phi PN, PN, PN into 0 (because the phi must not be reachable)

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

Add readme file describing directory

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

Add documentation for AnalysisGroup functionality

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

Add missing #include

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

Check-in new alias analysis infrastructure

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

Checkin new alias analysis infrastructure

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

Convert GCSE pass to use new alias analysis infrastructure

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

Initial testcases for basicaa alias analysis

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

Do not generate load/store instructions with indexing.

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

Convert testcases to not use indexed loads/stores

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

Convert testcases to not use indexed loads/stores

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

Covnert testcases to not use indexed loads/stores

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

Covnert testcases to not use indexed loads/stores

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

Remove obsolete test

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

Remove ancient test

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

Covnert tests to not use indexed load/stores

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

Change code to not use the copyOperands method added to User.  It's now
more efficient to boot.

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

Remove unneccesary method

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

Fix clean command to clean in /shared when that is used.

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

Add functions castbool and boolexpr.

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

*** empty log message ***

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

Just some extra comments.

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

Add method copyOperands().

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

dumpNode() does not need to print MachineInstrs.

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

Fix two resource names.

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

Add AsmPrinter::ConstantExprToString, which writes out a ConstantExpr
as an expression.

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

Eliminate bool, boolreg and boolconst nonterminals, and just use
reg and Constant instead.

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

Change rules for Not, since it is now implemented as Xor(reg,11..1).
Eliminate bool, boolreg and boolconst nonterminals, and just use
reg and Constant instead.

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

Fix testcase to not use indexing in non-gep instructions

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

Test the C backend on all of the feature tests as well.

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

  - Fighting with linking problem due to removing the ::ID elements.  Now the
    implementation .cpp files for analyses are not being included into gccas
    and friends because it is linking to the .a file and there is no explicit
    symbol reference to bring in the .o file.  The new IncludeFile hack is the
    result.

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

  - Fix asmparser and bytecode reader to not generate loads/stores with idxs

    Now an obnoxious warning is emitted to discourage usage.  Eventually
    support will be removed.

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

Add a class that is useful for hacking around linking problem due to
pass implementations not being linked in when they are used if the
implementation is in a .a file.

  - Fighting with linking problem due to removing the ::ID elements.  Now the
    implementation .cpp files for analyses are not being included into gccas
    and friends because it is linking to the .a file and there is no explicit
    symbol reference to bring in the .o file.  The new IncludeFile hack is the
    result.

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

Fixed linking problems that wanted me to link to analyze.o instead of analyze.a
so now we can link to analyze.a again.

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

  - Split Dominators.h into Dominators.h & PostDominators.h

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

Emit an obnoxious warning message for bytecode that includes load/store
instructions that use indexing.  Convert them transparently into a pair
of instructions.

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

Remove debugging code accidentally checked in.

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

Fix store to not index

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

Convert testcase to not use indexing on loads & stores

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

Link in all analyses so that we get pointer analysis support built in

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

 - Implement the new AnalysisGroup feature, neccesary for Value#ing and pointer analysis

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

  - Implement the new AnalysisGroup feature, neccesary for Value#ing and pointer analysis

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

Add assertion checks to nail bugs early.

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

  - Make Pass::lookupPassInfo a public member
  - Fix Pass::getAnalysis<AnalysisType>() to use dynamic_cast instead of a
    static cast to handle the case where the cast from & two classes are not
    related via inheritance.

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

Do not generate loads/stores with indexing

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

Remove extraneous #includes

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

Do not create load/stores with indexes

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

Remove an optimization that isn't.

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

Add testcase for the not (setcc A, B) case

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

- Do not expose ::ID from any of the analyses anymore.

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

- Do not expose ::ID from any of the analyses anymore.

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

  - Do not expose ::ID from any of the analyses anymore.

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

  - Eliminate the need for analyses to expose an ::ID member.

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

Add missing forward decl

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

fixed bug: test/Regression/Linker/2002-08-20-ConstantExpr.ll

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

Cleanup testsuite

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

Clean up testcases to make them proper

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

New testcase for constexpr problem.

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

Provide a way to actually run tests

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

Sort -time-passes report first by user+system, then by Wall clock time.

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

  - instcombine (~(a < b)) into (a >= b)

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

Add new SetCondInst::getInverseCondition() method.

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

Add new SetCondInst::getInverseCondition() method.

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

Fix buggy testcase

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

This case JUST handles constantpointer nulls, not all pointers.

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

Fix bug: 2002-08-20-UnnamedArgument.c

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

Don't stop the testing process if dis segfaults

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

New testcase

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

Testcase for anonymous recursive types

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

  - implemented instcombine of phi (X, X, X) -> X

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

New testcase for instcombine

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

New testcase

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

Implement ConstantExprs in CWriter

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

* Build with warnings
* Add a bunch of testcases.

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

Incorporate calcTypeNameVar into CWriter class, fixing
test/Regression/CBackend/2002-08-19-FunctionPointer.c in the process

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

Output forward definitions of global vars to handle recursive intializers correctly.

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

New testcase

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

- Change constant printing to be better integrated with the rest of the
      CWriter class.  Write directly to stream instead of building a big
      string, then writing it out.
    - Implement printing of ConstantPointerRefs

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

Fix typeo noticed by Bryan

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

Add missing space

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

New testcase

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

Fix bug: test/Regression/Assembler/2002-08-19-BytecodeReader.llx

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

New testcase

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

Fix the -time-passes option to not print NaN when there is zero execution time

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

  - Made GlobalDCE worklist driven, making it more successful.  Now can handle
    cases like: test/Regression/Transforms/GlobalDCE/2002-08-17-WorkListTest.ll

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

New testcase.

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

- ConstantPointerRefs are now automatically removed from the module table
    when they are destroyed, which makes Constant::destroyConstant an actually
    useful external interface.  Expose these methods publicly.
  - Implement destroyConstant on ConstPointerNull so that destroyConstant can
    be used on any derived type constant safely.

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

  - ConstantPointerRefs are now automatically removed from the module table
    when they are destroyed, which makes Constant::destroyConstant an actually
    useful external interface.  Expose these methods publicly.
  - Implement destroyConstant on ConstPointerNull so that destroyConstant can
    be used on any derived type constant safely.

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

Turn off a debugging optimization that just slows bytecode reading down

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

Module's do not subclass from Value, so this code caused a segfault.

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

Add Module::dump() method

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

Add Module::dump() method

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

Add a simple testcase that just uses a CPR instead of a CPR & ConstExpr

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

New testcase

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

Do not leak memory for passes when using -stopAfterNPasses or -stopraise

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

Run GlobalDCE before deadtypeelim so that we do not retain types for global
variables that are obviously dead.  The most common case is %FILE

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

Include a basic simple test.

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

Promote getelementptr instructions to constexprs if we can.

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

Fix stupid oversight of missing #include.

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

  - Finally nailed: test/Regression/Assembler/2002-08-16-ConstExprInlined.llx
    - ParseConstantPool was resolving reference to value using the function
      slot # instead of the global slot #.
  - Bytecode reader changes:
    - Remove the failure<> template from Bytecode Reader
    - Remove extraneous #includes
    - s/method/function/ a bit
    - Eliminate the fwdRefs class that just added abstraction where it was not
      needed, making things more complex.
    - Use a vector instead of a list for function signatures.

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