@quenk/potoo 4.0.7 → 4.0.11

package/lib/actor/system/vm/op/base.ts

@@ -1,243 +0,0 @@
-import * as error from '../runtime/error';
-
-import { JSThread } from '../thread/shared/js';
-import { Frame, DATA_MAX_SAFE_UINT32 } from '../frame';
-import { Operand } from '.';
-
-/**
- * nop does nothing.
- *
- * Stack:
- *  ->
- */
-export const nop = (_: JSThread, __: Frame, ___: Operand) => {};
-
-/**
- * pushui8 pushes an unsigned 8bit integer onto the stack.
- *
- * Stack:
- * -> <uint8>
- */
-export const pushui8 = (_: JSThread, f: Frame, oper: Operand) => {
-    f.pushUInt8(oper);
-};
-
-/**
- * pushui16 pushes an unsigned 16bit integer onto the stack.
- *
- * Stack:
- *  -> <uint16>
- */
-export const pushui16 = (_: JSThread, f: Frame, oper: Operand) => {
-    f.pushUInt16(oper);
-};
-
-/**
- * pushui32 pushes an unsigned 32bit integer onto the stack.
- *
- * NOTE: In a future revision, the operand may be treated as an index.
- * Stack:
- *  -> <uint32>
- */
-export const pushui32 = (_: JSThread, f: Frame, oper: Operand) => {
-    f.pushUInt32(oper);
-};
-
-/**
- * lds loads a string from the constant pool onto the stack.
- *
- * Stack:
- *  -> <string>
- */
-export const lds = (_: JSThread, f: Frame, idx: Operand) => {
-    f.pushString(idx);
-};
-
-/**
- * ldn loads an info object from the compiled script.
- *
- * -> <value>
- */
-export const ldn = (_: JSThread, f: Frame, idx: Operand) => {
-    f.pushName(idx);
-};
-
-/**
- * dup duplicates the value on top of the data stack.
- *
- * Stack:
- * <any> -> <any>,<any>
- */
-export const dup = (_: JSThread, f: Frame, __: Operand) => {
-    f.duplicate();
-};
-
-/**
- * store the value at the top of the data stack in the variable indicated
- * by idx.
- *
- * Stack:
- * <any> ->
- */
-export const store = (_: JSThread, f: Frame, idx: Operand) => {
-    f.locals[idx] = f.pop();
-};
-
-/**
- * load the value stored at idx in the variables array onto the top of the
- * stack.
- *
- * If the variable is undefined 0 is placed on the stack.
- *
- * Stack:
- *  -> <any>
- */
-export const load = (_: JSThread, f: Frame, idx: Operand) => {
-    let d = f.locals[idx];
-
-    f.push(d == null ? 0 : d);
-};
-
-/**
- * ceq compares two values for equality.
- *
- * Pushes 1 if true, 0 otherwise.
- *
- * Stack:
- *
- * <val1>,<val2> -> <unint32>
- */
-export const ceq = (r: JSThread, f: Frame, __: Operand) => {
-    //TODO: Should null == null or raise an error?
-
-    let eLhs = f.popValue();
-
-    let eRhs = f.popValue();
-
-    if (eLhs.isLeft()) return r.raise(eLhs.takeLeft());
-
-    if (eRhs.isLeft()) return r.raise(eRhs.takeLeft());
-
-    if (eLhs.takeRight() === eRhs.takeRight()) f.push(1);
-    else f.push(0);
-};
-
-/**
- * addui32 treats the top two operands on the data stack as uint32s and adds
- * them.
- *
- * The result is a 32 bit value. If the result is more than MAX_SAFE_INTEGER an
- * IntergerOverflowErr will be raised.
- */
-export const addui32 = (r: JSThread, f: Frame, _: Operand) => {
-    let val = f.pop() + f.pop();
-
-    if (val > DATA_MAX_SAFE_UINT32)
-        return r.raise(new error.IntegerOverflowErr());
-
-    f.push(val);
-};
-
-/**
- * call a function placing its result on the heap.
- *
- * Stack:
- *
- * <arg>...? -> <result>
- */
-export const call = (r: JSThread, f: Frame, _: Operand) => {
-    let einfo = f.popFunction();
-
-    if (einfo.isLeft()) return r.raise(einfo.takeLeft());
-
-    let fn = einfo.takeRight();
-
-    if (fn.foreign === true) {
-        //TODO: This is unsafe but the extent of its effect on overall stability
-        // should be compared to the time taken to ensure each value.
-        //    let args = make(fn.argc || 0, () => f.popValue().takeRight());
-        //       r.invokeForeign(f, <ForeignFunInfo>fn, args);
-    } else {
-        //      r.invokeVM(f, fn);
-    }
-};
-
-/**
- * raise an exception.
- *
- * Stack:
- *
- * <message> ->
- */
-export const raise = (r: JSThread, f: Frame, _: Operand) => {
-    let emsg = f.popString();
-
-    r.raise(new Error(emsg.takeRight()));
-};
-
-/**
- * jmp jumps to the instruction at the specified address.
- *
- * Stack:
- *  ->
- */
-export const jmp = (_: JSThread, f: Frame, oper: Operand) => {
-    f.seek(oper);
-};
-
-/**
- * ifzjmp jumps to the instruction at the specified address if the top
- * of the stack is === 0.
- *
- * Stack:
- *
- * <uint32> ->
- */
-export const ifzjmp = (_: JSThread, f: Frame, oper: Operand) => {
-    let eValue = f.popValue();
-
-    if (eValue.isLeft() || eValue.takeRight() === 0) f.seek(oper);
-};
-
-/**
- * ifnzjmp jumps to the instruction at the specified address if the top
- * of the stack is !== 0.
- *
- * Stack:
- * <uint32> ->
- */
-export const ifnzjmp = (_: JSThread, f: Frame, oper: Operand) => {
-    let eValue = f.popValue();
-
-    if (eValue.isRight() && eValue.takeRight() !== 0) f.seek(oper);
-};
-
-/**
- * ifeqjmp jumps to the instruction at the specified address if the top
- * two elements of the stack are strictly equal to each other.
- * Stack:
- * <any><any> ->
- */
-export const ifeqjmp = (r: JSThread, f: Frame, oper: Operand) => {
-    let eLhs = f.popValue();
-    let eRhs = f.popValue();
-
-    if (eLhs.isLeft()) r.raise(eLhs.takeLeft());
-    else if (eRhs.isLeft()) r.raise(eRhs.takeLeft());
-    else if (eLhs.takeRight() === eRhs.takeRight()) f.seek(oper);
-};
-
-/**
- * ifneqjmp jumps to the instruction at the specified address if the top
- * two elements of the stack are not strictly equal to each other.
- * Stack:
- * <any><any> ->
- */
-export const ifneqjmp = (r: JSThread, f: Frame, oper: Operand) => {
-    let eLhs = f.popValue();
-    let eRhs = f.popValue();
-
-    if (eLhs.isLeft()) r.raise(eLhs.takeLeft());
-    else if (eRhs.isLeft()) r.raise(eRhs.takeLeft());
-    else if (eLhs.takeRight() !== eRhs.takeRight()) f.seek(oper);
-};

package/lib/actor/system/vm/op/index.ts

@@ -1,388 +0,0 @@
-import * as base from './base';
-import * as actor from './actor';
-import * as obj from './object';
-
-import { Record, map } from '@quenk/noni/lib/data/record';
-import { Either } from '@quenk/noni/lib/data/either';
-import { Err } from '@quenk/noni/lib/control/error';
-import { Type } from '@quenk/noni/lib/data/type';
-
-import { JSThread } from '../thread/shared/js';
-import {
-    Frame,
-    DATA_TYPE_INFO,
-    DATA_TYPE_STRING,
-    DATA_TYPE_LOCAL
-} from '../frame';
-import { PTValue } from '../type';
-
-export const OP_CODE_RANGE_LOW = 0x1000000;
-export const OP_CODE_RANGE_HIGH = 0xff000000;
-export const OP_CODE_RANGE_STEP = 0x1000000;
-
-export const OPCODE_MASK = 0xff000000;
-export const OPERAND_MASK = 0x00ffffff;
-export const OPCODE_RANGE_START = 0x1000000;
-export const OPCODE_RANGE_END = 0xff000000;
-export const OPERAND_RANGE_START = 0x0;
-export const OPERAND_RANGE_END = 0xffffff;
-export const MAX_INSTRUCTION = 0xffffffff;
-
-//NOTE: these can only be one of the highest byte in a 32 bit number.
-export const NOP = OP_CODE_RANGE_STEP;
-export const PUSHUI8 = OP_CODE_RANGE_STEP * 2;
-export const PUSHUI16 = OP_CODE_RANGE_STEP * 3;
-export const PUSHUI32 = OP_CODE_RANGE_STEP * 4;
-export const LDS = OP_CODE_RANGE_STEP * 5;
-export const LDN = OP_CODE_RANGE_STEP * 6;
-export const DUP = OP_CODE_RANGE_STEP * 15;
-export const STORE = OP_CODE_RANGE_STEP * 16;
-export const LOAD = OP_CODE_RANGE_STEP * 20;
-export const CEQ = OP_CODE_RANGE_STEP * 42;
-export const ADDUI32 = OP_CODE_RANGE_STEP * 52;
-export const CALL = OP_CODE_RANGE_STEP * 62;
-export const RAISE = OP_CODE_RANGE_STEP * 63;
-export const JMP = OP_CODE_RANGE_STEP * 72;
-export const IFZJMP = OP_CODE_RANGE_STEP * 73;
-export const IFNZJMP = OP_CODE_RANGE_STEP * 80;
-export const IFEQJMP = OP_CODE_RANGE_STEP * 81;
-export const IFNEQJMP = OP_CODE_RANGE_STEP * 82;
-export const ALLOC = OP_CODE_RANGE_STEP * 92;
-export const SEND = OP_CODE_RANGE_STEP * 94;
-export const RECV = OP_CODE_RANGE_STEP * 95;
-export const RECVCOUNT = OP_CODE_RANGE_STEP * 96;
-export const MAILCOUNT = OP_CODE_RANGE_STEP * 97;
-export const MAILDQ = OP_CODE_RANGE_STEP * 98;
-export const SELF = OP_CODE_RANGE_STEP * 99;
-export const STOP = OP_CODE_RANGE_STEP * 101;
-export const GETPROP = OP_CODE_RANGE_STEP * 110;
-export const ARLENGTH = OP_CODE_RANGE_STEP * 111;
-export const ARELM = OP_CODE_RANGE_STEP * 112;
-
-/**
- * Opcode
- */
-export type Opcode = number;
-
-/**
- * Operand
- */
-export type Operand = number;
-
-/**
- * Instruction
- */
-export type Instruction = number;
-
-/**
- * OpcodeHandler
- */
-export type OpcodeHandler = (r: JSThread, f: Frame, o: Operand) => void;
-
-/**
- * OpcodeInfo provides needed details of a single opcode.
- */
-export interface OpcodeInfo {
-    /**
-     * name is the mnemonic for the opcode.
-     */
-    name: string;
-
-    /**
-     * handler is the implementation function.
-     */
-    handler: OpcodeHandler;
-
-    /**
-     * log is a function that is applied to convert the op into an op log
-     * entry.
-     */
-    log: (r: JSThread, f: Frame, oper: Operand) => Type[];
-}
-
-/**
- * OpcodeInfos is a map of opcode numbers to their respective OpCodeInfo objects.
- */
-export interface OpcodeInfos extends Record<OpcodeInfo> {}
-
-/**
- * OpcodeHandlers
- */
-export interface OpcodeHandlers {
-    [key: number]: OpcodeHandler;
-}
-
-/**
- * opcodes
- */
-export const opcodes: OpcodeInfos = {
-    [NOP]: {
-        name: 'nop',
-
-        handler: base.nop,
-
-        log: () => ['nop']
-    },
-
-    [PUSHUI8]: {
-        name: 'pushui8',
-
-        handler: base.pushui8,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['pushui8', oper]
-    },
-
-    [PUSHUI16]: {
-        name: 'pushui16',
-
-        handler: base.pushui16,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['pushui16', oper]
-    },
-
-    [PUSHUI32]: {
-        name: 'pushui32',
-
-        handler: base.pushui32,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['pushui32', oper]
-    },
-
-    [LDS]: {
-        name: 'lds',
-
-        handler: base.lds,
-
-        log: (_: JSThread, f: Frame, oper: Operand) => [
-            'lds',
-            oper,
-            eToLog(f.resolve(DATA_TYPE_STRING | oper))
-        ]
-    },
-
-    [LDN]: {
-        name: 'ldn',
-
-        handler: base.ldn,
-
-        log: (_: JSThread, f: Frame, oper: Operand) => [
-            'ldn',
-            oper,
-            eToLog(f.resolve(DATA_TYPE_INFO | oper))
-        ]
-    },
-
-    [DUP]: {
-        name: 'dup',
-
-        handler: base.dup,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['dup']
-    },
-
-    [STORE]: {
-        name: 'store',
-
-        handler: base.store,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['store', oper]
-    },
-
-    [LOAD]: {
-        name: 'load',
-
-        handler: base.load,
-
-        log: (_: JSThread, f: Frame, oper: Operand) => [
-            'load',
-            oper,
-            eToLog(f.resolve(DATA_TYPE_LOCAL | oper))
-        ]
-    },
-
-    [CEQ]: {
-        name: 'ceq',
-
-        handler: base.ceq,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['ceq']
-    },
-
-    [ADDUI32]: {
-        name: 'addui32',
-
-        handler: base.addui32,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['addui32']
-    },
-
-    [CALL]: {
-        name: 'call',
-
-        handler: base.call,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['call']
-    },
-
-    [RAISE]: {
-        name: 'raise',
-
-        handler: base.raise,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['raise']
-    },
-
-    [JMP]: {
-        name: 'jmp',
-
-        handler: base.jmp,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['jmp', oper]
-    },
-
-    [IFZJMP]: {
-        name: 'ifzjmp',
-
-        handler: base.ifzjmp,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['ifzjmp', oper]
-    },
-
-    [IFNZJMP]: {
-        name: 'ifnzjmp',
-
-        handler: base.ifnzjmp,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['ifnzjmp', oper]
-    },
-
-    [IFEQJMP]: {
-        name: 'ifeqjmp',
-
-        handler: base.ifeqjmp,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['ifeqjmp', oper]
-    },
-
-    [IFNEQJMP]: {
-        name: 'ifneqjmp',
-
-        handler: base.ifneqjmp,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['ifneqjmp', oper]
-    },
-
-    [ALLOC]: {
-        name: 'alloc',
-
-        handler: actor.alloc,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['alloc']
-    },
-
-    [SEND]: {
-        name: 'send',
-
-        handler: actor.send,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['send']
-    },
-
-    [RECV]: {
-        name: 'recv',
-
-        handler: actor.recv,
-
-        log: (_: JSThread, f: Frame, oper: Operand) => [
-            'recv',
-            oper,
-            eToLog(f.resolve(DATA_TYPE_INFO | oper))
-        ]
-    },
-
-    [RECVCOUNT]: {
-        name: 'recvcount',
-
-        handler: actor.recvcount,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['recvcount']
-    },
-
-    [MAILCOUNT]: {
-        name: 'mailcount',
-
-        handler: actor.mailcount,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['mailcount']
-    },
-
-    [MAILDQ]: {
-        name: 'maildq',
-
-        handler: actor.maildq,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['maildq']
-    },
-
-    [SELF]: {
-        name: 'self',
-
-        handler: actor.self,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['self']
-    },
-
-    [STOP]: {
-        name: 'stop',
-
-        handler: actor.stop,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['stop']
-    },
-
-    [GETPROP]: {
-        name: 'getprop',
-
-        handler: obj.getprop,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['getprop', oper]
-    },
-
-    [ARELM]: {
-        name: 'arelm',
-
-        handler: obj.arelm,
-
-        log: (_: JSThread, __: Frame, oper: Operand) => ['arelm', oper]
-    },
-
-    [ARLENGTH]: {
-        name: 'arlength',
-
-        handler: obj.arlength,
-
-        log: (_: JSThread, __: Frame, ___: Operand) => ['arlength']
-    }
-};
-
-const eToLog = (e: Either<Err, PTValue>) =>
-    e.isLeft() ? e.takeLeft().message : e.takeRight();
-
-/**
- * handlers maps opcode numbers to their handler
- */
-export const handlers: OpcodeHandlers = map(opcodes, i => i.handler);
-
-/**
- * toName converts an opcode to it's mnemonic.
- */
-export const toName = (op: Opcode) =>
-    opcodes.hasOwnProperty(op) ? opcodes[op].name : '<unknown>';
-
-/**
- * toLog provides a log line for an op.
- *
- * If the op is invalid an empty line is produced.
- */
-export const toLog = (op: Opcode, r: JSThread, f: Frame, oper: Operand) =>
-    opcodes.hasOwnProperty(op) ? opcodes[op].log(r, f, oper) : [];

package/lib/actor/system/vm/op/object.ts

@@ -1,81 +0,0 @@
-import { JSThread } from '../thread/shared/js';
-import { Frame } from '../frame';
-import { Operand } from '.';
-
-/**
- * getprop retrieves a property from an object.
- *
- * Stack:
- *  <objectref> -> <value>
- */
-export const getprop = (_r: JSThread, f: Frame, _idx: Operand) => {
-    // TODO: This needs to be re-implemented to support user space objects.
-
-    //This should really push the void value instead of 0.
-    f.push(0);
-
-    /*
-    let eobj = f.popObject();
-
-    if (eobj.isLeft()) return r.raise(eobj.takeLeft());
-
-    let obj = eobj.takeRight();
-
-    let mval = obj.get(idx);
-
-    if (mval.isJust()) {
-        f.push(r.vm.objects.intern(f, mval.get()));
-    } else {
-        //TODO: This is a null reference!
-        f.push(0);
-    }*/
-};
-
-/**
- * arlength pushes the length of an array on the top of the stack onto
- * the stack.
- *
- * If the reference at the top of the stack is not an array the value will
- * always be zero.
- *
- * Stack:
- * <arrayref> -> <uint32>
- */
-export const arlength = (r: JSThread, f: Frame, _: Operand) => {
-    let eobj = f.popObject();
-
-    if (eobj.isLeft()) return r.raise(eobj.takeLeft());
-
-    //   let obj = eobj.takeRight();
-
-    // TODO: Implement this.
-    f.push(0);
-};
-
-/**
- * arelm provides the array element at the specified index.
- *
- * If the element is not a primitive it will be placed on the heap.
- *
- * Stack:
- *
- * <arrayref>,<index> -> <element>
- */
-export const arelm = (_r: JSThread, f: Frame, _: Operand) => {
-    //TOOO: Same as getprop.
-    f.push(0);
-    /*
-    let earr = f.popObject();
-  
-    if (earr.isLeft()) return r.raise(earr.takeLeft());
-
-    let arr = earr.takeRight();
-
-    let melm = arr.get(f.pop());
-
-    if (melm.isJust()) {
-        f.push(r.vm.heap.intern(f, melm.get()));
-    } else {
-        f.push(0);
-    }*/
-};