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

Build correctly in the face of /shared.

-Chris

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

 - Clean up interface to Sparc register handling a bit:
   - Eliminate Sparc*Order classes, moving contents to Sparc*Class classes
   - get register name methods now return const char * const pointers instead
     of std::string's.
   - Added file header comments to SparcRegClassInfo.(cpp|h)
   - Moved BIG constant arrays out of SparcRegClassInfo.h, into
     SparcRegInfo.cpp.  This should allow a LOT of std::string constructors to
     not have to be called.

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

Return const char * const instead of std::string from get register name method

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

 - Added a new superclass of ConstantBool/ConstantInt: ConstantGenericIntegral
 - Moved InstCombine: isMaxValue, isMinValue, isAllOnesValue to Constants.h

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

Tools are now moved into /shared

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

 - Makefile changes:
   - Now build executables into /shared
   - New BUILD_ROOT_TOP variable which is basically = $(BUILD_ROOT)/$(LEVEL) but
     cleaner and works for llvm/test/*
   - Use := more in Makefile.common

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

* Factor a bunch of code by using ReplaceInstUsesWith
* Move isMaxValue, isMinValue, isAllOnesValue to Constants.h

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

Remove some extraneous #includes

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

Changes to make GlobalValueRefMap not derive from std::map.

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

Add comment

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

New functionality for instcombine:
   * New ReplaceInstUsesWith function to factor out tons of common code
     This needs to be used more in the future still, but it's a good start
   * New InsertNewInstBefore to allow multi-instruction replacements
   * Change getMaxValue functions to isAllOnesValue function, which doesn't
     have to CREATE/lookup a new constant.  Also the name is accurate
   * Add new isMaxValue, isMinValue, isMaxValueMinusOne, isMinValuePlusOne
     functions:  This should be moved to Constant* classes eventually
   * Implement xor X, ALLONES -> not X
   * Fold ALL setcc's of booleans away
   * Handle various SetCC's for integers against values at the end of their
     ranges, possibly off by one.  This implements the setcc-strength-reduce.ll
     testcase.

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

xor x, ALLONES should -> not x

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

setcc of booleans should always be eliminated

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

Add more strength reduction testcases

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

*** empty log message ***

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

* IntervalPartition no longer derives from vector

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

Do not add an extra vtable to EVERY machineinstr created.

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

UnaryOperator::create should take a name just like BinaryOperator::create

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

* Removed extraneous #includes
* Fixed file headers to be consistent with the rest of LLVM
* Other minor fixes

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

* Removed extraneous #includes
* Fixed file headers to be consistent with the rest of LLVM
* Other minor fixes

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

We are using std::vector, so remove extraneous namespace prefixes

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

Change machinecode for instruction to not inherit from vector.

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

The second parameter of hash_set is the default, remove it.

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

Oops, I accidentally broke the .d files.  Fixed thusly

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

Very minor cleanups

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

* Document the BUILD_ROOT changes and option
* Convert directories to <tt> like they should be

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

* Remove some bogus dependencies on Depend/.dir
* Build into the machine local /shared directory instead of using local
  Debug/Depend/Release directories

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

Oh yeah, I wrote it.

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

Initial checkin of the "Writting an LLVM Pass" document

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

Initial checkin of the "Hello World" Pass.

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

- Cleaned up the interface to AnalysisUsage to take analysis class names
   instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

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

- Cleaned up the interface to AnalysisUsage to take analysis class names
   instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

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

 - Cleaned up the interface to AnalysisUsage to take analysis class names
   instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

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

Remove extraneous #includes

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

Minor changes to DEBUG()'s

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

Reorder #includes to be right

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

Merge three loops into one.

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

Fix breakage in the build

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

Only include the sparc.o file once!

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

Simplify writing custom parsers.

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

Simplify interface to parsers.

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

* Write the "Custom parser" section
* Boldify stuff that changes in the help output.

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

Write the reference section, make other minor editing changes elsewhere.

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

added Mapping and Function Pass

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

Add function GetConstantValueAsUnsignedInt.

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

Bug fix in CreateCodeToLoadConst(): use sign of dest, not operand,
in choosing how to create int-set instructions.

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

Add a sequence  of GEPs with constant indices, for folding.

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

Bug fix in TargetData::getIndexedOffset(): handle struct offset
after array offset correctly.  The type was not being updated for
array offsets!

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

Bug fix in SetOperandsForMemInstr: handle leading zeros correctly
when folding or not folding GEPs.

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

Add function GetConstantValueAsUnsignedInt.
Fix 2 bugs in FoldGetElemChain so index vector is not modified
when no GEPs are folded in, and so a hasLeadingZero is computed
only for the last folded GEP, not the one after that if any.

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

Fix compilation problem.  IsIndexZero doesn't exist, use IsZero instead.

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

Testcase for stuff instcombine should do eventually

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

Add some more features that we could instcombine away

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

*** empty log message ***

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

Comment options that may be enabled

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

Simplified handling of array indexes in SetMemOperands_Internal.

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

Add MemAccessInst::getNumIndices().

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

Eliminate cast instructions: use only GEPs in decomposed sequence.
Don't decompose if there are 2 indices with 0 as first index.
Compute Changed flag correctly in runOnBasicBlock().

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

Run both *.ll and *.c tests.

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

Added expected decomposed sequence in comments, plus a couple of new cases.

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

Fix problem where lli would not print out a 64 bit value when the client code
uses the modifier "%ld".  Now lli passes off "%lld" to the underlying runtime
library in this case.

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

Fix one real nasty bug

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

Fix lli with no arguments

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

Fix bug: test/Regression/Transforms/InstCombine/2002-08-02-CastTest.ll
Implement feature: Cast's can now be converted to bitwise AND expressions.

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

Fix yet another bug in the testcase

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

Fix bug in testcase

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

* Cleanups of instcombine
   - Reenable gep (gep x) -> x
   - Make instcombine do dead instruction elimination where it's really
     easy.  Now visitors don't have to ensure they aren't not processing
     dead instructions.

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

These tests should not run -dce pass to cleanup instcombine.
If instcombine is making dead instructions, ALL that should be used is -die

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

Add another testcase that isn't failing because of another bug in instcombine

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

Change test to really test the cases we can hit

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

New testcase

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

Don't build Debug/ versions when ENABLE_OPTIMIZED is on.

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

Fix bug: test/Regression/Transforms/GCSE/2002-05-21-NoSharedDominator.ll

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

Implement dominator checking in the verifier, so that we check that all
defintiions dominate their uses

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

Fix bug: test/Regression/Other/2002-08-02-DomSetProblem.ll

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