ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-01-06 05:04:20 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

add extra type checks to Compiler::store and Compiler::memory

Browse Source
This commit is contained in:
Joshua Warner 2014-04-30 23:39:44 -06:00 committed by Joshua Warner
parent 1fc6011bf7
commit f9b781149e
2 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/codegen/compiler.cpp
View File

@ -2323,6 +2323,8 @@ class MyCompiler: public Compiler {
Operand* index = 0,
unsigned scale = 1)
{
assert(&c, index != 0 || scale == 1);
assert(&c, type.size() == scale || index == 0);
Value* result = value(&c, type);
appendMemory(&c, static_cast<Value*>(base), displacement,
@ -2600,6 +2602,10 @@ class MyCompiler: public Compiler {
{
assert(&c, srcType.flavor() == static_cast<Value*>(src)->type.flavor());
assert(&c, dstType.flavor() == static_cast<Value*>(dst)->type.flavor());
assert(&c, srcType.flavor() == dstType.flavor());
assert(&c,
srcType.flavor() != ir::Type::Float
|| srcType.size() == static_cast<Value*>(src)->type.size());
appendMove(&c,
lir::Move,
srcType.size(),

20
src/compile.cpp
View File

@ -4145,7 +4145,7 @@ compile(MyThread* t, Frame* initialFrame, unsigned initialIp,
frame->pushInt(
c->load(1,
1,
c->memory(array, types.i4, TargetArrayBody, index, 1),
c->memory(array, types.i1, TargetArrayBody, index, 1),
TargetBytesPerWord));
break;
@ -4153,25 +4153,25 @@ compile(MyThread* t, Frame* initialFrame, unsigned initialIp,
frame->pushInt(
c->loadz(2,
2,
c->memory(array, types.i4, TargetArrayBody, index, 2),
c->memory(array, types.i2, TargetArrayBody, index, 2),
TargetBytesPerWord));
break;
case daload:
frame->pushLong(c->load(
8, 8, c->memory(array, types.f4, TargetArrayBody, index, 8), 8));
8, 8, c->memory(array, types.f8, TargetArrayBody, index, 8), 8));
break;
case laload:
frame->pushLong(c->load(
8, 8, c->memory(array, types.i4, TargetArrayBody, index, 8), 8));
8, 8, c->memory(array, types.i8, TargetArrayBody, index, 8), 8));
break;
case saload:
frame->pushInt(
c->load(2,
2,
c->memory(array, types.i4, TargetArrayBody, index, 2),
c->memory(array, types.i2, TargetArrayBody, index, 2),
TargetBytesPerWord));
break;
}
@ -4245,7 +4245,7 @@ compile(MyThread* t, Frame* initialFrame, unsigned initialIp,
c->store(types.address,
value,
types.i1,
c->memory(array, types.i4, TargetArrayBody, index, 1));
c->memory(array, types.i1, TargetArrayBody, index, 1));
break;
case castore:
@ -4253,14 +4253,14 @@ compile(MyThread* t, Frame* initialFrame, unsigned initialIp,
c->store(types.address,
value,
types.i2,
c->memory(array, types.i4, TargetArrayBody, index, 2));
c->memory(array, types.i2, TargetArrayBody, index, 2));
break;
case dastore:
c->store(types.f8,
value,
types.f8,
c->memory(array, types.f4, TargetArrayBody, index, 8));
c->memory(array, types.f8, TargetArrayBody, index, 8));
break;
case lastore:
@ -5453,8 +5453,8 @@ compile(MyThread* t, Frame* initialFrame, unsigned initialIp,
memcpy(&v, &singletonValue(t, pool, index - 1), 8);
frame->pushLong(c->constant(
v,
singletonBit(t, pool, poolSize(t, pool), index - 1) ? types.f4
: types.i4));
singletonBit(t, pool, poolSize(t, pool), index - 1) ? types.f8
: types.i8));
} break;
case ldiv_: {