lib/Analysis/ValueTracking.cpp

25 #include "llvm/IR/DataLayout.h"
75 static unsigned getBitWidth(Type *Ty, const DataLayout &DL) {
131                              const DataLayout &DL, unsigned Depth,
135                             const DataLayout &DL, unsigned Depth,
142 bool llvm::haveNoCommonBitsSet(Value *LHS, Value *RHS, const DataLayout &DL,
158                            const DataLayout &DL, unsigned Depth,
162                           const DataLayout &DL, unsigned Depth,
170                                    const Query &Q, const DataLayout &DL);
172 bool llvm::isKnownToBeAPowerOfTwo(Value *V, const DataLayout &DL, bool OrZero,
180 static bool isKnownNonZero(Value *V, const DataLayout &DL, unsigned Depth,
183 bool llvm::isKnownNonZero(Value *V, const DataLayout &DL, unsigned Depth,
189 bool llvm::isKnownNonNegative(Value *V, const DataLayout &DL, unsigned Depth,
197 static bool isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
200 bool llvm::isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
208 static bool MaskedValueIsZero(Value *V, const APInt &Mask, const DataLayout &DL,
211 bool llvm::MaskedValueIsZero(Value *V, const APInt &Mask, const DataLayout &DL,
218 static unsigned ComputeNumSignBits(Value *V, const DataLayout &DL,
221 unsigned llvm::ComputeNumSignBits(Value *V, const DataLayout &DL,
231                                    const DataLayout &DL, unsigned Depth,
311                                 const DataLayout &DL, unsigned Depth,
548                                               const DataLayout &DL,
621                                                     const DataLayout &DL,
728                                        APInt &KnownOne, const DataLayout &DL,
987               const DataLayout &DL, unsigned Depth, const Query &Q,
1060                                          APInt &KnownOne, const DataLayout &DL,
1557 static unsigned getAlignment(const Value *V, const DataLayout &DL) {
1613                       const DataLayout &DL, unsigned Depth, const Query &Q) {
1703                     const DataLayout &DL, unsigned Depth, const Query &Q) {
1722                             const Query &Q, const DataLayout &DL) {
1819 static bool isGEPKnownNonNull(GEPOperator *GEP, const DataLayout &DL,
1898 bool isKnownNonZero(Value *V, const DataLayout &DL, unsigned Depth,
2077 static bool isAddOfNonZero(Value *V1, Value *V2, const DataLayout &DL,
2093 static bool isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
2130 bool MaskedValueIsZero(Value *V, const APInt &Mask, const DataLayout &DL,
2147 unsigned ComputeNumSignBits(Value *V, const DataLayout &DL, unsigned Depth,
2842                                               const DataLayout &DL) {
3052 Value *llvm::GetUnderlyingObject(Value *V, const DataLayout &DL,
3083                                 const DataLayout &DL, LoopInfo *LI,
3137                                            Type *Ty, const DataLayout &DL,
3181 static bool isDereferenceableFromAttribute(const Value *V, const DataLayout &DL,
3195                       const DataLayout &DL) {
3211 static bool isAligned(const Value *Base, unsigned Align, const DataLayout &DL) {
3221     const Value *V, unsigned Align, const DataLayout &DL,
3302                                               const DataLayout &DL,
3332 bool llvm::isDereferenceablePointer(const Value *V, const DataLayout &DL,
3392     const DataLayout &DL = LI->getModule()->getDataLayout();
3552                                                    const DataLayout &DL,
3602                                                    const DataLayout &DL,
3631     Value *LHS, Value *RHS, AddOperator *Add, const DataLayout &DL,
3675                                                  const DataLayout &DL,
3684                                                  const DataLayout &DL,
4116                             const DataLayout &DL, unsigned Depth,
4178                                   const DataLayout &DL, unsigned Depth,
4201 bool llvm::isImpliedCondition(Value *LHS, Value *RHS, const DataLayout &DL,