- 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

Throw purify temporary files into /shared if we have it.

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

Add new testcase for gep instruction -> get constexpr promotion

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

Changed parser to always use parenthesis on ConstExprs to be consistent

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

 - Remove unused STRING token from lexer & parser
  - Changed parser to always use parenthesis on ConstExprs to be consistent
  - Parser now passes TRUE and FALSE tokens as a special case of the ConstExpr
    machinery instead of a special case of constant int stuff
  - Fix the AsmParser to use ValueRef ::= ConstExpr, and remove
    ResolvedVal ::= ConstExpr this allows constexprs to be used in PHI nodes

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

Fix typo

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

New testcase distilled from much larger problem

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

Convert constexpr over to new syntax

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

New testcase

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

Make 'features' testsuite work with the /shared changes.

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

Convert testcase to use correct syntax

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

Add another testcase

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

Write constexpr casts using the cast X to Y notation, not using the implicit
type result

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

Parse const expr cast instruction the same way the instruction is formed

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

Add a note mentioning that bools promote to 0 or 1

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

Move ConstExpr production to unify ConstVal stuff

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

Fix bug: test/Regression/Assembler/2002-08-15-UnresolvedGlobalReference.ll

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

There seem to be issues with constant exprs

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

Simplify the code

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

Handle more cases of cast-of-cast in more general forms.

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

Remove the last traces of the NOT instruction

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

Add a bunch of testcases for cast-of-casts that should be removed.

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

Change opLabel numbers for Not and BNot.
Also, these tree nodes are now binary, not unary.

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

Unary Not (boolean and bitwise) is no longer a separate LLVM instruction
but is instead implemented with XOR.  Note that the InstrForest opLabels
for Not and BNot remain the same, i.e., the XOR is recognized and
represented as a (boolean or bitwise) Not when building the instruction
trees.  But these tree nodes are now binary, not unary.

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

Revise code generation for unary Not (boolean and bitwise), which is
no longer a separate instruction but is instead implemented with XOR.

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

Added more helper functions for binary instructions emulating
unary Neg and Not: isNeg, isNot, getNegArgument, and getNotArgument.

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

Add tests for unary NOT operations.

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

Implement capability to fold this:
uint %test4(int %A, int %B) {
        %COND = setlt int %A, %B                ; <bool> [#uses=1]
        %result = cast bool %COND to uint               ; <uint> [#uses=1]
        ret uint %result
}
into a single cast instruction.

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

Fix testcase to actually test what we think we are

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

Avoid creating 'load X, 0' instead of just 'load X'

This _trivial_ change causes GCSE and LICM to be much more effective at
hoisting loads.  Before it would not be able to eliminate 'load X' if there
was just a dominating 'load X, 0' because the expressions were not identical.

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

Avoid inserting an entry block unless we need it

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

Gross, some whitespace escaped

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

Fix bug in documentation

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

*** empty log message ***

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

This file does not belong here.

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

Fix tests that use the now dead not instruction

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

Fix testcases that used to now dead 'not' instruction

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

Change not's to xors

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

Remove support for Not ConstantExpr.  This simplifies the unary case to only
have to support the cast instruction, so the function is renamed to getCast.

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

Fix bug introduced in last checkin due to CastInst not being visible

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

Remove support for unary operators.

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

Remove reference to GenericUnaryInst class

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

Remove support for unary instructions

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

Remove support for NOT instruction

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

Remove extra #includes

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

Remove constant propogation support for NOT instruction

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

Remove support for NOT instruction

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

Remove information about dead 'not' instruction

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

Remove support for unary operators

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

Implement two constructor functions for "unary" instructions

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

Remove support forNOT instruction

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

  - Fix InstCombine pass to not generate or process NOT instructions
    - Fixed testcases to not use them either.

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

Expose two new static methods from BinaryOperator: createNeg, createNot

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

Remove support for NOT instruction

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

Remove illegal test now that not instruction does not exist.

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

Make sure there is SOME output always so the test is not rerun when unneccesary.

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

The not instruction is just a specialized form of XOR

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

AsmParser turns 'not' instructions into 'xor' instructions now.

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

Return null on failure, instead of aborting.

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

Add method MachineInstr::substituteValue() which substitutes
one Value with another one in all operands and implicit references
of the machine instruction.

Also add method MachineOperand::getVRegValueOrNull().

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

Add method MachineInstr::substituteValue() which substitutes
one Value with another one in all operands and implicit references
of the machine instruction.

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

Updated GettingStarted guide to be accurate now that binaries are in /shared

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

Add a note that specifies that the whether or not sign extension is done by
a cast is determined by the source operand.

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

Minor change to make lli print out characters numerically as well as symbolically

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

Bug fix in TargetData::getIndexedOffset: We were using the pointer
type instead of the element type for the element size for arrays.

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

Several bug fixes in casting to signed int values.

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

- Rename ConstantGenericIntegral -> ConstantIntegral

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

- Rename ConstantGenericIntegral -> ConstantIntegral
 - Add new methods to ConstantIntegral: getMaxValue, getMinValue,
   getAllOnesValue

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

 - Rename ConstantGenericIntegral -> ConstantIntegral
 - Add new methods to ConstantIntegral: getMaxValue, getMinValue,
   getAllOnesValue

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

Handle small unsigned results correctly by clearing high bits.
Bug fixes in casting to signed int values.

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