forked from OSchip/llvm-project
parent
ac3531247f
commit
46c97e626f
|
@ -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>
|
||||
|
||||
|
|
|
@ -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) {
|
||||
|
|
|
@ -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;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue