This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
regex engine - simplify regnode structures and make them consistent
authorYves Orton <demerphq@gmail.com>
Sun, 15 Jan 2023 12:00:46 +0000 (13:00 +0100)
committerYves Orton <demerphq@gmail.com>
Mon, 13 Mar 2023 13:26:08 +0000 (21:26 +0800)
commit17e3e02ad120eabda2bdb6c297a70d53294437ef
tree6fc99228c2a34c7ee5ec892de4c1f1a980e2f240
parent59db194299c94c6707095797c3df0e2f67ff82b2
regex engine - simplify regnode structures and make them consistent

This eliminates the regnode_2L data structure, and merges it with the older
regnode_2 data structure. At the same time it makes each "arg" property of the
various regnode types that have one be consistently structured as an anonymous
union like this:

    union {
        U32 arg1u;
        I32 arg2i;
        struct {
            U16 arg1a;
            U16 arg1b;
        };
    };

We then expose four macros for accessing each slot: ARG1u() ARG1i() and
ARG1a() and ARG1b(). Code then explicitly designates which they want. The old
logic used ARG() to access an U32 arg1, and ARG1() to access an I32 arg1,
which was confusing to say the least. The regnode_2L structure had a U32 arg1,
and I32 arg2, and the regnode_2 data strucutre had two I32 args. With the new
set of macros we use the regnode_2 for both, and use the appropriate macros to
show whether we want to signed or unsigned values.

This also renames the regnode_4 to regnode_3. The 3 stands for "three 32-bit
args". However as each slot can also store two U16s, a regnode_3 can hold up
to 6 U16s, or as 3 I32's, or a combination. For instance the CURLY style nodes
use regnode_3 to store 4 values, ARG1i() for min count, ARG2i() for max count
and ARG3a() and ARG3b() for parens before and inside the quantifier.

It also changes the functions reganode() to reg1node() and changes reg2Lanode()
to reg2node(). The 2L thing was just confusing.
13 files changed:
embed.fnc
embed.h
pod/perldebguts.pod
proto.h
regcomp.c
regcomp.h
regcomp.sym
regcomp_debug.c
regcomp_study.c
regcomp_trie.c
regexec.c
reginline.h
regnodes.h