mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-17 21:29:20 +00:00
add supprot for FP constants, wide integers, and fix the encoding of MININT
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36390 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
e16504eb4e
commit
0eef08046e
@ -17,6 +17,7 @@
|
|||||||
#include "llvm/DerivedTypes.h"
|
#include "llvm/DerivedTypes.h"
|
||||||
#include "llvm/Module.h"
|
#include "llvm/Module.h"
|
||||||
#include "llvm/ADT/SmallString.h"
|
#include "llvm/ADT/SmallString.h"
|
||||||
|
#include "llvm/Support/MathExtras.h"
|
||||||
using namespace llvm;
|
using namespace llvm;
|
||||||
|
|
||||||
/// ConvertToString - Convert a string from a record into an std::string, return
|
/// ConvertToString - Convert a string from a record into an std::string, return
|
||||||
@ -204,8 +205,8 @@ bool BitcodeReader::ParseTypeTable(BitstreamReader &Stream) {
|
|||||||
const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
|
const_cast<OpaqueType*>(OldTy)->refineAbstractTypeTo(ResultTy);
|
||||||
|
|
||||||
// This should have replaced the old opaque type with the new type in the
|
// This should have replaced the old opaque type with the new type in the
|
||||||
// value table... or with a preexisting type that was already in the system.
|
// value table... or with a preexisting type that was already in the
|
||||||
// Let's just make sure it did.
|
// system. Let's just make sure it did.
|
||||||
assert(TypeList[NumRecords-1].get() != OldTy &&
|
assert(TypeList[NumRecords-1].get() != OldTy &&
|
||||||
"refineAbstractType didn't work!");
|
"refineAbstractType didn't work!");
|
||||||
}
|
}
|
||||||
@ -304,6 +305,17 @@ bool BitcodeReader::ParseValueSymbolTable(BitstreamReader &Stream) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
|
||||||
|
/// the LSB for dense VBR encoding.
|
||||||
|
static uint64_t DecodeSignRotatedValue(uint64_t V) {
|
||||||
|
if ((V & 1) == 0)
|
||||||
|
return V >> 1;
|
||||||
|
if (V != 1)
|
||||||
|
return -(V >> 1);
|
||||||
|
// There is no such thing as -0 with integers. "-0" really means MININT.
|
||||||
|
return 1ULL << 63;
|
||||||
|
}
|
||||||
|
|
||||||
bool BitcodeReader::ParseConstants(BitstreamReader &Stream) {
|
bool BitcodeReader::ParseConstants(BitstreamReader &Stream) {
|
||||||
if (Stream.EnterSubBlock())
|
if (Stream.EnterSubBlock())
|
||||||
return Error("Malformed block record");
|
return Error("Malformed block record");
|
||||||
@ -359,17 +371,37 @@ bool BitcodeReader::ParseConstants(BitstreamReader &Stream) {
|
|||||||
if (Record[0] >= TypeList.size())
|
if (Record[0] >= TypeList.size())
|
||||||
return Error("Invalid Type ID in CST_SETTYPE record");
|
return Error("Invalid Type ID in CST_SETTYPE record");
|
||||||
CurTy = TypeList[Record[0]];
|
CurTy = TypeList[Record[0]];
|
||||||
continue;
|
continue; // Skip the ValueList manipulation.
|
||||||
case bitc::CST_CODE_NULL: // NULL
|
case bitc::CST_CODE_NULL: // NULL
|
||||||
V = Constant::getNullValue(CurTy);
|
V = Constant::getNullValue(CurTy);
|
||||||
break;
|
break;
|
||||||
case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
|
case bitc::CST_CODE_INTEGER: // INTEGER: [intval]
|
||||||
if (!isa<IntegerType>(CurTy))
|
if (!isa<IntegerType>(CurTy) || Record.empty())
|
||||||
return Error("Invalid type for CST_INTEGER");
|
return Error("Invalid CST_INTEGER record");
|
||||||
if (Record[0] & 1)
|
V = ConstantInt::get(CurTy, DecodeSignRotatedValue(Record[0]));
|
||||||
V = ConstantInt::get(CurTy, -(Record[0]>>1));
|
break;
|
||||||
|
case bitc::CST_CODE_WIDE_INTEGER: {// WIDE_INTEGER: [n, n x intval]
|
||||||
|
if (!isa<IntegerType>(CurTy) || Record.empty() ||
|
||||||
|
Record.size() < Record[0]+1)
|
||||||
|
return Error("Invalid WIDE_INTEGER record");
|
||||||
|
|
||||||
|
unsigned NumWords = Record[0];
|
||||||
|
uint64_t *Data = new uint64_t[NumWords];
|
||||||
|
for (unsigned i = 0; i != NumWords; ++i)
|
||||||
|
Data[i] = DecodeSignRotatedValue(Record[i+1]);
|
||||||
|
V = ConstantInt::get(APInt(cast<IntegerType>(CurTy)->getBitWidth(),
|
||||||
|
NumWords, Data));
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case bitc::CST_CODE_FLOAT: // FLOAT: [fpval]
|
||||||
|
if (Record.empty())
|
||||||
|
return Error("Invalid FLOAT record");
|
||||||
|
if (CurTy == Type::FloatTy)
|
||||||
|
V = ConstantFP::get(CurTy, BitsToFloat(Record[0]));
|
||||||
|
else if (CurTy == Type::DoubleTy)
|
||||||
|
V = ConstantFP::get(CurTy, BitsToDouble(Record[0]));
|
||||||
else
|
else
|
||||||
V = ConstantInt::get(CurTy, Record[0]>>1);
|
V = UndefValue::get(CurTy);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user