Avoid generating extra subre tree nodes for capturing parentheses.
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 21 Feb 2021 00:26:41 +0000 (19:26 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 21 Feb 2021 00:26:41 +0000 (19:26 -0500)
commitea1268f6301cc7adce571cc9c5ebe8d9342a2ef4
tree036b342d06097d3118a31dc9b3f65a5756c7730c
parent581043089472816061a7fd381f40572191dfa48f
Avoid generating extra subre tree nodes for capturing parentheses.

Previously, each pair of capturing parentheses gave rise to a separate
subre tree node, whose only function was to identify that we ought to
capture the match details for this particular sub-expression.  In
most cases we don't really need that, since we can perfectly well
put a "capture this" annotation on the child node that does the real
matching work.  As with the two preceding commits, the main value
of this is to avoid generating and optimizing an NFA for a tree node
that's not really pulling its weight.

The chosen data representation only allows one capture annotation
per subre node.  In the legal-per-spec, but seemingly not very useful,
case where there are multiple capturing parens around the exact same
bit of the regex (i.e. "((xyz))"), wrap the child node in N-1 capture
nodes that act the same as before.  We could work harder at that but
I'll refrain, pending some evidence that such cases are worth troubling
over.

In passing, improve the comments in regex.h to say what all the
different re_info bits mean.  Some of them were pretty obvious
but others not so much, so reverse-engineer some documentation.

This is part of a patch series that in total reduces the regex engine's
runtime by about a factor of four on a large corpus of real-world regexes.

Patch by me, reviewed by Joel Jacobson

Discussion: https://postgr.es/m/1340281.1613018383@sss.pgh.pa.us
src/backend/regex/README
src/backend/regex/regcomp.c
src/backend/regex/rege_dfa.c
src/backend/regex/regexec.c
src/include/regex/regex.h
src/include/regex/regguts.h