Gavin Howard | 6556eed | 2018-02-27 17:10:27 -0700 | [diff] [blame] | 1 | /* |
Gavin Howard | b5904bf | 2018-02-20 13:28:18 -0700 | [diff] [blame] | 2 | * ***************************************************************************** |
Gavin Howard | 5715b04 | 2018-02-12 16:11:42 -0700 | [diff] [blame] | 3 | * |
Gavin Howard | b5904bf | 2018-02-20 13:28:18 -0700 | [diff] [blame] | 4 | * Copyright 2018 Gavin D. Howard |
Gavin Howard | 5715b04 | 2018-02-12 16:11:42 -0700 | [diff] [blame] | 5 | * |
| 6 | * Permission to use, copy, modify, and/or distribute this software for any |
| 7 | * purpose with or without fee is hereby granted. |
| 8 | * |
| 9 | * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH |
| 10 | * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY |
| 11 | * AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, |
| 12 | * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM |
| 13 | * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR |
| 14 | * OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
| 15 | * PERFORMANCE OF THIS SOFTWARE. |
| 16 | * |
Gavin Howard | b5904bf | 2018-02-20 13:28:18 -0700 | [diff] [blame] | 17 | * ***************************************************************************** |
Gavin Howard | 5715b04 | 2018-02-12 16:11:42 -0700 | [diff] [blame] | 18 | * |
| 19 | * Code to execute bc programs. |
| 20 | * |
| 21 | */ |
| 22 | |
Gavin Howard | 27fdfb9 | 2018-03-21 07:56:59 -0600 | [diff] [blame] | 23 | #include <assert.h> |
Gavin Howard | 411f732 | 2018-09-26 17:21:19 -0600 | [diff] [blame] | 24 | #include <stdbool.h> |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 25 | #include <string.h> |
| 26 | |
Gavin Howard | 82cdc6f | 2018-02-20 14:23:19 -0700 | [diff] [blame] | 27 | #include <unistd.h> |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 28 | |
Gavin Howard | a54cabf | 2018-03-28 14:50:33 -0600 | [diff] [blame] | 29 | #include <io.h> |
Gavin Howard | 13ccc4a | 2018-02-15 14:09:41 -0700 | [diff] [blame] | 30 | #include <parse.h> |
Gavin Howard | d2a0525 | 2018-09-27 14:00:40 -0600 | [diff] [blame] | 31 | #include <program.h> |
Gavin Howard | d555167 | 2018-09-22 19:52:42 -0600 | [diff] [blame] | 32 | #include <vm.h> |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 33 | |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 34 | BcStatus bc_program_search(BcProgram *p, BcResult *r, BcVec **ret, bool var) { |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 35 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 36 | BcStatus s; |
| 37 | BcEntry entry, *entry_ptr; |
| 38 | BcVec *vec; |
| 39 | BcVecO *veco; |
| 40 | size_t idx, ip_idx; |
| 41 | BcAuto *a; |
| 42 | // We use this because it has a union of BcNum and BcVec. |
| 43 | BcResult data; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 44 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 45 | for (ip_idx = 0; ip_idx < p->stack.len - 1; ++ip_idx) { |
Gavin Howard | 97eb856 | 2018-03-21 08:04:29 -0600 | [diff] [blame] | 46 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 47 | BcFunc *func; |
| 48 | BcInstPtr *ip = bc_vec_item_rev(&p->stack, ip_idx); |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 49 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 50 | if (ip->func == BC_PROG_READ || ip->func == BC_PROG_MAIN) continue; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 51 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 52 | func = bc_vec_item(&p->fns, ip->func); |
Gavin Howard | 4b9bb2b | 2018-03-23 08:11:11 -0600 | [diff] [blame] | 53 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 54 | for (idx = 0; idx < func->autos.len; ++idx) { |
Gavin Howard | 4b9bb2b | 2018-03-23 08:11:11 -0600 | [diff] [blame] | 55 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 56 | a = bc_vec_item(&func->autos, idx); |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 57 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 58 | if (!strcmp(a->name, r->data.id.name)) { |
Gavin Howard | 3898d19 | 2018-03-14 20:44:33 -0600 | [diff] [blame] | 59 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 60 | BcResult *r = bc_vec_item(&p->results, ip->len + idx); |
Gavin Howard | 3898d19 | 2018-03-14 20:44:33 -0600 | [diff] [blame] | 61 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 62 | if (!a->var != !var) return BC_STATUS_EXEC_BAD_TYPE; |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 63 | *ret = &r->data.array; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 64 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 65 | return BC_STATUS_SUCCESS; |
| 66 | } |
| 67 | } |
| 68 | } |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 69 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 70 | vec = var ? &p->vars : &p->arrs; |
| 71 | veco = var ? &p->var_map : &p->arr_map; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 72 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 73 | entry.name = r->data.id.name; |
| 74 | entry.idx = vec->len; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 75 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 76 | s = bc_veco_insert(veco, &entry, &idx); |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 77 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 78 | if (s != BC_STATUS_VEC_ITEM_EXISTS) { |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 79 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 80 | if (s) return s; |
Gavin Howard | a1ff02f | 2018-03-07 12:32:25 -0700 | [diff] [blame] | 81 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 82 | if (!(r->data.id.name = strdup(entry.name))) return BC_STATUS_ALLOC_ERR; |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 83 | if ((s = bc_array_init(&data.data.array))) goto num_err; |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 84 | if ((s = bc_vec_push(vec, &data.data.array))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 85 | } |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 86 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 87 | entry_ptr = bc_veco_item(veco, idx); |
| 88 | *ret = bc_vec_item(vec, entry_ptr->idx); |
| 89 | |
| 90 | return BC_STATUS_SUCCESS; |
Gavin Howard | 3729646 | 2018-09-07 15:57:03 -0600 | [diff] [blame] | 91 | |
| 92 | err: |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 93 | bc_array_free(&data.data.array); |
Gavin Howard | 3729646 | 2018-09-07 15:57:03 -0600 | [diff] [blame] | 94 | num_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 95 | free(r->data.id.name); |
| 96 | return s; |
Gavin Howard | 3affc80 | 2018-02-27 19:57:38 -0700 | [diff] [blame] | 97 | } |
| 98 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 99 | BcStatus bc_program_num(BcProgram *p, BcResult *r, BcNum **num, bool hex) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 100 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 101 | BcStatus s = BC_STATUS_SUCCESS; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 102 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 103 | switch (r->type) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 104 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 105 | case BC_RESULT_TEMP: |
| 106 | case BC_RESULT_SCALE: |
| 107 | { |
| 108 | *num = &r->data.num; |
| 109 | break; |
| 110 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 111 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 112 | case BC_RESULT_CONSTANT: |
| 113 | { |
| 114 | char **str = bc_vec_item(&p->consts, r->data.id.idx); |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 115 | size_t base_t, len = strlen(*str); |
| 116 | BcNum *base; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 117 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 118 | if ((s = bc_num_init(&r->data.num, len))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 119 | |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 120 | hex = hex && len == 1; |
| 121 | base = hex ? &p->hexb : &p->ib; |
| 122 | base_t = hex ? BC_NUM_MAX_IBASE : p->ib_t; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 123 | |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 124 | if ((s = bc_num_parse(&r->data.num, *str, base, base_t))) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 125 | bc_num_free(&r->data.num); |
| 126 | return s; |
| 127 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 128 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 129 | *num = &r->data.num; |
| 130 | r->type = BC_RESULT_TEMP; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 131 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 132 | break; |
| 133 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 134 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 135 | case BC_RESULT_VAR: |
| 136 | case BC_RESULT_ARRAY: |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 137 | case BC_RESULT_ARRAY_ELEM: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 138 | { |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 139 | BcVec *v; |
| 140 | |
| 141 | s = bc_program_search(p, r, &v, r->type == BC_RESULT_VAR); |
| 142 | if (s) return s; |
| 143 | |
| 144 | if (r->type == BC_RESULT_ARRAY_ELEM) { |
| 145 | |
| 146 | if (v->len <= r->data.id.idx) { |
| 147 | if ((s = bc_array_expand(v, r->data.id.idx + 1))) return s; |
| 148 | } |
| 149 | |
| 150 | *num = bc_vec_item(v, r->data.id.idx); |
| 151 | } |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 152 | else if (r->type == BC_RESULT_VAR) *num = bc_vec_top(v); |
Gavin Howard | 13ab015 | 2018-09-27 11:46:55 -0600 | [diff] [blame] | 153 | else *num = (BcNum*) v; |
| 154 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 155 | break; |
| 156 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 157 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 158 | case BC_RESULT_LAST: |
| 159 | { |
| 160 | *num = &p->last; |
| 161 | break; |
| 162 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 163 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 164 | case BC_RESULT_IBASE: |
| 165 | { |
| 166 | *num = &p->ib; |
| 167 | break; |
| 168 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 169 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 170 | case BC_RESULT_OBASE: |
| 171 | { |
| 172 | *num = &p->ob; |
| 173 | break; |
| 174 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 175 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 176 | case BC_RESULT_ONE: |
| 177 | { |
| 178 | *num = &p->one; |
| 179 | break; |
| 180 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 181 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 182 | default: |
| 183 | { |
| 184 | // This is here to prevent compiler warnings in release mode. |
| 185 | *num = &r->data.num; |
| 186 | assert(false); |
| 187 | break; |
| 188 | } |
| 189 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 190 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 191 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 192 | } |
Gavin Howard | 6d89b5d | 2018-02-26 13:21:34 -0700 | [diff] [blame] | 193 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 194 | BcStatus bc_program_binOpPrep(BcProgram *p, BcResult **left, BcNum **lval, |
| 195 | BcResult **right, BcNum **rval, bool assign) |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 196 | { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 197 | BcStatus s; |
| 198 | bool hex; |
| 199 | BcResultType lt, rt; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 200 | |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 201 | assert(p && left && lval && right && rval); |
| 202 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 203 | if (!BC_PROG_CHECK_STACK(&p->results, 2)) return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 204 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 205 | *right = bc_vec_item_rev(&p->results, 0); |
| 206 | *left = bc_vec_item_rev(&p->results, 1); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 207 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 208 | lt = (*left)->type; |
| 209 | rt = (*right)->type; |
| 210 | hex = assign && (lt == BC_RESULT_IBASE || lt == BC_RESULT_OBASE); |
Gavin Howard | c498761 | 2018-09-21 13:14:09 -0600 | [diff] [blame] | 211 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 212 | if (lt == BC_RESULT_ARRAY || lt == BC_RESULT_ARRAY_AUTO || |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 213 | lt == BC_RESULT_STRING || rt == BC_RESULT_STRING || |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 214 | rt == BC_RESULT_ARRAY || rt == BC_RESULT_ARRAY_AUTO) |
| 215 | { |
| 216 | return BC_STATUS_EXEC_BAD_TYPE; |
| 217 | } |
Gavin Howard | 4c8ff2d | 2018-09-18 15:24:07 -0600 | [diff] [blame] | 218 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 219 | if ((s = bc_program_num(p, *left, lval, false))) return s; |
| 220 | if ((s = bc_program_num(p, *right, rval, hex))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 221 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 222 | // We run this again under these conditions in case any vector has been |
| 223 | // reallocated out from under the BcNums or arrays we had. |
| 224 | if (lt == rt && (lt == BC_RESULT_VAR || lt == BC_RESULT_ARRAY_ELEM)) |
| 225 | s = bc_program_num(p, *left, lval, false); |
Gavin Howard | ee938c0 | 2018-09-21 12:27:44 -0600 | [diff] [blame] | 226 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 227 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 228 | } |
| 229 | |
Gavin Howard | 1f3e758 | 2018-09-29 02:19:54 -0600 | [diff] [blame] | 230 | BcStatus bc_program_binOpRetire(BcProgram *p, BcResult *r) { |
| 231 | r->type = BC_RESULT_TEMP; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 232 | bc_vec_pop(&p->results); |
| 233 | bc_vec_pop(&p->results); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 234 | return bc_vec_push(&p->results, r); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 235 | } |
| 236 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 237 | BcStatus bc_program_prep(BcProgram *p, BcResult **r, BcNum **n, bool arr) |
Gavin Howard | 38bea81 | 2018-09-20 12:01:25 -0600 | [diff] [blame] | 238 | { |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 239 | BcResultType t; |
| 240 | |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 241 | assert(p && r && n); |
| 242 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 243 | if (!BC_PROG_CHECK_STACK(&p->results, 1)) return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | 4c8ff2d | 2018-09-18 15:24:07 -0600 | [diff] [blame] | 244 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 245 | *r = bc_vec_top(&p->results); |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 246 | t = (*r)->type; |
Gavin Howard | 4c8ff2d | 2018-09-18 15:24:07 -0600 | [diff] [blame] | 247 | |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 248 | if (((t == BC_RESULT_ARRAY_AUTO || t == BC_RESULT_ARRAY) && !arr) || |
| 249 | t == BC_RESULT_STRING) |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 250 | { |
| 251 | return BC_STATUS_EXEC_BAD_TYPE; |
| 252 | } |
Gavin Howard | 4c8ff2d | 2018-09-18 15:24:07 -0600 | [diff] [blame] | 253 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 254 | return bc_program_num(p, *r, n, false); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 255 | } |
| 256 | |
Gavin Howard | 3950bb6 | 2018-09-28 15:46:00 -0600 | [diff] [blame] | 257 | BcStatus bc_program_retire(BcProgram *p, BcResult *r, BcResultType t) { |
| 258 | r->type = t; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 259 | bc_vec_pop(&p->results); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 260 | return bc_vec_push(&p->results, r); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 261 | } |
| 262 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 263 | BcStatus bc_program_op(BcProgram *p, uint8_t inst) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 264 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 265 | BcStatus s; |
| 266 | BcResult *opd1, *opd2, res; |
| 267 | BcNum *n1, *n2; |
| 268 | BcNumBinaryOp op; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 269 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 270 | if ((s = bc_program_binOpPrep(p, &opd1, &n1, &opd2, &n2, false))) return s; |
| 271 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 272 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 273 | op = bc_program_ops[inst - BC_INST_POWER]; |
| 274 | if ((s = op(n1, n2, &res.data.num, p->scale))) goto err; |
Gavin Howard | 1f3e758 | 2018-09-29 02:19:54 -0600 | [diff] [blame] | 275 | if ((s = bc_program_binOpRetire(p, &res))) goto err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 276 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 277 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 278 | |
| 279 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 280 | bc_num_free(&res.data.num); |
| 281 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 282 | } |
| 283 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 284 | BcStatus bc_program_read(BcProgram *p) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 285 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 286 | BcStatus s; |
| 287 | BcParse parse; |
Gavin Howard | 7efe744 | 2018-09-27 10:47:01 -0600 | [diff] [blame] | 288 | BcVec buf; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 289 | BcInstPtr ip; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 290 | BcFunc *func = bc_vec_item(&p->fns, BC_PROG_READ); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 291 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 292 | func->code.len = 0; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 293 | |
Gavin Howard | 7efe744 | 2018-09-27 10:47:01 -0600 | [diff] [blame] | 294 | if ((s = bc_vec_init(&buf, sizeof(char), NULL))) return BC_STATUS_ALLOC_ERR; |
Gavin Howard | 6e59dee | 2018-09-27 12:09:00 -0600 | [diff] [blame] | 295 | if ((s = bc_io_getline(&buf, "read> "))) goto io_err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 296 | |
Gavin Howard | d2a0525 | 2018-09-27 14:00:40 -0600 | [diff] [blame] | 297 | if ((s = p->parse_init(&parse, p))) goto io_err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 298 | bc_lex_file(&parse.lex, bc_program_stdin_name); |
Gavin Howard | 7efe744 | 2018-09-27 10:47:01 -0600 | [diff] [blame] | 299 | if ((s = bc_lex_text(&parse.lex, buf.vec))) goto exec_err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 300 | |
Gavin Howard | d2a0525 | 2018-09-27 14:00:40 -0600 | [diff] [blame] | 301 | s = p->parse_expr(&parse, &func->code, BC_PARSE_NOREAD, bc_parse_next_read); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 302 | if (s) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 303 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 304 | if (parse.lex.t.t != BC_LEX_NLINE && parse.lex.t.t != BC_LEX_EOF) { |
| 305 | s = BC_STATUS_EXEC_BAD_READ_EXPR; |
| 306 | goto exec_err; |
| 307 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 308 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 309 | ip.func = BC_PROG_READ; |
| 310 | ip.idx = 0; |
| 311 | ip.len = p->results.len; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 312 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 313 | if ((s = bc_vec_push(&p->stack, &ip))) goto exec_err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 314 | if ((s = bc_program_exec(p))) goto exec_err; |
Gavin Howard | ceaf64d | 2018-03-05 11:20:34 -0700 | [diff] [blame] | 315 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 316 | bc_vec_pop(&p->stack); |
Gavin Howard | ceaf64d | 2018-03-05 11:20:34 -0700 | [diff] [blame] | 317 | |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 318 | exec_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 319 | bc_parse_free(&parse); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 320 | io_err: |
Gavin Howard | 7efe744 | 2018-09-27 10:47:01 -0600 | [diff] [blame] | 321 | bc_vec_free(&buf); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 322 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 323 | } |
| 324 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 325 | size_t bc_program_index(char *code, size_t *bgn) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 326 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 327 | uint8_t amt = code[(*bgn)++], i = 0; |
| 328 | size_t res = 0; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 329 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 330 | for (; i < amt; ++i) res |= (((size_t) code[(*bgn)++]) << (i * CHAR_BIT)); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 331 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 332 | return res; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 333 | } |
| 334 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 335 | char* bc_program_name(char *code, size_t *bgn) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 336 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 337 | size_t len, i; |
Gavin Howard | 74f9933 | 2018-09-28 10:03:07 -0600 | [diff] [blame] | 338 | char byte, *s, *string = (char*) (code + *bgn), *ptr; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 339 | |
Gavin Howard | 74f9933 | 2018-09-28 10:03:07 -0600 | [diff] [blame] | 340 | ptr = strchr(string, BC_PARSE_STREND); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 341 | if (ptr) len = ((unsigned long) ptr) - ((unsigned long) string); |
| 342 | else len = strlen(string); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 343 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 344 | if (!(s = malloc(len + 1))) return NULL; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 345 | |
Gavin Howard | 74f9933 | 2018-09-28 10:03:07 -0600 | [diff] [blame] | 346 | for (i = 0; (byte = (char) code[(*bgn)++]) && byte != BC_PARSE_STREND; ++i) |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 347 | s[i] = byte; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 348 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 349 | s[i] = '\0'; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 350 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 351 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 352 | } |
| 353 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 354 | BcStatus bc_program_printString(const char *str, size_t *nchars) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 355 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 356 | size_t i, len = strlen(str); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 357 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 358 | for (i = 0; i < len; ++i, ++(*nchars)) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 359 | |
Gavin Howard | 6b7d6cb | 2018-09-28 14:21:47 -0600 | [diff] [blame] | 360 | int err, c; |
Gavin Howard | f6e3fb3 | 2018-08-09 13:48:59 -0600 | [diff] [blame] | 361 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 362 | if ((c = str[i]) != '\\') err = putchar(c); |
| 363 | else { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 364 | |
Gavin Howard | 6b7d6cb | 2018-09-28 14:21:47 -0600 | [diff] [blame] | 365 | assert(i + 1 < len); |
| 366 | c = str[++i]; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 367 | |
Gavin Howard | 6b7d6cb | 2018-09-28 14:21:47 -0600 | [diff] [blame] | 368 | switch (c) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 369 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 370 | case 'a': |
| 371 | { |
| 372 | err = putchar('\a'); |
| 373 | break; |
| 374 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 375 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 376 | case 'b': |
| 377 | { |
| 378 | err = putchar('\b'); |
| 379 | break; |
| 380 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 381 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 382 | case 'e': |
| 383 | { |
| 384 | err = putchar('\\'); |
| 385 | break; |
| 386 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 387 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 388 | case 'f': |
| 389 | { |
| 390 | err = putchar('\f'); |
| 391 | break; |
| 392 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 393 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 394 | case 'n': |
| 395 | { |
| 396 | err = putchar('\n'); |
| 397 | *nchars = SIZE_MAX; |
| 398 | break; |
| 399 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 400 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 401 | case 'r': |
| 402 | { |
| 403 | err = putchar('\r'); |
| 404 | break; |
| 405 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 406 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 407 | case 'q': |
| 408 | { |
| 409 | err = putchar('"'); |
| 410 | break; |
| 411 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 412 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 413 | case 't': |
| 414 | { |
| 415 | err = putchar('\t'); |
| 416 | break; |
| 417 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 418 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 419 | default: |
| 420 | { |
Gavin Howard | 07f7ff5 | 2018-09-28 14:22:06 -0600 | [diff] [blame] | 421 | // Just print the character. |
| 422 | err = putchar(c); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 423 | break; |
| 424 | } |
| 425 | } |
| 426 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 427 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 428 | if (err == EOF) return BC_STATUS_IO_ERR; |
| 429 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 430 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 431 | return BC_STATUS_SUCCESS; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 432 | } |
| 433 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 434 | BcStatus bc_program_print(BcProgram *p, uint8_t inst, size_t idx) { |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 435 | |
| 436 | BcStatus s = BC_STATUS_SUCCESS; |
| 437 | BcResult *r; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 438 | size_t len, i; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 439 | char *str; |
| 440 | |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 441 | assert(p); |
| 442 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 443 | if (!BC_PROG_CHECK_STACK(&p->results, idx + 1)) |
| 444 | return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 445 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 446 | r = bc_vec_item_rev(&p->results, idx); |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 447 | |
| 448 | if (r->type == BC_RESULT_STRING) { |
| 449 | |
| 450 | idx = r->data.id.idx; |
| 451 | assert(idx < p->strs.len); |
| 452 | |
| 453 | str = *((char**) bc_vec_item(&p->strs, idx)); |
| 454 | |
| 455 | if (inst == BC_INST_PRINT_STR) { |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 456 | for (i = 0, len = strlen(str); i < len; ++i) { |
| 457 | char c = str[i]; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 458 | if (putchar(c) == EOF) return BC_STATUS_IO_ERR; |
| 459 | if (c == '\n') p->nchars = SIZE_MAX; |
| 460 | ++p->nchars; |
| 461 | } |
| 462 | } |
| 463 | else s = bc_program_printString(str, &p->nchars); |
| 464 | } |
| 465 | else { |
| 466 | |
| 467 | BcNum *num; |
| 468 | bool nl = inst == BC_INST_PRINT; |
| 469 | |
| 470 | assert(inst != BC_INST_PRINT_STR); |
| 471 | |
| 472 | if ((s = bc_program_prep(p, &r, &num, false))) return s; |
| 473 | |
| 474 | s = bc_num_print(num, &p->ob, p->ob_t, nl, &p->nchars, p->len); |
| 475 | if (s) return s; |
| 476 | if ((s = bc_num_copy(&p->last, num))) return s; |
| 477 | |
| 478 | if (!nl) bc_vec_pop(&p->results); |
| 479 | } |
| 480 | |
| 481 | return s; |
| 482 | } |
| 483 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 484 | BcStatus bc_program_push(BcProgram *p, char *code, size_t *bgn, uint8_t inst) { |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 485 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 486 | BcStatus s; |
| 487 | BcResult res; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 488 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 489 | res.data.id.name = bc_program_name(code, bgn); |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 490 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 491 | assert(res.data.id.name); |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 492 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 493 | if (inst == BC_INST_VAR || inst == BC_INST_ARRAY) { |
| 494 | res.type = inst == BC_INST_VAR ? BC_RESULT_VAR : BC_RESULT_ARRAY; |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 495 | s = bc_vec_push(&p->results, &res); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 496 | } |
| 497 | else { |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 498 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 499 | BcResult *operand; |
| 500 | BcNum *num; |
| 501 | unsigned long temp; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 502 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 503 | if ((s = bc_program_prep(p, &operand, &num, false))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 504 | if ((s = bc_num_ulong(num, &temp))) goto err; |
Gavin Howard | bdb2f92 | 2018-03-15 09:25:18 -0600 | [diff] [blame] | 505 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 506 | if (temp > (unsigned long) BC_MAX_DIM) { |
| 507 | s = BC_STATUS_EXEC_ARRAY_LEN; |
| 508 | goto err; |
| 509 | } |
| 510 | |
| 511 | res.data.id.idx = (size_t) temp; |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 512 | s = bc_program_retire(p, &res, BC_RESULT_ARRAY_ELEM); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 513 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 514 | |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 515 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 516 | if (s) free(res.data.id.name); |
| 517 | return s; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 518 | } |
| 519 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 520 | BcStatus bc_program_negate(BcProgram *p) { |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 521 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 522 | BcStatus s; |
| 523 | BcResult res, *ptr; |
| 524 | BcNum *num; |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 525 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 526 | if ((s = bc_program_prep(p, &ptr, &num, false))) return s; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 527 | if ((s = bc_num_init(&res.data.num, num->len))) return s; |
| 528 | if ((s = bc_num_copy(&res.data.num, num))) goto err; |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 529 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 530 | res.data.num.neg = !res.data.num.neg; |
Gavin Howard | a654f11 | 2018-03-03 09:47:34 -0700 | [diff] [blame] | 531 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 532 | if ((s = bc_program_retire(p, &res, BC_RESULT_TEMP))) goto err; |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 533 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 534 | return s; |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 535 | |
| 536 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 537 | bc_num_free(&res.data.num); |
| 538 | return s; |
Gavin Howard | 3a94736 | 2018-03-02 11:25:48 -0700 | [diff] [blame] | 539 | } |
| 540 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 541 | BcStatus bc_program_logical(BcProgram *p, uint8_t inst) { |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 542 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 543 | BcStatus s; |
| 544 | BcResult *opd1, *opd2, res; |
| 545 | BcNum *n1, *n2; |
| 546 | bool cond; |
| 547 | ssize_t cmp; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 548 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 549 | s = bc_program_binOpPrep(p, &opd1, &n1, &opd2, &n2, false); |
| 550 | if (s) return s; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 551 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 552 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 553 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 554 | if (inst == BC_INST_BOOL_AND) |
| 555 | cond = bc_num_cmp(n1, &p->zero) && bc_num_cmp(n2, &p->zero); |
| 556 | else if (inst == BC_INST_BOOL_OR) |
| 557 | cond = bc_num_cmp(n1, &p->zero) || bc_num_cmp(n2, &p->zero); |
| 558 | else { |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 559 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 560 | cmp = bc_num_cmp(n1, n2); |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 561 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 562 | switch (inst) { |
Gavin Howard | 2882780 | 2018-09-27 11:01:51 -0600 | [diff] [blame] | 563 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 564 | case BC_INST_REL_EQ: |
| 565 | { |
| 566 | cond = cmp == 0; |
| 567 | break; |
| 568 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 569 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 570 | case BC_INST_REL_LE: |
| 571 | { |
| 572 | cond = cmp <= 0; |
| 573 | break; |
| 574 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 575 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 576 | case BC_INST_REL_GE: |
| 577 | { |
| 578 | cond = cmp >= 0; |
| 579 | break; |
| 580 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 581 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 582 | case BC_INST_REL_NE: |
| 583 | { |
| 584 | cond = cmp != 0; |
| 585 | break; |
| 586 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 587 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 588 | case BC_INST_REL_LT: |
| 589 | { |
| 590 | cond = cmp < 0; |
| 591 | break; |
| 592 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 593 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 594 | case BC_INST_REL_GT: |
| 595 | { |
| 596 | cond = cmp > 0; |
| 597 | break; |
| 598 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 599 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 600 | default: |
| 601 | { |
| 602 | // This is here to silence a compiler warning in release mode. |
| 603 | cond = 0; |
| 604 | assert(cond); |
| 605 | break; |
| 606 | } |
| 607 | } |
| 608 | } |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 609 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 610 | (cond ? bc_num_one : bc_num_zero)(&res.data.num); |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 611 | |
Gavin Howard | 1f3e758 | 2018-09-29 02:19:54 -0600 | [diff] [blame] | 612 | if ((s = bc_program_binOpRetire(p, &res))) goto err; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 613 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 614 | return s; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 615 | |
| 616 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 617 | bc_num_free(&res.data.num); |
| 618 | return s; |
Gavin Howard | 843fa79 | 2018-02-27 16:42:52 -0700 | [diff] [blame] | 619 | } |
| 620 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 621 | BcStatus bc_program_assign(BcProgram *p, uint8_t inst) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 622 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 623 | BcStatus s; |
| 624 | BcResult *left, *right, res; |
| 625 | BcNum *l, *r; |
| 626 | unsigned long val, max; |
| 627 | bool assign = inst == BC_INST_ASSIGN; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 628 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 629 | if ((s = bc_program_binOpPrep(p, &left, &l, &right, &r, assign))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 630 | |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 631 | if (left->type == BC_RESULT_CONSTANT || left->type == BC_RESULT_TEMP || |
| 632 | left->type == BC_RESULT_STRING) |
| 633 | { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 634 | return BC_STATUS_PARSE_BAD_ASSIGN; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 635 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 636 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 637 | if (inst == BC_INST_ASSIGN_DIVIDE && !bc_num_cmp(r, &p->zero)) |
| 638 | return BC_STATUS_MATH_DIVIDE_BY_ZERO; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 639 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 640 | if (assign) s = bc_num_copy(l, r); |
| 641 | else s = bc_program_ops[inst - BC_INST_ASSIGN_POWER](l, r, l, p->scale); |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 642 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 643 | if (s) return s; |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 644 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 645 | if (left->type == BC_RESULT_IBASE || left->type == BC_RESULT_OBASE) { |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 646 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 647 | size_t * ptr = left->type == BC_RESULT_IBASE ? &p->ib_t : &p->ob_t; |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 648 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 649 | if ((s = bc_num_ulong(r, &val))) return s; |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 650 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 651 | max = left->type == BC_RESULT_IBASE ? BC_NUM_MAX_IBASE : BC_MAX_OBASE; |
Gavin Howard | 691cfd5 | 2018-09-21 10:47:58 -0600 | [diff] [blame] | 652 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 653 | if (val < BC_NUM_MIN_BASE || val > max) |
Gavin Howard | ee2e8df | 2018-09-27 10:50:22 -0600 | [diff] [blame] | 654 | return left->type == BC_RESULT_IBASE ? BC_STATUS_EXEC_BAD_IBASE : |
| 655 | BC_STATUS_EXEC_BAD_OBASE; |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 656 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 657 | *ptr = (size_t) val; |
| 658 | } |
| 659 | else if (left->type == BC_RESULT_SCALE) { |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 660 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 661 | if ((s = bc_num_ulong(l, &val))) return s; |
| 662 | if (val > (unsigned long) BC_MAX_SCALE) return BC_STATUS_EXEC_BAD_SCALE; |
Gavin Howard | d5a51e6 | 2018-03-26 12:34:27 -0600 | [diff] [blame] | 663 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 664 | p->scale = (size_t) val; |
| 665 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 666 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 667 | if ((s = bc_num_init(&res.data.num, l->len))) return s; |
| 668 | if ((s = bc_num_copy(&res.data.num, l))) goto err; |
Gavin Howard | b818116 | 2018-02-28 12:58:09 -0700 | [diff] [blame] | 669 | |
Gavin Howard | 1f3e758 | 2018-09-29 02:19:54 -0600 | [diff] [blame] | 670 | if ((s = bc_program_binOpRetire(p, &res))) goto err; |
Gavin Howard | b818116 | 2018-02-28 12:58:09 -0700 | [diff] [blame] | 671 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 672 | return s; |
Gavin Howard | b818116 | 2018-02-28 12:58:09 -0700 | [diff] [blame] | 673 | |
| 674 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 675 | bc_num_free(&res.data.num); |
| 676 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 677 | } |
| 678 | |
Gavin Howard | aac24bf | 2018-09-22 23:24:53 -0600 | [diff] [blame] | 679 | BcStatus bc_program_call(BcProgram *p, char *code, size_t *idx) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 680 | |
Gavin Howard | e956c61 | 2018-09-27 11:40:28 -0600 | [diff] [blame] | 681 | BcStatus s = BC_STATUS_SUCCESS; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 682 | BcInstPtr ip; |
| 683 | size_t i, nparams = bc_program_index(code, idx); |
| 684 | BcFunc *func; |
| 685 | BcAuto *auto_ptr; |
| 686 | BcResult param, *arg; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 687 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 688 | ip.idx = 0; |
| 689 | ip.len = p->results.len; |
| 690 | ip.func = bc_program_index(code, idx); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 691 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 692 | func = bc_vec_item(&p->fns, ip.func); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 693 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 694 | if (!func->code.len) return BC_STATUS_EXEC_UNDEFINED_FUNC; |
| 695 | if (nparams != func->nparams) return BC_STATUS_EXEC_MISMATCHED_PARAMS; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 696 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 697 | for (i = 0; i < nparams; ++i) { |
Gavin Howard | d6e3b7b | 2018-02-28 12:31:58 -0700 | [diff] [blame] | 698 | |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 699 | BcVec *a; |
| 700 | BcNum *n; |
| 701 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 702 | auto_ptr = bc_vec_item(&func->autos, i); |
| 703 | arg = bc_vec_item_rev(&p->results, nparams - 1); |
| 704 | param.type = auto_ptr->var + BC_RESULT_ARRAY_AUTO; |
Gavin Howard | 5732343 | 2018-03-14 20:06:35 -0600 | [diff] [blame] | 705 | |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 706 | if (!auto_ptr->var != (arg->type == BC_RESULT_ARRAY) || |
| 707 | arg->type == BC_RESULT_STRING) |
| 708 | { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 709 | return BC_STATUS_EXEC_BAD_TYPE; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 710 | } |
Gavin Howard | 1ce8325 | 2018-09-04 15:21:47 -0600 | [diff] [blame] | 711 | |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 712 | if ((s = bc_array_init(¶m.data.array))) return s; |
| 713 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 714 | if (auto_ptr->var) { |
Gavin Howard | e956c61 | 2018-09-27 11:40:28 -0600 | [diff] [blame] | 715 | if ((s = bc_program_num(p, arg, &n, false))) return s; |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 716 | if ((s = bc_num_copy(bc_vec_top(¶m.data.array), n))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 717 | } |
| 718 | else { |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 719 | if ((s = bc_program_search(p, arg, &a, auto_ptr->var))) return s; |
| 720 | if ((s = bc_array_copy(¶m.data.array, a))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 721 | } |
Gavin Howard | d6e3b7b | 2018-02-28 12:31:58 -0700 | [diff] [blame] | 722 | |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 723 | if ((s = bc_vec_push(&p->results, ¶m))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 724 | } |
Gavin Howard | 90f13ad | 2018-03-17 13:32:16 -0600 | [diff] [blame] | 725 | |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 726 | for (; i < func->autos.len; ++i) { |
Gavin Howard | 90f13ad | 2018-03-17 13:32:16 -0600 | [diff] [blame] | 727 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 728 | auto_ptr = bc_vec_item_rev(&func->autos, i); |
| 729 | param.type = auto_ptr->var + BC_RESULT_ARRAY_AUTO; |
Gavin Howard | 90f13ad | 2018-03-17 13:32:16 -0600 | [diff] [blame] | 730 | |
Gavin Howard | e87dcb8 | 2018-09-29 21:37:54 -0600 | [diff] [blame^] | 731 | if ((s = bc_array_init(¶m.data.array))) return s; |
| 732 | if ((s = bc_vec_push(&p->results, ¶m))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 733 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 734 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 735 | return bc_vec_push(&p->stack, &ip); |
Gavin Howard | 5732343 | 2018-03-14 20:06:35 -0600 | [diff] [blame] | 736 | |
| 737 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 738 | bc_result_free(¶m); |
Gavin Howard | e956c61 | 2018-09-27 11:40:28 -0600 | [diff] [blame] | 739 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 740 | } |
| 741 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 742 | BcStatus bc_program_return(BcProgram *p, uint8_t inst) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 743 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 744 | BcStatus s; |
| 745 | BcResult res; |
| 746 | BcFunc *f; |
| 747 | BcInstPtr *ip = bc_vec_top(&p->stack); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 748 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 749 | assert(BC_PROG_CHECK_STACK(&p->stack, 2)); |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 750 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 751 | if (!BC_PROG_CHECK_STACK(&p->results, ip->len + inst == BC_INST_RET)) |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 752 | return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | c410b0f | 2018-02-27 16:57:05 -0700 | [diff] [blame] | 753 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 754 | f = bc_vec_item(&p->fns, ip->func); |
| 755 | res.type = BC_RESULT_TEMP; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 756 | |
Gavin Howard | 65bf036 | 2018-09-28 11:28:56 -0600 | [diff] [blame] | 757 | if (inst == BC_INST_RET) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 758 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 759 | BcNum *num; |
| 760 | BcResult *operand = bc_vec_top(&p->results); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 761 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 762 | if ((s = bc_program_num(p, operand, &num, false))) return s; |
| 763 | if ((s = bc_num_init(&res.data.num, num->len))) return s; |
| 764 | if ((s = bc_num_copy(&res.data.num, num))) goto err; |
| 765 | } |
| 766 | else { |
| 767 | s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE); |
| 768 | if (s) return s; |
| 769 | bc_num_zero(&res.data.num); |
| 770 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 771 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 772 | // We need to pop arguments as well, so this takes that into account. |
| 773 | bc_vec_npop(&p->results, p->results.len - (ip->len - f->nparams)); |
Gavin Howard | c410b0f | 2018-02-27 16:57:05 -0700 | [diff] [blame] | 774 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 775 | if ((s = bc_vec_push(&p->results, &res))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 776 | bc_vec_pop(&p->stack); |
Gavin Howard | 0eb2a37 | 2018-03-24 09:52:55 -0600 | [diff] [blame] | 777 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 778 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 779 | |
| 780 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 781 | bc_num_free(&res.data.num); |
| 782 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 783 | } |
| 784 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 785 | unsigned long bc_program_scale(BcNum *n) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 786 | return (unsigned long) n->rdx; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 787 | } |
| 788 | |
Gavin Howard | 77d489d | 2018-09-04 15:14:06 -0600 | [diff] [blame] | 789 | unsigned long bc_program_len(BcNum *n) { |
Gavin Howard | 6e2fd06 | 2018-03-20 19:34:12 -0600 | [diff] [blame] | 790 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 791 | unsigned long len = n->len; |
Gavin Howard | 6e2fd06 | 2018-03-20 19:34:12 -0600 | [diff] [blame] | 792 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 793 | if (n->rdx == n->len) { |
| 794 | size_t i; |
| 795 | for (i = n->len - 1; i < n->len && !n->num[i]; --len, --i); |
| 796 | } |
Gavin Howard | 6e2fd06 | 2018-03-20 19:34:12 -0600 | [diff] [blame] | 797 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 798 | return len; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 799 | } |
| 800 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 801 | BcStatus bc_program_builtin(BcProgram *p, uint8_t inst) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 802 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 803 | BcStatus s; |
| 804 | BcResult *opnd; |
| 805 | BcNum *num; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 806 | BcResult res; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 807 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 808 | if ((s = bc_program_prep(p, &opnd, &num, inst == BC_INST_LENGTH))) return s; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 809 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 810 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 811 | if (inst == BC_INST_SQRT) s = bc_num_sqrt(num, &res.data.num, p->scale); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 812 | else if (inst == BC_INST_LENGTH && opnd->type == BC_RESULT_ARRAY) { |
| 813 | BcVec *vec = (BcVec*) num; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 814 | s = bc_num_ulong2num(&res.data.num, (unsigned long) vec->len); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 815 | } |
| 816 | else { |
| 817 | assert(opnd->type != BC_RESULT_ARRAY); |
| 818 | BcProgramBuiltIn f = inst == BC_INST_LENGTH ? bc_program_len : |
| 819 | bc_program_scale; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 820 | s = bc_num_ulong2num(&res.data.num, f(num)); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 821 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 822 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 823 | if (s || (s = bc_program_retire(p, &res, BC_RESULT_TEMP))) goto err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 824 | |
| 825 | err: |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 826 | if (s) bc_num_free(&res.data.num); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 827 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 828 | } |
| 829 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 830 | #ifdef DC_CONFIG |
Gavin Howard | ba00980 | 2018-09-29 04:41:51 -0600 | [diff] [blame] | 831 | BcStatus bc_program_modexp(BcProgram *p) { |
| 832 | |
| 833 | BcStatus s; |
| 834 | BcResult *opd1, *opd2, *opd3, res; |
| 835 | BcNum *n1, *n2, *n3; |
| 836 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 837 | if (!BC_PROG_CHECK_STACK(&p->results, 3)) return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | ba00980 | 2018-09-29 04:41:51 -0600 | [diff] [blame] | 838 | |
| 839 | if ((s = bc_program_binOpPrep(p, &opd2, &n2, &opd3, &n3, false))) return s; |
| 840 | |
| 841 | opd1 = bc_vec_item_rev(&p->results, 2); |
| 842 | if ((s = bc_program_num(p, opd1, &n1, false))) return s; |
| 843 | |
| 844 | if ((s = bc_num_init(&res.data.num, n3->len))) return s; |
| 845 | |
| 846 | if ((s = bc_num_modexp(n1, n2, n3, &res.data.num, p->scale))) goto err; |
| 847 | bc_vec_pop(&p->results); |
| 848 | |
| 849 | if ((s = bc_program_binOpRetire(p, &res))) goto err; |
| 850 | |
| 851 | return s; |
| 852 | |
| 853 | err: |
| 854 | bc_num_free(&res.data.num); |
| 855 | return s; |
| 856 | } |
| 857 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 858 | BcStatus bc_program_stackLen(BcProgram *p) { |
| 859 | |
| 860 | BcStatus s; |
| 861 | BcResult res; |
| 862 | size_t len = p->results.len; |
| 863 | |
| 864 | res.type = BC_RESULT_TEMP; |
| 865 | |
| 866 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
| 867 | if ((s = bc_num_ulong2num(&res.data.num, len))) goto err; |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 868 | if ((s = bc_vec_push(&p->results, &res))) goto err; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 869 | |
| 870 | return s; |
| 871 | |
| 872 | err: |
| 873 | bc_num_free(&res.data.num); |
| 874 | return s; |
| 875 | } |
| 876 | |
| 877 | BcStatus bc_program_nquit(BcProgram *p) { |
| 878 | |
| 879 | BcStatus s; |
| 880 | BcResult *opnd; |
| 881 | BcNum *num; |
| 882 | unsigned long val; |
| 883 | |
| 884 | if ((s = bc_program_prep(p, &opnd, &num, false))) return s; |
| 885 | if ((s = bc_num_ulong(num, &val))) return s; |
| 886 | |
| 887 | bc_vec_pop(&p->results); |
| 888 | |
| 889 | if (p->stack.len < val) return BC_STATUS_EXEC_SMALL_STACK; |
| 890 | else if (p->stack.len == val) return BC_STATUS_QUIT; |
| 891 | |
| 892 | bc_vec_npop(&p->stack, val); |
| 893 | |
| 894 | return s; |
| 895 | } |
Gavin Howard | 503f393 | 2018-09-29 19:24:29 -0600 | [diff] [blame] | 896 | |
| 897 | BcStatus bc_program_divmod(BcProgram *p) { |
| 898 | |
| 899 | BcStatus s; |
| 900 | BcResult *opd1, *opd2, res, res2; |
| 901 | BcNum *n1, *n2; |
| 902 | |
| 903 | if ((s = bc_program_binOpPrep(p, &opd1, &n1, &opd2, &n2, false))) return s; |
| 904 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
| 905 | if ((s = bc_num_init(&res2.data.num, n2->len))) goto res2_err; |
| 906 | |
| 907 | if ((s = bc_num_div(n1, n2, &res2.data.num, p->scale))) goto err; |
| 908 | if ((s = bc_num_mod(n1, n2, &res.data.num, p->scale))) goto err; |
| 909 | |
| 910 | if ((s = bc_program_binOpRetire(p, &res2))) goto err; |
| 911 | res.type = BC_RESULT_TEMP; |
| 912 | if ((s = bc_vec_push(&p->results, &res))) goto res2_err; |
| 913 | |
| 914 | return s; |
| 915 | |
| 916 | err: |
| 917 | bc_num_free(&res2.data.num); |
| 918 | res2_err: |
| 919 | bc_num_free(&res.data.num); |
| 920 | return s; |
| 921 | } |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 922 | #endif // DC_CONFIG |
| 923 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 924 | BcStatus bc_program_pushScale(BcProgram *p) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 925 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 926 | BcStatus s; |
| 927 | BcResult res; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 928 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 929 | res.type = BC_RESULT_SCALE; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 930 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 931 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
| 932 | s = bc_num_ulong2num(&res.data.num, (unsigned long) p->scale); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 933 | if (s || (s = bc_vec_push(&p->results, &res))) goto err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 934 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 935 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 936 | |
| 937 | err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 938 | bc_num_free(&res.data.num); |
| 939 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 940 | } |
| 941 | |
Gavin Howard | 3f68df7 | 2018-03-22 20:30:27 -0600 | [diff] [blame] | 942 | BcStatus bc_program_incdec(BcProgram *p, uint8_t inst) { |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 943 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 944 | BcStatus s; |
| 945 | BcResult *ptr, res, copy; |
| 946 | BcNum *num; |
| 947 | uint8_t inst2 = inst; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 948 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 949 | if ((s = bc_program_prep(p, &ptr, &num, false))) return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 950 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 951 | if (inst == BC_INST_INC_POST || inst == BC_INST_DEC_POST) { |
| 952 | copy.type = BC_RESULT_TEMP; |
| 953 | if ((s = bc_num_init(©.data.num, num->len))) return s; |
| 954 | if ((s = bc_num_copy(©.data.num, num))) goto err; |
| 955 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 956 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 957 | res.type = BC_RESULT_ONE; |
| 958 | inst = inst == BC_INST_INC_PRE || inst == BC_INST_INC_POST ? |
| 959 | BC_INST_ASSIGN_PLUS : BC_INST_ASSIGN_MINUS; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 960 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 961 | if ((s = bc_vec_push(&p->results, &res))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 962 | if ((s = bc_program_assign(p, inst))) goto err; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 963 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 964 | if (inst2 == BC_INST_INC_POST || inst2 == BC_INST_DEC_POST) { |
| 965 | bc_vec_pop(&p->results); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 966 | if ((s = bc_vec_push(&p->results, ©))) goto err; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 967 | } |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 968 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 969 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 970 | |
| 971 | err: |
| 972 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 973 | if (inst2 == BC_INST_INC_POST || inst2 == BC_INST_DEC_POST) |
| 974 | bc_num_free(©.data.num); |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 975 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 976 | return s; |
Gavin Howard | 8409507 | 2018-02-27 15:36:58 -0700 | [diff] [blame] | 977 | } |
Gavin Howard | e723a15 | 2018-02-27 15:24:00 -0700 | [diff] [blame] | 978 | |
Gavin Howard | d2a0525 | 2018-09-27 14:00:40 -0600 | [diff] [blame] | 979 | BcStatus bc_program_init(BcProgram *p, size_t line_len, |
| 980 | BcParseInit parse_init, BcParseExpr parse_expr) |
| 981 | { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 982 | BcStatus s; |
| 983 | size_t idx; |
| 984 | char *main_name = NULL, *read_name = NULL; |
| 985 | BcInstPtr ip; |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 986 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 987 | assert(p); |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 988 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 989 | assert((unsigned long) sysconf(_SC_BC_BASE_MAX) <= BC_MAX_OBASE); |
| 990 | assert((unsigned long) sysconf(_SC_BC_DIM_MAX) <= BC_MAX_DIM); |
| 991 | assert((unsigned long) sysconf(_SC_BC_SCALE_MAX) <= BC_MAX_SCALE); |
| 992 | assert((unsigned long) sysconf(_SC_BC_STRING_MAX) <= BC_MAX_STRING); |
Gavin Howard | 57c843e | 2018-03-28 19:28:08 -0600 | [diff] [blame] | 993 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 994 | p->nchars = p->scale = 0; |
Gavin Howard | 08f74ad | 2018-09-28 14:46:29 -0600 | [diff] [blame] | 995 | p->len = line_len; |
Gavin Howard | d2a0525 | 2018-09-27 14:00:40 -0600 | [diff] [blame] | 996 | p->parse_init = parse_init; |
| 997 | p->parse_expr = parse_expr; |
Gavin Howard | 5d74e96 | 2018-02-26 13:44:13 -0700 | [diff] [blame] | 998 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 999 | if ((s = bc_num_init(&p->ib, BC_NUM_DEF_SIZE))) return s; |
| 1000 | bc_num_ten(&p->ib); |
| 1001 | p->ib_t = 10; |
Gavin Howard | 5d74e96 | 2018-02-26 13:44:13 -0700 | [diff] [blame] | 1002 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1003 | if ((s = bc_num_init(&p->ob, BC_NUM_DEF_SIZE))) goto obase_err; |
| 1004 | bc_num_ten(&p->ob); |
| 1005 | p->ob_t = 10; |
Gavin Howard | 5d74e96 | 2018-02-26 13:44:13 -0700 | [diff] [blame] | 1006 | |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 1007 | if ((s = bc_num_init(&p->hexb, BC_NUM_DEF_SIZE))) goto hexb_err; |
| 1008 | bc_num_ten(&p->hexb); |
| 1009 | p->hexb.num[0] = 6; |
| 1010 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1011 | if ((s = bc_num_init(&p->last, BC_NUM_DEF_SIZE))) goto last_err; |
| 1012 | bc_num_zero(&p->last); |
Gavin Howard | b5c7721 | 2018-02-14 17:12:34 -0700 | [diff] [blame] | 1013 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1014 | if ((s = bc_num_init(&p->zero, BC_NUM_DEF_SIZE))) goto zero_err; |
| 1015 | bc_num_zero(&p->zero); |
Gavin Howard | 5a8949e | 2018-02-05 16:46:06 -0700 | [diff] [blame] | 1016 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1017 | if ((s = bc_num_init(&p->one, BC_NUM_DEF_SIZE))) goto one_err; |
| 1018 | bc_num_one(&p->one); |
Gavin Howard | 645200e | 2018-02-15 15:33:35 -0700 | [diff] [blame] | 1019 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1020 | if ((s = bc_vec_init(&p->fns, sizeof(BcFunc), bc_func_free))) goto fn_err; |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 1021 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1022 | s = bc_veco_init(&p->fn_map, sizeof(BcEntry), bc_entry_free, bc_entry_cmp); |
| 1023 | if (s) goto func_map_err; |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1024 | |
Gavin Howard | 3bc436f | 2018-09-28 14:02:34 -0600 | [diff] [blame] | 1025 | if (!(main_name = strdup(bc_func_main))) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1026 | s = BC_STATUS_ALLOC_ERR; |
| 1027 | goto name_err; |
| 1028 | } |
Gavin Howard | d50539a | 2018-02-08 20:52:57 -0700 | [diff] [blame] | 1029 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1030 | s = bc_program_addFunc(p, main_name, &idx); |
| 1031 | if (s || idx != BC_PROG_MAIN) goto name_err; |
| 1032 | main_name = NULL; |
Gavin Howard | b42810f | 2018-03-09 10:07:58 -0700 | [diff] [blame] | 1033 | |
Gavin Howard | 3bc436f | 2018-09-28 14:02:34 -0600 | [diff] [blame] | 1034 | if (!(read_name = strdup(bc_func_read))) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1035 | s = BC_STATUS_ALLOC_ERR; |
| 1036 | goto name_err; |
| 1037 | } |
Gavin Howard | ed392aa | 2018-02-27 13:09:26 -0700 | [diff] [blame] | 1038 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1039 | s = bc_program_addFunc(p, read_name, &idx); |
| 1040 | if (s || idx != BC_PROG_READ) goto name_err; |
| 1041 | read_name = NULL; |
Gavin Howard | b42810f | 2018-03-09 10:07:58 -0700 | [diff] [blame] | 1042 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1043 | if ((s = bc_vec_init(&p->vars, sizeof(BcNum), bc_num_free))) goto name_err; |
| 1044 | s = bc_veco_init(&p->var_map, sizeof(BcEntry), bc_entry_free, bc_entry_cmp); |
| 1045 | if (s) goto var_map_err; |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1046 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1047 | if ((s = bc_vec_init(&p->arrs, sizeof(BcVec), bc_vec_free))) goto arr_err; |
| 1048 | s = bc_veco_init(&p->arr_map, sizeof(BcEntry), bc_entry_free, bc_entry_cmp); |
| 1049 | if (s) goto array_map_err; |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1050 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1051 | s = bc_vec_init(&p->strs, sizeof(char*), bc_string_free); |
| 1052 | if (s) goto string_err; |
Gavin Howard | 5a8949e | 2018-02-05 16:46:06 -0700 | [diff] [blame] | 1053 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1054 | s = bc_vec_init(&p->consts, sizeof(char*), bc_string_free); |
| 1055 | if (s) goto const_err; |
Gavin Howard | e46c682 | 2018-02-08 20:05:39 -0700 | [diff] [blame] | 1056 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1057 | s = bc_vec_init(&p->results, sizeof(BcResult), bc_result_free); |
| 1058 | if (s) goto expr_err; |
Gavin Howard | 2534a81 | 2018-02-10 15:34:15 -0700 | [diff] [blame] | 1059 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1060 | if ((s = bc_vec_init(&p->stack, sizeof(BcInstPtr), NULL))) goto stack_err; |
Gavin Howard | 2534a81 | 2018-02-10 15:34:15 -0700 | [diff] [blame] | 1061 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1062 | memset(&ip, 0, sizeof(BcInstPtr)); |
Gavin Howard | 2534a81 | 2018-02-10 15:34:15 -0700 | [diff] [blame] | 1063 | |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1064 | if ((s = bc_vec_push(&p->stack, &ip))) goto push_err; |
Gavin Howard | d28e80a | 2018-01-23 18:24:18 -0700 | [diff] [blame] | 1065 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1066 | return s; |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 1067 | |
Gavin Howard | ed392aa | 2018-02-27 13:09:26 -0700 | [diff] [blame] | 1068 | push_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1069 | bc_vec_free(&p->stack); |
Gavin Howard | 2534a81 | 2018-02-10 15:34:15 -0700 | [diff] [blame] | 1070 | stack_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1071 | bc_vec_free(&p->results); |
Gavin Howard | 2534a81 | 2018-02-10 15:34:15 -0700 | [diff] [blame] | 1072 | expr_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1073 | bc_vec_free(&p->consts); |
Gavin Howard | e46c682 | 2018-02-08 20:05:39 -0700 | [diff] [blame] | 1074 | const_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1075 | bc_vec_free(&p->strs); |
Gavin Howard | 5a8949e | 2018-02-05 16:46:06 -0700 | [diff] [blame] | 1076 | string_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1077 | bc_veco_free(&p->arr_map); |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1078 | array_map_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1079 | bc_vec_free(&p->arrs); |
| 1080 | arr_err: |
| 1081 | bc_veco_free(&p->var_map); |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1082 | var_map_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1083 | bc_vec_free(&p->vars); |
Gavin Howard | d50539a | 2018-02-08 20:52:57 -0700 | [diff] [blame] | 1084 | name_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1085 | bc_veco_free(&p->fn_map); |
Gavin Howard | d96bcae | 2018-02-07 19:16:19 -0700 | [diff] [blame] | 1086 | func_map_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1087 | bc_vec_free(&p->fns); |
| 1088 | fn_err: |
| 1089 | bc_num_free(&p->one); |
Gavin Howard | b5c7721 | 2018-02-14 17:12:34 -0700 | [diff] [blame] | 1090 | one_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1091 | bc_num_free(&p->zero); |
Gavin Howard | b5c7721 | 2018-02-14 17:12:34 -0700 | [diff] [blame] | 1092 | zero_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1093 | bc_num_free(&p->last); |
Gavin Howard | 5d74e96 | 2018-02-26 13:44:13 -0700 | [diff] [blame] | 1094 | last_err: |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 1095 | bc_num_free(&p->hexb); |
| 1096 | hexb_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1097 | bc_num_free(&p->ob); |
Gavin Howard | 5d74e96 | 2018-02-26 13:44:13 -0700 | [diff] [blame] | 1098 | obase_err: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1099 | bc_num_free(&p->ib); |
| 1100 | return s; |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 1101 | } |
| 1102 | |
Gavin Howard | 859e290 | 2018-03-17 14:23:35 -0600 | [diff] [blame] | 1103 | BcStatus bc_program_addFunc(BcProgram *p, char *name, size_t *idx) { |
Gavin Howard | 3b90f9f | 2018-01-17 13:01:33 -0700 | [diff] [blame] | 1104 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1105 | BcStatus s; |
| 1106 | BcEntry entry, *entry_ptr; |
| 1107 | BcFunc f; |
Gavin Howard | ab67e7c | 2018-02-09 10:35:44 -0700 | [diff] [blame] | 1108 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1109 | assert(p && name && idx); |
Gavin Howard | 3b90f9f | 2018-01-17 13:01:33 -0700 | [diff] [blame] | 1110 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1111 | entry.name = name; |
| 1112 | entry.idx = p->fns.len; |
Gavin Howard | ab67e7c | 2018-02-09 10:35:44 -0700 | [diff] [blame] | 1113 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1114 | s = bc_veco_insert(&p->fn_map, &entry, idx); |
Gavin Howard | ff52612 | 2018-09-06 19:58:52 -0600 | [diff] [blame] | 1115 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1116 | if (s) { |
| 1117 | free(name); |
| 1118 | if (s != BC_STATUS_VEC_ITEM_EXISTS) return s; |
| 1119 | } |
Gavin Howard | ded20a2 | 2018-03-07 15:15:19 -0700 | [diff] [blame] | 1120 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1121 | entry_ptr = bc_veco_item(&p->fn_map, *idx); |
| 1122 | *idx = entry_ptr->idx; |
Gavin Howard | ab67e7c | 2018-02-09 10:35:44 -0700 | [diff] [blame] | 1123 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1124 | if (s == BC_STATUS_VEC_ITEM_EXISTS) { |
Gavin Howard | ab67e7c | 2018-02-09 10:35:44 -0700 | [diff] [blame] | 1125 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1126 | BcFunc *func = bc_vec_item(&p->fns, entry_ptr->idx); |
| 1127 | s = BC_STATUS_SUCCESS; |
Gavin Howard | ab67e7c | 2018-02-09 10:35:44 -0700 | [diff] [blame] | 1128 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1129 | // We need to reset these, so the function can be repopulated. |
| 1130 | func->nparams = 0; |
| 1131 | bc_vec_npop(&func->autos, func->autos.len); |
| 1132 | bc_vec_npop(&func->code, func->code.len); |
| 1133 | bc_vec_npop(&func->labels, func->labels.len); |
| 1134 | } |
| 1135 | else { |
| 1136 | if ((s = bc_func_init(&f))) return s; |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1137 | if ((s = bc_vec_push(&p->fns, &f))) bc_func_free(&f); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1138 | } |
Gavin Howard | ded20a2 | 2018-03-07 15:15:19 -0700 | [diff] [blame] | 1139 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1140 | return s; |
Gavin Howard | 8a596d4 | 2018-01-15 15:46:01 -0700 | [diff] [blame] | 1141 | } |
| 1142 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1143 | BcStatus bc_program_reset(BcProgram *p, BcStatus s) { |
Gavin Howard | f4167dc | 2018-03-26 14:19:28 -0600 | [diff] [blame] | 1144 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1145 | BcFunc *f; |
| 1146 | BcInstPtr *ip; |
Gavin Howard | f4167dc | 2018-03-26 14:19:28 -0600 | [diff] [blame] | 1147 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1148 | bc_vec_npop(&p->stack, p->stack.len - 1); |
| 1149 | bc_vec_npop(&p->results, p->results.len); |
Gavin Howard | abdc2d3 | 2018-03-27 08:01:08 -0600 | [diff] [blame] | 1150 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1151 | f = bc_vec_item(&p->fns, 0); |
| 1152 | ip = bc_vec_top(&p->stack); |
| 1153 | ip->idx = f->code.len; |
Gavin Howard | f4167dc | 2018-03-26 14:19:28 -0600 | [diff] [blame] | 1154 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1155 | if (!s && bcg.signe && !bcg.tty) return BC_STATUS_QUIT; |
Gavin Howard | abdc2d3 | 2018-03-27 08:01:08 -0600 | [diff] [blame] | 1156 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1157 | bcg.sigc += bcg.signe; |
| 1158 | bcg.signe = bcg.sig != bcg.sigc; |
Gavin Howard | abdc2d3 | 2018-03-27 08:01:08 -0600 | [diff] [blame] | 1159 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1160 | if (!s || s == BC_STATUS_EXEC_SIGNAL) { |
Gavin Howard | 46f0e42 | 2018-03-27 08:12:00 -0600 | [diff] [blame] | 1161 | |
Gavin Howard | ca893d7 | 2018-09-28 14:15:16 -0600 | [diff] [blame] | 1162 | if (bcg.ttyin) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1163 | if (fputs(bc_program_ready_msg, stderr) < 0 || fflush(stderr) < 0) |
| 1164 | s = BC_STATUS_IO_ERR; |
| 1165 | else s = BC_STATUS_SUCCESS; |
| 1166 | } |
| 1167 | else s = BC_STATUS_QUIT; |
| 1168 | } |
| 1169 | |
| 1170 | return s; |
Gavin Howard | f4167dc | 2018-03-26 14:19:28 -0600 | [diff] [blame] | 1171 | } |
| 1172 | |
Gavin Howard | 8d1f1db | 2018-02-23 11:29:41 -0700 | [diff] [blame] | 1173 | BcStatus bc_program_exec(BcProgram *p) { |
Gavin Howard | 5b5dc57 | 2018-01-24 11:57:38 -0700 | [diff] [blame] | 1174 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1175 | BcStatus s = BC_STATUS_SUCCESS; |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 1176 | size_t idx, *addr; |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1177 | BcResult res; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1178 | BcResult *ptr; |
| 1179 | BcNum *num; |
| 1180 | bool cond = false; |
| 1181 | BcInstPtr *ip = bc_vec_top(&p->stack); |
| 1182 | BcFunc *func = bc_vec_item(&p->fns, ip->func); |
| 1183 | char *code = func->code.vec; |
Gavin Howard | b09d9b1 | 2018-03-23 09:57:07 -0600 | [diff] [blame] | 1184 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1185 | while (!s && !bcg.sig_other && ip->idx < func->code.len) { |
Gavin Howard | 368459a | 2018-03-28 13:23:51 -0600 | [diff] [blame] | 1186 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1187 | uint8_t inst = code[(ip->idx)++]; |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1188 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1189 | switch (inst) { |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1190 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1191 | case BC_INST_CALL: |
| 1192 | { |
| 1193 | s = bc_program_call(p, code, &ip->idx); |
| 1194 | break; |
| 1195 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1196 | |
Gavin Howard | 65bf036 | 2018-09-28 11:28:56 -0600 | [diff] [blame] | 1197 | case BC_INST_RET: |
| 1198 | case BC_INST_RET0: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1199 | { |
| 1200 | s = bc_program_return(p, inst); |
| 1201 | break; |
| 1202 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1203 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1204 | case BC_INST_READ: |
| 1205 | { |
| 1206 | s = bc_program_read(p); |
| 1207 | break; |
| 1208 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1209 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1210 | case BC_INST_JUMP_ZERO: |
| 1211 | { |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1212 | if ((s = bc_program_prep(p, &ptr, &num, false))) return s; |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1213 | cond = !bc_num_cmp(num, &p->zero); |
| 1214 | bc_vec_pop(&p->results); |
| 1215 | } |
| 1216 | // Fallthrough. |
| 1217 | case BC_INST_JUMP: |
| 1218 | { |
| 1219 | idx = bc_program_index(code, &ip->idx); |
| 1220 | addr = bc_vec_item(&func->labels, idx); |
| 1221 | if (inst == BC_INST_JUMP || cond) ip->idx = *addr; |
| 1222 | break; |
| 1223 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1224 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1225 | case BC_INST_VAR: |
| 1226 | case BC_INST_ARRAY_ELEM: |
| 1227 | case BC_INST_ARRAY: |
| 1228 | { |
| 1229 | s = bc_program_push(p, code, &ip->idx, inst); |
| 1230 | break; |
| 1231 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1232 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1233 | case BC_INST_IBASE: |
| 1234 | case BC_INST_LAST: |
| 1235 | case BC_INST_OBASE: |
| 1236 | { |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1237 | res.type = inst - BC_INST_IBASE + BC_RESULT_IBASE; |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1238 | s = bc_vec_push(&p->results, &res); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1239 | break; |
| 1240 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1241 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1242 | case BC_INST_SCALE: |
| 1243 | { |
| 1244 | s = bc_program_pushScale(p); |
| 1245 | break; |
| 1246 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1247 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1248 | case BC_INST_SCALE_FUNC: |
| 1249 | case BC_INST_LENGTH: |
| 1250 | case BC_INST_SQRT: |
| 1251 | { |
| 1252 | s = bc_program_builtin(p, inst); |
| 1253 | break; |
| 1254 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1255 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1256 | case BC_INST_NUM: |
| 1257 | { |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1258 | res.type = BC_RESULT_CONSTANT; |
| 1259 | res.data.id.idx = bc_program_index(code, &ip->idx); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1260 | s = bc_vec_push(&p->results, &res); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1261 | break; |
| 1262 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1263 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1264 | case BC_INST_POP: |
| 1265 | { |
| 1266 | bc_vec_pop(&p->results); |
| 1267 | break; |
| 1268 | } |
Gavin Howard | 5c222e3 | 2018-02-28 13:06:41 -0700 | [diff] [blame] | 1269 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1270 | case BC_INST_INC_PRE: |
| 1271 | case BC_INST_DEC_PRE: |
| 1272 | case BC_INST_INC_POST: |
| 1273 | case BC_INST_DEC_POST: |
| 1274 | { |
| 1275 | s = bc_program_incdec(p, inst); |
| 1276 | break; |
| 1277 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1278 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1279 | case BC_INST_HALT: |
| 1280 | { |
| 1281 | s = BC_STATUS_QUIT; |
| 1282 | break; |
| 1283 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1284 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1285 | case BC_INST_PRINT: |
Gavin Howard | 08f74ad | 2018-09-28 14:46:29 -0600 | [diff] [blame] | 1286 | case BC_INST_PRINT_POP: |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 1287 | case BC_INST_PRINT_STR: |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1288 | { |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1289 | s = bc_program_print(p, inst, 0); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1290 | break; |
| 1291 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1292 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1293 | case BC_INST_STR: |
| 1294 | { |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 1295 | res.type = BC_RESULT_STRING; |
| 1296 | res.data.id.idx = bc_program_index(code, &ip->idx); |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1297 | s = bc_vec_push(&p->results, &res); |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1298 | break; |
| 1299 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1300 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1301 | case BC_INST_POWER: |
| 1302 | case BC_INST_MULTIPLY: |
| 1303 | case BC_INST_DIVIDE: |
| 1304 | case BC_INST_MODULUS: |
| 1305 | case BC_INST_PLUS: |
| 1306 | case BC_INST_MINUS: |
| 1307 | { |
| 1308 | s = bc_program_op(p, inst); |
| 1309 | break; |
| 1310 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1311 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1312 | case BC_INST_REL_EQ: |
| 1313 | case BC_INST_REL_LE: |
| 1314 | case BC_INST_REL_GE: |
| 1315 | case BC_INST_REL_NE: |
| 1316 | case BC_INST_REL_LT: |
| 1317 | case BC_INST_REL_GT: |
| 1318 | { |
| 1319 | s = bc_program_logical(p, inst); |
| 1320 | break; |
| 1321 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1322 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1323 | case BC_INST_BOOL_NOT: |
| 1324 | { |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1325 | if ((s = bc_program_prep(p, &ptr, &num, false))) return s; |
| 1326 | if ((s = bc_num_init(&res.data.num, BC_NUM_DEF_SIZE))) return s; |
Gavin Howard | e809535 | 2018-02-27 09:17:20 -0700 | [diff] [blame] | 1327 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1328 | if (!bc_num_cmp(num, &p->zero)) bc_num_one(&res.data.num); |
| 1329 | else bc_num_zero(&res.data.num); |
Gavin Howard | e809535 | 2018-02-27 09:17:20 -0700 | [diff] [blame] | 1330 | |
Gavin Howard | b4584aa | 2018-09-28 10:45:33 -0600 | [diff] [blame] | 1331 | s = bc_program_retire(p, &res, BC_RESULT_TEMP); |
| 1332 | if (s) bc_num_free(&res.data.num); |
Gavin Howard | e809535 | 2018-02-27 09:17:20 -0700 | [diff] [blame] | 1333 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1334 | break; |
| 1335 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1336 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1337 | case BC_INST_BOOL_OR: |
| 1338 | case BC_INST_BOOL_AND: |
| 1339 | { |
| 1340 | s = bc_program_logical(p, inst); |
| 1341 | break; |
| 1342 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1343 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1344 | case BC_INST_NEG: |
| 1345 | { |
| 1346 | s = bc_program_negate(p); |
| 1347 | break; |
| 1348 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1349 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1350 | case BC_INST_ASSIGN_POWER: |
| 1351 | case BC_INST_ASSIGN_MULTIPLY: |
| 1352 | case BC_INST_ASSIGN_DIVIDE: |
| 1353 | case BC_INST_ASSIGN_MODULUS: |
| 1354 | case BC_INST_ASSIGN_PLUS: |
| 1355 | case BC_INST_ASSIGN_MINUS: |
| 1356 | case BC_INST_ASSIGN: |
| 1357 | { |
| 1358 | s = bc_program_assign(p, inst); |
| 1359 | break; |
| 1360 | } |
Gavin Howard | 6d89b5d | 2018-02-26 13:21:34 -0700 | [diff] [blame] | 1361 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1362 | #ifdef DC_CONFIG |
| 1363 | case BC_INST_MODEXP: |
| 1364 | { |
Gavin Howard | ba00980 | 2018-09-29 04:41:51 -0600 | [diff] [blame] | 1365 | s = bc_program_modexp(p); |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1366 | break; |
| 1367 | } |
| 1368 | |
| 1369 | case BC_INST_DIVMOD: |
| 1370 | { |
Gavin Howard | 503f393 | 2018-09-29 19:24:29 -0600 | [diff] [blame] | 1371 | s = bc_program_divmod(p); |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1372 | break; |
| 1373 | } |
| 1374 | |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1375 | case BC_INST_PRINT_STACK: |
| 1376 | { |
| 1377 | for (idx = 0; !s && idx < p->results.len; ++idx) { |
| 1378 | |
| 1379 | if ((s = bc_program_print(p, BC_INST_PRINT, idx))) break; |
| 1380 | |
| 1381 | ptr = bc_vec_item_rev(&p->results, idx); |
| 1382 | assert(ptr); |
| 1383 | |
| 1384 | if (ptr->type == BC_RESULT_STRING && putchar('\n') == EOF) |
| 1385 | s = BC_STATUS_IO_ERR; |
| 1386 | } |
| 1387 | |
| 1388 | break; |
| 1389 | } |
| 1390 | |
| 1391 | case BC_INST_CLEAR_STACK: |
| 1392 | { |
| 1393 | bc_vec_npop(&p->results, p->results.len); |
| 1394 | break; |
| 1395 | } |
| 1396 | |
| 1397 | case BC_INST_STACK_LEN: |
| 1398 | { |
| 1399 | s = bc_program_stackLen(p); |
| 1400 | break; |
| 1401 | } |
| 1402 | |
| 1403 | case BC_INST_DUPLICATE: |
| 1404 | { |
| 1405 | ptr = bc_vec_item_rev(&p->results, 1); |
| 1406 | if ((s = bc_result_copy(&res, ptr))) break; |
Gavin Howard | 9019886 | 2018-09-29 03:37:47 -0600 | [diff] [blame] | 1407 | s = bc_vec_push(&p->results, &res); |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1408 | break; |
| 1409 | } |
| 1410 | |
| 1411 | case BC_INST_SWAP: |
| 1412 | { |
Gavin Howard | 4c2a13e | 2018-09-29 19:24:43 -0600 | [diff] [blame] | 1413 | BcResult *ptr2; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1414 | |
Gavin Howard | 1e758c8 | 2018-09-29 19:57:37 -0600 | [diff] [blame] | 1415 | if (!BC_PROG_CHECK_STACK(&p->results, 2)) |
Gavin Howard | 2192547 | 2018-09-29 19:29:25 -0600 | [diff] [blame] | 1416 | return BC_STATUS_EXEC_SMALL_STACK; |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1417 | |
Gavin Howard | 4c2a13e | 2018-09-29 19:24:43 -0600 | [diff] [blame] | 1418 | ptr = bc_vec_item_rev(&p->results, 0); |
| 1419 | ptr2 = bc_vec_item_rev(&p->results, 1); |
Gavin Howard | c935ff1 | 2018-09-29 02:18:45 -0600 | [diff] [blame] | 1420 | memcpy(&res, ptr, sizeof(BcResult)); |
| 1421 | memcpy(ptr, ptr2, sizeof(BcResult)); |
| 1422 | memcpy(ptr2, &res, sizeof(BcResult)); |
| 1423 | |
| 1424 | break; |
| 1425 | } |
| 1426 | |
| 1427 | case BC_INST_PUSH_VAR: |
| 1428 | { |
| 1429 | // TODO |
| 1430 | break; |
| 1431 | } |
| 1432 | |
| 1433 | case BC_INST_POP_VAR: |
| 1434 | { |
| 1435 | // TODO |
| 1436 | break; |
| 1437 | } |
| 1438 | |
| 1439 | case BC_INST_QUIT: |
| 1440 | { |
| 1441 | if (p->stack.len <= 2) s = BC_STATUS_QUIT; |
| 1442 | else bc_vec_npop(&p->stack, 2); |
| 1443 | break; |
| 1444 | } |
| 1445 | |
| 1446 | case BC_INST_NQUIT: |
| 1447 | { |
| 1448 | s = bc_program_nquit(p); |
| 1449 | break; |
| 1450 | } |
| 1451 | #endif // DC_CONFIG |
| 1452 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1453 | default: |
| 1454 | { |
| 1455 | assert(false); |
| 1456 | break; |
| 1457 | } |
| 1458 | } |
Gavin Howard | 195706a | 2018-02-26 17:45:58 -0700 | [diff] [blame] | 1459 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1460 | if ((s && s != BC_STATUS_QUIT) || bcg.signe) s = bc_program_reset(p, s); |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1461 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1462 | // We need to update bc if the stack changes, pointers may be invalid. |
| 1463 | ip = bc_vec_top(&p->stack); |
| 1464 | func = bc_vec_item(&p->fns, ip->func); |
| 1465 | code = func->code.vec; |
| 1466 | } |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1467 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1468 | return s; |
Gavin Howard | 7c8dc77 | 2018-02-21 12:12:11 -0700 | [diff] [blame] | 1469 | } |
| 1470 | |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1471 | void bc_program_free(BcProgram *p) { |
| 1472 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1473 | assert(p); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1474 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1475 | bc_num_free(&p->ib); |
| 1476 | bc_num_free(&p->ob); |
Gavin Howard | 0361074 | 2018-09-27 10:48:29 -0600 | [diff] [blame] | 1477 | bc_num_free(&p->hexb); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1478 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1479 | bc_vec_free(&p->fns); |
| 1480 | bc_veco_free(&p->fn_map); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1481 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1482 | bc_vec_free(&p->vars); |
| 1483 | bc_veco_free(&p->var_map); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1484 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1485 | bc_vec_free(&p->arrs); |
| 1486 | bc_veco_free(&p->arr_map); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1487 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1488 | bc_vec_free(&p->strs); |
| 1489 | bc_vec_free(&p->consts); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1490 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1491 | bc_vec_free(&p->results); |
| 1492 | bc_vec_free(&p->stack); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1493 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1494 | bc_num_free(&p->last); |
| 1495 | bc_num_free(&p->zero); |
| 1496 | bc_num_free(&p->one); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1497 | } |
| 1498 | |
| 1499 | #ifndef NDEBUG |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1500 | BcStatus bc_program_printIndex(char *code, size_t *bgn) { |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1501 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1502 | char byte, i, bytes = code[(*bgn)++]; |
| 1503 | unsigned long val = 0; |
Gavin Howard | 24c675f | 2018-06-22 16:00:02 -0600 | [diff] [blame] | 1504 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1505 | for (byte = 1, i = 0; byte && i < bytes; ++i) { |
| 1506 | byte = code[(*bgn)++]; |
| 1507 | if (byte) val |= ((unsigned long) byte) << (CHAR_BIT * i); |
| 1508 | } |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1509 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1510 | return printf(" (%lu) ", val) < 0 ? BC_STATUS_IO_ERR : BC_STATUS_SUCCESS; |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1511 | } |
| 1512 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1513 | BcStatus bc_program_printName(char *code, size_t *bgn) { |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1514 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1515 | char byte = (char) code[(*bgn)++]; |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1516 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1517 | if (printf(" (") < 0) return BC_STATUS_IO_ERR; |
Gavin Howard | 9d76063 | 2018-08-30 13:03:51 -0600 | [diff] [blame] | 1518 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1519 | for (; byte && byte != BC_PARSE_STREND; byte = (char) code[(*bgn)++]) { |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1520 | if (putchar(byte) == EOF) return BC_STATUS_IO_ERR; |
| 1521 | } |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1522 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1523 | assert(byte); |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1524 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1525 | if (printf(") ") < 0) return BC_STATUS_IO_ERR; |
| 1526 | |
| 1527 | return BC_STATUS_SUCCESS; |
| 1528 | } |
| 1529 | |
| 1530 | BcStatus bc_program_printStr(BcProgram *p, char *code, size_t *bgn) { |
| 1531 | |
| 1532 | size_t idx = bc_program_index(code, bgn); |
| 1533 | char *s; |
| 1534 | |
| 1535 | assert(idx < p->strs.len); |
| 1536 | |
| 1537 | s = *((char**) bc_vec_item(&p->strs, idx)); |
| 1538 | |
| 1539 | if (printf(" (\"%s\") ", s) < 0) return BC_STATUS_IO_ERR; |
| 1540 | |
| 1541 | return BC_STATUS_SUCCESS; |
| 1542 | } |
| 1543 | |
| 1544 | BcStatus bc_program_printInst(BcProgram *p, char *code, size_t *bgn) |
| 1545 | { |
Gavin Howard | e319eb6 | 2018-09-28 16:50:16 -0600 | [diff] [blame] | 1546 | BcStatus s = BC_STATUS_SUCCESS; |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1547 | uint8_t inst = code[(*bgn)++]; |
| 1548 | |
| 1549 | if (putchar(bc_inst_chars[inst]) == EOF) return BC_STATUS_IO_ERR; |
| 1550 | |
| 1551 | if (inst == BC_INST_VAR || inst == BC_INST_ARRAY_ELEM || |
| 1552 | inst == BC_INST_ARRAY) |
| 1553 | { |
| 1554 | s = bc_program_printName(code, bgn); |
| 1555 | } |
| 1556 | else if (inst == BC_INST_STR) { |
| 1557 | s = bc_program_printStr(p, code, bgn); |
| 1558 | } |
| 1559 | else if (inst == BC_INST_NUM || inst == BC_INST_CALL || |
| 1560 | (inst > BC_INST_STR && inst <= BC_INST_JUMP_ZERO)) |
| 1561 | { |
| 1562 | if ((s = bc_program_printIndex(code, bgn))) return s; |
| 1563 | if (inst == BC_INST_CALL) s = bc_program_printIndex(code, bgn); |
| 1564 | } |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1565 | |
Gavin Howard | e319eb6 | 2018-09-28 16:50:16 -0600 | [diff] [blame] | 1566 | if (!s && fflush(stdout) < 0) s = BC_STATUS_IO_ERR; |
| 1567 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1568 | return s; |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1569 | } |
| 1570 | |
Gavin Howard | 4e4a011 | 2018-09-28 15:45:34 -0600 | [diff] [blame] | 1571 | BcStatus bc_program_code(BcProgram *p) { |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1572 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1573 | BcStatus s = BC_STATUS_SUCCESS; |
| 1574 | BcFunc *f; |
| 1575 | char *code; |
| 1576 | BcInstPtr ip; |
| 1577 | size_t i; |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1578 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1579 | for (i = 0; !s && !bcg.sig_other && i < p->fns.len; ++i) { |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1580 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1581 | bool sig; |
Gavin Howard | f6e3fb3 | 2018-08-09 13:48:59 -0600 | [diff] [blame] | 1582 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1583 | ip.idx = ip.len = 0; |
| 1584 | ip.func = i; |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1585 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1586 | f = bc_vec_item(&p->fns, ip.func); |
| 1587 | code = f->code.vec; |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1588 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1589 | if (printf("func[%zu]:\n", ip.func) < 0) return BC_STATUS_IO_ERR; |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1590 | |
Gavin Howard | af2b771 | 2018-09-28 16:17:41 -0600 | [diff] [blame] | 1591 | while (ip.idx < f->code.len) s = bc_program_printInst(p, code, &ip.idx); |
Gavin Howard | c0d9f31 | 2018-03-07 15:15:00 -0700 | [diff] [blame] | 1592 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1593 | if (printf("\n\n") < 0) s = BC_STATUS_IO_ERR; |
Gavin Howard | 368459a | 2018-03-28 13:23:51 -0600 | [diff] [blame] | 1594 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1595 | sig = bcg.sig != bcg.sigc; |
| 1596 | if (s || sig) s = bc_program_reset(p, s); |
| 1597 | } |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1598 | |
Gavin Howard | 6373820 | 2018-09-26 15:34:20 -0600 | [diff] [blame] | 1599 | return s; |
Gavin Howard | 0a2a674 | 2018-02-27 14:11:26 -0700 | [diff] [blame] | 1600 | } |
Gavin Howard | 84590c8 | 2018-03-28 15:38:44 -0600 | [diff] [blame] | 1601 | #endif // NDEBUG |