Implement special case for quantified character classes

lib/Cursor.cs

@@ -200,6 +200,16 @@ public sealed class RxFrame {
         return !(st.pos == end || !x.Accepts(orig[st.pos++]));
     }
 
+    public bool ScanCClass(int min, int max, CC x) {
+        int i;
+        int maxr = end - st.pos;
+        if (maxr < max) max = maxr;
+
+        for (i = 0; i < max && x.Accepts(orig[st.pos + i]); i++);
+        st.pos += i;
+        return (i >= min);
+    }
+
     public void LTMPushAlts(Lexer lx, int[] addrs) {
         PushBacktrack("LTM", -1);
         int[] cases = lx.Run(orig_s, st.pos);

src/Optimizer/RxSimple.pm

@@ -164,4 +164,15 @@ sub RxOp::NotBefore::rxsimp { my ($self, $cut) = @_;
     return RxOp::NotBefore->new(zyg => [ $z ]);
 }
 
+sub RxOp::Quantifier::rxsimp { my ($self, $cut) = @_;
+    my $z = $self->zyg->[0]->rxsimp(0);
+    if ($cut && $z->isa('RxOp::CClassElem')) {
+        return RxOp::QuantCClass->new(cc => $z->cc, min => $self->min,
+            max => $self->max);
+    }
+    return RxOp::Quantifier->new(%$self, zyg => [$z]);
+}
+
+sub RxOp::QuantCClass::mayback { 0 }
+
 1;

src/RxOp.pm

@@ -603,6 +603,27 @@ use CgOp;
     no Moose;
 }
 
+# generated by optimizer so needs no lad; always greedy
+{
+    package RxOp::QuantCClass;
+    use Moose;
+    extends 'RxOp';
+
+    has cc => (isa => 'CClass', is => 'ro', required => 1);
+    has min => (isa => 'Int', is => 'ro', required => 1);
+    has max => (isa => 'Maybe[Int]', is => 'ro', default => undef);
+
+    sub code {
+        my ($self, $body) = @_;
+        CgOp::rxbprim("ScanCClass", CgOp::int($self->min),
+            CgOp::int($self->max // (2**31-1)),
+            CgOp::const(RxOp::CClassElem::ccop($self)));
+    }
+
+    __PACKAGE__->meta->make_immutable;
+    no Moose;
+}
+
 {
     package RxOp::CClassElem;
     use Moose;