maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Two changes: 

1. Fix logic for executeGEP. Only 32-bit and 64-bit integer types are
   acceptable as indices.
2. Ensure that all integer cast operations truncate their result to the
   integer size of the operand.

llvm-svn: 33318
This commit is contained in:
Reid Spencer 2007-01-18 01:25:42 +00:00
parent 01f7e06d8f
commit fab44b682e
1 changed files with 17 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
llvm/lib/ExecutionEngine/Interpreter/Execution.cpp
View File

@ -1073,16 +1073,12 @@ GenericValue Interpreter::executeGEPOperation(Value *Ptr, gep_type_iterator I,
int64_t Idx;
unsigned BitWidth =
cast<IntegerType>(I.getOperand()->getType())->getBitWidth();
if (BitWidth <= 8)
Idx = (int64_t)(int8_t)IdxGV.Int8Val;
else if (BitWidth <= 16)
Idx = (int64_t)(int16_t)IdxGV.Int16Val;
else if (BitWidth <= 32)
if (BitWidth == 32)
Idx = (int64_t)(int32_t)IdxGV.Int32Val;
else if (BitWidth <= 64)
else if (BitWidth == 64)
Idx = (int64_t)IdxGV.Int64Val;
else
assert(0 && "Integer types >64 bits not supported");
assert(0 && "Invalid index type for getelementptr");
Total += PointerTy(TD.getTypeSize(ST->getElementType())*Idx);
}
}
@ -1289,16 +1285,19 @@ void Interpreter::visitAShr(ShiftInst &I) {
}
#define INTEGER_ASSIGN(DEST, BITWIDTH, VAL) \
{ \
uint64_t Mask = (1ull << BITWIDTH) - 1; \
if (BITWIDTH == 1) { \
Dest.Int1Val = (bool) VAL; \
Dest.Int1Val = (bool) (VAL & Mask); \
} else if (BITWIDTH <= 8) { \
Dest.Int8Val = (uint8_t) VAL; \
Dest.Int8Val = (uint8_t) (VAL & Mask); \
} else if (BITWIDTH <= 16) { \
Dest.Int16Val = (uint16_t) VAL; \
Dest.Int16Val = (uint16_t) (VAL & Mask); \
} else if (BITWIDTH <= 32) { \
Dest.Int32Val = (uint32_t) VAL; \
Dest.Int32Val = (uint32_t) (VAL & Mask); \
} else \
Dest.Int64Val = (uint64_t) VAL;
Dest.Int64Val = (uint64_t) (VAL & Mask); \
}
GenericValue Interpreter::executeTruncInst(Value *SrcVal, const Type *DstTy,
ExecutionContext &SF) {