mirror of
https://github.com/aportelli/LatAnalyze.git
synced 2024-11-14 01:45:35 +00:00
MathInterpreter: Replace Instruction polymorphism with bytecode
This commit is contained in:
parent
ccb837a244
commit
269d0c338e
@ -217,146 +217,25 @@ void RunContext::reset(void)
|
|||||||
#define CODE_WIDTH 6
|
#define CODE_WIDTH 6
|
||||||
#define CODE_MOD setw(CODE_WIDTH) << left
|
#define CODE_MOD setw(CODE_WIDTH) << left
|
||||||
|
|
||||||
// Instruction operator ////////////////////////////////////////////////////////
|
auto readConstant(Program::const_iterator ip)
|
||||||
ostream &Latan::operator<<(ostream& out, const Instruction& ins)
|
-> std::tuple<double, Program::const_iterator>
|
||||||
{
|
{
|
||||||
ins.print(out);
|
double value = 0.0;
|
||||||
|
std::copy(ip, ip + sizeof(double), reinterpret_cast<std::uint8_t*>(&value));
|
||||||
|
|
||||||
return out;
|
return std::make_tuple(value, ip + sizeof(double));
|
||||||
}
|
}
|
||||||
|
|
||||||
// Push constructors ///////////////////////////////////////////////////////////
|
auto readAddress(Program::const_iterator ip)
|
||||||
Push::Push(const double val)
|
-> std::tuple<unsigned int, Program::const_iterator>
|
||||||
: type_(ArgType::Constant)
|
|
||||||
, val_(val)
|
|
||||||
, address_(0)
|
|
||||||
, name_("")
|
|
||||||
{}
|
|
||||||
|
|
||||||
Push::Push(const unsigned int address, const string &name)
|
|
||||||
: type_(ArgType::Variable)
|
|
||||||
, val_(0.0)
|
|
||||||
, address_(address)
|
|
||||||
, name_(name)
|
|
||||||
{}
|
|
||||||
|
|
||||||
// Push execution //////////////////////////////////////////////////////////////
|
|
||||||
void Push::operator()(RunContext &context) const
|
|
||||||
{
|
{
|
||||||
if (type_ == ArgType::Constant)
|
unsigned int address = 0.0;
|
||||||
{
|
const auto end = ip + sizeof(unsigned int);
|
||||||
context.stack().push(val_);
|
std::copy(ip, end, reinterpret_cast<std::uint8_t*>(&address));
|
||||||
}
|
|
||||||
else
|
return std::make_tuple(address, end);
|
||||||
{
|
|
||||||
context.stack().push(context.getVariable(address_));
|
|
||||||
}
|
|
||||||
context.incrementInsIndex();
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// Push print //////////////////////////////////////////////////////////////////
|
|
||||||
void Push::print(ostream &out) const
|
|
||||||
{
|
|
||||||
out << CODE_MOD << "push";
|
|
||||||
if (type_ == ArgType::Constant)
|
|
||||||
{
|
|
||||||
out << CODE_MOD << val_;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
out << CODE_MOD << name_ << " @v" << address_;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Pop constructor /////////////////////////////////////////////////////////////
|
|
||||||
Pop::Pop(const unsigned int address, const string &name)
|
|
||||||
: address_(address)
|
|
||||||
, name_(name)
|
|
||||||
{}
|
|
||||||
|
|
||||||
// Pop execution ///////////////////////////////////////////////////////////////
|
|
||||||
void Pop::operator()(RunContext &context) const
|
|
||||||
{
|
|
||||||
if (!name_.empty())
|
|
||||||
{
|
|
||||||
context.setVariable(address_, context.stack().top());
|
|
||||||
}
|
|
||||||
context.stack().pop();
|
|
||||||
context.incrementInsIndex();
|
|
||||||
}
|
|
||||||
|
|
||||||
// Pop print ///////////////////////////////////////////////////////////////////
|
|
||||||
void Pop::print(ostream &out) const
|
|
||||||
{
|
|
||||||
out << CODE_MOD << "pop" << CODE_MOD << name_ << " @v" << address_;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Store constructor ///////////////////////////////////////////////////////////
|
|
||||||
Store::Store(const unsigned int address, const string &name)
|
|
||||||
: address_(address)
|
|
||||||
, name_(name)
|
|
||||||
{}
|
|
||||||
|
|
||||||
// Store execution /////////////////////////////////////////////////////////////
|
|
||||||
void Store::operator()(RunContext &context) const
|
|
||||||
{
|
|
||||||
if (!name_.empty())
|
|
||||||
{
|
|
||||||
context.setVariable(address_, context.stack().top());
|
|
||||||
}
|
|
||||||
context.incrementInsIndex();
|
|
||||||
}
|
|
||||||
|
|
||||||
// Store print /////////////////////////////////////////////////////////////////
|
|
||||||
void Store::print(ostream &out) const
|
|
||||||
{
|
|
||||||
out << CODE_MOD << "store" << CODE_MOD << name_ << " @v" << address_;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Call constructor ////////////////////////////////////////////////////////////
|
|
||||||
Call::Call(const unsigned int address, const string &name)
|
|
||||||
: address_(address)
|
|
||||||
, name_(name)
|
|
||||||
{}
|
|
||||||
|
|
||||||
// Call execution //////////////////////////////////////////////////////////////
|
|
||||||
void Call::operator()(RunContext &context) const
|
|
||||||
{
|
|
||||||
context.stack().push((*context.getFunction(address_))(context.stack()));
|
|
||||||
context.incrementInsIndex();
|
|
||||||
}
|
|
||||||
|
|
||||||
// Call print //////////////////////////////////////////////////////////////////
|
|
||||||
void Call::print(ostream &out) const
|
|
||||||
{
|
|
||||||
out << CODE_MOD << "call" << CODE_MOD << name_ << " @f" << address_;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Math operations /////////////////////////////////////////////////////////////
|
|
||||||
#define DEF_OP(name, nArg, exp, insName)\
|
|
||||||
void name::operator()(RunContext &context) const\
|
|
||||||
{\
|
|
||||||
double x[nArg];\
|
|
||||||
for (int i = 0; i < nArg; ++i)\
|
|
||||||
{\
|
|
||||||
x[nArg-1-i] = context.stack().top();\
|
|
||||||
context.stack().pop();\
|
|
||||||
}\
|
|
||||||
context.stack().push(exp);\
|
|
||||||
context.incrementInsIndex();\
|
|
||||||
}\
|
|
||||||
void name::print(ostream &out) const\
|
|
||||||
{\
|
|
||||||
out << CODE_MOD << insName;\
|
|
||||||
}
|
|
||||||
|
|
||||||
DEF_OP(Neg, 1, -x[0], "neg")
|
|
||||||
DEF_OP(Add, 2, x[0] + x[1], "add")
|
|
||||||
DEF_OP(Sub, 2, x[0] - x[1], "sub")
|
|
||||||
DEF_OP(Mul, 2, x[0]*x[1], "mul")
|
|
||||||
DEF_OP(Div, 2, x[0]/x[1], "div")
|
|
||||||
DEF_OP(Pow, 2, pow(x[0],x[1]), "pow")
|
|
||||||
|
|
||||||
/******************************************************************************
|
/******************************************************************************
|
||||||
* ExprNode implementation *
|
* ExprNode implementation *
|
||||||
******************************************************************************/
|
******************************************************************************/
|
||||||
@ -442,29 +321,35 @@ ostream &Latan::operator<<(ostream &out, const ExprNode &n)
|
|||||||
return out;
|
return out;
|
||||||
}
|
}
|
||||||
|
|
||||||
#define PUSH_INS(program, type, ...)\
|
// Bytecode helper functions ///////////////////////////////////////////////////
|
||||||
program.push_back(unique_ptr<type>(new type(__VA_ARGS__)))
|
void pushInstruction(Program &program, const Instruction instruction) {
|
||||||
#define GET_ADDRESS(address, table, name)\
|
program.push_back(static_cast<std::uint8_t>(instruction));
|
||||||
try\
|
}
|
||||||
{\
|
|
||||||
address = (table).at(name);\
|
void pushAddress(Program &program, const unsigned int address) {
|
||||||
}\
|
const auto address_ptr = reinterpret_cast<const std::uint8_t*>(&address);
|
||||||
catch (out_of_range)\
|
const auto size = sizeof(unsigned int);
|
||||||
{\
|
program.insert(program.end(), address_ptr, address_ptr + size);
|
||||||
address = (table).size();\
|
}
|
||||||
(table)[(name)] = address;\
|
|
||||||
}\
|
void pushConstant(Program &program, const double value) {
|
||||||
|
const auto value_ptr = reinterpret_cast<const std::uint8_t*>(&value);
|
||||||
|
const auto size = sizeof(double);
|
||||||
|
program.insert(program.end(), value_ptr, value_ptr + size);
|
||||||
|
}
|
||||||
|
|
||||||
// VarNode compile /////////////////////////////////////////////////////////////
|
// VarNode compile /////////////////////////////////////////////////////////////
|
||||||
void VarNode::compile(Program &program, RunContext &context) const
|
void VarNode::compile(Program &program, RunContext &context) const
|
||||||
{
|
{
|
||||||
PUSH_INS(program, Push, context.getVariableAddress(getName()), getName());
|
pushInstruction(program, Instruction::LOAD);
|
||||||
|
pushAddress(program, context.getVariableAddress(getName()));
|
||||||
}
|
}
|
||||||
|
|
||||||
// CstNode compile /////////////////////////////////////////////////////////////
|
// CstNode compile /////////////////////////////////////////////////////////////
|
||||||
void CstNode::compile(Program &program, RunContext &context __dumb) const
|
void CstNode::compile(Program &program, RunContext &context __dumb) const
|
||||||
{
|
{
|
||||||
PUSH_INS(program, Push, strTo<double>(getName()));
|
pushInstruction(program, Instruction::CONST);
|
||||||
|
pushConstant(program, strTo<double>(getName()));
|
||||||
}
|
}
|
||||||
|
|
||||||
// SemicolonNode compile ///////////////////////////////////////////////////////
|
// SemicolonNode compile ///////////////////////////////////////////////////////
|
||||||
@ -482,6 +367,10 @@ void SemicolonNode::compile(Program &program, RunContext &context) const
|
|||||||
{
|
{
|
||||||
n[i].compile(program, context);
|
n[i].compile(program, context);
|
||||||
}
|
}
|
||||||
|
// Where a variable has just been assigned, pop it off the stack.
|
||||||
|
if (isAssign) {
|
||||||
|
pushInstruction(program, Instruction::POP);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -492,19 +381,10 @@ void AssignNode::compile(Program &program, RunContext &context) const
|
|||||||
|
|
||||||
if (isDerivedFrom<VarNode>(&n[0]))
|
if (isDerivedFrom<VarNode>(&n[0]))
|
||||||
{
|
{
|
||||||
bool hasSemicolonParent = isDerivedFrom<SemicolonNode>(getParent());
|
|
||||||
unsigned int address;
|
|
||||||
|
|
||||||
n[1].compile(program, context);
|
n[1].compile(program, context);
|
||||||
address = context.addVariable(n[0].getName());
|
const unsigned int address = context.addVariable(n[0].getName());
|
||||||
if (hasSemicolonParent)
|
pushInstruction(program, Instruction::STORE);
|
||||||
{
|
pushAddress(program, address);
|
||||||
PUSH_INS(program, Pop, address, n[0].getName());
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
PUSH_INS(program, Store, address, n[0].getName());
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
@ -519,19 +399,37 @@ void AssignNode::compile(Program &program, RunContext &context) const
|
|||||||
|
|
||||||
void MathOpNode::compile(Program &program, RunContext &context) const
|
void MathOpNode::compile(Program &program, RunContext &context) const
|
||||||
{
|
{
|
||||||
|
#define PUSH_BINARY_OP(op, instruction) \
|
||||||
|
case op: \
|
||||||
|
pushInstruction(program, Instruction::instruction); \
|
||||||
|
break;
|
||||||
|
|
||||||
auto &n = *this;
|
auto &n = *this;
|
||||||
|
|
||||||
for (Index i = 0; i < n.getNArg(); ++i)
|
for (Index i = 0; i < n.getNArg(); ++i)
|
||||||
{
|
{
|
||||||
n[i].compile(program, context);
|
n[i].compile(program, context);
|
||||||
}
|
}
|
||||||
IFNODE("-", 1) PUSH_INS(program, Neg,);
|
if (n.getName() == "-" and n.getNArg() == 1) {
|
||||||
ELIFNODE("+", 2) PUSH_INS(program, Add,);
|
pushInstruction(program, Instruction::NEG);
|
||||||
ELIFNODE("-", 2) PUSH_INS(program, Sub,);
|
return;
|
||||||
ELIFNODE("*", 2) PUSH_INS(program, Mul,);
|
}
|
||||||
ELIFNODE("/", 2) PUSH_INS(program, Div,);
|
|
||||||
ELIFNODE("^", 2) PUSH_INS(program, Pow,);
|
if (getNArg() != 2) {
|
||||||
ELSE LATAN_ERROR(Compilation, "unknown operator '" + getName() + "'");
|
LATAN_ERROR(Compilation, "unknown operator '" + getName() + "'");
|
||||||
|
}
|
||||||
|
|
||||||
|
switch (getName()[0]) {
|
||||||
|
PUSH_BINARY_OP('+', ADD)
|
||||||
|
PUSH_BINARY_OP('-', SUB)
|
||||||
|
PUSH_BINARY_OP('*', MUL)
|
||||||
|
PUSH_BINARY_OP('/', DIV)
|
||||||
|
PUSH_BINARY_OP('^', POW)
|
||||||
|
default:
|
||||||
|
LATAN_ERROR(Compilation, "unknown operator '" + getName() + "'");
|
||||||
|
}
|
||||||
|
|
||||||
|
#undef PUSH_BINARY_OP
|
||||||
}
|
}
|
||||||
|
|
||||||
// FuncNode compile ////////////////////////////////////////////////////////////
|
// FuncNode compile ////////////////////////////////////////////////////////////
|
||||||
@ -543,7 +441,8 @@ void FuncNode::compile(Program &program, RunContext &context) const
|
|||||||
{
|
{
|
||||||
n[i].compile(program, context);
|
n[i].compile(program, context);
|
||||||
}
|
}
|
||||||
PUSH_INS(program, Call, context.getFunctionAddress(getName()), getName());
|
pushInstruction(program, Instruction::CALL);
|
||||||
|
pushAddress(program, context.getFunctionAddress(getName()));
|
||||||
}
|
}
|
||||||
|
|
||||||
// ReturnNode compile ////////////////////////////////////////////////////////////
|
// ReturnNode compile ////////////////////////////////////////////////////////////
|
||||||
@ -552,7 +451,7 @@ void ReturnNode::compile(Program &program, RunContext &context) const
|
|||||||
auto &n = *this;
|
auto &n = *this;
|
||||||
|
|
||||||
n[0].compile(program, context);
|
n[0].compile(program, context);
|
||||||
program.push_back(nullptr);
|
pushInstruction(program, Instruction::RET);
|
||||||
}
|
}
|
||||||
|
|
||||||
/******************************************************************************
|
/******************************************************************************
|
||||||
@ -582,7 +481,7 @@ MathInterpreter::MathInterpreter(const std::string &code)
|
|||||||
// access //////////////////////////////////////////////////////////////////////
|
// access //////////////////////////////////////////////////////////////////////
|
||||||
const Instruction * MathInterpreter::operator[](const Index i) const
|
const Instruction * MathInterpreter::operator[](const Index i) const
|
||||||
{
|
{
|
||||||
return program_[i].get();
|
return reinterpret_cast<const Instruction*>(&program_[i]);
|
||||||
}
|
}
|
||||||
|
|
||||||
const ExprNode * MathInterpreter::getAST(void) const
|
const ExprNode * MathInterpreter::getAST(void) const
|
||||||
@ -592,7 +491,7 @@ const ExprNode * MathInterpreter::getAST(void) const
|
|||||||
|
|
||||||
void MathInterpreter::push(const Instruction *i)
|
void MathInterpreter::push(const Instruction *i)
|
||||||
{
|
{
|
||||||
program_.push_back(unique_ptr<const Instruction>(i));
|
pushInstruction(program_, *i);
|
||||||
}
|
}
|
||||||
|
|
||||||
// initialization //////////////////////////////////////////////////////////////
|
// initialization //////////////////////////////////////////////////////////////
|
||||||
@ -695,7 +594,7 @@ void MathInterpreter::compile(RunContext &context)
|
|||||||
root_->compile(program_, context);
|
root_->compile(program_, context);
|
||||||
for (unsigned int i = 0; i < program_.size(); ++i)
|
for (unsigned int i = 0; i < program_.size(); ++i)
|
||||||
{
|
{
|
||||||
if (!program_[i])
|
if (static_cast<Instruction>(program_[i]) == Instruction::RET)
|
||||||
{
|
{
|
||||||
gotReturn = true;
|
gotReturn = true;
|
||||||
program_.resize(i);
|
program_.resize(i);
|
||||||
@ -726,20 +625,145 @@ void MathInterpreter::operator()(RunContext &context)
|
|||||||
|
|
||||||
void MathInterpreter::execute(RunContext &context) const
|
void MathInterpreter::execute(RunContext &context) const
|
||||||
{
|
{
|
||||||
context.setInsIndex(0);
|
#define BINARY_OP_CASE(instruction, expr) \
|
||||||
while (context.getInsIndex() != program_.size())
|
case Instruction::instruction: { \
|
||||||
{
|
const auto second = context.stack().top(); \
|
||||||
(*(program_[context.getInsIndex()]))(context);
|
context.stack().pop(); \
|
||||||
|
const auto first = context.stack().top(); \
|
||||||
|
context.stack().pop(); \
|
||||||
|
context.stack().push(expr); \
|
||||||
|
break; \
|
||||||
|
}
|
||||||
|
auto ip = program_.begin();
|
||||||
|
|
||||||
|
while (ip != program_.end()) {
|
||||||
|
const auto instruction = static_cast<Instruction>(*ip);
|
||||||
|
ip++;
|
||||||
|
|
||||||
|
switch (instruction) {
|
||||||
|
BINARY_OP_CASE(ADD, first + second)
|
||||||
|
BINARY_OP_CASE(SUB, first - second)
|
||||||
|
BINARY_OP_CASE(MUL, first * second)
|
||||||
|
BINARY_OP_CASE(DIV, first / second)
|
||||||
|
BINARY_OP_CASE(POW, std::pow(first, second))
|
||||||
|
case Instruction::NEG: {
|
||||||
|
const auto operand = context.stack().top();
|
||||||
|
context.stack().pop();
|
||||||
|
context.stack().push(-operand);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::CONST: {
|
||||||
|
double value = 0.0;
|
||||||
|
std::tie(value, ip) = readConstant(ip);
|
||||||
|
context.stack().push(value);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::POP:
|
||||||
|
context.stack().pop();
|
||||||
|
break;
|
||||||
|
case Instruction::LOAD: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
context.stack().push(context.getVariable(address));
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::STORE: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
context.setVariable(address, context.stack().top());
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::CALL: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
auto& stack = context.stack();
|
||||||
|
stack.push((*context.getFunction(address))(stack));
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::RET:
|
||||||
|
break;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#undef BINARY_OP_CASE
|
||||||
|
}
|
||||||
|
|
||||||
|
Program::const_iterator instructionToStream(
|
||||||
|
ostream &out, Program::const_iterator ip)
|
||||||
|
{
|
||||||
|
const auto instruction = static_cast<Instruction>(*ip);
|
||||||
|
ip++;
|
||||||
|
|
||||||
|
switch (instruction) {
|
||||||
|
case Instruction::ADD:
|
||||||
|
out << "ADD";
|
||||||
|
break;
|
||||||
|
case Instruction::SUB:
|
||||||
|
out << "SUB";
|
||||||
|
break;
|
||||||
|
case Instruction::MUL:
|
||||||
|
out << "MUL";
|
||||||
|
break;
|
||||||
|
case Instruction::DIV:
|
||||||
|
out << "DIV";
|
||||||
|
break;
|
||||||
|
case Instruction::POW:
|
||||||
|
out << "POW";
|
||||||
|
break;
|
||||||
|
case Instruction::NEG:
|
||||||
|
out << "NEG";
|
||||||
|
break;
|
||||||
|
case Instruction::CONST: {
|
||||||
|
double value = 0.0;
|
||||||
|
std::tie(value, ip) = readConstant(ip);
|
||||||
|
out << CODE_MOD << setfill(' ') << "CONST" << value;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::POP:
|
||||||
|
out << "POP";
|
||||||
|
break;
|
||||||
|
case Instruction::LOAD: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
out << CODE_MOD << setfill(' ') << "LOAD" << address;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::STORE: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
out << CODE_MOD << setfill(' ') << "STORE" << address;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::CALL: {
|
||||||
|
unsigned int address = 0;
|
||||||
|
std::tie(address, ip) = readAddress(ip);
|
||||||
|
out << CODE_MOD << setfill(' ') << "CALL" << address;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case Instruction::RET:
|
||||||
|
out << "RET";
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
return ip;
|
||||||
|
}
|
||||||
|
|
||||||
|
ostream &programToStream(ostream &out, const Program &program)
|
||||||
|
{
|
||||||
|
auto ip = program.begin();
|
||||||
|
|
||||||
|
while (ip != program.end()) {
|
||||||
|
const auto i = std::distance(program.begin(), ip);
|
||||||
|
cout << setw(4) << setfill('0') << right << i << " ";
|
||||||
|
ip = instructionToStream(out, ip);
|
||||||
|
out << '\n';
|
||||||
|
}
|
||||||
|
|
||||||
|
return out;
|
||||||
}
|
}
|
||||||
|
|
||||||
// IO //////////////////////////////////////////////////////////////////////////
|
// IO //////////////////////////////////////////////////////////////////////////
|
||||||
ostream &Latan::operator<<(ostream &out, const MathInterpreter &program)
|
ostream &Latan::operator<<(ostream &out, const MathInterpreter &program)
|
||||||
{
|
{
|
||||||
for (unsigned int i = 0; i < program.program_.size(); ++i)
|
return programToStream(out, program.program_);
|
||||||
{
|
|
||||||
out << *(program.program_[i]) << endl;
|
|
||||||
}
|
|
||||||
|
|
||||||
return out;
|
|
||||||
}
|
}
|
||||||
|
@ -20,6 +20,8 @@
|
|||||||
#ifndef Latan_MathInterpreter_hpp_
|
#ifndef Latan_MathInterpreter_hpp_
|
||||||
#define Latan_MathInterpreter_hpp_
|
#define Latan_MathInterpreter_hpp_
|
||||||
|
|
||||||
|
#include <cstdint>
|
||||||
|
|
||||||
#include <LatAnalyze/Functional/Function.hpp>
|
#include <LatAnalyze/Functional/Function.hpp>
|
||||||
#include <LatAnalyze/Global.hpp>
|
#include <LatAnalyze/Global.hpp>
|
||||||
#include <LatAnalyze/Core/ParserState.hpp>
|
#include <LatAnalyze/Core/ParserState.hpp>
|
||||||
@ -79,108 +81,26 @@ private:
|
|||||||
* Instruction classes *
|
* Instruction classes *
|
||||||
******************************************************************************/
|
******************************************************************************/
|
||||||
// Abstract base
|
// Abstract base
|
||||||
class Instruction
|
|
||||||
{
|
enum class Instruction : std::uint8_t {
|
||||||
public:
|
ADD,
|
||||||
// destructor
|
SUB,
|
||||||
virtual ~Instruction(void) = default;
|
MUL,
|
||||||
// instruction execution
|
DIV,
|
||||||
virtual void operator()(RunContext &context) const = 0;
|
POW,
|
||||||
friend std::ostream & operator<<(std::ostream &out, const Instruction &ins);
|
NEG,
|
||||||
private:
|
CONST,
|
||||||
virtual void print(std::ostream &out) const = 0;
|
POP,
|
||||||
|
LOAD,
|
||||||
|
STORE,
|
||||||
|
CALL,
|
||||||
|
RET,
|
||||||
};
|
};
|
||||||
|
|
||||||
std::ostream & operator<<(std::ostream &out, const Instruction &ins);
|
std::ostream & operator<<(std::ostream &out, const Instruction &ins);
|
||||||
|
|
||||||
// Instruction container
|
// Instruction container
|
||||||
typedef std::vector<std::unique_ptr<const Instruction>> Program;
|
typedef std::vector<std::uint8_t> Program;
|
||||||
|
|
||||||
// Push
|
|
||||||
class Push: public Instruction
|
|
||||||
{
|
|
||||||
private:
|
|
||||||
enum class ArgType
|
|
||||||
{
|
|
||||||
Constant = 0,
|
|
||||||
Variable = 1
|
|
||||||
};
|
|
||||||
public:
|
|
||||||
//constructors
|
|
||||||
explicit Push(const double val);
|
|
||||||
explicit Push(const unsigned int address, const std::string &name);
|
|
||||||
// instruction execution
|
|
||||||
virtual void operator()(RunContext &context) const;
|
|
||||||
private:
|
|
||||||
virtual void print(std::ostream& out) const;
|
|
||||||
private:
|
|
||||||
ArgType type_;
|
|
||||||
double val_;
|
|
||||||
unsigned int address_;
|
|
||||||
std::string name_;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Pop
|
|
||||||
class Pop: public Instruction
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
//constructor
|
|
||||||
explicit Pop(const unsigned int address, const std::string &name);
|
|
||||||
// instruction execution
|
|
||||||
virtual void operator()(RunContext &context) const;
|
|
||||||
private:
|
|
||||||
virtual void print(std::ostream& out) const;
|
|
||||||
private:
|
|
||||||
unsigned int address_;
|
|
||||||
std::string name_;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Store
|
|
||||||
class Store: public Instruction
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
//constructor
|
|
||||||
explicit Store(const unsigned int address, const std::string &name);
|
|
||||||
// instruction execution
|
|
||||||
virtual void operator()(RunContext &context) const;
|
|
||||||
private:
|
|
||||||
virtual void print(std::ostream& out) const;
|
|
||||||
private:
|
|
||||||
unsigned int address_;
|
|
||||||
std::string name_;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Call function
|
|
||||||
class Call: public Instruction
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
//constructor
|
|
||||||
explicit Call(const unsigned int address, const std::string &name);
|
|
||||||
// instruction execution
|
|
||||||
virtual void operator()(RunContext &context) const;
|
|
||||||
private:
|
|
||||||
virtual void print(std::ostream& out) const;
|
|
||||||
private:
|
|
||||||
unsigned int address_;
|
|
||||||
std::string name_;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Floating point operations
|
|
||||||
#define DECL_OP(name)\
|
|
||||||
class name: public Instruction\
|
|
||||||
{\
|
|
||||||
public:\
|
|
||||||
virtual void operator()(RunContext &context) const;\
|
|
||||||
private:\
|
|
||||||
virtual void print(std::ostream &out) const;\
|
|
||||||
}
|
|
||||||
|
|
||||||
DECL_OP(Neg);
|
|
||||||
DECL_OP(Add);
|
|
||||||
DECL_OP(Sub);
|
|
||||||
DECL_OP(Mul);
|
|
||||||
DECL_OP(Div);
|
|
||||||
DECL_OP(Pow);
|
|
||||||
|
|
||||||
/******************************************************************************
|
/******************************************************************************
|
||||||
* Expression node classes *
|
* Expression node classes *
|
||||||
|
Loading…
Reference in New Issue
Block a user