57 lines
1.8 KiB
C
57 lines
1.8 KiB
C
#include <stdint.h>
|
|
#include <assert.h>
|
|
#include "parser_internal.h"
|
|
|
|
static HParseResult* parse_ch(void* env, HParseState *state) {
|
|
uint8_t c = (uint8_t)(uintptr_t)(env);
|
|
uint8_t r = (uint8_t)h_read_bits(&state->input_stream, 8, false);
|
|
if (c == r) {
|
|
HParsedToken *tok = a_new(HParsedToken, 1);
|
|
tok->token_type = TT_UINT; tok->uint = r;
|
|
return make_result(state->arena, tok);
|
|
} else {
|
|
return NULL;
|
|
}
|
|
}
|
|
|
|
static void desugar_ch(HAllocator *mm__, HCFStack *stk__, void *env) {
|
|
HCFS_ADD_CHAR( (uint8_t)(uintptr_t)(env) );
|
|
}
|
|
|
|
static bool h_svm_action_ch(HArena *arena, HSVMContext *ctx, void* env) {
|
|
// BUG: relies un undefined behaviour: int64_t is a signed uint64_t; not necessarily true on 32-bit
|
|
HParsedToken *top = ctx->stack[ctx->stack_count-1];
|
|
assert(top->token_type == TT_BYTES);
|
|
uint64_t res = 0;
|
|
for (size_t i = 0; i < top->bytes.len; i++)
|
|
res = (res << 8) | top->bytes.token[i]; // TODO: Handle other endiannesses.
|
|
top->uint = res; // possibly cast to signed through union
|
|
top->token_type = TT_UINT;
|
|
return true;
|
|
}
|
|
|
|
static bool ch_ctrvm(HRVMProg *prog, void* env) {
|
|
uint8_t c = (uint8_t)(uintptr_t)(env);
|
|
// TODO: Does this capture anything?
|
|
h_rvm_insert_insn(prog, RVM_PUSH, 0);
|
|
h_rvm_insert_insn(prog, RVM_MATCH, c | c << 8);
|
|
h_rvm_insert_insn(prog, RVM_STEP, 0);
|
|
h_rvm_insert_insn(prog, RVM_CAPTURE, 0);
|
|
h_rvm_insert_insn(prog, RVM_ACTION, h_rvm_create_action(prog, h_svm_action_ch, env));
|
|
return true;
|
|
}
|
|
|
|
static const HParserVtable ch_vt = {
|
|
.parse = parse_ch,
|
|
.isValidRegular = h_true,
|
|
.isValidCF = h_true,
|
|
.desugar = desugar_ch,
|
|
.compile_to_rvm = ch_ctrvm,
|
|
};
|
|
|
|
HParser* h_ch(const uint8_t c) {
|
|
return h_ch__m(&system_allocator, c);
|
|
}
|
|
HParser* h_ch__m(HAllocator* mm__, const uint8_t c) {
|
|
return h_new_parser(mm__, &ch_vt, (void *)(uintptr_t)c);
|
|
}
|