+#!/usr/bin/perl
+#
+# Regenerate (overwriting only if changed):
+#
+# regnodes.h
+#
+# from information stored in
+#
+# regcomp.sym
+# regexp.h
+#
+# Accepts the standard regen_lib -q and -v args.
+#
+# This script is normally invoked from regen.pl.
+
+BEGIN {
+ # Get function prototypes
+ require 'regen_lib.pl';
+}
#use Fatal qw(open close rename chmod unlink);
+use strict;
+use warnings;
+
open DESC, 'regcomp.sym';
-$ind = 0;
+my $ind = 0;
+my (@name,@rest,@type,@code,@args,@flags,@longj);
+my ($desc,$lastregop);
while (<DESC>) {
- next if /^\s*($|\#)/;
- $ind++;
- chomp;
- ($name[$ind], $desc, $rest[$ind]) = split /\t+/, $_, 3;
- ($type[$ind], $code[$ind], $args[$ind], $longj[$ind])
- = split /[,\s]\s*/, $desc, 4;
+ s/#.*$//;
+ next if /^\s*$/;
+ s/\s*\z//;
+ if (/^-+\s*$/) {
+ $lastregop= $ind;
+ next;
+ }
+ unless ($lastregop) {
+ ($name[$ind], $desc, $rest[$ind]) = /^(\S+)\s+([^\t]+)\s*;\s*(.*)/;
+ ($type[$ind], $code[$ind], $args[$ind], $flags[$ind], $longj[$ind])
+ = split /[,\s]\s*/, $desc;
+ ++$ind;
+ } else {
+ my ($type,@lists)=split /\s+/, $_;
+ die "No list? $type" if !@lists;
+ foreach my $list (@lists) {
+ my ($names,$special)=split /:/, $list , 2;
+ $special ||= "";
+ foreach my $name (split /,/,$names) {
+ my $real= $name eq 'resume'
+ ? "resume_$type"
+ : "${type}_$name";
+ my @suffix;
+ if (!$special) {
+ @suffix=("");
+ } elsif ($special=~/\d/) {
+ @suffix=(1..$special);
+ } elsif ($special eq 'FAIL') {
+ @suffix=("","_fail");
+ } else {
+ die "unknown :type ':$special'";
+ }
+ foreach my $suffix (@suffix) {
+ $name[$ind]="$real$suffix";
+ $type[$ind]=$type;
+ $rest[$ind]="state for $type";
+ ++$ind;
+ }
+ }
+ }
+
+ }
}
+# use fixed width to keep the diffs between regcomp.pl recompiles
+# as small as possible.
+my ($width,$rwidth,$twidth)=(22,12,9);
+$lastregop ||= $ind;
+my $tot = $ind;
close DESC;
-$tot = $ind;
+die "Too many regexp/state opcodes! Maximum is 256, but there are $lastregop in file!"
+ if $lastregop>256;
+
+sub process_flags {
+ my ($flag, $varname, $comment) = @_;
+ $comment = '' unless defined $comment;
+
+ $ind = 0;
+ my @selected;
+ my $bitmap = '';
+ do {
+ my $set = $flags[$ind] && $flags[$ind] eq $flag ? 1 : 0;
+ # Whilst I could do this with vec, I'd prefer to do longhand the arithmetic
+ # ops in the C code.
+ my $current = do {
+ no warnings 'uninitialized';
+ ord do {
+ no warnings 'substr';
+ substr $bitmap, ($ind >> 3);
+ }
+ };
+ substr $bitmap, ($ind >> 3), 1, chr($current | ($set << ($ind & 7)));
+
+ push @selected, $name[$ind] if $set;
+ } while (++$ind < $lastregop);
+ my $out_string = join ', ', @selected, 0;
+ $out_string =~ s/(.{1,70},) /$1\n /g;
+
+ my $out_mask = join ', ', map {sprintf "0x%02X", ord $_} split '', $bitmap;
+
+ return $comment . <<"EOP";
+#define REGNODE_\U$varname\E(node) (PL_${varname}_bitmask[(node) >> 3] & (1 << ((node) & 7)))
+
+#ifndef DOINIT
+EXTCONST U8 PL_${varname}[] __attribute__deprecated__;
+#else
+EXTCONST U8 PL_${varname}[] __attribute__deprecated__ = {
+ $out_string
+};
+#endif /* DOINIT */
+
+#ifndef DOINIT
+EXTCONST U8 PL_${varname}_bitmask[];
+#else
+EXTCONST U8 PL_${varname}_bitmask[] = {
+ $out_mask
+};
+#endif /* DOINIT */
+
+EOP
+}
-$tmp_h = 'tmp_reg.h';
+my $tmp_h = 'regnodes.h-new';
unlink $tmp_h if -f $tmp_h;
-open OUT, ">$tmp_h";
+my $out = safer_open($tmp_h);
-print OUT <<EOP;
-/* !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
- This file is built by regcomp.pl from regcomp.sym.
+printf $out <<EOP,
+/* -*- buffer-read-only: t -*-
+ !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
+ This file is built by regcomp.pl from regcomp.sym.
Any changes made here will be lost!
*/
-EOP
+/* Regops and State definitions */
+
+#define %*s\t%d
+#define %*s\t%d
-$ind = 0;
-while (++$ind <= $tot) {
- $oind = $ind - 1;
- $hind = sprintf "%#4x", $oind;
- print OUT <<EOP;
-#define $name[$ind] $oind /* $hind $rest[$ind] */
EOP
+ -$width, REGNODE_MAX => $lastregop - 1,
+ -$width, REGMATCH_STATE_MAX => $tot - 1
+;
+
+
+for ($ind=0; $ind < $lastregop ; ++$ind) {
+ printf $out "#define\t%*s\t%d\t/* %#04x %s */\n",
+ -$width, $name[$ind], $ind, $ind, $rest[$ind];
}
+print $out "\t/* ------------ States ------------- */\n";
+for ( ; $ind < $tot ; $ind++) {
+ printf $out "#define\t%*s\t(REGNODE_MAX + %d)\t/* %s */\n",
+ -$width, $name[$ind], $ind - $lastregop + 1, $rest[$ind];
+}
+
+print $out <<EOP;
-print OUT <<EOP;
+/* PL_regkind[] What type of regop or state is this. */
#ifndef DOINIT
EXTCONST U8 PL_regkind[];
EOP
$ind = 0;
-while (++$ind <= $tot) {
- print OUT <<EOP;
- $type[$ind], /* $name[$ind] */
-EOP
-}
+do {
+ printf $out "\t%*s\t/* %*s */\n",
+ -1-$twidth, "$type[$ind],", -$width, $name[$ind];
+ print $out "\t/* ------------ States ------------- */\n"
+ if $ind + 1 == $lastregop and $lastregop != $tot;
+} while (++$ind < $tot);
-print OUT <<EOP;
+print $out <<EOP;
};
#endif
+/* regarglen[] - How large is the argument part of the node (in regnodes) */
#ifdef REG_COMP_C
-const static U8 regarglen[] = {
+static const U8 regarglen[] = {
EOP
$ind = 0;
-while (++$ind <= $tot) {
- $size = 0;
+do {
+ my $size = 0;
$size = "EXTRA_SIZE(struct regnode_$args[$ind])" if $args[$ind];
- print OUT <<EOP;
- $size, /* $name[$ind] */
+ printf $out "\t%*s\t/* %*s */\n",
+ -37, "$size,",-$rwidth,$name[$ind];
+} while (++$ind < $lastregop);
+
+print $out <<EOP;
+};
+
+/* reg_off_by_arg[] - Which argument holds the offset to the next node */
+
+static const char reg_off_by_arg[] = {
EOP
-}
-print OUT <<EOP;
+$ind = 0;
+do {
+ my $size = $longj[$ind] || 0;
+
+ printf $out "\t%d,\t/* %*s */\n",
+ $size, -$rwidth, $name[$ind]
+} while (++$ind < $lastregop);
+
+print $out <<EOP;
};
-const static char reg_off_by_arg[] = {
+#endif /* REG_COMP_C */
+
+/* reg_name[] - Opcode/state names in string form, for debugging */
+
+#ifndef DOINIT
+EXTCONST char * PL_reg_name[];
+#else
+EXTCONST char * const PL_reg_name[] = {
EOP
$ind = 0;
-while (++$ind <= $tot) {
- $size = $longj[$ind] || 0;
-
- print OUT <<EOP;
- $size, /* $name[$ind] */
+my $ofs = 0;
+my $sym = "";
+do {
+ my $size = $longj[$ind] || 0;
+
+ printf $out "\t%*s\t/* $sym%#04x */\n",
+ -3-$width,qq("$name[$ind]",), $ind - $ofs;
+ if ($ind + 1 == $lastregop and $lastregop != $tot) {
+ print $out "\t/* ------------ States ------------- */\n";
+ $ofs = $lastregop - 1;
+ $sym = 'REGNODE_MAX +';
+ }
+
+} while (++$ind < $tot);
+
+print $out <<EOP;
+};
+#endif /* DOINIT */
+
+/* PL_reg_extflags_name[] - Opcode/state names in string form, for debugging */
+
+#ifndef DOINIT
+EXTCONST char * PL_reg_extflags_name[];
+#else
+EXTCONST char * const PL_reg_extflags_name[] = {
EOP
-}
-print OUT <<EOP;
+my %rxfv;
+my %definitions; # Remember what the symbol definitions are
+my $val = 0;
+my %reverse;
+foreach my $file ("op_reg_common.h", "regexp.h") {
+ open my $fh,"<", $file or die "Can't read $file: $!";
+ while (<$fh>) {
+
+ # optional leading '_'. Return symbol in $1, and strip it from
+ # rest of line
+ if (s/ \#define \s+ ( _? RXf_ \w+ ) \s+ //xi) {
+ chomp;
+ my $define = $1;
+ s: / \s* \* .*? \* \s* / : :x; # Replace comments by a blank
+
+ # Replace any prior defined symbols by their values
+ foreach my $key (keys %definitions) {
+ s/\b$key\b/$definitions{$key}/g;
+ }
+ my $newval = eval $_; # Get numeric definition
+
+ $definitions{$define} = $newval;
+
+ next unless $_ =~ /<</; # Bit defines use left shift
+ if($val & $newval) {
+ die sprintf "Both $define and $reverse{$newval} use %08X", $newval;
+ }
+ $val|=$newval;
+ $rxfv{$define}= $newval;
+ $reverse{$newval} = $define;
+ }
+ }
+}
+my %vrxf=reverse %rxfv;
+printf $out "\t/* Bits in extflags defined: %032b */\n",$val;
+for (0..31) {
+ my $n=$vrxf{2**$_}||"UNUSED_BIT_$_";
+ $n=~s/^RXf_(PMf_)?//;
+ printf $out qq(\t%-20s/* 0x%08x */\n),
+ qq("$n",),2**$_;
+}
+
+print $out <<EOP;
};
-#endif /* REG_COMP_C */
+#endif /* DOINIT */
EOP
-close OUT;
+print $out process_flags('V', 'varies', <<'EOC');
+/* The following have no fixed length. U8 so we can do strchr() on it. */
+EOC
+
+print $out process_flags('S', 'simple', <<'EOC');
+/* The following always have a length of 1. U8 we can do strchr() on it. */
+/* (Note that length 1 means "one character" under UTF8, not "one octet".) */
+EOC
+
+print $out <<EOP;
+/* ex: set ro: */
+EOP
+safer_close($out);
-chmod 0666, 'regnodes.h';
-unlink 'regnodes.h';
-rename $tmp_h, 'regnodes.h';
+rename_if_different $tmp_h, 'regnodes.h';
https://perl5.git.perl.org / perl5.git / blobdiff