bp/compiler.c

599 lines
20 KiB
C
Raw Normal View History

2020-09-11 01:28:06 -07:00
/*
2020-12-30 19:42:47 -08:00
* compiler.c - Compile strings into BP virtual machine code.
2020-09-11 01:28:06 -07:00
*/
#include <ctype.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
2020-09-11 01:28:06 -07:00
#include "compiler.h"
#include "utils.h"
2020-09-28 21:30:43 -07:00
#define file_err(f, ...) do { fprint_line(stderr, f, __VA_ARGS__); _exit(1); } while(0)
2020-09-16 19:35:43 -07:00
static vm_op_t *expand_chain(file_t *f, vm_op_t *first);
static vm_op_t *expand_choices(file_t *f, vm_op_t *first);
2020-09-11 01:28:06 -07:00
static vm_op_t *chain_together(vm_op_t *first, vm_op_t *second);
static void set_range(vm_op_t *op, ssize_t min, ssize_t max, vm_op_t *pat, vm_op_t *sep);
/*
* Helper function to initialize a range object.
*/
static void set_range(vm_op_t *op, ssize_t min, ssize_t max, vm_op_t *pat, vm_op_t *sep)
{
op->op = VM_REPEAT;
if (pat->len >= 0 && (sep == NULL || sep->len >= 0) && min == max && min >= 0)
op->len = pat->len * min + (sep == NULL || min == 0 ? 0 : sep->len * (min-1));
else
op->len = -1;
op->args.repetitions.min = min;
op->args.repetitions.max = max;
op->args.repetitions.repeat_pat = pat;
op->args.repetitions.sep = sep;
2020-09-28 17:42:38 -07:00
if (!op->start) op->start = pat->start;
if (!op->end) op->end = pat->end;
if (sep) {
if (sep->start < op->start) op->start = sep->start;
if (sep->end > op->end) op->end = sep->end;
}
2020-09-11 01:28:06 -07:00
}
/*
* Take an opcode and expand it into a chain of patterns if it's
* followed by any patterns (e.g. "`x `y"), otherwise return
* the original input.
*/
2020-09-16 19:35:43 -07:00
static vm_op_t *expand_chain(file_t *f, vm_op_t *first)
2020-09-11 01:28:06 -07:00
{
2020-12-30 19:42:47 -08:00
vm_op_t *second = bp_simplepattern(f, first->end);
2020-09-11 01:28:06 -07:00
if (second == NULL) return first;
2020-09-16 19:35:43 -07:00
second = expand_chain(f, second);
2020-09-28 21:30:43 -07:00
if (second->end <= first->end)
file_err(f, second->end, second->end,
"This chain is not parsing properly");
2020-09-11 01:28:06 -07:00
return chain_together(first, second);
}
/*
* Take an opcode and expand it into a chain of choices if it's
* followed by any "/"-separated patterns (e.g. "`x/`y"), otherwise
* return the original input.
*/
2020-09-16 19:35:43 -07:00
static vm_op_t *expand_choices(file_t *f, vm_op_t *first)
2020-09-11 01:28:06 -07:00
{
2020-09-16 19:35:43 -07:00
first = expand_chain(f, first);
2020-09-11 01:28:06 -07:00
const char *str = first->end;
if (!matchchar(&str, '/')) return first;
2020-12-30 19:42:47 -08:00
vm_op_t *second = bp_simplepattern(f, str);
2020-09-28 21:30:43 -07:00
if (!second)
file_err(f, str, str, "There should be a pattern here after a '/'");
2020-09-16 19:35:43 -07:00
second = expand_choices(f, second);
vm_op_t *choice = new(vm_op_t);
2020-09-11 01:28:06 -07:00
choice->op = VM_OTHERWISE;
choice->start = first->start;
if (first->len == second->len)
choice->len = first->len;
else choice->len = -1;
choice->end = second->end;
choice->args.multiple.first = first;
choice->args.multiple.second = second;
return choice;
}
static vm_op_t *chain_together(vm_op_t *first, vm_op_t *second)
{
if (first == NULL) return second;
if (second == NULL) return first;
vm_op_t *chain = new(vm_op_t);
2020-09-11 01:28:06 -07:00
chain->op = VM_CHAIN;
chain->start = first->start;
if (first->len >= 0 && second->len >= 0)
chain->len = first->len + second->len;
else chain->len = -1;
chain->end = second->end;
chain->args.multiple.first = first;
chain->args.multiple.second = second;
return chain;
}
/*
2020-12-30 19:42:47 -08:00
* Compile a string of BP code into virtual machine opcodes
2020-09-11 01:28:06 -07:00
*/
2020-12-30 19:42:47 -08:00
vm_op_t *bp_simplepattern(file_t *f, const char *str)
2020-09-11 01:28:06 -07:00
{
str = after_spaces(str);
if (!*str) return NULL;
vm_op_t *op = new(vm_op_t);
2020-09-11 01:28:06 -07:00
op->start = str;
op->len = -1;
char c = *str;
2020-09-28 21:30:43 -07:00
const char *origin = str;
2020-09-11 01:28:06 -07:00
++str;
switch (c) {
// Any char (dot) ($. is multiline anychar)
case '.': {
if (*str == '.') { // ".."
++str;
if (*str == '.') { // "..."
++str;
op->multiline = 1;
}
2020-12-30 19:42:47 -08:00
vm_op_t *till = bp_simplepattern(f, str);
op->op = VM_UPTO_AND;
op->len = -1;
2020-12-14 18:11:33 -08:00
op->args.multiple.first = till;
if (till)
str = till->end;
2020-12-14 18:11:33 -08:00
if (matchchar(&str, '%')) {
2020-12-30 19:42:47 -08:00
vm_op_t *skip = bp_simplepattern(f, str);
2020-12-14 18:11:33 -08:00
if (!skip)
file_err(f, str, str, "There should be a pattern to skip here after the '%%'");
op->args.multiple.second = skip;
str = skip->end;
}
break;
} else {
anychar:
op->op = VM_ANYCHAR;
op->len = 1;
break;
}
2020-09-11 01:28:06 -07:00
}
// Char literals
case '`': {
2020-12-19 18:53:51 -08:00
vm_op_t *all = NULL;
do {
char c = *str;
if (!c || c == '\n')
file_err(f, str, str, "There should be a character here after the '`'");
if (op == NULL)
op = new(vm_op_t);
op->start = str-1;
op->len = 1;
2020-09-11 01:28:06 -07:00
++str;
2020-12-19 18:53:51 -08:00
if (matchchar(&str, '-')) { // Range
char c2 = *str;
if (!c2 || c2 == '\n')
file_err(f, str, str, "There should be a character here to complete the character range.");
op->op = VM_RANGE;
if (c < c2) {
op->args.range.low = (unsigned char)c;
op->args.range.high = (unsigned char)c2;
} else {
op->args.range.low = (unsigned char)c2;
op->args.range.high = (unsigned char)c;
}
++str;
} else {
op->op = VM_STRING;
char *s = xcalloc(sizeof(char), 2);
s[0] = c;
op->args.s = s;
}
op->end = str;
if (all == NULL) {
all = op;
} else {
vm_op_t *either = new(vm_op_t);
either->op = VM_OTHERWISE;
either->start = all->start;
either->end = op->end;
either->args.multiple.first = all;
either->args.multiple.second = op;
either->len = 1;
all = either;
}
op = NULL;
} while (matchchar(&str, ','));
op = all;
2020-09-11 01:28:06 -07:00
break;
}
// Escapes
case '\\': {
2020-09-28 21:30:43 -07:00
if (!*str || *str == '\n')
file_err(f, str, str, "There should be an escape sequence here after this backslash.");
if (matchchar(&str, 'N')) { // \N (nodent)
op->op = VM_NODENT;
break;
}
2020-09-11 01:28:06 -07:00
op->len = 1;
2020-09-28 21:30:43 -07:00
unsigned char e = unescapechar(str, &str);
2020-09-11 01:28:06 -07:00
if (*str == '-') { // Escape range (e.g. \x00-\xFF)
++str;
2020-09-28 21:30:43 -07:00
const char *seqstart = str;
unsigned char e2 = unescapechar(str, &str);
if (str == seqstart)
file_err(f, seqstart, str+1, "This value isn't a valid escape sequence");
if (e2 < e)
file_err(f, origin, str, "Escape ranges should be low-to-high, but this is high-to-low.");
2020-09-11 01:28:06 -07:00
op->op = VM_RANGE;
op->args.range.low = e;
op->args.range.high = e2;
} else {
op->op = VM_STRING;
char *s = xcalloc(sizeof(char), 2);
s[0] = (char)e;
op->args.s = s;
2020-09-11 01:28:06 -07:00
}
break;
}
// String literal
case '"': case '\'': case '\002': {
char endquote = c == '\002' ? '\003' : c;
char *start = (char*)str;
2020-09-11 01:28:06 -07:00
for (; *str && *str != endquote; str++) {
if (*str == '\\') {
2020-09-28 22:02:00 -07:00
if (!str[1] || str[1] == '\n')
file_err(f, str, str+1,
"There should be an escape sequence after this backslash.");
2020-09-11 01:28:06 -07:00
++str;
}
}
size_t len = (size_t)(str - start);
char *literal = xcalloc(sizeof(char), len+1);
memcpy(literal, start, len);
2020-09-11 01:28:06 -07:00
len = unescape_string(literal, literal, len);
op->op = VM_STRING;
op->len = (ssize_t)len;
2020-09-11 01:28:06 -07:00
op->args.s = literal;
2020-09-28 22:02:00 -07:00
if (!matchchar(&str, endquote))
file_err(f, origin, str, "This string doesn't have a closing quote.");
2020-09-11 01:28:06 -07:00
break;
}
// Not <pat>
case '!': {
2020-12-30 19:42:47 -08:00
vm_op_t *p = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!p) file_err(f, str, str, "There should be a pattern after this '!'");
2020-09-11 01:28:06 -07:00
str = p->end;
op->op = VM_NOT;
op->len = 0;
op->args.pat = p;
break;
}
// Number of repetitions: <N>(-<N> / - / + / "")
case '0': case '1': case '2': case '3': case '4': case '5':
case '6': case '7': case '8': case '9': {
ssize_t min = -1, max = -1;
--str;
long n1 = strtol(str, (char**)&str, 10);
if (matchchar(&str, '-')) {
str = after_spaces(str);
const char *start = str;
long n2 = strtol(str, (char**)&str, 10);
if (str == start) min = 0, max = n1;
else min = n1, max = n2;
} else if (matchchar(&str, '+')) {
min = n1, max = -1;
} else {
min = n1, max = n1;
}
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!pat)
file_err(f, str, str, "There should be a pattern after this repetition count.");
2020-09-11 01:28:06 -07:00
str = pat->end;
str = after_spaces(str);
vm_op_t *sep = NULL;
2020-09-11 01:28:06 -07:00
if (matchchar(&str, '%')) {
2020-12-30 19:42:47 -08:00
sep = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!sep)
file_err(f, str, str, "There should be a separator pattern after this '%%'");
2020-09-11 01:28:06 -07:00
str = sep->end;
} else {
2020-09-14 01:21:49 -07:00
str = pat->end;
2020-09-11 01:28:06 -07:00
}
set_range(op, min, max, pat, sep);
2020-09-11 01:28:06 -07:00
break;
}
// Lookbehind
case '<': {
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 21:30:43 -07:00
if (!pat)
file_err(f, str, str, "There should be a pattern after this '<'");
2020-09-11 01:28:06 -07:00
str = pat->end;
2020-09-28 21:30:43 -07:00
if (pat->len == -1)
file_err(f, origin, pat->end,
"Sorry, variable-length lookbehind patterns like this are not supported.\n"
"Please use a fixed-length lookbehind pattern instead.");
2020-09-11 01:28:06 -07:00
str = pat->end;
op->op = VM_AFTER;
op->len = 0;
op->args.pat = pat;
break;
}
// Lookahead
case '>': {
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 21:30:43 -07:00
if (!pat)
file_err(f, str, str, "There should be a pattern after this '>'");
2020-09-11 01:28:06 -07:00
str = pat->end;
op->op = VM_BEFORE;
op->len = 0;
op->args.pat = pat;
break;
}
// Parentheses
case '(': case '{': {
char closing = c == '(' ? ')' : '}';
2020-09-11 01:28:06 -07:00
free(op);
2020-12-30 19:42:47 -08:00
op = bp_simplepattern(f, str);
2020-09-28 21:30:43 -07:00
if (!op)
2020-09-28 22:02:00 -07:00
file_err(f, str, str, "There should be a valid pattern after this parenthesis.");
2020-09-16 19:35:43 -07:00
op = expand_choices(f, op);
2020-09-11 01:28:06 -07:00
str = op->end;
str = after_spaces(str);
if (!matchchar(&str, closing))
2020-09-28 22:02:00 -07:00
file_err(f, origin, str, "This parenthesis group isn't properly closed.");
op->start = origin;
op->end = str;
2020-09-11 01:28:06 -07:00
break;
}
// Square brackets
case '[': {
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!pat)
file_err(f, str, str, "There should be a valid pattern after this square bracket.");
pat = expand_choices(f, pat);
str = pat->end;
str = after_spaces(str);
2020-09-28 22:02:00 -07:00
if (!matchchar(&str, ']'))
file_err(f, origin, str, "This square bracket group isn't properly closed.");
set_range(op, 0, 1, pat, NULL);
break;
}
// Repeating
case '*': case '+': {
ssize_t min = c == '*' ? 0 : 1;
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!pat)
file_err(f, str, str, "There should be a valid pattern here after the '%c'", c);
str = pat->end;
str = after_spaces(str);
vm_op_t *sep = NULL;
if (matchchar(&str, '%')) {
2020-12-30 19:42:47 -08:00
sep = bp_simplepattern(f, str);
2020-09-28 21:30:43 -07:00
if (!sep)
2020-09-28 22:02:00 -07:00
file_err(f, str, str, "There should be a separator pattern after the '%%' here.");
str = sep->end;
}
set_range(op, min, -1, pat, sep);
break;
}
2020-09-11 01:28:06 -07:00
// Capture
case '@': {
op->op = VM_CAPTURE;
const char *a = *str == '!' ? &str[1] : after_name(str);
if (a > str && after_spaces(a)[0] == '=' && after_spaces(a)[1] != '>') {
op->args.capture.name = strndup(str, (size_t)(a-str));
str = after_spaces(a) + 1;
2020-09-11 01:28:06 -07:00
}
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!pat)
file_err(f, str, str, "There should be a valid pattern here to capture after the '@'");
2020-09-11 01:28:06 -07:00
str = pat->end;
op->args.capture.capture_pat = pat;
op->len = pat->len;
break;
}
// Hide
case '~': {
2020-12-30 19:42:47 -08:00
vm_op_t *pat = bp_simplepattern(f, str);
if (!pat)
file_err(f, str, str, "There should be a pattern after this '~'");
str = pat->end;
op->op = VM_HIDE;
op->len = 0;
op->args.pat = pat;
break;
}
2020-09-11 01:28:06 -07:00
// Special rules:
case '_': case '^': case '$': case '|': {
2020-09-11 01:28:06 -07:00
if (matchchar(&str, c)) { // double __, ^^, $$
char tmp[3] = {c, c, '\0'};
op->args.s = strdup(tmp);
} else if (c == '$' && matchchar(&str, '.')) { // $. (multi-line anychar)
op->multiline = 1;
goto anychar;
} else {
op->args.s = strndup(&c, 1);
}
if (*after_spaces(str) == ':') {
free((char*)op->args.s);
free(op);
return NULL;
}
2020-09-11 01:28:06 -07:00
op->op = VM_REF;
break;
}
default: {
// Reference
if (isalpha(c)) {
--str;
const char *refname = str;
str = after_name(str);
if (*after_spaces(str) == ':') {
free(op);
return NULL;
}
2020-09-11 01:28:06 -07:00
op->op = VM_REF;
2020-09-13 20:33:11 -07:00
op->args.s = strndup(refname, (size_t)(str - refname));
2020-09-11 01:28:06 -07:00
break;
} else {
free(op);
return NULL;
}
}
}
op->end = str;
2020-09-13 20:33:11 -07:00
// Postfix operators:
postfix:
2020-09-28 17:42:38 -07:00
str = after_spaces(str);
if (str+2 < f->end && matchstr(&str, "=>")) { // Replacement <pat> => <pat>
str = after_spaces(str);
char quote = *str;
if (!(matchchar(&str, '"') || matchchar(&str, '\'')))
file_err(f, str, str, "There should be a string literal as a replacement here.");
const char *repstr = str;
for (; *str && *str != quote; str++) {
if (*str == '\\') {
if (!str[1] || str[1] == '\n')
file_err(f, str, str+1,
"There should be an escape sequence after this backslash.");
++str;
}
}
if (!matchchar(&str, quote))
file_err(f, &repstr[-1], str, "This string doesn't have a closing quote.");
size_t replace_len = (size_t)(str-repstr-1);
const char *replacement = xcalloc(sizeof(char), replace_len+1);
memcpy((void*)replacement, repstr, replace_len);
vm_op_t *pat = op;
op = new(vm_op_t);
op->op = VM_REPLACE;
op->args.replace.pat = pat;
op->args.replace.text = replacement;
op->args.replace.len = replace_len;
op->len = pat->len;
op->start = pat->start;
op->end = str;
goto postfix;
} else if (str+2 < f->end && (matchstr(&str, "!=") || matchstr(&str, "=="))) { // Equality <pat1>==<pat2> and inequality <pat1>!=<pat2>
int equal = str[-2] == '=';
2020-09-13 20:33:11 -07:00
vm_op_t *first = op;
2020-12-30 19:42:47 -08:00
vm_op_t *second = bp_simplepattern(f, str);
2020-09-28 22:02:00 -07:00
if (!second)
file_err(f, str, str, "The '%c=' operator expects a pattern before and after.", equal?'=':'!');
2020-09-28 17:56:02 -07:00
if (equal) {
2020-09-28 22:02:00 -07:00
if (!(first->len == -1 || second->len == -1 || first->len == second->len))
file_err(f, origin, second->end,
"These two patterns cannot possibly give the same result (different lengths: %ld != %ld)",
2020-09-28 17:56:02 -07:00
first->len, second->len);
}
op = new(vm_op_t);
2020-09-28 17:56:02 -07:00
op->op = equal ? VM_EQUAL : VM_NOT_EQUAL;
2020-09-13 20:33:11 -07:00
op->start = str;
op->end = second->end;
2020-09-28 17:56:02 -07:00
op->len = first->len != -1 ? first->len : second->len;
2020-09-13 20:33:11 -07:00
op->args.multiple.first = first;
op->args.multiple.second = second;
str = op->end;
goto postfix;
}
2020-09-11 01:28:06 -07:00
return op;
}
/*
2020-12-30 19:42:47 -08:00
* Similar to bp_simplepattern, except that the pattern begins with an implicit, unclosable quote.
2020-09-11 01:28:06 -07:00
*/
2020-12-30 19:42:47 -08:00
vm_op_t *bp_stringpattern(file_t *f, const char *str)
2020-09-11 01:28:06 -07:00
{
vm_op_t *ret = NULL;
while (*str) {
vm_op_t *strop = new(vm_op_t);
2020-09-11 01:28:06 -07:00
strop->start = str;
strop->len = 0;
strop->op = VM_STRING;
char *start = (char*)str;
2020-09-11 01:28:06 -07:00
vm_op_t *interp = NULL;
for (; *str; str++) {
if (*str == '\\') {
2020-09-28 22:02:00 -07:00
if (!str[1] || str[1] == '\n')
file_err(f, str, str, "There should be an escape sequence or pattern here after this backslash.");
if (matchchar(&str, 'N')) { // \N (nodent)
interp = new(vm_op_t);
interp->op = VM_NODENT;
break;
}
const char *after_escape;
2020-09-28 21:30:43 -07:00
unsigned char e = unescapechar(&str[1], &after_escape);
if (e != str[1]) {
str = after_escape - 1;
continue;
}
if (str[1] == '\\') {
++str;
continue;
}
2020-12-30 19:42:47 -08:00
interp = bp_simplepattern(f, str + 1);
2020-09-28 22:02:00 -07:00
if (interp == NULL)
file_err(f, str, str+1, "This isn't a valid escape sequence or pattern.");
2020-09-11 01:28:06 -07:00
break;
}
}
// End of string
size_t len = (size_t)(str - start);
char *literal = xcalloc(sizeof(char), len+1);
memcpy(literal, start, len);
2020-09-11 01:28:06 -07:00
len = unescape_string(literal, literal, len);
strop->len = (ssize_t)len;
2020-09-11 01:28:06 -07:00
strop->args.s = literal;
strop->end = str;
if (strop->len == 0) {
free(strop);
strop = NULL;
} else {
ret = chain_together(ret, strop);
}
if (interp) {
ret = chain_together(ret, interp);
str = interp->end;
// allow terminating seq
matchchar(&str, ';');
}
}
return ret;
}
/*
* Given a pattern and a replacement string, compile the two into a replacement
* VM opcode.
*/
2020-12-30 19:42:47 -08:00
vm_op_t *bp_replacement(file_t *f, vm_op_t *pat, const char *replacement)
2020-09-11 01:28:06 -07:00
{
vm_op_t *op = new(vm_op_t);
2020-09-11 01:28:06 -07:00
op->op = VM_REPLACE;
op->start = pat->start;
op->len = pat->len;
op->args.replace.pat = pat;
2020-09-11 01:28:06 -07:00
const char *p = replacement;
for (; *p; p++) {
if (*p == '\\') {
2020-09-28 22:02:00 -07:00
if (!p[1] || p[1] == '\n')
file_err(f, p, p, "There should be an escape sequence or pattern here after this backslash.");
2020-09-11 01:28:06 -07:00
++p;
}
}
size_t rlen = (size_t)(p-replacement);
char *rcpy = xcalloc(sizeof(char), rlen + 1);
memcpy(rcpy, replacement, rlen);
op->args.replace.text = rcpy;
op->args.replace.len = rlen;
2020-09-11 01:28:06 -07:00
return op;
}
2020-12-30 19:42:47 -08:00
vm_op_t *bp_pattern(file_t *f, const char *str)
2020-09-11 01:28:06 -07:00
{
2020-12-30 19:42:47 -08:00
vm_op_t *op = bp_simplepattern(f, str);
2020-09-16 19:35:43 -07:00
if (op != NULL) op = expand_choices(f, op);
2020-09-11 01:28:06 -07:00
return op;
}
// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1