64193c7de9
Total code size change of this and previous commit:
bare-arm: +0 +0.000%
minimal x86: +0 +0.000%
unix x64: +32 +0.004% standard
stm32: +24 +0.006% PYBV10
cc3200: +16 +0.009%
esp8266: +20 +0.003% GENERIC
esp32: +44 +0.003% GENERIC[incl +8(data)]
mimxrt: +32 +0.009% TEENSY40
renesas-ra: +24 +0.004% RA6M2_EK
nrf: +0 +0.000% pca10040
rp2: +24 +0.005% PICO
samd: +32 +0.012% ADAFRUIT_ITSYBITSY_M4_EXPRESS
Addresses issue #7920.
Signed-off-by: Damien George <damien@micropython.org>
157 lines
2.8 KiB
C
157 lines
2.8 KiB
C
// Copyright 2007-2009 Russ Cox. All Rights Reserved.
|
|
// Copyright 2014 Paul Sokolovsky.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
#ifndef _RE1_5_REGEXP__H
|
|
#define _RE1_5_REGEXP__H
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <stdarg.h>
|
|
#include <assert.h>
|
|
|
|
#define nil ((void*)0)
|
|
#define nelem(x) (sizeof(x)/sizeof((x)[0]))
|
|
|
|
typedef struct Regexp Regexp;
|
|
typedef struct Prog Prog;
|
|
typedef struct ByteProg ByteProg;
|
|
typedef struct Inst Inst;
|
|
typedef struct Subject Subject;
|
|
|
|
struct Regexp
|
|
{
|
|
int type;
|
|
int n;
|
|
int ch;
|
|
Regexp *left;
|
|
Regexp *right;
|
|
};
|
|
|
|
enum /* Regexp.type */
|
|
{
|
|
Alt = 1,
|
|
Cat,
|
|
Lit,
|
|
Dot,
|
|
Paren,
|
|
Quest,
|
|
Star,
|
|
Plus,
|
|
};
|
|
|
|
Regexp *parse(char*);
|
|
Regexp *reg(int type, Regexp *left, Regexp *right);
|
|
void printre(Regexp*);
|
|
#ifndef re1_5_fatal
|
|
void re1_5_fatal(char*);
|
|
#endif
|
|
#ifndef re1_5_stack_chk
|
|
#define re1_5_stack_chk()
|
|
#endif
|
|
void *mal(int);
|
|
|
|
struct Prog
|
|
{
|
|
Inst *start;
|
|
int len;
|
|
};
|
|
|
|
struct ByteProg
|
|
{
|
|
int bytelen;
|
|
int len;
|
|
int sub;
|
|
char insts[0];
|
|
};
|
|
|
|
struct Inst
|
|
{
|
|
int opcode;
|
|
int c;
|
|
int n;
|
|
Inst *x;
|
|
Inst *y;
|
|
int gen; // global state, oooh!
|
|
};
|
|
|
|
enum /* Inst.opcode */
|
|
{
|
|
// Instructions which consume input bytes (and thus fail if none left)
|
|
CONSUMERS = 1,
|
|
Char = CONSUMERS,
|
|
Any,
|
|
Class,
|
|
ClassNot,
|
|
NamedClass,
|
|
|
|
ASSERTS = 0x50,
|
|
Bol = ASSERTS,
|
|
Eol,
|
|
|
|
// Instructions which take relative offset as arg
|
|
JUMPS = 0x60,
|
|
Jmp = JUMPS,
|
|
Split,
|
|
RSplit,
|
|
|
|
// Other (special) instructions
|
|
Save = 0x7e,
|
|
Match = 0x7f,
|
|
};
|
|
|
|
#define inst_is_consumer(inst) ((inst) < ASSERTS)
|
|
#define inst_is_jump(inst) ((inst) & 0x70 == JUMPS)
|
|
|
|
Prog *compile(Regexp*);
|
|
void printprog(Prog*);
|
|
|
|
extern int gen;
|
|
|
|
enum {
|
|
MAXSUB = 20
|
|
};
|
|
|
|
typedef struct Sub Sub;
|
|
|
|
struct Sub
|
|
{
|
|
int ref;
|
|
int nsub;
|
|
const char *sub[MAXSUB];
|
|
};
|
|
|
|
Sub *newsub(int n);
|
|
Sub *incref(Sub*);
|
|
Sub *copy(Sub*);
|
|
Sub *update(Sub*, int, const char*);
|
|
void decref(Sub*);
|
|
|
|
struct Subject {
|
|
const char *begin_line;
|
|
const char *begin;
|
|
const char *end;
|
|
};
|
|
|
|
|
|
#define NON_ANCHORED_PREFIX 5
|
|
#define HANDLE_ANCHORED(bytecode, is_anchored) ((is_anchored) ? (bytecode) + NON_ANCHORED_PREFIX : (bytecode))
|
|
#define RE15_CLASS_NAMED_CLASS_INDICATOR 0
|
|
|
|
int re1_5_backtrack(ByteProg*, Subject*, const char**, int, int);
|
|
int re1_5_pikevm(ByteProg*, Subject*, const char**, int, int);
|
|
int re1_5_recursiveloopprog(ByteProg*, Subject*, const char**, int, int);
|
|
int re1_5_recursiveprog(ByteProg*, Subject*, const char**, int, int);
|
|
int re1_5_thompsonvm(ByteProg*, Subject*, const char**, int, int);
|
|
|
|
int re1_5_sizecode(const char *re);
|
|
int re1_5_compilecode(ByteProg *prog, const char *re);
|
|
void re1_5_dumpcode(ByteProg *prog);
|
|
void cleanmarks(ByteProg *prog);
|
|
int _re1_5_classmatch(const char *pc, const char *sp);
|
|
int _re1_5_namedclassmatch(const char *pc, const char *sp);
|
|
|
|
#endif /*_RE1_5_REGEXP__H*/
|