Bjorn Pettersson 85de1fd399 Add support for computing "zext of value" in KnownBits. NFCI ...

Summary:
The description of KnownBits::zext() and
KnownBits::zextOrTrunc() has confusingly been telling
that the operation is equivalent to zero extending the
value we're tracking. That has not been true, instead
the user has been forced to explicitly set the extended
bits as known zero afterwards.

This patch adds a second argument to KnownBits::zext()
and KnownBits::zextOrTrunc() to control if the extended
bits should be considered as known zero or as unknown.

Reviewers: craig.topper, RKSimon

Reviewed By: RKSimon

Subscribers: javed.absar, hiraditya, jdoerfert, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D58650

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

2019-02-28 15:45:29 +00:00

..

CMakeLists.txt

Remove trailing whitespace to trigger re-cmaking

2017-10-02 21:54:38 +00:00

DAGCombiner.cpp

[DAG] Fix constant store folding to handle non-byte sizes.

2019-02-26 15:02:32 +00:00

FastISel.cpp

Fix emission of _fltused for MSVC.

2019-01-24 18:34:00 +00:00

FunctionLoweringInfo.cpp

Add support for computing "zext of value" in KnownBits. NFCI

2019-02-28 15:45:29 +00:00

InstrEmitter.cpp

[NFC] add/modify wrapper function for findRegisterDefOperand().

2019-02-20 07:01:04 +00:00

InstrEmitter.h

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

LegalizeDAG.cpp

[LegalizeDAG] Use APInt::getSplat helper to create bitreverse masks. NFCI.

2019-02-26 11:44:23 +00:00

LegalizeFloatTypes.cpp

[LegalizeTypes] Expand FNEG to bitwise op for IEEE FP types

2019-02-11 22:10:08 +00:00

LegalizeIntegerTypes.cpp

[LegalizeTypes][AArch64][X86] Make type legalization of vector (S/U)ADD/SUB/MULO follow getSetCCResultType for the overflow bits. Make UnrollVectorOverflowOp properly convert from scalar boolean contents to vector boolean contents

2019-02-24 19:23:36 +00:00

LegalizeTypes.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

LegalizeTypes.h

[CodeGen] Handle vector UADDO, SADDO, USUBO, SSUBO

2019-02-07 21:02:22 +00:00

LegalizeTypesGeneric.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

LegalizeVectorOps.cpp

[LegalizeVectorOps] Improve the placement of ANDs in the ExpandLoad path for non-byte-sized loads.

2019-02-22 07:03:25 +00:00

LegalizeVectorTypes.cpp

[CodeGen] Handle vector UADDO, SADDO, USUBO, SSUBO

2019-02-07 21:02:22 +00:00

LLVMBuild.txt

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

ResourcePriorityQueue.cpp

Implementation of asm-goto support in LLVM

2019-02-08 20:48:56 +00:00

ScheduleDAGFast.cpp

Implementation of asm-goto support in LLVM

2019-02-08 20:48:56 +00:00

ScheduleDAGRRList.cpp

Implementation of asm-goto support in LLVM

2019-02-08 20:48:56 +00:00

ScheduleDAGSDNodes.cpp

[DebugInfo][DAG] Avoid re-ordering of DBG_VALUEs

2019-01-28 12:08:31 +00:00

ScheduleDAGSDNodes.h

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

ScheduleDAGVLIW.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

SDNodeDbgValue.h

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

SelectionDAG.cpp

Add support for computing "zext of value" in KnownBits. NFCI

2019-02-28 15:45:29 +00:00

SelectionDAGAddressAnalysis.cpp

[DAG] Fix constant store folding to handle non-byte sizes.

2019-02-26 15:02:32 +00:00

SelectionDAGBuilder.cpp

Seperate volatility and atomicity/ordering in SelectionDAG

2019-02-27 20:20:08 +00:00

SelectionDAGBuilder.h

[DebugInfo][DAG] Either salvage dangling debug info or emit Undef DBG_VALUEs

2019-02-13 16:33:05 +00:00

SelectionDAGDumper.cpp

Re-land part of r354244 "[DAGCombiner] Eliminate dead stores to stack."

2019-02-21 12:59:36 +00:00

SelectionDAGISel.cpp

[SelectionDAG] Add a OPC_CheckChild2CondCode to SelectionDAGISel to remove a MoveChild and MoveParent pair.

2019-02-25 03:11:44 +00:00

SelectionDAGPrinter.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

SelectionDAGTargetInfo.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

StatepointLowering.cpp

[Statepoint Lowering] Update misleading comments about chains

2019-02-12 06:25:58 +00:00

StatepointLowering.h

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

TargetLowering.cpp

Add support for computing "zext of value" in KnownBits. NFCI

2019-02-28 15:45:29 +00:00