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