diff options
| -rw-r--r-- | docs/LangRef.html | 5 | ||||
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 7 | ||||
| -rw-r--r-- | lib/VMCore/Type.cpp | 3 |
3 files changed, 7 insertions, 8 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 8ec1123..587f981 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -3629,7 +3629,8 @@ the pointer before continuing calculation.</p> <p>The type of each index argument depends on the type it is indexing into. When indexing into a (packed) structure, only <tt>i32</tt> integer <b>constants</b> are allowed. When indexing into an array, pointer or vector, -only integers of 32 or 64 bits are allowed (also non-constants). 32-bit values +only integers of 16, 32 or 64 bits are allowed (also non-constants).16-bit +values will be sign extended to 32-bits if required, and 32-bit values will be sign extended to 64-bits if required.</p> <p>For example, let's consider a C code fragment and how it gets @@ -3717,6 +3718,8 @@ FAQ</a>.</p> %vptr = getelementptr {i32, <2 x i8>}* %svptr, i64 0, i32 1, i32 1 <i>; yields i8*:eptr</i> %eptr = getelementptr [12 x i8]* %aptr, i64 0, i32 1 + <i>; yields i16*:iptr</i> + %iptr = getelementptr [10 x i16]* @arr, i16 0, i16 0 </pre> </div> diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 0d32eac..a2658b3 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -10695,12 +10695,7 @@ Instruction *InstCombiner::visitGetElementPtrInst(GetElementPtrInst &GEP) { gep_type_iterator GTI = gep_type_begin(GEP); for (User::op_iterator i = GEP.op_begin() + 1, e = GEP.op_end(); i != e; ++i, ++GTI) { - // Before trying to eliminate/introduce cast/ext/trunc to make - // indices as pointer types, make sure that the pointer size - // makes a valid sequential index. - const SequentialType *ST = dyn_cast<SequentialType>(*GTI); - Value *PtrTypeVal = Constant::getNullValue(TD->getIntPtrType()); - if (ST && ST->indexValid(PtrTypeVal)) { + if (isa<SequentialType>(*GTI)) { if (CastInst *CI = dyn_cast<CastInst>(*i)) { if (CI->getOpcode() == Instruction::ZExt || CI->getOpcode() == Instruction::SExt) { diff --git a/lib/VMCore/Type.cpp b/lib/VMCore/Type.cpp index 7e6bbe5..c85395f 100644 --- a/lib/VMCore/Type.cpp +++ b/lib/VMCore/Type.cpp @@ -1411,7 +1411,8 @@ void PointerType::typeBecameConcrete(const DerivedType *AbsTy) { bool SequentialType::indexValid(const Value *V) const { if (const IntegerType *IT = dyn_cast<IntegerType>(V->getType())) - return IT->getBitWidth() == 32 || IT->getBitWidth() == 64; + return IT->getBitWidth() == 16 || IT->getBitWidth() == 32 || + IT->getBitWidth() == 64; return false; } |