2008-02-19 18:06:52 +00:00
|
|
|
/* Copyright (c) 2008, Avian Contributors
|
|
|
|
|
|
|
|
Permission to use, copy, modify, and/or distribute this software
|
|
|
|
for any purpose with or without fee is hereby granted, provided
|
|
|
|
that the above copyright notice and this permission notice appear
|
|
|
|
in all copies.
|
|
|
|
|
|
|
|
There is NO WARRANTY for this software. See license.txt for
|
|
|
|
details. */
|
|
|
|
|
2008-02-12 00:20:32 +00:00
|
|
|
#include "compiler.h"
|
2008-02-11 17:21:41 +00:00
|
|
|
#include "assembler.h"
|
2007-12-08 23:22:13 +00:00
|
|
|
|
|
|
|
using namespace vm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
2008-04-27 20:15:18 +00:00
|
|
|
const bool DebugAppend = false;
|
|
|
|
const bool DebugCompile = false;
|
|
|
|
const bool DebugStack = false;
|
|
|
|
const bool DebugRegisters = false;
|
2008-04-19 21:52:45 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
class Context;
|
2008-04-16 20:58:21 +00:00
|
|
|
class Value;
|
2008-04-17 22:07:32 +00:00
|
|
|
class Stack;
|
|
|
|
class Site;
|
|
|
|
class Event;
|
2008-04-18 03:47:42 +00:00
|
|
|
class PushEvent;
|
2008-04-18 00:39:41 +00:00
|
|
|
class Read;
|
2007-12-09 22:45:43 +00:00
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
void NO_RETURN abort(Context*);
|
2008-03-15 23:54:20 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
void
|
|
|
|
apply(Context* c, UnaryOperation op, unsigned size, Site* a);
|
|
|
|
|
|
|
|
void
|
|
|
|
apply(Context* c, BinaryOperation op, unsigned size, Site* a, Site* b);
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
class Site {
|
|
|
|
public:
|
|
|
|
Site(): next(0) { }
|
|
|
|
|
|
|
|
virtual ~Site() { }
|
|
|
|
|
2008-04-18 17:00:55 +00:00
|
|
|
virtual Site* readTarget(Context*, Read*, Event*) { return this; }
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
virtual unsigned copyCost(Context*, Site*) = 0;
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
virtual bool tryAcquire(Context*, Stack*, unsigned, Value*) { return true; }
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
virtual void release(Context*) { }
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
virtual OperandType type(Context*) = 0;
|
2008-04-16 20:58:21 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context*) = 0;
|
2008-04-16 20:58:21 +00:00
|
|
|
|
|
|
|
Site* next;
|
|
|
|
};
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
class Stack {
|
|
|
|
public:
|
|
|
|
Stack(Value* value, unsigned size, unsigned index, Stack* next):
|
2008-04-18 03:47:42 +00:00
|
|
|
value(value), size(size), index(index), next(next), pushEvent(0),
|
2008-04-26 20:56:03 +00:00
|
|
|
pushSite(0), pushed(false)
|
2008-04-17 22:07:32 +00:00
|
|
|
{ }
|
|
|
|
|
|
|
|
Value* value;
|
|
|
|
unsigned size;
|
|
|
|
unsigned index;
|
|
|
|
Stack* next;
|
2008-04-18 03:47:42 +00:00
|
|
|
PushEvent* pushEvent;
|
2008-04-19 20:41:31 +00:00
|
|
|
Site* pushSite;
|
2008-04-17 22:07:32 +00:00
|
|
|
bool pushed;
|
|
|
|
};
|
|
|
|
|
|
|
|
class State {
|
|
|
|
public:
|
2008-04-27 21:58:29 +00:00
|
|
|
State(State* next, Stack* stack):
|
|
|
|
stack(stack),
|
|
|
|
next(next)
|
2008-04-17 22:07:32 +00:00
|
|
|
{ }
|
|
|
|
|
|
|
|
Stack* stack;
|
|
|
|
State* next;
|
|
|
|
};
|
|
|
|
|
|
|
|
class LogicalInstruction {
|
|
|
|
public:
|
2008-04-19 07:03:59 +00:00
|
|
|
Event* firstEvent;
|
2008-04-17 22:07:32 +00:00
|
|
|
Event* lastEvent;
|
2008-04-20 19:35:36 +00:00
|
|
|
LogicalInstruction* immediatePredecessor;
|
|
|
|
Stack* stack;
|
2008-04-17 22:07:32 +00:00
|
|
|
unsigned machineOffset;
|
2008-04-20 19:35:36 +00:00
|
|
|
bool stackSaved;
|
2008-04-17 22:07:32 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
class Register {
|
|
|
|
public:
|
|
|
|
Value* value;
|
|
|
|
Site* site;
|
|
|
|
unsigned size;
|
2008-04-20 00:43:12 +00:00
|
|
|
unsigned refCount;
|
2008-04-17 22:07:32 +00:00
|
|
|
bool reserved;
|
2008-04-27 20:15:18 +00:00
|
|
|
bool pushed;
|
2008-04-17 22:07:32 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
class ConstantPoolNode {
|
|
|
|
public:
|
|
|
|
ConstantPoolNode(Promise* promise): promise(promise), next(0) { }
|
|
|
|
|
|
|
|
Promise* promise;
|
|
|
|
ConstantPoolNode* next;
|
|
|
|
};
|
|
|
|
|
|
|
|
class Junction {
|
|
|
|
public:
|
|
|
|
Junction(unsigned logicalIp, Junction* next):
|
|
|
|
logicalIp(logicalIp),
|
|
|
|
next(next)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
unsigned logicalIp;
|
|
|
|
Junction* next;
|
|
|
|
};
|
|
|
|
|
|
|
|
class Read {
|
|
|
|
public:
|
|
|
|
Read(unsigned size, Value* value, Site* target, Read* next, Event* event,
|
|
|
|
Read* eventNext):
|
|
|
|
size(size), value(value), target(target), next(next), event(event),
|
|
|
|
eventNext(eventNext)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
unsigned size;
|
|
|
|
Value* value;
|
|
|
|
Site* target;
|
|
|
|
Read* next;
|
|
|
|
Event* event;
|
|
|
|
Read* eventNext;
|
|
|
|
};
|
|
|
|
|
|
|
|
class Value: public Compiler::Operand {
|
|
|
|
public:
|
2008-04-26 20:56:03 +00:00
|
|
|
Value(Site* site, Site* target):
|
|
|
|
reads(0), lastRead(0), sites(site), source(0), target(target)
|
2008-04-17 22:07:32 +00:00
|
|
|
{ }
|
|
|
|
|
|
|
|
Read* reads;
|
|
|
|
Read* lastRead;
|
|
|
|
Site* sites;
|
|
|
|
Site* source;
|
2008-04-19 20:41:31 +00:00
|
|
|
Site* target;
|
2008-04-17 22:07:32 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
class Context {
|
|
|
|
public:
|
|
|
|
Context(System* system, Assembler* assembler, Zone* zone):
|
|
|
|
system(system),
|
|
|
|
assembler(assembler),
|
|
|
|
zone(zone),
|
|
|
|
logicalIp(-1),
|
2008-04-27 21:58:29 +00:00
|
|
|
state(new (zone->allocate(sizeof(State))) State(0, 0)),
|
2008-04-17 22:07:32 +00:00
|
|
|
logicalCode(0),
|
|
|
|
logicalCodeLength(0),
|
|
|
|
stackOffset(0),
|
|
|
|
registers(static_cast<Register*>
|
|
|
|
(zone->allocate(sizeof(Register) * assembler->registerCount()))),
|
2008-04-19 07:03:59 +00:00
|
|
|
freeRegisterCount(assembler->registerCount() - 3),
|
|
|
|
freeRegisters(static_cast<int*>
|
|
|
|
(zone->allocate(sizeof(int) * freeRegisterCount))),
|
2008-04-17 22:07:32 +00:00
|
|
|
firstConstant(0),
|
|
|
|
lastConstant(0),
|
|
|
|
constantCount(0),
|
2008-04-19 07:03:59 +00:00
|
|
|
nextSequence(0),
|
2008-04-17 22:07:32 +00:00
|
|
|
junctions(0),
|
2008-04-20 05:23:08 +00:00
|
|
|
machineCode(0),
|
|
|
|
stackReset(false)
|
2008-04-17 22:07:32 +00:00
|
|
|
{
|
|
|
|
memset(registers, 0, sizeof(Register) * assembler->registerCount());
|
|
|
|
|
2008-04-20 00:43:12 +00:00
|
|
|
registers[assembler->base()].refCount = 1;
|
2008-04-17 22:07:32 +00:00
|
|
|
registers[assembler->base()].reserved = true;
|
2008-04-20 00:43:12 +00:00
|
|
|
registers[assembler->stack()].refCount = 1;
|
2008-04-17 22:07:32 +00:00
|
|
|
registers[assembler->stack()].reserved = true;
|
2008-04-20 00:43:12 +00:00
|
|
|
registers[assembler->thread()].refCount = 1;
|
2008-04-17 22:07:32 +00:00
|
|
|
registers[assembler->thread()].reserved = true;
|
2008-04-19 07:03:59 +00:00
|
|
|
|
|
|
|
unsigned fri = 0;
|
|
|
|
for (int i = assembler->registerCount() - 1; i >= 0; --i) {
|
|
|
|
if (not registers[i].reserved) {
|
|
|
|
freeRegisters[fri++] = i;
|
|
|
|
}
|
|
|
|
}
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
System* system;
|
|
|
|
Assembler* assembler;
|
|
|
|
Zone* zone;
|
|
|
|
int logicalIp;
|
|
|
|
State* state;
|
|
|
|
LogicalInstruction* logicalCode;
|
|
|
|
unsigned logicalCodeLength;
|
|
|
|
unsigned stackOffset;
|
|
|
|
Register* registers;
|
2008-04-19 07:03:59 +00:00
|
|
|
unsigned freeRegisterCount;
|
|
|
|
int* freeRegisters;
|
2008-04-17 22:07:32 +00:00
|
|
|
ConstantPoolNode* firstConstant;
|
|
|
|
ConstantPoolNode* lastConstant;
|
|
|
|
unsigned constantCount;
|
2008-04-19 07:03:59 +00:00
|
|
|
unsigned nextSequence;
|
2008-04-17 22:07:32 +00:00
|
|
|
Junction* junctions;
|
|
|
|
uint8_t* machineCode;
|
2008-04-20 05:23:08 +00:00
|
|
|
bool stackReset;
|
2008-04-17 22:07:32 +00:00
|
|
|
};
|
|
|
|
|
2008-04-18 17:00:55 +00:00
|
|
|
class PoolPromise: public Promise {
|
|
|
|
public:
|
|
|
|
PoolPromise(Context* c, int key): c(c), key(key) { }
|
|
|
|
|
|
|
|
virtual int64_t value() {
|
|
|
|
if (resolved()) {
|
|
|
|
return reinterpret_cast<intptr_t>
|
|
|
|
(c->machineCode + pad(c->assembler->length()) + (key * BytesPerWord));
|
|
|
|
}
|
|
|
|
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual bool resolved() {
|
|
|
|
return c->machineCode != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
Context* c;
|
|
|
|
int key;
|
|
|
|
};
|
|
|
|
|
|
|
|
class CodePromise: public Promise {
|
|
|
|
public:
|
|
|
|
CodePromise(Context* c, CodePromise* next): c(c), offset(-1), next(next) { }
|
|
|
|
|
|
|
|
CodePromise(Context* c, int offset): c(c), offset(offset), next(0) { }
|
|
|
|
|
|
|
|
virtual int64_t value() {
|
|
|
|
if (resolved()) {
|
|
|
|
return reinterpret_cast<intptr_t>(c->machineCode + offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual bool resolved() {
|
|
|
|
return c->machineCode != 0 and offset >= 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
Context* c;
|
|
|
|
int offset;
|
|
|
|
CodePromise* next;
|
|
|
|
};
|
|
|
|
|
|
|
|
class IpPromise: public Promise {
|
|
|
|
public:
|
|
|
|
IpPromise(Context* c, int logicalIp):
|
|
|
|
c(c),
|
|
|
|
logicalIp(logicalIp)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
virtual int64_t value() {
|
|
|
|
if (resolved()) {
|
|
|
|
return reinterpret_cast<intptr_t>
|
|
|
|
(c->machineCode + c->logicalCode[logicalIp].machineOffset);
|
|
|
|
}
|
|
|
|
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual bool resolved() {
|
|
|
|
return c->machineCode != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
Context* c;
|
|
|
|
int logicalIp;
|
|
|
|
};
|
|
|
|
|
|
|
|
inline void NO_RETURN
|
|
|
|
abort(Context* c)
|
|
|
|
{
|
|
|
|
abort(c->system);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
inline void
|
|
|
|
assert(Context* c, bool v)
|
|
|
|
{
|
|
|
|
assert(c->system, v);
|
|
|
|
}
|
|
|
|
#endif // not NDEBUG
|
|
|
|
|
|
|
|
inline void
|
|
|
|
expect(Context* c, bool v)
|
|
|
|
{
|
|
|
|
expect(c->system, v);
|
|
|
|
}
|
|
|
|
|
|
|
|
class Event {
|
|
|
|
public:
|
|
|
|
Event(Context* c):
|
|
|
|
next(0), stack(c->state->stack), promises(0), reads(0),
|
2008-04-20 05:23:08 +00:00
|
|
|
sequence(c->nextSequence++), stackReset(c->stackReset)
|
2008-04-18 17:00:55 +00:00
|
|
|
{
|
|
|
|
assert(c, c->logicalIp >= 0);
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
LogicalInstruction* i = c->logicalCode + c->logicalIp;
|
|
|
|
if (i->lastEvent) {
|
|
|
|
i->lastEvent->next = this;
|
2008-04-18 17:00:55 +00:00
|
|
|
} else {
|
2008-04-19 07:03:59 +00:00
|
|
|
i->firstEvent = this;
|
2008-04-18 17:00:55 +00:00
|
|
|
}
|
2008-04-19 07:03:59 +00:00
|
|
|
i->lastEvent = this;
|
2008-04-20 05:23:08 +00:00
|
|
|
|
|
|
|
if (c->stackReset) {
|
2008-04-20 19:35:36 +00:00
|
|
|
// fprintf(stderr, "stack reset\n");
|
2008-04-20 05:23:08 +00:00
|
|
|
c->stackReset = false;
|
|
|
|
}
|
2008-04-18 17:00:55 +00:00
|
|
|
}
|
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
Event(Context*, unsigned sequence, Stack* stack):
|
|
|
|
next(0), stack(stack), promises(0), reads(0),
|
|
|
|
sequence(sequence), stackReset(false)
|
2008-04-18 17:00:55 +00:00
|
|
|
{ }
|
|
|
|
|
|
|
|
virtual ~Event() { }
|
|
|
|
|
|
|
|
virtual void compile(Context* c) = 0;
|
|
|
|
|
2008-04-29 14:59:12 +00:00
|
|
|
virtual bool skipMove(unsigned) { return false; }
|
2008-04-20 02:05:17 +00:00
|
|
|
|
2008-04-18 17:00:55 +00:00
|
|
|
Event* next;
|
|
|
|
Stack* stack;
|
|
|
|
CodePromise* promises;
|
|
|
|
Read* reads;
|
|
|
|
unsigned sequence;
|
2008-04-20 05:23:08 +00:00
|
|
|
bool stackReset;
|
2008-04-18 17:00:55 +00:00
|
|
|
};
|
|
|
|
|
2008-04-18 00:39:41 +00:00
|
|
|
bool
|
|
|
|
findSite(Context*, Value* v, Site* site)
|
|
|
|
{
|
|
|
|
for (Site* s = v->sites; s; s = s->next) {
|
|
|
|
if (s == site) return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
bool
|
|
|
|
tryAddSite(Context* c, Stack* stack, unsigned size, Value* v, Site* s)
|
2008-04-19 00:19:45 +00:00
|
|
|
{
|
|
|
|
if (not findSite(c, v, s)) {
|
2008-04-19 20:41:31 +00:00
|
|
|
// fprintf(stderr, "add site %p to %p\n", s, v);
|
2008-04-21 00:21:48 +00:00
|
|
|
if (s->tryAcquire(c, stack, size, v)) {
|
|
|
|
s->next = v->sites;
|
|
|
|
v->sites = s;
|
|
|
|
} else {
|
|
|
|
return false;
|
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
2008-04-21 00:21:48 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
addSite(Context* c, Stack* stack, unsigned size, Value* v, Site* s)
|
|
|
|
{
|
|
|
|
expect(c, tryAddSite(c, stack, size, v, s));
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
2008-04-18 00:39:41 +00:00
|
|
|
void
|
2008-04-19 07:03:59 +00:00
|
|
|
removeSite(Context* c, Value* v, Site* s)
|
2008-04-18 00:39:41 +00:00
|
|
|
{
|
|
|
|
for (Site** p = &(v->sites); *p;) {
|
|
|
|
if (s == *p) {
|
2008-04-19 20:41:31 +00:00
|
|
|
// fprintf(stderr, "remove site %p from %p\n", s, v);
|
2008-04-19 07:03:59 +00:00
|
|
|
s->release(c);
|
2008-04-18 00:39:41 +00:00
|
|
|
*p = (*p)->next;
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
p = &((*p)->next);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
void
|
|
|
|
clearSites(Context* c, Value* v)
|
|
|
|
{
|
|
|
|
for (Site* s = v->sites; s; s = s->next) {
|
|
|
|
s->release(c);
|
|
|
|
}
|
|
|
|
v->sites = 0;
|
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
void
|
|
|
|
nextRead(Context* c, Value* v)
|
|
|
|
{
|
2008-04-20 02:05:17 +00:00
|
|
|
// fprintf(stderr, "pop read %p from %p; next: %p\n", v->reads, v, v->reads->next);
|
2008-04-19 07:03:59 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
v->reads = v->reads->next;
|
|
|
|
if (v->reads == 0) {
|
2008-04-19 07:03:59 +00:00
|
|
|
clearSites(c, v);
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
class ConstantSite: public Site {
|
|
|
|
public:
|
|
|
|
ConstantSite(Promise* value): value(value) { }
|
|
|
|
|
2008-04-18 18:36:57 +00:00
|
|
|
virtual unsigned copyCost(Context*, Site* s) {
|
|
|
|
return (s == this ? 0 : 1);
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual OperandType type(Context*) {
|
2008-04-17 22:07:32 +00:00
|
|
|
return ConstantOperand;
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context*) {
|
|
|
|
return &value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Assembler::Constant value;
|
|
|
|
};
|
|
|
|
|
|
|
|
ConstantSite*
|
|
|
|
constantSite(Context* c, Promise* value)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(ConstantSite))) ConstantSite(value);
|
|
|
|
}
|
|
|
|
|
|
|
|
ResolvedPromise*
|
|
|
|
resolved(Context* c, int64_t value)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(ResolvedPromise)))
|
|
|
|
ResolvedPromise(value);
|
|
|
|
}
|
|
|
|
|
|
|
|
ConstantSite*
|
|
|
|
constantSite(Context* c, int64_t value)
|
|
|
|
{
|
|
|
|
return constantSite(c, resolved(c, value));
|
|
|
|
}
|
|
|
|
|
|
|
|
class AddressSite: public Site {
|
|
|
|
public:
|
|
|
|
AddressSite(Promise* address): address(address) { }
|
|
|
|
|
2008-04-18 18:36:57 +00:00
|
|
|
virtual unsigned copyCost(Context*, Site* s) {
|
|
|
|
return (s == this ? 0 : 3);
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual OperandType type(Context*) {
|
2008-04-17 22:07:32 +00:00
|
|
|
return AddressOperand;
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context*) {
|
|
|
|
return &address;
|
|
|
|
}
|
|
|
|
|
|
|
|
Assembler::Address address;
|
|
|
|
};
|
|
|
|
|
|
|
|
AddressSite*
|
|
|
|
addressSite(Context* c, Promise* address)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(AddressSite))) AddressSite(address);
|
|
|
|
}
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
bool
|
|
|
|
tryAcquire(Context* c, int r, Stack* stack, unsigned newSize, Value* newValue,
|
|
|
|
Site* newSite);
|
2008-04-16 20:58:21 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
void
|
|
|
|
release(Context* c, int r);
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
class RegisterSite: public Site {
|
|
|
|
public:
|
|
|
|
RegisterSite(int low, int high): register_(low, high) { }
|
|
|
|
|
|
|
|
virtual unsigned copyCost(Context* c, Site* s) {
|
|
|
|
if (s and
|
|
|
|
(this == s or
|
2008-04-17 22:07:32 +00:00
|
|
|
(s->type(c) == RegisterOperand
|
2008-04-16 20:58:21 +00:00
|
|
|
and static_cast<RegisterSite*>(s)->register_.low
|
|
|
|
== register_.low
|
|
|
|
and static_cast<RegisterSite*>(s)->register_.high
|
|
|
|
== register_.high)))
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
} else {
|
|
|
|
return 2;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
virtual bool tryAcquire(Context* c, Stack* stack, unsigned size, Value* v) {
|
|
|
|
if (::tryAcquire(c, register_.low, stack, size, v, this)) {
|
|
|
|
if (register_.high != NoRegister) {
|
|
|
|
if (::tryAcquire(c, register_.high, stack, size, v, this)) {
|
|
|
|
return true;
|
|
|
|
} else {
|
|
|
|
::release(c, register_.low);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
return true;
|
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
2008-04-21 00:21:48 +00:00
|
|
|
return false;
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual void release(Context* c) {
|
|
|
|
::release(c, register_.low);
|
|
|
|
if (register_.high >= 0) {
|
|
|
|
::release(c, register_.high);
|
|
|
|
}
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual OperandType type(Context*) {
|
2008-04-17 22:07:32 +00:00
|
|
|
return RegisterOperand;
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context*) {
|
|
|
|
return ®ister_;
|
|
|
|
}
|
|
|
|
|
|
|
|
Assembler::Register register_;
|
|
|
|
};
|
|
|
|
|
|
|
|
RegisterSite*
|
|
|
|
registerSite(Context* c, int low, int high = NoRegister)
|
|
|
|
{
|
2008-04-19 00:19:45 +00:00
|
|
|
assert(c, low != NoRegister);
|
|
|
|
assert(c, low < static_cast<int>(c->assembler->registerCount()));
|
|
|
|
assert(c, high == NoRegister
|
|
|
|
or high < static_cast<int>(c->assembler->registerCount()));
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
return new (c->zone->allocate(sizeof(RegisterSite)))
|
|
|
|
RegisterSite(low, high);
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
RegisterSite*
|
|
|
|
freeRegister(Context* c, unsigned size, bool allowAcquired);
|
|
|
|
|
2008-04-20 00:43:12 +00:00
|
|
|
void
|
|
|
|
increment(Context* c, int r)
|
|
|
|
{
|
|
|
|
if (DebugRegisters) {
|
2008-04-20 19:35:36 +00:00
|
|
|
fprintf(stderr, "increment %d to %d\n", r, c->registers[r].refCount + 1);
|
2008-04-20 00:43:12 +00:00
|
|
|
}
|
|
|
|
++ c->registers[r].refCount;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
decrement(Context* c, int r)
|
|
|
|
{
|
|
|
|
if (DebugRegisters) {
|
2008-04-20 19:35:36 +00:00
|
|
|
fprintf(stderr, "decrement %d to %d\n", r, c->registers[r].refCount - 1);
|
2008-04-20 00:43:12 +00:00
|
|
|
}
|
2008-04-28 15:53:48 +00:00
|
|
|
assert(c, c->registers[r].refCount > 0);
|
|
|
|
assert(c, c->registers[r].refCount > 1 or (not c->registers[r].reserved));
|
2008-04-20 00:43:12 +00:00
|
|
|
-- c->registers[r].refCount;
|
|
|
|
}
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
class MemorySite: public Site {
|
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
MemorySite(int base, int offset, int index, unsigned scale):
|
2008-04-16 20:58:21 +00:00
|
|
|
value(base, offset, index, scale)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
virtual unsigned copyCost(Context* c, Site* s) {
|
|
|
|
if (s and
|
|
|
|
(this == s or
|
2008-04-17 22:07:32 +00:00
|
|
|
(s->type(c) == MemoryOperand
|
|
|
|
and static_cast<MemorySite*>(s)->value.base == value.base
|
|
|
|
and static_cast<MemorySite*>(s)->value.offset == value.offset
|
|
|
|
and static_cast<MemorySite*>(s)->value.index == value.index
|
|
|
|
and static_cast<MemorySite*>(s)->value.scale == value.scale)))
|
2008-04-16 20:58:21 +00:00
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
} else {
|
|
|
|
return 4;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
virtual bool tryAcquire(Context* c, Stack*, unsigned, Value*) {
|
2008-04-20 00:43:12 +00:00
|
|
|
increment(c, value.base);
|
2008-04-19 00:19:45 +00:00
|
|
|
if (value.index != NoRegister) {
|
2008-04-20 00:43:12 +00:00
|
|
|
increment(c, value.index);
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
2008-04-21 00:21:48 +00:00
|
|
|
return true;
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual void release(Context* c) {
|
2008-04-20 00:43:12 +00:00
|
|
|
decrement(c, value.base);
|
2008-04-19 00:19:45 +00:00
|
|
|
if (value.index != NoRegister) {
|
2008-04-20 00:43:12 +00:00
|
|
|
decrement(c, value.index);
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-16 20:58:21 +00:00
|
|
|
virtual OperandType type(Context*) {
|
2008-04-17 22:07:32 +00:00
|
|
|
return MemoryOperand;
|
2008-04-16 20:58:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context*) {
|
|
|
|
return &value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Assembler::Memory value;
|
|
|
|
};
|
|
|
|
|
|
|
|
MemorySite*
|
|
|
|
memorySite(Context* c, int base, int offset, int index, unsigned scale)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(MemorySite)))
|
|
|
|
MemorySite(base, offset, index, scale);
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
class AbstractSite: public Site {
|
2008-04-16 20:58:21 +00:00
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
virtual unsigned copyCost(Context* c, Site*) {
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void copyTo(Context* c, unsigned, Site*) {
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual OperandType type(Context* c) {
|
|
|
|
abort(c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual Assembler::Operand* asAssemblerOperand(Context* c) {
|
|
|
|
abort(c);
|
|
|
|
}
|
2008-04-16 20:58:21 +00:00
|
|
|
};
|
|
|
|
|
2008-04-18 17:30:54 +00:00
|
|
|
Site*
|
|
|
|
targetOrNull(Context* c, Read* r, Event* event)
|
|
|
|
{
|
|
|
|
Value* v = r->value;
|
2008-04-19 20:41:31 +00:00
|
|
|
if (v->target) {
|
|
|
|
return v->target;
|
2008-04-18 17:30:54 +00:00
|
|
|
} else if (r->target) {
|
|
|
|
return r->target->readTarget(c, r, event);
|
|
|
|
} else {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-18 17:00:55 +00:00
|
|
|
Site*
|
|
|
|
targetOrNull(Context* c, Value* v, Event* event)
|
|
|
|
{
|
2008-04-19 20:41:31 +00:00
|
|
|
if (v->target) {
|
|
|
|
return v->target;
|
2008-04-18 17:00:55 +00:00
|
|
|
} else if (v->reads and v->reads->target) {
|
|
|
|
return v->reads->target->readTarget(c, v->reads, event);
|
|
|
|
} else {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Site*
|
|
|
|
targetOrRegister(Context* c, unsigned size, Value* v, Event* event)
|
|
|
|
{
|
|
|
|
Site* s = targetOrNull(c, v, event);
|
|
|
|
if (s) {
|
|
|
|
return s;
|
|
|
|
} else {
|
|
|
|
return freeRegister(c, size, true);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
class ValueSite: public AbstractSite {
|
2008-02-11 17:21:41 +00:00
|
|
|
public:
|
2008-04-17 22:07:32 +00:00
|
|
|
ValueSite(Value* value): value(value) { }
|
2008-03-16 19:38:43 +00:00
|
|
|
|
2008-04-18 18:36:57 +00:00
|
|
|
virtual Site* readTarget(Context* c, Read* r, Event* event) {
|
2008-04-18 17:00:55 +00:00
|
|
|
Site* s = targetOrNull(c, value, event);
|
2008-04-18 18:36:57 +00:00
|
|
|
if (s and s->type(c) == RegisterOperand) {
|
2008-04-18 17:00:55 +00:00
|
|
|
return s;
|
2008-04-18 00:39:41 +00:00
|
|
|
} else {
|
2008-04-29 14:59:12 +00:00
|
|
|
for (Site* s = r->value->sites; s; s = s->next) {
|
|
|
|
if (s->type(c) == RegisterOperand) {
|
|
|
|
return s;
|
|
|
|
}
|
|
|
|
}
|
2008-04-18 18:36:57 +00:00
|
|
|
return freeRegister(c, r->size, true);
|
2008-04-18 00:39:41 +00:00
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
2007-12-09 20:03:21 +00:00
|
|
|
|
2008-04-13 18:54:50 +00:00
|
|
|
Value* value;
|
|
|
|
};
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
ValueSite*
|
|
|
|
valueSite(Context* c, Value* v)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(ValueSite))) ValueSite(v);
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-18 17:00:55 +00:00
|
|
|
class MoveSite: public AbstractSite {
|
|
|
|
public:
|
2008-04-19 21:52:45 +00:00
|
|
|
MoveSite(Value* value): value(value) { }
|
2008-04-18 17:00:55 +00:00
|
|
|
|
|
|
|
virtual Site* readTarget(Context* c, Read* read, Event* event) {
|
2008-04-18 17:30:54 +00:00
|
|
|
if (event->next == read->event) {
|
2008-04-18 17:00:55 +00:00
|
|
|
return targetOrNull(c, value, event);
|
|
|
|
} else {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Value* value;
|
|
|
|
};
|
|
|
|
|
|
|
|
MoveSite*
|
|
|
|
moveSite(Context* c, Value* v)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(MoveSite))) MoveSite(v);
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
class AnyRegisterSite: public AbstractSite {
|
2008-04-13 18:54:50 +00:00
|
|
|
public:
|
2008-04-18 17:00:55 +00:00
|
|
|
virtual Site* readTarget(Context* c, Read* r, Event*) {
|
2008-04-18 00:39:41 +00:00
|
|
|
for (Site* s = r->value->sites; s; s = s->next) {
|
|
|
|
if (s->type(c) == RegisterOperand) {
|
2008-04-18 18:36:57 +00:00
|
|
|
return s;
|
2008-04-18 00:39:41 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return freeRegister(c, r->size, true);
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
};
|
2008-04-13 18:54:50 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
AnyRegisterSite*
|
|
|
|
anyRegisterSite(Context* c)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(AnyRegisterSite))) AnyRegisterSite();
|
|
|
|
}
|
|
|
|
|
2008-04-18 18:36:57 +00:00
|
|
|
class ConstantOrRegisterSite: public AbstractSite {
|
|
|
|
public:
|
|
|
|
virtual Site* readTarget(Context* c, Read* r, Event*) {
|
|
|
|
for (Site* s = r->value->sites; s; s = s->next) {
|
|
|
|
OperandType t = s->type(c);
|
|
|
|
if (t == ConstantOperand or t == RegisterOperand) {
|
|
|
|
return s;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return freeRegister(c, r->size, true);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
ConstantOrRegisterSite*
|
|
|
|
constantOrRegisterSite(Context* c)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(ConstantOrRegisterSite)))
|
|
|
|
ConstantOrRegisterSite();
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
Site*
|
|
|
|
pick(Context* c, Site* sites, Site* target = 0, unsigned* cost = 0)
|
|
|
|
{
|
|
|
|
Site* site = 0;
|
|
|
|
unsigned copyCost = 0xFFFFFFFF;
|
|
|
|
for (Site* s = sites; s; s = s->next) {
|
|
|
|
unsigned v = s->copyCost(c, target);
|
|
|
|
if (v < copyCost) {
|
|
|
|
site = s;
|
|
|
|
copyCost = v;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (cost) *cost = copyCost;
|
|
|
|
return site;
|
|
|
|
}
|
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
Site*
|
|
|
|
pushSite(Context* c, unsigned index)
|
|
|
|
{
|
|
|
|
return memorySite
|
|
|
|
(c, c->assembler->base(),
|
|
|
|
- (c->stackOffset + index + 1) * BytesPerWord, NoRegister, 1);
|
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
void
|
2008-04-19 20:41:31 +00:00
|
|
|
pushNow(Context* c, Stack* start, unsigned count)
|
2008-04-17 22:07:32 +00:00
|
|
|
{
|
|
|
|
Stack* segment[count];
|
|
|
|
unsigned index = count;
|
|
|
|
for (Stack* s = start; s and index; s = s->next) {
|
|
|
|
segment[--index] = s;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (unsigned i = 0; i < count; ++i) {
|
|
|
|
Stack* s = segment[i];
|
2008-04-18 03:47:42 +00:00
|
|
|
assert(c, not s->pushed);
|
2008-04-17 22:07:32 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
if (s->value and s->value->sites) {
|
2008-04-26 20:56:03 +00:00
|
|
|
Site* source = pick(c, s->value->sites);
|
|
|
|
|
|
|
|
s->pushSite = pushSite(c, s->index);
|
2008-04-21 00:21:48 +00:00
|
|
|
addSite(c, 0, s->size * BytesPerWord, s->value, s->pushSite);
|
2008-04-26 20:56:03 +00:00
|
|
|
|
|
|
|
apply(c, Push, s->size * BytesPerWord, source);
|
2008-04-17 22:07:32 +00:00
|
|
|
} else {
|
|
|
|
Assembler::Register stack(c->assembler->stack());
|
|
|
|
Assembler::Constant offset(resolved(c, s->size * BytesPerWord));
|
|
|
|
c->assembler->apply
|
|
|
|
(Subtract, BytesPerWord, ConstantOperand, &offset,
|
|
|
|
RegisterOperand, &stack);
|
|
|
|
}
|
|
|
|
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugStack) {
|
|
|
|
fprintf(stderr, "pushed %p value: %p sites: %p\n",
|
|
|
|
s, s->value, s->value->sites);
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
s->pushed = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
void
|
2008-04-19 20:41:31 +00:00
|
|
|
pushNow(Context* c, Stack* start)
|
2008-04-18 03:47:42 +00:00
|
|
|
{
|
|
|
|
unsigned count = 0;
|
|
|
|
for (Stack* s = start; s and (not s->pushed); s = s->next) {
|
|
|
|
++ count;
|
|
|
|
}
|
|
|
|
|
2008-04-19 20:41:31 +00:00
|
|
|
pushNow(c, start, count);
|
2008-04-18 03:47:42 +00:00
|
|
|
}
|
|
|
|
|
2008-04-27 20:15:18 +00:00
|
|
|
bool
|
|
|
|
trySteal(Context* c, int r, Stack* stack)
|
|
|
|
{
|
|
|
|
Value* v = c->registers[r].value;
|
|
|
|
|
|
|
|
assert(c, c->registers[r].refCount == 0);
|
|
|
|
|
|
|
|
if (DebugRegisters) {
|
|
|
|
fprintf(stderr, "try steal %d from %p: next: %p\n",
|
|
|
|
r, v, v->sites->next);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (v->sites->next == 0) {
|
|
|
|
unsigned count = 0;
|
|
|
|
Stack* start = 0;
|
|
|
|
for (Stack* s = stack; s and (not s->pushed); s = s->next) {
|
|
|
|
if (s->value == v) {
|
|
|
|
start = s;
|
|
|
|
}
|
|
|
|
if (start) {
|
|
|
|
++ count;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (start) {
|
|
|
|
pushNow(c, start, count);
|
|
|
|
} else {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
removeSite(c, v, c->registers[r].site);
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2008-04-21 00:21:48 +00:00
|
|
|
bool
|
|
|
|
tryAcquire(Context* c, int r, Stack* stack, unsigned newSize, Value* newValue,
|
|
|
|
Site* newSite)
|
2008-04-17 22:07:32 +00:00
|
|
|
{
|
2008-04-21 00:21:48 +00:00
|
|
|
if (c->registers[r].reserved) return true;
|
2008-04-19 00:19:45 +00:00
|
|
|
|
2008-04-20 00:43:12 +00:00
|
|
|
if (DebugRegisters) {
|
2008-04-21 00:21:48 +00:00
|
|
|
fprintf(stderr, "try acquire %d, value %p, site %p\n",
|
2008-04-20 00:43:12 +00:00
|
|
|
r, newValue, newSite);
|
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
Value* oldValue = c->registers[r].value;
|
2008-04-18 04:16:20 +00:00
|
|
|
if (oldValue
|
|
|
|
and oldValue != newValue
|
|
|
|
and findSite(c, oldValue, c->registers[r].site))
|
|
|
|
{
|
2008-04-27 20:15:18 +00:00
|
|
|
if (not trySteal(c, r, stack)) {
|
|
|
|
return false;
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
c->registers[r].size = newSize;
|
|
|
|
c->registers[r].value = newValue;
|
|
|
|
c->registers[r].site = newSite;
|
2008-04-21 00:21:48 +00:00
|
|
|
|
|
|
|
return true;
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
void
|
|
|
|
release(Context* c, int r)
|
|
|
|
{
|
2008-04-20 00:43:12 +00:00
|
|
|
if (DebugRegisters) {
|
|
|
|
fprintf(stderr, "release %d\n", r);
|
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
c->registers[r].size = 0;
|
|
|
|
c->registers[r].value = 0;
|
|
|
|
c->registers[r].site = 0;
|
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
void
|
2008-04-17 22:07:32 +00:00
|
|
|
apply(Context* c, UnaryOperation op, unsigned size, Site* a)
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
|
|
|
OperandType type = a->type(c);
|
|
|
|
Assembler::Operand* operand = a->asAssemblerOperand(c);
|
2008-03-15 20:24:04 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
c->assembler->apply(op, size, type, operand);
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
void
|
2008-04-17 22:07:32 +00:00
|
|
|
apply(Context* c, BinaryOperation op, unsigned size, Site* a, Site* b)
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
|
|
|
OperandType aType = a->type(c);
|
|
|
|
Assembler::Operand* aOperand = a->asAssemblerOperand(c);
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
OperandType bType = b->type(c);
|
|
|
|
Assembler::Operand* bOperand = b->asAssemblerOperand(c);
|
2008-02-17 22:29:04 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
c->assembler->apply(op, size, aType, aOperand, bType, bOperand);
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-03-11 16:40:28 +00:00
|
|
|
void
|
2008-04-20 19:35:36 +00:00
|
|
|
insertRead(Context* c, Event* thisEvent, int sequence, Value* v,
|
2008-04-17 20:48:26 +00:00
|
|
|
unsigned size, Site* target)
|
2008-03-11 16:40:28 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
Read* r = new (c->zone->allocate(sizeof(Read)))
|
2008-04-17 22:07:32 +00:00
|
|
|
Read(size, v, target, 0, thisEvent, thisEvent->reads);
|
2008-04-17 20:48:26 +00:00
|
|
|
thisEvent->reads = r;
|
|
|
|
|
2008-04-19 20:41:31 +00:00
|
|
|
// fprintf(stderr, "add read %p to %p\n", r, v);
|
2008-04-19 07:03:59 +00:00
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
if (sequence >= 0) {
|
2008-04-17 20:48:26 +00:00
|
|
|
for (Read** p = &(v->reads); *p;) {
|
2008-04-20 19:35:36 +00:00
|
|
|
if ((*p)->event->sequence > static_cast<unsigned>(sequence)) {
|
2008-04-17 20:48:26 +00:00
|
|
|
r->next = *p;
|
|
|
|
*p = r;
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
p = &((*p)->next);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-17 20:48:26 +00:00
|
|
|
if (r->next == 0) {
|
|
|
|
if (v->lastRead) {
|
|
|
|
v->lastRead->next = r;
|
|
|
|
} else {
|
|
|
|
v->reads = r;
|
|
|
|
}
|
|
|
|
v->lastRead = r;
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
2008-04-17 20:48:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
addRead(Context* c, Value* v, unsigned size, Site* target)
|
|
|
|
{
|
2008-04-20 19:35:36 +00:00
|
|
|
insertRead(c, c->logicalCode[c->logicalIp].lastEvent, -1, v, size, target);
|
2008-03-11 16:40:28 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
Site*
|
|
|
|
pushSite(Context*, PushEvent*);
|
|
|
|
|
|
|
|
class PushEvent: public Event {
|
|
|
|
public:
|
2008-04-19 07:03:59 +00:00
|
|
|
PushEvent(Context* c, Stack* s):
|
|
|
|
Event(c), s(s), active(false)
|
2008-04-19 00:19:45 +00:00
|
|
|
{
|
2008-04-19 07:03:59 +00:00
|
|
|
assert(c, s->pushEvent == 0);
|
|
|
|
|
|
|
|
s->pushEvent = this;
|
|
|
|
addRead(c, s->value, s->size * BytesPerWord, pushSite(c, this));
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
2008-04-26 20:56:03 +00:00
|
|
|
fprintf(stderr, "PushEvent.compile active: %d\n", active);
|
2008-04-19 21:52:45 +00:00
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
if (active) {
|
2008-04-19 20:41:31 +00:00
|
|
|
pushNow(c, s);
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
nextRead(c, s->value);
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
|
2008-04-29 14:59:12 +00:00
|
|
|
virtual bool skipMove(unsigned size) {
|
|
|
|
return active and size >= 4;
|
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
Stack* s;
|
2008-04-19 00:19:45 +00:00
|
|
|
bool active;
|
|
|
|
};
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
void
|
|
|
|
push(Context* c, unsigned size, Value* v);
|
|
|
|
|
2008-04-19 20:41:31 +00:00
|
|
|
void
|
|
|
|
ignore(Context* c, unsigned count)
|
|
|
|
{
|
|
|
|
if (count) {
|
|
|
|
Assembler::Register stack(c->assembler->stack());
|
|
|
|
Assembler::Constant offset(resolved(c, count * BytesPerWord));
|
|
|
|
c->assembler->apply
|
|
|
|
(Add, BytesPerWord, ConstantOperand, &offset, RegisterOperand, &stack);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
class CallEvent: public Event {
|
2008-02-11 17:21:41 +00:00
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
CallEvent(Context* c, Value* address, void* indirection, unsigned flags,
|
2008-04-18 04:16:20 +00:00
|
|
|
TraceHandler* traceHandler, Value* result, unsigned resultSize,
|
2008-04-19 00:19:45 +00:00
|
|
|
Stack* argumentStack, unsigned argumentCount):
|
2008-04-17 02:55:38 +00:00
|
|
|
Event(c),
|
|
|
|
address(address),
|
|
|
|
indirection(indirection),
|
|
|
|
traceHandler(traceHandler),
|
2008-04-17 20:48:26 +00:00
|
|
|
result(result),
|
|
|
|
flags(flags),
|
2008-04-18 04:16:20 +00:00
|
|
|
resultSize(resultSize),
|
2008-04-19 00:19:45 +00:00
|
|
|
argumentFootprint(0)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-19 00:19:45 +00:00
|
|
|
Stack* s = argumentStack;
|
2008-04-21 00:21:48 +00:00
|
|
|
unsigned index = 0;
|
2008-04-19 00:19:45 +00:00
|
|
|
for (unsigned i = 0; i < argumentCount; ++i) {
|
|
|
|
Site* target;
|
2008-04-21 00:21:48 +00:00
|
|
|
if (index < c->assembler->argumentRegisterCount()) {
|
2008-04-19 00:19:45 +00:00
|
|
|
target = registerSite
|
2008-04-21 00:21:48 +00:00
|
|
|
(c, c->assembler->argumentRegister(index));
|
2008-04-19 00:19:45 +00:00
|
|
|
} else {
|
|
|
|
target = 0;
|
|
|
|
s->pushEvent->active = true;
|
2008-04-21 00:21:48 +00:00
|
|
|
++ argumentFootprint;
|
2008-04-19 00:19:45 +00:00
|
|
|
}
|
|
|
|
addRead(c, s->value, s->size * BytesPerWord, target);
|
2008-04-21 00:21:48 +00:00
|
|
|
index += s->size;
|
2008-04-19 00:19:45 +00:00
|
|
|
s = s->next;
|
|
|
|
}
|
|
|
|
|
2008-04-20 00:43:12 +00:00
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
|
|
|
addRead(c, s->value, s->size * BytesPerWord, 0);
|
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, address, BytesPerWord,
|
|
|
|
(indirection ? registerSite(c, c->assembler->returnLow()) : 0));
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-12 22:19:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "CallEvent.compile\n");
|
|
|
|
}
|
2008-04-20 00:43:12 +00:00
|
|
|
|
|
|
|
pushNow(c, stack);
|
2008-04-17 02:55:38 +00:00
|
|
|
|
|
|
|
UnaryOperation type = ((flags & Compiler::Aligned) ? AlignedCall : Call);
|
|
|
|
if (indirection) {
|
|
|
|
apply(c, type, BytesPerWord,
|
|
|
|
constantSite(c, reinterpret_cast<intptr_t>(indirection)));
|
|
|
|
} else {
|
|
|
|
apply(c, type, BytesPerWord, address->source);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-12 22:19:13 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
|
|
|
clearSites(c, s->value);
|
|
|
|
}
|
|
|
|
|
2008-04-19 20:41:31 +00:00
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
2008-04-21 00:21:48 +00:00
|
|
|
if (s->pushSite) {
|
|
|
|
addSite(c, 0, s->size * BytesPerWord, s->value, s->pushSite);
|
|
|
|
}
|
2008-04-19 20:41:31 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
for (Read* r = reads; r; r = r->eventNext) {
|
|
|
|
nextRead(c, r->value);
|
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
if (resultSize and result->reads) {
|
2008-04-21 00:21:48 +00:00
|
|
|
addSite(c, 0, resultSize, result, registerSite
|
2008-04-19 00:19:45 +00:00
|
|
|
(c, c->assembler->returnLow(),
|
|
|
|
resultSize > BytesPerWord ?
|
|
|
|
c->assembler->returnHigh() : NoRegister));
|
|
|
|
}
|
2008-04-18 00:39:41 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
if (traceHandler) {
|
|
|
|
traceHandler->handleTrace
|
|
|
|
(new (c->zone->allocate(sizeof(CodePromise)))
|
|
|
|
CodePromise(c, c->assembler->length()));
|
2008-03-16 19:38:43 +00:00
|
|
|
}
|
2008-04-17 20:48:26 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
if (argumentFootprint and ((flags & Compiler::NoReturn) == 0)) {
|
2008-04-19 20:41:31 +00:00
|
|
|
ignore(c, argumentFootprint);
|
2008-04-17 20:48:26 +00:00
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-23 18:48:22 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* address;
|
|
|
|
void* indirection;
|
|
|
|
TraceHandler* traceHandler;
|
|
|
|
Value* result;
|
2008-04-17 20:48:26 +00:00
|
|
|
unsigned flags;
|
2008-04-18 04:16:20 +00:00
|
|
|
unsigned resultSize;
|
2008-04-18 03:47:42 +00:00
|
|
|
unsigned argumentFootprint;
|
2008-02-11 17:21:41 +00:00
|
|
|
};
|
2007-12-12 22:19:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
appendCall(Context* c, Value* address, void* indirection, unsigned flags,
|
2008-04-18 04:16:20 +00:00
|
|
|
TraceHandler* traceHandler, Value* result, unsigned resultSize,
|
2008-04-19 00:19:45 +00:00
|
|
|
Stack* argumentStack, unsigned argumentCount)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendCall\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
new (c->zone->allocate(sizeof(CallEvent)))
|
|
|
|
CallEvent(c, address, indirection, flags, traceHandler, result,
|
2008-04-19 00:19:45 +00:00
|
|
|
resultSize, argumentStack, argumentCount);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-23 18:48:22 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
class ReturnEvent: public Event {
|
2008-02-17 20:57:40 +00:00
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
ReturnEvent(Context* c, unsigned size, Value* value):
|
|
|
|
Event(c), value(value)
|
|
|
|
{
|
|
|
|
if (value) {
|
|
|
|
addRead(c, value, size, registerSite
|
|
|
|
(c, c->assembler->returnLow(),
|
|
|
|
size > BytesPerWord ?
|
|
|
|
c->assembler->returnHigh() : NoRegister));
|
|
|
|
}
|
2008-03-15 20:24:04 +00:00
|
|
|
}
|
|
|
|
|
2008-02-17 20:57:40 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "ReturnEvent.compile\n");
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
if (value) {
|
|
|
|
nextRead(c, value);
|
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
Assembler::Register base(c->assembler->base());
|
|
|
|
Assembler::Register stack(c->assembler->stack());
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
c->assembler->apply(Move, BytesPerWord, RegisterOperand, &base,
|
|
|
|
RegisterOperand, &stack);
|
|
|
|
c->assembler->apply(Pop, BytesPerWord, RegisterOperand, &base);
|
2008-04-17 02:55:38 +00:00
|
|
|
c->assembler->apply(Return);
|
2008-02-17 20:57:40 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* value;
|
2008-02-17 20:57:40 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
void
|
2008-04-17 22:07:32 +00:00
|
|
|
appendReturn(Context* c, unsigned size, Value* value)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendReturn\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
new (c->zone->allocate(sizeof(ReturnEvent))) ReturnEvent(c, size, value);
|
2008-02-17 20:57:40 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
class MoveEvent: public Event {
|
2008-02-11 17:21:41 +00:00
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
MoveEvent(Context* c, BinaryOperation type, unsigned size, Value* src,
|
|
|
|
Value* dst):
|
|
|
|
Event(c), type(type), size(size), src(src), dst(dst)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-18 17:00:55 +00:00
|
|
|
Site* target;
|
|
|
|
if (type == Move and size >= BytesPerWord) {
|
|
|
|
target = moveSite(c, dst);
|
|
|
|
} else {
|
|
|
|
target = 0;
|
|
|
|
}
|
|
|
|
addRead(c, src, size, target);
|
2008-03-15 20:24:04 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "MoveEvent.compile\n");
|
|
|
|
}
|
2008-03-15 20:24:04 +00:00
|
|
|
|
2008-04-18 17:30:54 +00:00
|
|
|
Site* target;
|
2008-04-26 20:56:03 +00:00
|
|
|
unsigned cost;
|
2008-04-18 17:30:54 +00:00
|
|
|
if (type == Move
|
|
|
|
and dst->reads
|
2008-04-29 14:59:12 +00:00
|
|
|
and next == dst->reads->event
|
|
|
|
and dst->reads->event->skipMove(size))
|
2008-04-18 17:30:54 +00:00
|
|
|
{
|
|
|
|
target = src->source;
|
2008-04-26 20:56:03 +00:00
|
|
|
cost = 0;
|
2008-04-18 17:30:54 +00:00
|
|
|
} else {
|
|
|
|
target = targetOrRegister(c, size, dst, this);
|
2008-04-26 20:56:03 +00:00
|
|
|
cost = src->source->copyCost(c, target);
|
2008-04-18 17:00:55 +00:00
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
nextRead(c, src);
|
|
|
|
|
2008-04-28 22:08:31 +00:00
|
|
|
if (dst->reads) {
|
|
|
|
addSite(c, stack, size, dst, target);
|
|
|
|
}
|
|
|
|
|
2008-04-27 20:15:18 +00:00
|
|
|
if (cost) {
|
|
|
|
apply(c, type, size, src->source, target);
|
|
|
|
}
|
|
|
|
|
2008-04-28 22:08:31 +00:00
|
|
|
if (dst->reads == 0) {
|
2008-04-20 19:35:36 +00:00
|
|
|
removeSite(c, dst, target);
|
|
|
|
}
|
2007-12-11 21:26:59 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
BinaryOperation type;
|
2008-02-12 02:06:12 +00:00
|
|
|
unsigned size;
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* src;
|
|
|
|
Value* dst;
|
2008-02-11 17:21:41 +00:00
|
|
|
};
|
2007-12-11 21:26:59 +00:00
|
|
|
|
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
appendMove(Context* c, BinaryOperation type, unsigned size, Value* src,
|
|
|
|
Value* dst)
|
2007-12-11 21:26:59 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendMove\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
new (c->zone->allocate(sizeof(MoveEvent)))
|
|
|
|
MoveEvent(c, type, size, src, dst);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-20 01:42:12 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
class CompareEvent: public Event {
|
2008-02-11 17:21:41 +00:00
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
CompareEvent(Context* c, unsigned size, Value* first, Value* second):
|
|
|
|
Event(c), size(size), first(first), second(second)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, first, size, 0);
|
|
|
|
addRead(c, second, size, 0);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-20 01:42:12 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "CompareEvent.compile\n");
|
|
|
|
}
|
2008-03-15 20:24:04 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
apply(c, Compare, size, first->source, second->source);
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
nextRead(c, first);
|
|
|
|
nextRead(c, second);
|
2007-12-11 21:26:59 +00:00
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
unsigned size;
|
|
|
|
Value* first;
|
|
|
|
Value* second;
|
2008-02-11 17:21:41 +00:00
|
|
|
};
|
2007-12-11 21:26:59 +00:00
|
|
|
|
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
appendCompare(Context* c, unsigned size, Value* first, Value* second)
|
2007-12-11 21:26:59 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendCompare\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
new (c->zone->allocate(sizeof(CompareEvent)))
|
|
|
|
CompareEvent(c, size, first, second);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
class CombineEvent: public Event {
|
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
CombineEvent(Context* c, BinaryOperation type, unsigned size, Value* first,
|
2008-04-28 22:08:31 +00:00
|
|
|
Value* second, Value* result, Assembler::Register* r1,
|
|
|
|
Assembler::Register* r2):
|
2008-04-17 02:55:38 +00:00
|
|
|
Event(c), type(type), size(size), first(first), second(second),
|
|
|
|
result(result)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, first, size,
|
2008-04-28 22:08:31 +00:00
|
|
|
r1->low == NoRegister ?
|
2008-04-18 18:36:57 +00:00
|
|
|
constantOrRegisterSite(c) :
|
2008-04-28 22:08:31 +00:00
|
|
|
static_cast<Site*>(registerSite(c, r1->low, r1->high)));
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, second, size,
|
2008-04-28 22:08:31 +00:00
|
|
|
r2->low == NoRegister ?
|
2008-04-17 22:07:32 +00:00
|
|
|
valueSite(c, result) :
|
2008-04-28 22:08:31 +00:00
|
|
|
static_cast<Site*>(registerSite(c, r2->low, r2->high)));
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-16 23:52:38 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "CombineEvent.compile\n");
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
apply(c, type, size, first->source, second->source);
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
nextRead(c, first);
|
|
|
|
nextRead(c, second);
|
|
|
|
|
2008-04-18 00:39:41 +00:00
|
|
|
removeSite(c, second, second->source);
|
2008-04-21 00:21:48 +00:00
|
|
|
if (result->reads) {
|
|
|
|
addSite(c, 0, size, result, second->source);
|
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-23 18:48:22 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
BinaryOperation type;
|
2008-02-12 02:06:12 +00:00
|
|
|
unsigned size;
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* first;
|
|
|
|
Value* second;
|
2008-04-17 22:07:32 +00:00
|
|
|
Value* result;
|
2008-02-11 17:21:41 +00:00
|
|
|
};
|
2007-12-20 16:02:00 +00:00
|
|
|
|
2008-04-28 22:08:31 +00:00
|
|
|
void
|
|
|
|
appendStackSync(Context* c);
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
appendCombine(Context* c, BinaryOperation type, unsigned size, Value* first,
|
|
|
|
Value* second, Value* result)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-04-28 22:08:31 +00:00
|
|
|
Assembler::Register r1(NoRegister);
|
|
|
|
Assembler::Register r2(NoRegister);
|
|
|
|
bool syncStack;
|
|
|
|
c->assembler->getTargets(type, size, &r1, &r2, &syncStack);
|
|
|
|
|
|
|
|
if (syncStack) {
|
|
|
|
appendStackSync(c);
|
|
|
|
}
|
|
|
|
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendCombine\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
new (c->zone->allocate(sizeof(CombineEvent)))
|
2008-04-28 22:08:31 +00:00
|
|
|
CombineEvent(c, type, size, first, second, result, &r1, &r2);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-20 16:02:00 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
class TranslateEvent: public Event {
|
|
|
|
public:
|
2008-04-17 02:55:38 +00:00
|
|
|
TranslateEvent(Context* c, UnaryOperation type, unsigned size, Value* value,
|
|
|
|
Value* result):
|
|
|
|
Event(c), type(type), size(size), value(value), result(result)
|
2008-02-17 20:57:40 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, value, size, valueSite(c, result));
|
2008-03-15 20:24:04 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "TranslateEvent.compile\n");
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
apply(c, type, size, value->source);
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
nextRead(c, value);
|
|
|
|
|
2008-04-18 00:39:41 +00:00
|
|
|
removeSite(c, value, value->source);
|
2008-04-21 00:21:48 +00:00
|
|
|
if (result->reads) {
|
|
|
|
addSite(c, 0, size, result, value->source);
|
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-20 16:02:00 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
UnaryOperation type;
|
2008-02-12 02:06:12 +00:00
|
|
|
unsigned size;
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* value;
|
|
|
|
Value* result;
|
2008-02-11 17:21:41 +00:00
|
|
|
};
|
2007-12-12 18:59:45 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
appendTranslate(Context* c, UnaryOperation type, unsigned size, Value* value,
|
|
|
|
Value* result)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendTranslate\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
new (c->zone->allocate(sizeof(TranslateEvent)))
|
2008-04-17 02:55:38 +00:00
|
|
|
TranslateEvent(c, type, size, value, result);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-20 16:02:00 +00:00
|
|
|
|
2008-03-15 23:54:20 +00:00
|
|
|
class MemoryEvent: public Event {
|
|
|
|
public:
|
2008-04-17 20:48:26 +00:00
|
|
|
MemoryEvent(Context* c, Value* base, int displacement, Value* index,
|
|
|
|
unsigned scale, Value* result):
|
|
|
|
Event(c), base(base), displacement(displacement), index(index),
|
|
|
|
scale(scale), result(result)
|
2008-03-15 23:54:20 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
addRead(c, base, BytesPerWord, anyRegisterSite(c));
|
|
|
|
if (index) addRead(c, index, BytesPerWord, anyRegisterSite(c));
|
2008-03-15 23:54:20 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "MemoryEvent.compile\n");
|
|
|
|
}
|
2008-04-17 20:48:26 +00:00
|
|
|
|
|
|
|
int indexRegister;
|
|
|
|
if (index) {
|
2008-04-18 00:39:41 +00:00
|
|
|
assert(c, index->source->type(c) == RegisterOperand);
|
|
|
|
indexRegister = static_cast<RegisterSite*>(index->source)->register_.low;
|
2008-04-17 20:48:26 +00:00
|
|
|
} else {
|
|
|
|
indexRegister = NoRegister;
|
|
|
|
}
|
2008-04-18 00:39:41 +00:00
|
|
|
assert(c, base->source->type(c) == RegisterOperand);
|
|
|
|
int baseRegister = static_cast<RegisterSite*>(base->source)->register_.low;
|
2008-04-17 20:48:26 +00:00
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
nextRead(c, base);
|
|
|
|
if (index) {
|
|
|
|
nextRead(c, index);
|
|
|
|
}
|
|
|
|
|
2008-04-19 21:52:45 +00:00
|
|
|
result->target = memorySite
|
|
|
|
(c, baseRegister, displacement, indexRegister, scale);
|
|
|
|
addSite(c, 0, 0, result, result->target);
|
2008-03-15 23:54:20 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* base;
|
2008-04-17 20:48:26 +00:00
|
|
|
int displacement;
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* index;
|
2008-04-17 20:48:26 +00:00
|
|
|
unsigned scale;
|
2008-04-17 02:55:38 +00:00
|
|
|
Value* result;
|
2008-03-15 23:54:20 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
void
|
2008-04-17 20:48:26 +00:00
|
|
|
appendMemory(Context* c, Value* base, int displacement, Value* index,
|
|
|
|
unsigned scale, Value* result)
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendMemory\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
new (c->zone->allocate(sizeof(MemoryEvent)))
|
2008-04-17 20:48:26 +00:00
|
|
|
MemoryEvent(c, base, displacement, index, scale, result);
|
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
Stack*
|
|
|
|
stack(Context* c, Value* value, unsigned size, unsigned index, Stack* next)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(Stack)))
|
|
|
|
Stack(value, size, index, next);
|
|
|
|
}
|
|
|
|
|
2008-04-20 05:23:08 +00:00
|
|
|
Value*
|
2008-04-26 20:56:03 +00:00
|
|
|
value(Context* c, Site* site = 0, Site* target = 0)
|
2008-04-20 05:23:08 +00:00
|
|
|
{
|
2008-04-26 20:56:03 +00:00
|
|
|
return new (c->zone->allocate(sizeof(Value))) Value(site, target);
|
2008-04-20 05:23:08 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
void
|
|
|
|
resetStack(Context* c)
|
|
|
|
{
|
|
|
|
unsigned i = 0;
|
|
|
|
Stack* p = 0;
|
|
|
|
for (Stack* s = c->state->stack; s; s = s->next) {
|
2008-04-26 20:56:03 +00:00
|
|
|
Stack* n = stack(c, value(c), s->size, s->index, 0);
|
|
|
|
n->value->sites = n->pushSite = pushSite(c, s->index);
|
|
|
|
n->pushed = true;
|
2008-04-19 07:03:59 +00:00
|
|
|
|
|
|
|
if (p) {
|
|
|
|
p->next = n;
|
|
|
|
} else {
|
|
|
|
c->state->stack = n;
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
2008-04-19 07:03:59 +00:00
|
|
|
p = n;
|
|
|
|
|
|
|
|
i += s->size;
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
2008-04-20 05:23:08 +00:00
|
|
|
|
|
|
|
c->stackReset = true;
|
2008-04-17 22:07:32 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 20:41:31 +00:00
|
|
|
void
|
|
|
|
popNow(Context* c, Event* event, Stack* stack, unsigned count, bool ignore)
|
|
|
|
{
|
|
|
|
Stack* s = stack;
|
|
|
|
unsigned ignored = 0;
|
|
|
|
for (unsigned i = count; i and s;) {
|
|
|
|
if (s->pushed) {
|
|
|
|
if (s->value->reads and (not ignore)) {
|
|
|
|
::ignore(c, ignored);
|
|
|
|
|
|
|
|
Site* target = targetOrRegister
|
|
|
|
(c, s->size * BytesPerWord, s->value, event);
|
|
|
|
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugStack) {
|
|
|
|
fprintf(stderr, "pop %p value: %p target: %p\n",
|
|
|
|
s, s->value, target);
|
|
|
|
}
|
2008-04-19 20:41:31 +00:00
|
|
|
|
|
|
|
addSite(c, stack, s->size * BytesPerWord, s->value, target);
|
2008-04-26 20:56:03 +00:00
|
|
|
|
|
|
|
apply(c, Pop, BytesPerWord * s->size, target);
|
2008-04-19 20:41:31 +00:00
|
|
|
} else {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugStack) {
|
|
|
|
fprintf(stderr, "ignore %p value: %p\n", s, s->value);
|
|
|
|
}
|
2008-04-19 20:41:31 +00:00
|
|
|
|
|
|
|
ignored += s->size;
|
|
|
|
}
|
|
|
|
|
|
|
|
removeSite(c, s->value, s->pushSite);
|
|
|
|
s->pushSite = 0;
|
|
|
|
s->pushed = false;
|
|
|
|
} else {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugStack) {
|
|
|
|
fprintf(stderr, "%p not pushed\n", s);
|
|
|
|
}
|
2008-04-19 20:41:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
i -= s->size;
|
|
|
|
s = s->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
::ignore(c, ignored);
|
|
|
|
}
|
|
|
|
|
2008-04-17 20:48:26 +00:00
|
|
|
class StackSyncEvent: public Event {
|
|
|
|
public:
|
2008-04-18 03:47:42 +00:00
|
|
|
StackSyncEvent(Context* c):
|
2008-04-17 20:48:26 +00:00
|
|
|
Event(c)
|
|
|
|
{
|
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
2008-04-26 20:56:03 +00:00
|
|
|
if (s->pushEvent) s->pushEvent->active = true;
|
|
|
|
addRead(c, s->value, s->size * BytesPerWord, 0);
|
|
|
|
}
|
2008-04-17 20:48:26 +00:00
|
|
|
}
|
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
StackSyncEvent(Context* c, unsigned sequence, Stack* stack):
|
|
|
|
Event(c, sequence, stack)
|
2008-04-17 20:48:26 +00:00
|
|
|
{
|
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
2008-04-26 20:56:03 +00:00
|
|
|
if (s->pushEvent) s->pushEvent->active = true;
|
|
|
|
insertRead(c, this, sequence, s->value, s->size * BytesPerWord, 0);
|
2008-04-17 20:48:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "StackSyncEvent.compile\n");
|
|
|
|
}
|
2008-04-17 20:48:26 +00:00
|
|
|
|
2008-04-20 00:43:12 +00:00
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
|
|
|
clearSites(c, s->value);
|
|
|
|
}
|
|
|
|
|
|
|
|
for (Stack* s = stack; s; s = s->next) {
|
2008-04-26 20:56:03 +00:00
|
|
|
if (s->pushSite) {
|
|
|
|
addSite(c, 0, s->size * BytesPerWord, s->value, s->pushSite);
|
|
|
|
}
|
2008-04-20 00:43:12 +00:00
|
|
|
}
|
|
|
|
|
2008-04-17 20:48:26 +00:00
|
|
|
for (Read* r = reads; r; r = r->eventNext) {
|
2008-04-19 00:19:45 +00:00
|
|
|
nextRead(c, r->value);
|
2008-04-17 20:48:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
void
|
2008-04-18 03:47:42 +00:00
|
|
|
appendStackSync(Context* c)
|
2008-04-17 20:48:26 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendStackSync\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
|
|
|
new (c->zone->allocate(sizeof(StackSyncEvent))) StackSyncEvent(c);
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
|
|
|
|
2008-04-20 05:23:08 +00:00
|
|
|
class BranchEvent: public Event {
|
|
|
|
public:
|
|
|
|
BranchEvent(Context* c, UnaryOperation type, Value* address):
|
|
|
|
Event(c), type(type), address(address)
|
|
|
|
{
|
|
|
|
addRead(c, address, BytesPerWord, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void compile(Context* c) {
|
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "BranchEvent.compile\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
apply(c, type, BytesPerWord, address->source);
|
|
|
|
|
|
|
|
nextRead(c, address);
|
|
|
|
}
|
|
|
|
|
|
|
|
UnaryOperation type;
|
|
|
|
Value* address;
|
|
|
|
};
|
|
|
|
|
|
|
|
void
|
|
|
|
appendBranch(Context* c, UnaryOperation type, Value* address)
|
|
|
|
{
|
|
|
|
appendStackSync(c);
|
|
|
|
|
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendBranch\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
new (c->zone->allocate(sizeof(BranchEvent))) BranchEvent(c, type, address);
|
|
|
|
|
|
|
|
resetStack(c);
|
|
|
|
}
|
|
|
|
|
2008-04-18 17:30:54 +00:00
|
|
|
class PushSite: public AbstractSite {
|
|
|
|
public:
|
|
|
|
PushSite(PushEvent* event): event(event) { }
|
|
|
|
|
|
|
|
virtual Site* readTarget(Context* c, Read* r, Event* e) {
|
|
|
|
if (r->next and (not event->active)) {
|
|
|
|
return targetOrNull(c, r->next, e);
|
|
|
|
} else {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
PushEvent* event;
|
|
|
|
};
|
|
|
|
|
|
|
|
Site*
|
|
|
|
pushSite(Context* c, PushEvent* e)
|
|
|
|
{
|
|
|
|
return new (c->zone->allocate(sizeof(PushSite))) PushSite(e);
|
|
|
|
}
|
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
void
|
2008-04-19 07:03:59 +00:00
|
|
|
appendPush(Context* c, Stack* s)
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendPush\n");
|
|
|
|
}
|
2008-04-18 00:39:41 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
new (c->zone->allocate(sizeof(PushEvent))) PushEvent(c, s);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
appendPush(Context* c)
|
|
|
|
{
|
|
|
|
appendPush(c, c->state->stack);
|
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
class PopEvent: public Event {
|
|
|
|
public:
|
|
|
|
PopEvent(Context* c, unsigned count, bool ignore):
|
|
|
|
Event(c), count(count), ignore(ignore)
|
|
|
|
{ }
|
|
|
|
|
|
|
|
virtual void compile(Context* c) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, "PopEvent.compile\n");
|
|
|
|
}
|
2008-04-19 00:19:45 +00:00
|
|
|
|
|
|
|
popNow(c, this, stack, count, ignore);
|
|
|
|
}
|
2008-04-18 00:39:41 +00:00
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
unsigned count;
|
|
|
|
bool ignore;
|
|
|
|
};
|
|
|
|
|
|
|
|
void
|
|
|
|
appendPop(Context* c, unsigned count, bool ignore)
|
|
|
|
{
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, "appendPop\n");
|
|
|
|
}
|
2008-04-18 03:47:42 +00:00
|
|
|
|
|
|
|
new (c->zone->allocate(sizeof(PopEvent))) PopEvent(c, count, ignore);
|
|
|
|
}
|
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// void
|
|
|
|
// swapRegisters(Context* c, int* ap, int* bp)
|
|
|
|
// {
|
|
|
|
// Assembler::Register a(*ap);
|
|
|
|
// Assembler::Register b(*bp);
|
|
|
|
|
|
|
|
// c->assembler->apply
|
|
|
|
// (Xor, BytesPerWord, RegisterOperand, &a, RegisterOperand, &b);
|
|
|
|
// c->assembler->apply
|
|
|
|
// (Xor, BytesPerWord, RegisterOperand, &b, RegisterOperand, &a);
|
|
|
|
// c->assembler->apply
|
|
|
|
// (Xor, BytesPerWord, RegisterOperand, &a, RegisterOperand, &b);
|
|
|
|
|
|
|
|
// int t = *ap;
|
|
|
|
// *ap = *bp;
|
|
|
|
// *bp = t;
|
|
|
|
// }
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
Site*
|
2008-04-18 17:00:55 +00:00
|
|
|
readSource(Context* c, Stack* stack, Read* r, Event* e)
|
2008-04-18 03:47:42 +00:00
|
|
|
{
|
2008-04-18 17:00:55 +00:00
|
|
|
Site* target = (r->target ? r->target->readTarget(c, r, e) : 0);
|
2008-04-18 03:47:42 +00:00
|
|
|
|
|
|
|
unsigned copyCost;
|
|
|
|
Site* site = pick(c, r->value->sites, target, ©Cost);
|
|
|
|
|
2008-04-18 00:39:41 +00:00
|
|
|
if (target) {
|
|
|
|
if (copyCost) {
|
2008-04-21 00:21:48 +00:00
|
|
|
if (tryAddSite(c, stack, r->size, r->value, target)) {
|
|
|
|
apply(c, Move, r->size, site, target);
|
|
|
|
return target;
|
|
|
|
} else {
|
2008-04-26 20:56:03 +00:00
|
|
|
abort(c);
|
|
|
|
// // this is a filthy hack, but I think the core idea is right:
|
2008-04-18 00:39:41 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// assert(c, target->type(c) == RegisterOperand);
|
2008-04-18 00:39:41 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// RegisterSite* ts = static_cast<RegisterSite*>(target);
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// for (Site* s = r->value->sites; s; s = s->next) {
|
|
|
|
// if (s->type(c) == RegisterOperand) {
|
|
|
|
// RegisterSite* rs = static_cast<RegisterSite*>(s);
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// RegisterSite* os = static_cast<RegisterSite*>
|
|
|
|
// (c->registers[ts->register_.low].site);
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// assert(c, os->register_.low == ts->register_.low);
|
|
|
|
// assert(c, os->register_.high == NoRegister);
|
|
|
|
// assert(c, ts->register_.high == NoRegister);
|
|
|
|
// assert(c, rs->register_.high == NoRegister);
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// swapRegisters(c, &(os->register_.low), &(rs->register_.low));
|
2008-04-21 00:21:48 +00:00
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
// return rs;
|
|
|
|
// }
|
|
|
|
// }
|
2008-04-21 00:21:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
abort(c);
|
|
|
|
} else {
|
|
|
|
return target;
|
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
} else {
|
2008-04-18 00:39:41 +00:00
|
|
|
return site;
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
2007-12-11 21:26:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
compile(Context* c)
|
2007-12-11 21:26:59 +00:00
|
|
|
{
|
2008-04-17 02:55:38 +00:00
|
|
|
Assembler* a = c->assembler;
|
|
|
|
|
|
|
|
Assembler::Register base(a->base());
|
|
|
|
Assembler::Register stack(a->stack());
|
2008-04-17 22:07:32 +00:00
|
|
|
a->apply(Push, BytesPerWord, RegisterOperand, &base);
|
|
|
|
a->apply(Move, BytesPerWord, RegisterOperand, &stack,
|
|
|
|
RegisterOperand, &base);
|
2008-04-17 02:55:38 +00:00
|
|
|
|
|
|
|
if (c->stackOffset) {
|
|
|
|
Assembler::Constant offset(resolved(c, c->stackOffset * BytesPerWord));
|
2008-04-17 22:07:32 +00:00
|
|
|
a->apply(Subtract, BytesPerWord, ConstantOperand, &offset,
|
|
|
|
RegisterOperand, &stack);
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
for (unsigned i = 0; i < c->logicalCodeLength; ++i) {
|
|
|
|
LogicalInstruction* li = c->logicalCode + i;
|
|
|
|
if (li->firstEvent) {
|
|
|
|
li->machineOffset = a->length();
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugCompile) {
|
|
|
|
fprintf(stderr, " -- ip: %d\n", i);
|
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
for (Event* e = li->firstEvent; e; e = e->next) {
|
2008-04-20 05:23:08 +00:00
|
|
|
if (e->stackReset) {
|
2008-04-27 20:15:18 +00:00
|
|
|
// fprintf(stderr, "stack reset\n");
|
2008-04-20 05:23:08 +00:00
|
|
|
for (Stack* s = e->stack; s; s = s->next) {
|
2008-04-20 19:35:36 +00:00
|
|
|
if (s->value->sites) {
|
|
|
|
assert(c, s->value->sites->next == 0);
|
|
|
|
if (s->value->reads) {
|
2008-04-21 00:21:48 +00:00
|
|
|
expect(c, s->value->sites->tryAcquire
|
|
|
|
(c, 0, s->size * BytesPerWord, s->value));
|
2008-04-20 19:35:36 +00:00
|
|
|
}
|
2008-04-20 05:23:08 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
for (Read* r = e->reads; r; r = r->eventNext) {
|
|
|
|
r->value->source = readSource(c, e->stack, r, e);
|
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
e->compile(c);
|
|
|
|
|
|
|
|
for (CodePromise* p = e->promises; p; p = p->next) {
|
|
|
|
p->offset = a->length();
|
|
|
|
}
|
|
|
|
}
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
|
|
|
}
|
2007-12-12 00:27:04 +00:00
|
|
|
}
|
|
|
|
|
2008-03-15 20:24:04 +00:00
|
|
|
unsigned
|
|
|
|
count(Stack* s)
|
|
|
|
{
|
|
|
|
unsigned c = 0;
|
|
|
|
while (s) {
|
|
|
|
++ c;
|
|
|
|
s = s->next;
|
|
|
|
}
|
|
|
|
return c;
|
|
|
|
}
|
|
|
|
|
2007-12-14 18:27:56 +00:00
|
|
|
void
|
2008-02-11 17:21:41 +00:00
|
|
|
pushState(Context* c)
|
2007-12-14 18:27:56 +00:00
|
|
|
{
|
2008-04-28 15:53:48 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
unsigned count = 0; for (State* s = c->state; s; s = s->next) ++ count;
|
|
|
|
fprintf(stderr, "push at level %d\n", count);
|
|
|
|
count = 0; for (Stack* s = c->state->stack; s; s = s->next) ++ count;
|
|
|
|
fprintf(stderr, "stack count: %d\n", count);
|
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
c->state = new (c->zone->allocate(sizeof(State)))
|
2008-04-27 21:58:29 +00:00
|
|
|
State(c->state, c->state->stack);
|
2007-12-14 18:27:56 +00:00
|
|
|
}
|
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
void
|
|
|
|
saveStack(Context* c)
|
|
|
|
{
|
|
|
|
if (c->logicalIp >= 0 and not c->logicalCode[c->logicalIp].stackSaved) {
|
|
|
|
c->logicalCode[c->logicalIp].stackSaved = true;
|
|
|
|
c->logicalCode[c->logicalIp].stack = c->state->stack;
|
2008-04-28 15:53:48 +00:00
|
|
|
|
|
|
|
if (DebugAppend) {
|
|
|
|
unsigned count = 0;
|
|
|
|
for (Stack* s = c->state->stack; s; s = s->next) ++ count;
|
|
|
|
fprintf(stderr, "stack count after ip %d: %d\n", c->logicalIp, count);
|
|
|
|
}
|
2008-04-20 19:35:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
void
|
|
|
|
popState(Context* c)
|
2007-12-11 23:52:28 +00:00
|
|
|
{
|
2008-02-11 17:21:41 +00:00
|
|
|
c->state = new (c->zone->allocate(sizeof(State)))
|
2008-04-27 21:58:29 +00:00
|
|
|
State(c->state->next->next, c->state->next->stack);
|
|
|
|
|
2008-04-28 15:53:48 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
unsigned count = 0; for (State* s = c->state; s; s = s->next) ++ count;
|
|
|
|
fprintf(stderr, "pop to level %d\n", count);
|
|
|
|
count = 0; for (Stack* s = c->state->stack; s; s = s->next) ++ count;
|
|
|
|
fprintf(stderr, "stack count: %d\n", count);
|
|
|
|
}
|
2008-02-17 20:57:40 +00:00
|
|
|
}
|
|
|
|
|
2008-02-17 22:29:04 +00:00
|
|
|
Stack*
|
2008-04-17 02:55:38 +00:00
|
|
|
stack(Context* c, Value* value, unsigned size, Stack* next)
|
2008-02-17 22:29:04 +00:00
|
|
|
{
|
2008-04-17 22:07:32 +00:00
|
|
|
return stack(c, value, size, (next ? next->index + size : 0), next);
|
2008-02-17 22:29:04 +00:00
|
|
|
}
|
|
|
|
|
2007-12-14 00:27:09 +00:00
|
|
|
void
|
2008-04-17 02:55:38 +00:00
|
|
|
push(Context* c, unsigned size, Value* v)
|
2007-12-12 22:19:13 +00:00
|
|
|
{
|
2008-02-17 20:57:40 +00:00
|
|
|
assert(c, ceiling(size, BytesPerWord));
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
c->state->stack = stack(c, v, ceiling(size, BytesPerWord), c->state->stack);
|
2008-04-18 03:47:42 +00:00
|
|
|
|
|
|
|
appendPush(c);
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-11 23:52:28 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
Value*
|
2008-02-12 02:06:12 +00:00
|
|
|
pop(Context* c, unsigned size UNUSED)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-02-17 20:57:40 +00:00
|
|
|
Stack* s = c->state->stack;
|
|
|
|
assert(c, ceiling(size, BytesPerWord) == s->size);
|
2008-02-12 02:06:12 +00:00
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
appendPop(c, s->size, false);
|
2008-03-09 21:27:51 +00:00
|
|
|
|
2008-02-17 20:57:40 +00:00
|
|
|
c->state->stack = s->next;
|
2008-04-17 02:55:38 +00:00
|
|
|
return s->value;
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2008-03-11 16:40:28 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
void
|
|
|
|
updateJunctions(Context* c)
|
|
|
|
{
|
|
|
|
for (Junction* j = c->junctions; j; j = j->next) {
|
2008-04-20 05:23:08 +00:00
|
|
|
LogicalInstruction* i = c->logicalCode + j->logicalIp;
|
2008-04-20 19:35:36 +00:00
|
|
|
LogicalInstruction* p = i->immediatePredecessor;
|
2008-04-20 05:23:08 +00:00
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
p->lastEvent = p->lastEvent->next
|
|
|
|
= new (c->zone->allocate(sizeof(StackSyncEvent)))
|
|
|
|
StackSyncEvent(c, p->lastEvent->sequence, p->stack);
|
2007-12-11 23:52:28 +00:00
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-11 23:52:28 +00:00
|
|
|
|
2008-04-18 04:16:20 +00:00
|
|
|
bool
|
|
|
|
used(Context* c, int r)
|
|
|
|
{
|
|
|
|
Value* v = c->registers[r].value;
|
2008-04-19 20:41:31 +00:00
|
|
|
// fprintf(stderr, "v: %p found: %d\n",
|
|
|
|
// v, v and findSite(c, v, c->registers[r].site));
|
2008-04-19 00:19:45 +00:00
|
|
|
return v and findSite(c, v, c->registers[r].site);
|
2008-04-18 18:36:57 +00:00
|
|
|
}
|
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
bool
|
|
|
|
usedExclusively(Context* c, int r)
|
|
|
|
{
|
|
|
|
Value* v = c->registers[r].value;
|
|
|
|
return used(c, r) and v->sites->next == 0;
|
|
|
|
}
|
2008-04-18 04:16:20 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
int
|
|
|
|
freeRegisterExcept(Context* c, int except, bool allowAcquired)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-04-18 04:16:20 +00:00
|
|
|
for (int i = c->assembler->registerCount() - 1; i >= 0; --i) {
|
2008-04-17 02:55:38 +00:00
|
|
|
if (i != except
|
2008-04-20 00:43:12 +00:00
|
|
|
and c->registers[i].refCount == 0
|
2008-04-18 04:16:20 +00:00
|
|
|
and (not used(c, i)))
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
|
|
|
return i;
|
|
|
|
}
|
2008-03-13 20:50:56 +00:00
|
|
|
}
|
|
|
|
|
2008-04-27 20:15:18 +00:00
|
|
|
if (allowAcquired) {
|
|
|
|
for (int i = c->assembler->registerCount() - 1; i >= 0; --i) {
|
|
|
|
if (i != except
|
|
|
|
and c->registers[i].refCount == 0
|
|
|
|
and (not usedExclusively(c, i)))
|
|
|
|
{
|
|
|
|
return i;
|
|
|
|
}
|
2008-04-26 20:56:03 +00:00
|
|
|
}
|
2008-04-18 18:36:57 +00:00
|
|
|
|
2008-04-18 04:16:20 +00:00
|
|
|
for (int i = c->assembler->registerCount() - 1; i >= 0; --i) {
|
2008-04-17 02:55:38 +00:00
|
|
|
if (i != except
|
2008-04-20 00:43:12 +00:00
|
|
|
and c->registers[i].refCount == 0)
|
2008-04-17 02:55:38 +00:00
|
|
|
{
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2008-03-13 23:43:11 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
abort(c);
|
|
|
|
}
|
2008-02-12 00:20:32 +00:00
|
|
|
|
2008-04-20 19:35:36 +00:00
|
|
|
void
|
|
|
|
visit(Context* c, unsigned logicalIp)
|
|
|
|
{
|
|
|
|
assert(c, logicalIp < c->logicalCodeLength);
|
|
|
|
|
|
|
|
if (c->logicalIp >= 0 and (not c->stackReset)) {
|
|
|
|
assert(c, c->logicalCode[logicalIp].immediatePredecessor == 0);
|
|
|
|
c->logicalCode[logicalIp].immediatePredecessor
|
|
|
|
= c->logicalCode + c->logicalIp;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
int
|
|
|
|
freeRegister(Context* c, bool allowAcquired)
|
|
|
|
{
|
2008-04-19 00:19:45 +00:00
|
|
|
int r = freeRegisterExcept(c, NoRegister, allowAcquired);
|
2008-04-19 20:41:31 +00:00
|
|
|
// fprintf(stderr, "free reg: %d\n", r);
|
2008-04-19 00:19:45 +00:00
|
|
|
return r;
|
2008-04-17 02:55:38 +00:00
|
|
|
}
|
2008-03-15 23:54:20 +00:00
|
|
|
|
2008-04-17 02:55:38 +00:00
|
|
|
RegisterSite*
|
|
|
|
freeRegister(Context* c, unsigned size, bool allowAcquired)
|
|
|
|
{
|
|
|
|
if (BytesPerWord == 4 and size == 8) {
|
|
|
|
int low = freeRegister(c, allowAcquired);
|
|
|
|
return registerSite(c, low, freeRegisterExcept(c, low, allowAcquired));
|
|
|
|
} else {
|
|
|
|
return registerSite(c, freeRegister(c, allowAcquired));
|
2008-02-11 17:21:41 +00:00
|
|
|
}
|
2007-12-11 23:52:28 +00:00
|
|
|
}
|
|
|
|
|
2008-03-13 23:43:11 +00:00
|
|
|
class Client: public Assembler::Client {
|
|
|
|
public:
|
|
|
|
Client(Context* c): c(c) { }
|
|
|
|
|
2008-04-28 22:08:31 +00:00
|
|
|
virtual int acquireTemporary() {
|
|
|
|
int r = freeRegisterExcept(c, NoRegister, false);
|
2008-04-20 00:43:12 +00:00
|
|
|
increment(c, r);
|
2008-03-13 23:43:11 +00:00
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void releaseTemporary(int r) {
|
2008-04-20 00:43:12 +00:00
|
|
|
decrement(c, r);
|
2008-03-13 23:43:11 +00:00
|
|
|
}
|
|
|
|
|
2008-04-27 20:15:18 +00:00
|
|
|
virtual void save(int r) {
|
|
|
|
if (c->registers[r].refCount or c->registers[r].value) {
|
|
|
|
Assembler::Register operand(r);
|
|
|
|
c->assembler->apply(Push, BytesPerWord, RegisterOperand, &operand);
|
|
|
|
c->registers[r].pushed = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void restore(int r) {
|
|
|
|
if (c->registers[r].pushed) {
|
|
|
|
Assembler::Register operand(r);
|
|
|
|
c->assembler->apply(Pop, BytesPerWord, RegisterOperand, &operand);
|
|
|
|
c->registers[r].pushed = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-03-13 23:43:11 +00:00
|
|
|
Context* c;
|
|
|
|
};
|
|
|
|
|
2007-12-08 23:22:13 +00:00
|
|
|
class MyCompiler: public Compiler {
|
|
|
|
public:
|
2008-02-11 17:21:41 +00:00
|
|
|
MyCompiler(System* s, Assembler* assembler, Zone* zone):
|
2008-03-13 23:43:11 +00:00
|
|
|
c(s, assembler, zone), client(&c)
|
|
|
|
{
|
|
|
|
assembler->setClient(&client);
|
|
|
|
}
|
2007-12-08 23:22:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void pushState() {
|
|
|
|
::pushState(&c);
|
2007-12-16 00:24:15 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void popState() {
|
2008-03-15 20:24:04 +00:00
|
|
|
::popState(&c);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-04-28 15:53:48 +00:00
|
|
|
virtual void saveStack() {
|
|
|
|
::saveStack(&c);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void resetStack() {
|
|
|
|
::resetStack(&c);
|
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void init(unsigned logicalCodeLength, unsigned stackOffset) {
|
|
|
|
c.logicalCodeLength = logicalCodeLength;
|
|
|
|
c.stackOffset = stackOffset;
|
|
|
|
c.logicalCode = static_cast<LogicalInstruction*>
|
|
|
|
(c.zone->allocate(sizeof(LogicalInstruction) * logicalCodeLength));
|
|
|
|
memset(c.logicalCode, 0, sizeof(LogicalInstruction) * logicalCodeLength);
|
2007-12-17 20:55:31 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void visitLogicalIp(unsigned logicalIp) {
|
2008-04-20 19:35:36 +00:00
|
|
|
visit(&c, logicalIp);
|
|
|
|
|
2008-04-20 05:23:08 +00:00
|
|
|
c.stackReset = false;
|
2008-04-20 19:35:36 +00:00
|
|
|
|
|
|
|
if (c.logicalCode[logicalIp].immediatePredecessor) {
|
|
|
|
c.junctions = new (c.zone->allocate(sizeof(Junction)))
|
|
|
|
Junction(logicalIp, c.junctions);
|
|
|
|
}
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void startLogicalIp(unsigned logicalIp) {
|
2008-04-19 21:52:45 +00:00
|
|
|
if (DebugAppend) {
|
|
|
|
fprintf(stderr, " -- ip: %d\n", logicalIp);
|
|
|
|
}
|
2008-04-20 19:35:36 +00:00
|
|
|
|
|
|
|
visit(&c, logicalIp);
|
|
|
|
|
2008-04-28 15:53:48 +00:00
|
|
|
::saveStack(&c);
|
2008-04-20 19:35:36 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
c.logicalIp = logicalIp;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Promise* machineIp(unsigned logicalIp) {
|
|
|
|
return new (c.zone->allocate(sizeof(IpPromise))) IpPromise(&c, logicalIp);
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Promise* poolAppend(intptr_t value) {
|
2008-03-13 20:50:56 +00:00
|
|
|
return poolAppendPromise(resolved(&c, value));
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Promise* poolAppendPromise(Promise* value) {
|
|
|
|
Promise* p = new (c.zone->allocate(sizeof(PoolPromise)))
|
|
|
|
PoolPromise(&c, c.constantCount);
|
2007-12-08 23:22:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
ConstantPoolNode* constant
|
|
|
|
= new (c.zone->allocate(sizeof(ConstantPoolNode)))
|
|
|
|
ConstantPoolNode(value);
|
2007-12-16 00:24:15 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
if (c.firstConstant) {
|
|
|
|
c.lastConstant->next = constant;
|
|
|
|
} else {
|
|
|
|
c.firstConstant = constant;
|
2007-12-16 00:24:15 +00:00
|
|
|
}
|
2008-02-11 17:21:41 +00:00
|
|
|
c.lastConstant = constant;
|
|
|
|
++ c.constantCount;
|
2007-12-12 22:19:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
return p;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* constant(int64_t value) {
|
2008-03-13 20:50:56 +00:00
|
|
|
return promiseConstant(resolved(&c, value));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* promiseConstant(Promise* value) {
|
2008-04-20 19:35:36 +00:00
|
|
|
return ::value(&c, ::constantSite(&c, value));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* address(Promise* address) {
|
2008-04-20 19:35:36 +00:00
|
|
|
return value(&c, ::addressSite(&c, address));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* memory(Operand* base,
|
|
|
|
int displacement = 0,
|
|
|
|
Operand* index = 0,
|
2008-04-13 19:48:20 +00:00
|
|
|
unsigned scale = 1)
|
2008-02-11 17:21:41 +00:00
|
|
|
{
|
2008-04-17 22:07:32 +00:00
|
|
|
Value* result = value(&c);
|
2008-03-15 23:54:20 +00:00
|
|
|
|
2008-04-17 20:48:26 +00:00
|
|
|
appendMemory(&c, static_cast<Value*>(base), displacement,
|
|
|
|
static_cast<Value*>(index), scale, result);
|
2008-03-15 23:54:20 +00:00
|
|
|
|
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* stack() {
|
2008-04-26 20:56:03 +00:00
|
|
|
Site* s = registerSite(&c, c.assembler->stack());
|
|
|
|
return value(&c, s, s);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* base() {
|
2008-04-26 20:56:03 +00:00
|
|
|
Site* s = registerSite(&c, c.assembler->base());
|
|
|
|
return value(&c, s, s);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* thread() {
|
2008-04-26 20:56:03 +00:00
|
|
|
Site* s = registerSite(&c, c.assembler->thread());
|
|
|
|
return value(&c, s, s);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-03-13 20:50:56 +00:00
|
|
|
virtual bool isConstant(Operand* a) {
|
2008-04-17 22:07:32 +00:00
|
|
|
for (Site* s = static_cast<Value*>(a)->sites; s; s = s->next) {
|
|
|
|
if (s->type(&c) == ConstantOperand) return true;
|
|
|
|
}
|
|
|
|
return false;
|
2008-03-13 20:50:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual int64_t constantValue(Operand* a) {
|
2008-04-17 22:07:32 +00:00
|
|
|
for (Site* s = static_cast<Value*>(a)->sites; s; s = s->next) {
|
|
|
|
if (s->type(&c) == ConstantOperand) {
|
|
|
|
return static_cast<ConstantSite*>(s)->value.value->value();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
abort(&c);
|
2008-03-13 20:50:56 +00:00
|
|
|
}
|
|
|
|
|
2007-12-08 23:22:13 +00:00
|
|
|
virtual Operand* label() {
|
2008-04-20 19:35:36 +00:00
|
|
|
return value(&c, ::constantSite(&c, static_cast<Promise*>(0)));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2007-12-31 22:40:56 +00:00
|
|
|
Promise* machineIp() {
|
2008-04-19 07:03:59 +00:00
|
|
|
Event* e = c.logicalCode[c.logicalIp].lastEvent;
|
|
|
|
return e->promises = new (c.zone->allocate(sizeof(CodePromise)))
|
|
|
|
CodePromise(&c, e->promises);
|
2007-12-31 22:40:56 +00:00
|
|
|
}
|
|
|
|
|
2007-12-08 23:22:13 +00:00
|
|
|
virtual void mark(Operand* label) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendStackSync(&c);
|
2008-04-28 15:53:48 +00:00
|
|
|
::resetStack(&c);
|
2008-03-15 23:54:20 +00:00
|
|
|
|
2008-04-17 22:07:32 +00:00
|
|
|
for (Site* s = static_cast<Value*>(label)->sites; s; s = s->next) {
|
|
|
|
if (s->type(&c) == ConstantOperand) {
|
|
|
|
static_cast<ConstantSite*>(s)->value.value = machineIp();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
abort(&c);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-04-26 20:56:03 +00:00
|
|
|
virtual void push(unsigned size) {
|
2008-04-27 20:15:18 +00:00
|
|
|
assert(&c, ceiling(size, BytesPerWord));
|
|
|
|
|
|
|
|
c.state->stack = ::stack
|
|
|
|
(&c, value(&c), ceiling(size, BytesPerWord), c.state->stack);
|
2008-04-26 20:56:03 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void push(unsigned size, Operand* value) {
|
2008-04-17 20:48:26 +00:00
|
|
|
::push(&c, size, static_cast<Value*>(value));
|
2007-12-22 00:26:55 +00:00
|
|
|
}
|
2007-12-09 22:45:43 +00:00
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* pop(unsigned size) {
|
|
|
|
return ::pop(&c, size);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void pushed(unsigned count) {
|
2008-03-15 23:54:20 +00:00
|
|
|
for (unsigned i = 0; i < count; ++i) {
|
2008-04-20 01:08:26 +00:00
|
|
|
Value* v = value(&c);
|
|
|
|
c.state->stack = ::stack(&c, v, 1, c.state->stack);
|
|
|
|
c.state->stack->pushed = true;
|
2008-03-15 23:54:20 +00:00
|
|
|
}
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void popped(unsigned count) {
|
2008-04-18 03:47:42 +00:00
|
|
|
appendPop(&c, count, true);
|
2008-03-15 23:54:20 +00:00
|
|
|
|
|
|
|
for (unsigned i = count; i;) {
|
2008-02-17 20:57:40 +00:00
|
|
|
Stack* s = c.state->stack;
|
|
|
|
c.state->stack = s->next;
|
|
|
|
i -= s->size;
|
2008-02-12 02:06:12 +00:00
|
|
|
}
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-03-09 21:27:51 +00:00
|
|
|
virtual Operand* peek(unsigned size UNUSED, unsigned index) {
|
2008-02-17 20:57:40 +00:00
|
|
|
Stack* s = c.state->stack;
|
|
|
|
for (unsigned i = index; i > 0;) {
|
|
|
|
s = s->next;
|
|
|
|
i -= s->size;
|
|
|
|
}
|
|
|
|
assert(&c, s->size == ceiling(size, BytesPerWord));
|
2008-04-17 20:48:26 +00:00
|
|
|
return s->value;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* call(Operand* address,
|
|
|
|
void* indirection,
|
|
|
|
unsigned flags,
|
|
|
|
TraceHandler* traceHandler,
|
2008-04-18 04:16:20 +00:00
|
|
|
unsigned resultSize,
|
2008-02-11 17:21:41 +00:00
|
|
|
unsigned argumentCount,
|
|
|
|
...)
|
|
|
|
{
|
|
|
|
va_list a; va_start(a, argumentCount);
|
2007-12-11 00:48:09 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
unsigned footprint = 0;
|
2008-02-12 02:06:12 +00:00
|
|
|
unsigned size = BytesPerWord;
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* arguments[argumentCount];
|
|
|
|
unsigned argumentSizes[argumentCount];
|
|
|
|
unsigned index = 0;
|
2008-02-11 17:21:41 +00:00
|
|
|
for (unsigned i = 0; i < argumentCount; ++i) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* o = va_arg(a, Value*);
|
2008-02-12 02:06:12 +00:00
|
|
|
if (o) {
|
2008-04-17 20:48:26 +00:00
|
|
|
arguments[index] = o;
|
|
|
|
argumentSizes[index] = size;
|
2008-02-12 02:06:12 +00:00
|
|
|
size = BytesPerWord;
|
2008-04-17 20:48:26 +00:00
|
|
|
++ index;
|
2008-02-12 02:06:12 +00:00
|
|
|
} else {
|
|
|
|
size = 8;
|
|
|
|
}
|
|
|
|
++ footprint;
|
2007-12-31 22:40:56 +00:00
|
|
|
}
|
2007-12-08 23:22:13 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
va_end(a);
|
2007-12-26 16:56:14 +00:00
|
|
|
|
2008-04-19 07:03:59 +00:00
|
|
|
for (Stack* s = c.state->stack; s; s = s->next) {
|
|
|
|
if (s->pushEvent == 0) {
|
|
|
|
appendPush(&c, s);
|
|
|
|
}
|
|
|
|
s->pushEvent->active = true;
|
|
|
|
}
|
|
|
|
|
2008-04-18 03:47:42 +00:00
|
|
|
Stack* oldStack = c.state->stack;
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
for (int i = argumentCount - 1; i >= 0; --i) {
|
2008-04-18 03:47:42 +00:00
|
|
|
::push(&c, argumentSizes[i], arguments[i]);
|
|
|
|
}
|
|
|
|
|
2008-04-19 00:19:45 +00:00
|
|
|
Stack* argumentStack = c.state->stack;
|
2008-04-18 03:47:42 +00:00
|
|
|
c.state->stack = oldStack;
|
|
|
|
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCall(&c, static_cast<Value*>(address), indirection, flags,
|
2008-04-19 00:19:45 +00:00
|
|
|
traceHandler, result, resultSize, argumentStack,
|
|
|
|
index);
|
2007-12-26 16:56:14 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void return_(unsigned size, Operand* value) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendReturn(&c, size, static_cast<Value*>(value));
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void store(unsigned size, Operand* src, Operand* dst) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendMove(&c, Move, size, static_cast<Value*>(src),
|
|
|
|
static_cast<Value*>(dst));
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* load(unsigned size, Operand* src) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* dst = value(&c);
|
|
|
|
appendMove(&c, Move, size, static_cast<Value*>(src), dst);
|
2008-02-11 17:21:41 +00:00
|
|
|
return dst;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* loadz(unsigned size, Operand* src) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* dst = value(&c);
|
|
|
|
appendMove(&c, MoveZ, size, static_cast<Value*>(src), dst);
|
2008-02-11 17:21:41 +00:00
|
|
|
return dst;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual Operand* load4To8(Operand* src) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* dst = value(&c);
|
2008-04-21 02:50:46 +00:00
|
|
|
appendMove(&c, Move4To8, 8, static_cast<Value*>(src), dst);
|
2008-02-11 17:21:41 +00:00
|
|
|
return dst;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual void cmp(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendCompare(&c, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jl(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfLess, static_cast<Value*>(address));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jg(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfGreater, static_cast<Value*>(address));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jle(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfLessOrEqual, static_cast<Value*>(address));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jge(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfGreaterOrEqual, static_cast<Value*>(address));
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void je(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfEqual, static_cast<Value*>(address));
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jne(Operand* address) {
|
2008-04-17 20:48:26 +00:00
|
|
|
appendBranch(&c, JumpIfNotEqual, static_cast<Value*>(address));
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void jmp(Operand* address) {
|
2008-04-17 22:07:32 +00:00
|
|
|
appendBranch(&c, Jump, static_cast<Value*>(address));
|
2007-12-09 22:45:43 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* add(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Add, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-09 22:45:43 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* sub(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Subtract, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-23 00:00:35 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* mul(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Multiply, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* div(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Divide, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-22 00:26:55 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* rem(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Remainder, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* shl(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, ShiftLeft, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* shr(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, ShiftRight, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-26 16:56:14 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* ushr(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, UnsignedShiftRight, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* and_(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, And, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* or_(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Or, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-12 18:59:45 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* xor_(unsigned size, Operand* a, Operand* b) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendCombine(&c, Xor, size, static_cast<Value*>(a),
|
|
|
|
static_cast<Value*>(b), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-12 02:06:12 +00:00
|
|
|
virtual Operand* neg(unsigned size, Operand* a) {
|
2008-04-17 20:48:26 +00:00
|
|
|
Value* result = value(&c);
|
|
|
|
appendTranslate(&c, Negate, size, static_cast<Value*>(a), result);
|
2008-02-11 17:21:41 +00:00
|
|
|
return result;
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual unsigned compile() {
|
|
|
|
updateJunctions(&c);
|
|
|
|
::compile(&c);
|
|
|
|
return c.assembler->length();
|
2007-12-11 23:52:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual unsigned poolSize() {
|
2008-03-11 16:40:28 +00:00
|
|
|
return c.constantCount * BytesPerWord;
|
2007-12-11 00:48:09 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
virtual void writeTo(uint8_t* dst) {
|
|
|
|
c.machineCode = dst;
|
|
|
|
c.assembler->writeTo(dst);
|
2007-12-11 23:52:28 +00:00
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
int i = 0;
|
|
|
|
for (ConstantPoolNode* n = c.firstConstant; n; n = n->next) {
|
2008-04-20 19:35:36 +00:00
|
|
|
*reinterpret_cast<intptr_t*>(dst + pad(c.assembler->length()) + i)
|
2008-02-11 17:21:41 +00:00
|
|
|
= n->promise->value();
|
2008-04-20 19:35:36 +00:00
|
|
|
i += BytesPerWord;
|
2007-12-16 00:24:15 +00:00
|
|
|
}
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
virtual void dispose() {
|
2008-02-11 17:21:41 +00:00
|
|
|
// ignore
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2007-12-09 20:03:21 +00:00
|
|
|
Context c;
|
2008-03-13 23:43:11 +00:00
|
|
|
Client client;
|
2007-12-08 23:22:13 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
namespace vm {
|
|
|
|
|
|
|
|
Compiler*
|
2008-02-11 17:21:41 +00:00
|
|
|
makeCompiler(System* system, Assembler* assembler, Zone* zone)
|
2007-12-08 23:22:13 +00:00
|
|
|
{
|
2007-12-31 22:40:56 +00:00
|
|
|
return new (zone->allocate(sizeof(MyCompiler)))
|
2008-02-11 17:21:41 +00:00
|
|
|
MyCompiler(system, assembler, zone);
|
2007-12-08 23:22:13 +00:00
|
|
|
}
|
|
|
|
|
2008-02-11 17:21:41 +00:00
|
|
|
} // namespace vm
|