- instcombine demorgan's law: and (not A), (not B) == not (or A, B)

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

Test that demorgan's law is instcombined successfully

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

Implement classof for SetCondInst so that instcombine doesn't break on dyn_cast<SetCondInst>

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

Changed default value of 3rd parameter in function definition

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

Added #include <alloca.h>

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

Simplify previous hack slightly.

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

Force sign-extension for uint array indexes from 32-bit to 64-bits
since uint is not normally sign-extended when casting to uint64_t.

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

Eliminated the MemAccessInst class, folding contents into GEP class.

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

Eliminated the MemAccessInst class, folding contents into GEP class.

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

Load & Store Inst now no longer derive from MemAccessInst

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

Load & StoreInst no longer derive from MemAccessInst, so we don't have
to handle indexing anymore

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

Load & StoreInst no longer derive from MemAccessInst, so we don't have
to handle indexing anymore

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

*** empty log message ***

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

Load and Store now no longer derive from MemAccessInst.  Indexing a load or
store is not possible anymore.

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

doxygenize comments

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

doxygenize comments in header

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

Make doxygen not exclude doxygenized comments from the source code listings

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

Add capability of using pointer analysis to LICM

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

Add new testcases for instcombine

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

Remove long obsolete comments

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

Add doxygen comments to AliasAnalysis class

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

Fix bug: test/Regression/Assembler/2002-08-22-DominanceProblem.ll

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

Fix bug: test/Regression/Assembler/2002-08-22-DominanceProblem.ll

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

New testcase

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

Add a testcase that checks to make sure LICM uses basicaa correctly.
Add another gcse testcase.

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

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