2018-01-24 22:59:00 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2017 Calvin Rose
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to
|
|
|
|
* deal in the Software without restriction, including without limitation the
|
|
|
|
* rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
|
|
|
* sell copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
|
|
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
|
|
|
|
* IN THE SOFTWARE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <dst/dst.h>
|
|
|
|
#include "compile.h"
|
2018-07-01 15:52:15 +00:00
|
|
|
#include "emit.h"
|
2018-07-04 03:07:35 +00:00
|
|
|
#include "vector.h"
|
2018-01-24 22:59:00 +00:00
|
|
|
|
2018-07-01 23:35:45 +00:00
|
|
|
static int fixarity0(DstFopts opts, DstSlot *args) {
|
|
|
|
(void) opts;
|
|
|
|
return dst_v_count(args) == 0;
|
|
|
|
}
|
|
|
|
static int fixarity1(DstFopts opts, DstSlot *args) {
|
|
|
|
(void) opts;
|
|
|
|
return dst_v_count(args) == 1;
|
|
|
|
}
|
|
|
|
static int fixarity2(DstFopts opts, DstSlot *args) {
|
|
|
|
(void) opts;
|
|
|
|
return dst_v_count(args) == 2;
|
2018-07-11 00:01:39 +00:00
|
|
|
}static int fixarity3(DstFopts opts, DstSlot *args) {
|
|
|
|
(void) opts;
|
|
|
|
return dst_v_count(args) == 3;
|
2018-01-24 22:59:00 +00:00
|
|
|
}
|
|
|
|
|
2018-07-01 23:35:45 +00:00
|
|
|
/* Generic hanldling for $A = op $B */
|
|
|
|
static DstSlot genericSS(DstFopts opts, int op, DstSlot s) {
|
|
|
|
DstSlot target = dstc_gettarget(opts);
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_ss(opts.compiler, op, target, s, 1);
|
2018-07-01 23:35:45 +00:00
|
|
|
return target;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Generic hanldling for $A = $B op I */
|
|
|
|
static DstSlot genericSSI(DstFopts opts, int op, DstSlot s, int32_t imm) {
|
|
|
|
DstSlot target = dstc_gettarget(opts);
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_ssi(opts.compiler, op, target, s, imm, 1);
|
2018-07-01 23:35:45 +00:00
|
|
|
return target;
|
|
|
|
}
|
|
|
|
|
2018-07-02 23:53:35 +00:00
|
|
|
/* Emit a series of instructions instead of a function call to a math op */
|
|
|
|
static DstSlot opreduce(
|
|
|
|
DstFopts opts,
|
|
|
|
DstSlot *args,
|
|
|
|
int op,
|
|
|
|
Dst nullary) {
|
|
|
|
DstCompiler *c = opts.compiler;
|
|
|
|
int32_t i, len;
|
|
|
|
len = dst_v_count(args);
|
|
|
|
DstSlot t;
|
|
|
|
if (len == 0) {
|
|
|
|
return dstc_cslot(nullary);
|
|
|
|
} else if (len == 1) {
|
2018-07-04 03:07:35 +00:00
|
|
|
t = dstc_gettarget(opts);
|
|
|
|
dstc_emit_sss(c, op, t, dstc_cslot(nullary), args[0], 1);
|
|
|
|
return t;
|
2018-07-02 23:53:35 +00:00
|
|
|
}
|
|
|
|
t = dstc_gettarget(opts);
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_sss(c, op, t, args[0], args[1], 1);
|
|
|
|
for (i = 2; i < len; i++)
|
|
|
|
dstc_emit_sss(c, op, t, t, args[i], 1);
|
2018-07-02 23:53:35 +00:00
|
|
|
return t;
|
|
|
|
}
|
|
|
|
|
2018-07-02 04:12:36 +00:00
|
|
|
/* Function optimizers */
|
2018-07-01 23:35:45 +00:00
|
|
|
|
|
|
|
static DstSlot do_error(DstFopts opts, DstSlot *args) {
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_s(opts.compiler, DOP_ERROR, args[0], 0);
|
2018-07-01 23:35:45 +00:00
|
|
|
return dstc_cslot(dst_wrap_nil());
|
|
|
|
}
|
|
|
|
static DstSlot do_debug(DstFopts opts, DstSlot *args) {
|
|
|
|
(void)args;
|
|
|
|
dstc_emit(opts.compiler, DOP_SIGNAL | (2 << 24));
|
|
|
|
return dstc_cslot(dst_wrap_nil());
|
|
|
|
}
|
|
|
|
static DstSlot do_get(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_GET, dst_wrap_nil());
|
2018-07-01 23:35:45 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_put(DstFopts opts, DstSlot *args) {
|
2018-07-11 00:01:39 +00:00
|
|
|
dstc_emit_sss(opts.compiler, DOP_PUT, args[0], args[1], args[2], 0);
|
|
|
|
return args[0];
|
2018-07-01 23:35:45 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_length(DstFopts opts, DstSlot *args) {
|
|
|
|
return genericSS(opts, DOP_LENGTH, args[0]);
|
|
|
|
}
|
|
|
|
static DstSlot do_yield(DstFopts opts, DstSlot *args) {
|
|
|
|
return genericSSI(opts, DOP_SIGNAL, args[0], 3);
|
|
|
|
}
|
|
|
|
static DstSlot do_resume(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_RESUME, dst_wrap_nil());
|
2018-07-01 23:35:45 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_apply1(DstFopts opts, DstSlot *args) {
|
|
|
|
/* Push phase */
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_s(opts.compiler, DOP_PUSH_ARRAY, args[1], 0);
|
2018-07-01 23:35:45 +00:00
|
|
|
/* Call phase */
|
|
|
|
DstSlot target;
|
|
|
|
if (opts.flags & DST_FOPTS_TAIL) {
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_s(opts.compiler, DOP_TAILCALL, args[0], 0);
|
2018-07-01 23:35:45 +00:00
|
|
|
target = dstc_cslot(dst_wrap_nil());
|
|
|
|
target.flags |= DST_SLOT_RETURNED;
|
|
|
|
} else {
|
|
|
|
target = dstc_gettarget(opts);
|
2018-07-04 03:07:35 +00:00
|
|
|
dstc_emit_ss(opts.compiler, DOP_CALL, target, args[0], 1);
|
2018-07-01 23:35:45 +00:00
|
|
|
}
|
|
|
|
return target;
|
|
|
|
}
|
2018-07-02 23:53:35 +00:00
|
|
|
|
2018-07-10 01:24:22 +00:00
|
|
|
/* Varidadic operators specialization */
|
2018-07-02 23:53:35 +00:00
|
|
|
|
2018-07-02 04:12:36 +00:00
|
|
|
static DstSlot do_add(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_ADD, dst_wrap_integer(0));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_sub(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_SUBTRACT, dst_wrap_integer(0));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_mul(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_MULTIPLY, dst_wrap_integer(1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_div(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_DIVIDE, dst_wrap_integer(1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_band(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_BAND, dst_wrap_integer(-1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_bor(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_BOR, dst_wrap_integer(0));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_bxor(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_BXOR, dst_wrap_integer(0));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_lshift(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_SHIFT_LEFT, dst_wrap_integer(1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_rshift(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_SHIFT_RIGHT, dst_wrap_integer(1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
|
|
|
static DstSlot do_rshiftu(DstFopts opts, DstSlot *args) {
|
2018-07-02 23:53:35 +00:00
|
|
|
return opreduce(opts, args, DOP_SHIFT_RIGHT, dst_wrap_integer(1));
|
2018-07-02 04:12:36 +00:00
|
|
|
}
|
2018-07-09 03:10:02 +00:00
|
|
|
static DstSlot do_bnot(DstFopts opts, DstSlot *args) {
|
|
|
|
return genericSS(opts, DOP_BNOT, args[0]);
|
|
|
|
}
|
2018-07-01 23:35:45 +00:00
|
|
|
|
2018-07-10 01:24:22 +00:00
|
|
|
/* Specialization for comparators */
|
|
|
|
static DstSlot compreduce(
|
|
|
|
DstFopts opts,
|
|
|
|
DstSlot *args,
|
|
|
|
int op,
|
|
|
|
int invert) {
|
|
|
|
DstCompiler *c = opts.compiler;
|
|
|
|
int32_t i, len;
|
|
|
|
len = dst_v_count(args);
|
|
|
|
int32_t *labels = NULL;
|
|
|
|
DstSlot t;
|
|
|
|
if (len < 2) {
|
|
|
|
return invert
|
|
|
|
? dstc_cslot(dst_wrap_false())
|
|
|
|
: dstc_cslot(dst_wrap_true());
|
|
|
|
}
|
|
|
|
t = dstc_gettarget(opts);
|
|
|
|
for (i = 1; i < len; i++) {
|
|
|
|
dstc_emit_sss(c, op, t, args[i - 1], args[i], 1);
|
|
|
|
if (i != (len - 1)) {
|
|
|
|
int32_t label = dstc_emit_si(c, DOP_JUMP_IF_NOT, t, 0, 1);
|
|
|
|
dst_v_push(labels, label);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
int32_t end = dst_v_count(c->buffer);
|
|
|
|
if (invert) {
|
|
|
|
dstc_emit_si(c, DOP_JUMP_IF, t, 3, 0);
|
|
|
|
dstc_emit_s(c, DOP_LOAD_TRUE, t, 1);
|
|
|
|
dstc_emit(c, DOP_JUMP | (2 << 8));
|
|
|
|
dstc_emit_s(c, DOP_LOAD_FALSE, t, 1);
|
|
|
|
}
|
|
|
|
for (i = 0; i < dst_v_count(labels); i++) {
|
|
|
|
int32_t label = labels[i];
|
|
|
|
c->buffer[label] |= ((end - label) << 16);
|
|
|
|
}
|
|
|
|
dst_v_free(labels);
|
|
|
|
return t;
|
|
|
|
}
|
|
|
|
|
|
|
|
static DstSlot do_order_gt(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_GREATER_THAN, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_order_lt(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_LESS_THAN, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_order_gte(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_LESS_THAN, 1);
|
|
|
|
}
|
|
|
|
static DstSlot do_order_lte(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_GREATER_THAN, 1);
|
|
|
|
}
|
|
|
|
static DstSlot do_order_eq(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_EQUALS, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_order_neq(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_EQUALS, 1);
|
|
|
|
}
|
|
|
|
static DstSlot do_gt(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_GREATER_THAN, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_lt(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_LESS_THAN, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_gte(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_GREATER_THAN_EQUAL, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_lte(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_LESS_THAN_EQUAL, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_eq(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_EQUAL, 0);
|
|
|
|
}
|
|
|
|
static DstSlot do_neq(DstFopts opts, DstSlot *args) {
|
|
|
|
return compreduce(opts, args, DOP_NUMERIC_EQUAL, 1);
|
|
|
|
}
|
|
|
|
|
2018-07-01 23:35:45 +00:00
|
|
|
/* Arranged by tag */
|
|
|
|
static const DstFunOptimizer optimizers[] = {
|
|
|
|
{fixarity0, do_debug},
|
|
|
|
{fixarity1, do_error},
|
|
|
|
{fixarity2, do_apply1},
|
|
|
|
{fixarity1, do_yield},
|
|
|
|
{fixarity2, do_resume},
|
|
|
|
{fixarity2, do_get},
|
2018-07-11 00:01:39 +00:00
|
|
|
{fixarity3, do_put},
|
2018-07-02 04:12:36 +00:00
|
|
|
{fixarity1, do_length},
|
|
|
|
{NULL, do_add},
|
|
|
|
{NULL, do_sub},
|
|
|
|
{NULL, do_mul},
|
|
|
|
{NULL, do_div},
|
|
|
|
{NULL, do_band},
|
|
|
|
{NULL, do_bor},
|
|
|
|
{NULL, do_bxor},
|
|
|
|
{NULL, do_lshift},
|
|
|
|
{NULL, do_rshift},
|
2018-07-09 03:10:02 +00:00
|
|
|
{NULL, do_rshiftu},
|
2018-07-10 01:24:22 +00:00
|
|
|
{fixarity1, do_bnot},
|
|
|
|
{NULL, do_order_gt},
|
|
|
|
{NULL, do_order_lt},
|
|
|
|
{NULL, do_order_gte},
|
|
|
|
{NULL, do_order_lte},
|
|
|
|
{NULL, do_order_eq},
|
|
|
|
{NULL, do_order_neq},
|
|
|
|
{NULL, do_gt},
|
|
|
|
{NULL, do_lt},
|
|
|
|
{NULL, do_gte},
|
|
|
|
{NULL, do_lte},
|
|
|
|
{NULL, do_eq},
|
|
|
|
{NULL, do_neq}
|
2018-07-01 23:35:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
const DstFunOptimizer *dstc_funopt(uint32_t flags) {
|
|
|
|
uint32_t tag = flags & DST_FUNCDEF_FLAG_TAG;
|
2018-07-10 01:24:22 +00:00
|
|
|
if (tag == 0)
|
|
|
|
return NULL;
|
|
|
|
uint32_t index = tag - 1;
|
|
|
|
if (index >= (sizeof(optimizers)/sizeof(optimizers[0])))
|
2018-07-02 04:12:36 +00:00
|
|
|
return NULL;
|
2018-07-10 01:24:22 +00:00
|
|
|
return optimizers + index;
|
2018-07-01 23:35:45 +00:00
|
|
|
}
|
|
|
|
|