llvm-svn: 5758

* Small modification to be more efficient

llvm-svn: 5757

llvm-svn: 5756

llvm-svn: 5755

llvm-svn: 5754

llvm-svn: 5753

llvm-svn: 5752

llvm-svn: 5751

* Add support for implicit zero initializers

llvm-svn: 5750

  - Null values are implicitly encoded instead of explicitly, this makes
    things more compact!
  - More compactly represent ConstantPointerRefs
  - Bytecode files are represented as:
      Header|GlobalTypes|GlobalVars/Function Protos|Constants|Functions|SymTab
    instead of
      Header|GlobalTypes|Constants|GlobalVars/Function Protos|Functions|SymTab
    which makes a lot of things simpler.

Writer changes:
  - We now explictly encode versioning information in the bytecode files.
  - This allows new code to read bytecode files produced by old code, but
    new bytecode files can have enhancements such as the above.  Although this
    makes the reader a bit more complex (having to deal with old formats), the
    writer only needs to be able to produce the most recent version.

llvm-svn: 5749

  - Fix problems where the constant table would not get updated when
    resolving constants causes other constants to change.

Changes to the V2 bytecode format
  - Null values are implicitly encoded instead of explicitly, this makes
    things more compact!
  - More compactly represent ConstantPointerRefs
  - Bytecode files are represented as:
      Header|GlobalTypes|GlobalVars/Function Protos|Constants|Functions|SymTab
    instead of
      Header|GlobalTypes|Constants|GlobalVars/Function Protos|Functions|SymTab
    which makes a lot of things simpler.

Changes to the reader:
  - Function loading code is much simpler.  We now no longer make function
    PlaceHolderHelper objects to be replaced with real functions.

llvm-svn: 5748

llvm-svn: 5747

llvm-svn: 5746

llvm-svn: 5745

Fix several bugs in the build system, including the use of the Debug version of Burg no matter what configuration is currently configured.

llvm-svn: 5744

  - Implement simple reassociation: (A|c1)|(B|c2) == (A|B)|(c1|c2)
  - (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
  - (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0

llvm-svn: 5743

llvm-svn: 5742

 - (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
 - (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0

llvm-svn: 5741

llvm-svn: 5740

llvm-svn: 5739

llvm-svn: 5738

Add test for other form of demorgans

llvm-svn: 5737

Generalize not and neg comparison testers to allow constant to be considered not'able and neg'able.  This
allows optimization of this:
int %test4(int %A, int %B) {
        %a = xor int %A, -1
        %c = and int %a, 5    ; 5 = ~c2
        %d = xor int %c, -1
        ret int %d
}

into this:
int %test4(int %A, int %B) {            ; No predecessors!
        %c.demorgan = or int %A, -6             ; <int> [#uses=1]
        ret int %c.demorgan
}

llvm-svn: 5736

* Add testcase for or ubyte, 255 which was broken before

llvm-svn: 5735

llvm-svn: 5734

llvm-svn: 5733

llvm-svn: 5732

llvm-svn: 5731

llvm-svn: 5730

Implement new shift optimizations for shifting the result of a shift.

llvm-svn: 5729

llvm-svn: 5728

llvm-svn: 5727

llvm-svn: 5726

llvm-svn: 5724

llvm-svn: 5723

llvm-svn: 5722

llvm-svn: 5721

llvm-svn: 5720

llvm-svn: 5719

Extend getNullValue to work with struct and array types

llvm-svn: 5718