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

added loneMatch to improve register allocation

Browse Source
This commit is contained in:
Josh warner 2009-08-11 13:46:51 -06:00
parent f29199a285
commit 78ea4d20e3
1 changed files with 39 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
src/compiler.cpp
View File

@ -108,6 +108,8 @@ class Site {
virtual unsigned copyCost(Context*, Site*) = 0;
virtual bool match(Context*, const SiteMask&) = 0;
virtual bool loneMatch(Context*, const SiteMask&) = 0;
virtual void acquire(Context*, Value*) { }
@ -1429,6 +1431,10 @@ class ConstantSite: public Site {
return mask.typeMask & (1 << ConstantOperand);
}
virtual bool loneMatch(Context*, const SiteMask&) {
return true;
}
virtual OperandType type(Context*) {
return ConstantOperand;
}
@ -1501,6 +1507,10 @@ class AddressSite: public Site {
return mask.typeMask & (1 << AddressOperand);
}
virtual bool loneMatch(Context*, const SiteMask&) {
return false;
}
virtual OperandType type(Context*) {
return AddressOperand;
}
@ -1575,6 +1585,16 @@ class RegisterSite: public Site {
}
}
virtual bool loneMatch(Context* c UNUSED, const SiteMask& mask) {
assert(c, number != NoRegister);
if ((mask.typeMask & (1 << RegisterOperand))) {
return ((static_cast<uint64_t>(1) << number) == mask.registerMask);
} else {
return false;
}
}
virtual void acquire(Context* c, Value* v) {
Target target;
if (number != NoRegister) {
@ -1729,6 +1749,23 @@ class MemorySite: public Site {
}
}
virtual bool loneMatch(Context* c, const SiteMask& mask) {
assert(c, acquired);
if (mask.typeMask & (1 << MemoryOperand)) {
if (base == c->arch->stack()) {
assert(c, index == NoRegister);
if (mask.frameIndex == AnyFrameIndex) {
return false;
} else {
return true;
}
}
}
return false;
}
virtual void acquire(Context* c, Value* v) {
increment(c, c->registerResources + base);
if (index != NoRegister) {
@ -3145,7 +3182,8 @@ getTarget(Context* c, Value* value, Value* result, const SiteMask& resultMask)
Site* s;
Value* v;
Read* r = liveNext(c, value);
if (value->source->match(c, static_cast<const SiteMask&>(resultMask))) {
if (value->source->match(c, static_cast<const SiteMask&>(resultMask)) and (r == 0 or
value->source->loneMatch(c, static_cast<const SiteMask&>(resultMask)))) {
s = value->source;
v = value;
if (r and not hasMoreThanOneSite(v)) {