Owen Anderson 7ab15f6d4b Fix a truly heinous bug in DAGCombine related to AssertZext. ...

If we have a chain of zext -> assert_zext -> zext -> use, the first zext would get simplified away because of the later zext, and then the later zext would get simplified away because of the assert.  The solution is to teach SimplifyDemandedBits that assert_zext demands all of the high bits of its input, rather than only those demanded by its users.  No testcase because the only example I have manifests as llvm-gcc miscompiling LLVM, and I haven't found a smaller case that reproduces this problem.
Fixes <rdar://problem/10063365>.


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

2011-09-03 00:26:49 +00:00

..

CMakeLists.txt

Rewrite the CMake build to use explicit dependencies between libraries,

2011-07-29 00:14:25 +00:00

DAGCombiner.cpp

Roll back the rest of r126557. It's a hack that will break in some obscure cases.

2011-08-19 22:39:31 +00:00

FastISel.cpp

FastISel: avoid function calls between the materialization of the constant and its use.

2011-08-18 22:06:10 +00:00

FunctionLoweringInfo.cpp

Add the support in code-gen for the landingpad instruction lowering.

2011-08-17 21:56:44 +00:00

InstrEmitter.cpp

Follow up to r138791.

2011-08-30 19:09:48 +00:00

InstrEmitter.h

- Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo and

2011-06-28 19:10:37 +00:00

LegalizeDAG.cpp

Revert r131152, r129796, r129761. This code is currently considered

2011-09-01 23:07:08 +00:00

LegalizeFloatTypes.cpp

Misc cleanup; addresses Duncan's comments on r138877.

2011-08-31 20:13:26 +00:00

LegalizeIntegerTypes.cpp

Misc cleanup; addresses Duncan's comments on r138877.

2011-08-31 20:13:26 +00:00

LegalizeTypes.cpp

Misc cleanup; addresses Duncan's comments on r138877.

2011-08-31 20:13:26 +00:00

LegalizeTypes.h

Misc cleanup; addresses Duncan's comments on r138877.

2011-08-31 20:13:26 +00:00

LegalizeTypesGeneric.cpp

Fill in type legalization for MERGE_VALUES in all the various cases. Patch by Micah Villmow. (No testcase because the issue only showed up in an out-of-tree backend.)

2011-08-31 18:36:04 +00:00

LegalizeVectorOps.cpp

[VECTOR-SELECT]

2011-07-14 11:11:14 +00:00

LegalizeVectorTypes.cpp

Fill in type legalization for MERGE_VALUES in all the various cases. Patch by Micah Villmow. (No testcase because the issue only showed up in an out-of-tree backend.)

2011-08-31 18:36:04 +00:00

Makefile

…

ScheduleDAGFast.cpp

- Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo and

2011-06-28 19:10:37 +00:00

ScheduleDAGList.cpp

…

ScheduleDAGRRList.cpp

PreRA scheduler should avoid cloning compares.

2011-09-01 00:54:31 +00:00

ScheduleDAGSDNodes.cpp

Rename TargetSubtarget to TargetSubtargetInfo for consistency.

2011-07-01 21:01:15 +00:00

ScheduleDAGSDNodes.h

The index stored in the RegDefIter is one after the current index. When getting the index, decrement it so that it points to the current element. Fixes an off-by-one bug encountered when trying to make use of MVT::untyped.

2011-06-27 18:34:12 +00:00

SDNodeDbgValue.h

…

SDNodeOrdering.h

…

SelectionDAG.cpp

Basic x86 code generation for atomic load and store instructions.

2011-08-24 20:50:09 +00:00

SelectionDAGBuilder.cpp

Atomic load/store on ARM/Thumb.

2011-08-26 02:59:24 +00:00

SelectionDAGBuilder.h

Basic x86 code generation for atomic load and store instructions.

2011-08-24 20:50:09 +00:00

SelectionDAGISel.cpp

Follow up to r138791.

2011-08-30 19:09:48 +00:00

SelectionDAGPrinter.cpp

…

TargetLowering.cpp

Fix a truly heinous bug in DAGCombine related to AssertZext.

2011-09-03 00:26:49 +00:00

TargetSelectionDAGInfo.cpp

…