diff options
| author | Dan Gohman <gohman@apple.com> | 2009-06-22 22:02:32 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-06-22 22:02:32 +0000 |
| commit | aea3790e668f697ad9568a502180e55ef9dacb23 (patch) | |
| tree | e2cbc3025d8f470db998aed7a664e58b993df750 /lib | |
| parent | b70139d426fbb8d6f9d6289fb6af08241f3b5721 (diff) | |
| download | external_llvm-aea3790e668f697ad9568a502180e55ef9dacb23.zip external_llvm-aea3790e668f697ad9568a502180e55ef9dacb23.tar.gz external_llvm-aea3790e668f697ad9568a502180e55ef9dacb23.tar.bz2 | |
Fix llvm::ComputeNumSignBits to handle pointer types
conservatively correctly, instead of aborting.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73908 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/ValueTracking.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Analysis/ValueTracking.cpp b/lib/Analysis/ValueTracking.cpp index 17ffa2d..7509e91 100644 --- a/lib/Analysis/ValueTracking.cpp +++ b/lib/Analysis/ValueTracking.cpp @@ -624,8 +624,12 @@ bool llvm::MaskedValueIsZero(Value *V, const APInt &Mask, /// 'Op' must have a scalar integer type. /// unsigned llvm::ComputeNumSignBits(Value *V, TargetData *TD, unsigned Depth) { + assert((TD || V->getType()->isIntOrIntVector()) && + "ComputeNumSignBits requires a TargetData object to operate " + "on non-integer values!"); const Type *Ty = V->getType(); - unsigned TyBits = Ty->getScalarSizeInBits(); + unsigned TyBits = TD ? TD->getTypeSizeInBits(V->getType()->getScalarType()) : + Ty->getScalarSizeInBits(); unsigned Tmp, Tmp2; unsigned FirstAnswer = 1; |