packcr 0.0.4 → 0.0.6

data/lib/packcr/templates/node/charclass_one.rb.erb

@@ -0,0 +1,23 @@
+<%- if a -%>
+if (
+  refill_buffer(1) < 1 ||
+  @buffer[@cur] == "<%= Packcr.escape_character(charclass[0]) %>"
+)
+  throw(<%= onfail %>)
+end
+<%-   if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%-   end -%>
+@cur += 1
+<%- else -%>
+if (
+  refill_buffer(1) < 1 ||
+  @buffer[@cur] != "<%= Packcr.escape_character(charclass[0]) %>"
+)
+  throw(<%= onfail %>)
+end
+<%-   if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%-   end -%>
+@cur += 1
+<%- end -%>

data/lib/packcr/templates/node/charclass_utf8.c.erb

@@ -0,0 +1,49 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+{
+    int u;
+    const size_t n = pcc_get_char_as_utf32(ctx, &u);
+    if (n == 0) goto L<%= "%04d" % onfail %>;
+<%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+<%-   u0 = 0 -%>
+<%-   r = false -%>
+<%-   if a -%>
+    if (
+<%-   else -%>
+    if (!(
+<%-   end -%>
+<%-   while i < n -%>
+<%-     if charclass[i] == '\\' && i + 1 < n -%>
+<%-       i += 1 -%>
+<%-     end -%>
+<%-     u = charclass[i].ord -%>
+<%-     i += 1 -%>
+<%-     if r -%>
+<%-       # character range -%>
+        (u >= 0x<%= "%06x" % u0  %> && u <= 0x<%= "%06x" % u %>)<% if i < n %> ||<% end %>
+<%-       u0 = 0 -%>
+<%-       r = false -%>
+<%-     elsif charclass[i] != "-" || i == n - 1 # the individual '-' character is valid when it is at the first or the last position -%>
+<%-       # single character -%>
+        u == 0x<%= "%06x" % u %><% if i < n %> ||<% end %>
+<%-       u0 = 0 -%>
+<%-       r = false -%>
+<%-     elsif charclass[i] == "-" -%>
+<%-       i += 1 -%>
+<%-       u0 = u -%>
+<%-       r = true -%>
+<%-     else -%>
+<%-       raise "unexpected charclass #{charclass[i]}" -%>
+<%-     end -%>
+<%-   end -%>
+<%-   if a -%>
+    ) goto L<%= "%04d" % onfail %>;
+<%-   else -%>
+    )) goto L<%= "%04d" % onfail %>;
+<%-   end -%>
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, n);
+<%- end -%>
+    ctx->cur += n;
+}

data/lib/packcr/templates/node/charclass_utf8.rb.erb

@@ -0,0 +1,50 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+u<%= gen.level %> = @buffer[@cur]
+<%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+<%-   u0 = nil -%>
+<%-   r = false -%>
+<%-   if a -%>
+if (
+<%-   else -%>
+if (!(
+  <%-   end -%>
+  <%-   while i < n -%>
+  <%-     if charclass[i] == '\\' && i + 1 < n -%>
+  <%-       i += 1 -%>
+  <%-     end -%>
+  <%-     u = charclass[i] -%>
+  <%-     i += 1 -%>
+  <%-     if r -%>
+  <%-       # character range -%>
+  (u<%= gen.level %> >= <%= u0.dump  %> && u<%= gen.level %> <= <%= u.dump %>)<% if i < n %> ||<% end %>
+  <%-       u0 = 0 -%>
+  <%-       r = false -%>
+  <%-     elsif charclass[i] != "-" || i == n - 1 # the individual '-' character is valid when it is at the first or the last position -%>
+  <%-       # single character -%>
+  u<%= gen.level %> == <%= u.dump %><% if i < n %> ||<% end %>
+  <%-       u0 = 0 -%>
+  <%-       r = false -%>
+  <%-     elsif charclass[i] == "-" -%>
+  <%-       i += 1 -%>
+  <%-       u0 = u -%>
+  <%-       r = true -%>
+  <%-     else -%>
+  <%-       raise "unexpected charclass #{charclass[i]}" -%>
+  <%-     end -%>
+  <%-   end -%>
+  <%-   if a -%>
+)
+<%-   else -%>
+))
+<%-   end -%>
+  throw(<%= onfail %>)
+end
+<%- end -%>
+<%- if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%- end -%>
+@cur += 1

data/lib/packcr/templates/node/charclass_utf8_reverse.rb.erb

@@ -0,0 +1,51 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+if refill_buffer(1) >= 1
+  u<%= gen.level %> = @buffer[@cur]
+  <%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+  <%-   u0 = nil -%>
+  <%-   r = false -%>
+  <%-   if a -%>
+  unless (
+  <%-   else -%>
+  if (
+  <%-   end -%>
+    <%-   while i < n -%>
+    <%-     if charclass[i] == '\\' && i + 1 < n -%>
+    <%-       i += 1 -%>
+    <%-     end -%>
+    <%-     u = charclass[i] -%>
+    <%-     i += 1 -%>
+    <%-     if r -%>
+    <%-       # character range -%>
+    (u<%= gen.level %> >= <%= u0.dump  %> && u<%= gen.level %> <= <%= u.dump %>)<% if i < n %> ||<% end %>
+    <%-       u0 = 0 -%>
+    <%-       r = false -%>
+    <%-     elsif charclass[i] != "-" || i == n - 1 # the individual '-' character is valid when it is at the first or the last position -%>
+    <%-       # single character -%>
+    u<%= gen.level %> == <%= u.dump %><% if i < n %> ||<% end %>
+    <%-       u0 = 0 -%>
+    <%-       r = false -%>
+    <%-     elsif charclass[i] == "-" -%>
+    <%-       i += 1 -%>
+    <%-       u0 = u -%>
+    <%-       r = true -%>
+    <%-     else -%>
+    <%-       raise "unexpected charclass #{charclass[i]}" -%>
+    <%-     end -%>
+    <%-   end -%>
+  )
+    <%-   if gen.location -%>
+    @cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+    <%-   end -%>
+    @cur += 1
+    throw(<%= onsuccess %>)
+  end
+  <%- else # '.' or '[^]' -%>
+  <%-   if gen.location -%>
+  @cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+  <%-   end -%>
+  @cur += 1
+  throw(<%= onsuccess %>)
+  <%- end -%>
+end

data/lib/packcr/templates/node/eof.c.erb

@@ -0,0 +1 @@
+if (pcc_refill_buffer(ctx, 1) >= 1) goto L<%= "%04d" % onfail %>;

data/lib/packcr/templates/node/eof.rb.erb

@@ -0,0 +1,3 @@
+if refill_buffer(1) >= 1
+  throw(<%= onfail %>)
+end

data/lib/packcr/templates/node/error.c.erb

@@ -0,0 +1,28 @@
+{
+    <%- l = gen.next_label -%>
+    <%- m = gen.next_label -%>
+    <%- -%><%= gen.generate_code(expr, l, 4, true) -%>
+    goto L<%= "%04d" % m %>;
+L<%= "%04d" % l %>:;
+    {
+        pcc_value_t null;
+        pcc_thunk_t *const thunk = pcc_thunk__create_leaf(ctx->auxil, pcc_action_<%= gen.rule.name %>_<%= index %>, <%= gen.rule.vars.length %>, <%= gen.rule.capts.length %>);
+<%- vars.each do |var| -%>
+        thunk->data.leaf.values.buf[<%= var.index %>] = &(chunk->values.buf[<%= var.index %>]);
+<%- end -%>
+<%- capts.each do |capt| -%>
+        thunk->data.leaf.capts.buf[<%= capt.index %>] = &(chunk->capts.buf[<%= capt.index %>]);
+<%- end -%>
+        thunk->data.leaf.capt0.range.start = chunk->pos;
+        thunk->data.leaf.capt0.range.end = ctx->cur;
+<%- if gen.location -%>
+        thunk->data.leaf.capt0.range.start_loc_ptr = &chunk->pos_loc;
+        thunk->data.leaf.capt0.range.end_loc_ptr = &ctx->cur_loc;
+<%- end -%>
+        memset(&null, 0, sizeof(pcc_value_t)); /* in case */
+        thunk->data.leaf.action(ctx, thunk, &null);
+        pcc_thunk__destroy(ctx->auxil, thunk);
+    }
+    goto L<%= "%04d" % onfail %>;
+L<%= "%04d" % m %>:;
+}

data/lib/packcr/templates/node/error.rb.erb

@@ -0,0 +1,34 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+catch(<%= m %>) do
+  catch(<%= l %>) do
+    <%- -%><%= gen.generate_code(expr, l, 4, false) -%>
+    throw(<%= m %>)
+  end
+
+  action_<%= gen.rule.name %>_<%= index %>(
+    ThunkLeaf.new(
+      :action_<%= gen.rule.name %>_<%= index %>,
+      Capture.new(
+        answer.pos, @cur,
+        <%- if gen.location -%>
+        answer.pos_loc,@cur_loc,
+        <%- end -%>
+      ),
+      <%- if vars.empty? -%>
+      {},
+      <%- else -%>
+      answer.values.slice(<% vars.each_with_index do |var, i| %><%= ", " if i > 0 %><%= var.index %><% end %>),
+      <%- end -%>
+      <%- if capts.empty? -%>
+      {},
+      <%- else -%>
+      answer.capts.slice(<% capts.each_with_index do |capt, i| %><%= ", " if i > 0 %><%= capt.index %><% end %>),
+      <%- end -%>
+    ),
+    nil,
+    0
+  )
+
+  throw(<%= onfail %>)
+end

data/lib/packcr/templates/node/expand.c.erb

@@ -0,0 +1,16 @@
+{
+    const size_t n = chunk->capts.buf[<%= index %>].range.end - chunk->capts.buf[<%= index %>].range.start;
+    if (pcc_refill_buffer(ctx, n) < n) goto L<%= "%04d" % onfail %>;
+    if (n > 0) {
+        const char *const p = ctx->buffer.buf + ctx->cur;
+        const char *const q = ctx->buffer.buf + chunk->capts.buf[<%= index %>].range.start;
+        size_t i;
+        for (i = 0; i < n; i++) {
+            if (p[i] != q[i]) goto L<%= "%04d" % onfail %>;
+        }
+<%- if gen.location -%>
+        pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, n);
+<%- end -%>
+        ctx->cur += n;
+    }
+}

data/lib/packcr/templates/node/expand.rb.erb

@@ -0,0 +1,16 @@
+capt<%= gen.level %> = answer.capts[<%= index %>]
+n<%= gen.level %> = capt<%= gen.level %>.range_end - capt<%= gen.level %>.range_start
+if refill_buffer(n<%= gen.level %>) < n<%= gen.level %>
+  throw(<%= onfail %>)
+end
+if n<%= gen.level %> > 0
+  ptr<%= gen.level %> = @buffer[@cur, n<%= gen.level %>]
+  q<%= gen.level %> = @buffer[capt<%= gen.level %>.range_start, n<%= gen.level %>]
+  if ptr<%= gen.level %> != q<%= gen.level %>
+    throw(<%= onfail %>)
+  end
+  <%- if gen.location -%>
+  @cur_loc = @cur_loc.forward(@buffer, @cur, n<%= gen.level %>)
+  <%- end -%>
+  @cur += n<%= gen.level %>
+end

data/lib/packcr/templates/node/predicate.c.erb

@@ -0,0 +1,30 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+<%- r = expr.reachability -%>
+{
+    const size_t p = ctx->cur;
+<%- if gen.location -%>
+    const pcc_location_t p_loc = ctx->cur_loc;
+<%- end -%>
+<%= gen.generate_code(expr, l, 4, false) -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
+    ctx->cur = p;
+<%-   if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%-   end -%>
+<%- end -%>
+<%- if r == Packcr::CODE_REACH__BOTH -%>
+    goto L<%= "%04d" % m %>;
+<%- end -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+L<%= "%04d" % l %>:;
+    ctx->cur = p;
+<%-   if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%-   end -%>
+    goto L<%= "%04d" % onfail %>;
+<%- end -%>
+<%- if r == Packcr::CODE_REACH__BOTH -%>
+L<%= "%04d" % m %>:;
+<%- end -%>
+}

data/lib/packcr/templates/node/predicate.rb.erb

@@ -0,0 +1,28 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+<%- r = expr.reachability -%>
+catch(<%= m %>) do
+  pos<%= gen.level %> = @cur
+  <%- if gen.location -%>
+  p_loc<%= gen.level %> = @cur_pos
+  <%- end -%>
+  catch(<%= l %>) do
+    <%- %><%= gen.generate_code(expr, l, 4, false) -%>
+    <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
+    @cur = pos<%= gen.level %>
+    <%-   if gen.location -%>
+    @cur_loc = p_loc<%= gen.level %>
+    <%-   end -%>
+    <%- end -%>
+    <%- if r == Packcr::CODE_REACH__BOTH -%>
+    throw(<%= m %>)
+    <%- end -%>
+  end
+  <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+  @cur = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @cur_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  throw(<%= onfail %>)
+  <%- end -%>
+end

data/lib/packcr/templates/node/predicate_neg.c.erb

@@ -0,0 +1,23 @@
+<%- l = gen.next_label -%>
+<%- r = expr.reachability -%>
+{
+    const size_t p = ctx->cur;
+<%- if gen.location -%>
+    const pcc_location_t p_loc = ctx->cur_loc;
+<%- end -%>
+<%= gen.generate_code(expr, l, 4, false) -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
+    ctx->cur = p;
+<%-   if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%-   end -%>
+    goto L<%= "%04d" % onfail %>;
+<%- end -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+L<%= "%04d" % l %>:;
+    ctx->cur = p;
+<%-   if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%-   end -%>
+<%- end -%>
+}

data/lib/packcr/templates/node/predicate_neg.rb.erb

@@ -0,0 +1,22 @@
+<%- l = gen.next_label -%>
+<%- r = expr.reachability -%>
+pos<%= gen.level %> = @cur
+<%- if gen.location -%>
+p_loc<%= gen.level %> = @cur_loc
+<%- end -%>
+catch(<%= l %>) do
+  <%- %><%= gen.generate_code(expr, l, 2, false) -%>
+  <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
+  @cur = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @cur_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  throw(<%= onfail %>)
+  <%- end -%>
+end
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+@cur = pos<%= gen.level %>
+<%-   if gen.location -%>
+@cur_loc = p_loc<%= gen.level %>
+<%-   end -%>
+<%- end -%>

data/lib/packcr/templates/node/quantify_many.c.erb

@@ -0,0 +1,45 @@
+{
+<%- if min > 0 -%>
+    const size_t p0 = ctx->cur;
+<%-   if gen.location -%>
+    const pcc_location_t p0_loc = ctx->cur_loc;
+<%-   end -%>
+    const size_t n0 = chunk->thunks.len;
+<%- end -%>
+    int i;
+<%- if max < 0 -%>
+    for (i = 0;; i++) {
+<%- else -%>
+    for (i = 0; i < <%= max %>; i++) {
+<%- end -%>
+        const size_t p = ctx->cur;
+<%- if gen.location -%>
+        const pcc_location_t p_loc = ctx->cur_loc;
+<%- end -%>
+        const size_t n = chunk->thunks.len;
+<%- l = gen.next_label -%>
+<%- r = expr.reachability -%>
+<%= gen.generate_code(expr, l, 8, false) -%>
+        if (ctx->cur == p) break;
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+        continue;
+    L<%= "%04d" % l %>:;
+        ctx->cur = p;
+<%-   if gen.location -%>
+        ctx->cur_loc = p_loc;
+<%-   end -%>
+        pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
+        break;
+<%- end -%>
+    }
+<%- if min > 0 -%>
+    if (i < <%= min %>) {
+        ctx->cur = p0;
+<%-   if gen.location -%>
+        ctx->cur_loc = p0_loc;
+<%-   end -%>
+        pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n0);
+        goto L<%= "%04d" % onfail %>;
+    }
+<%- end -%>
+}

data/lib/packcr/templates/node/quantify_many.rb.erb

@@ -0,0 +1,47 @@
+<%- if min > 0 -%>
+q<%= gen.level %> = @cur
+<%-   if gen.location -%>
+q_loc<%= gen.level %> = @cur_loc
+<%-   end -%>
+m<%= gen.level %> = answer.thunks.length
+<%- end -%>
+i<%= gen.level %> = 0
+pos<%= gen.level %> = nil
+<%- if gen.location -%>
+p_loc<%= gen.level %> = nil
+<%- end -%>
+n<%= gen.level %> = nil
+<%- l = gen.next_label -%>
+catch(<%= l %>) do
+  pos<%= gen.level %> = @cur
+  <%- if gen.location -%>
+  p_loc<%= gen.level %> = @cur_loc
+  <%- end -%>
+  n<%= gen.level %> = answer.thunks.length
+  <%- r = expr.reachability -%>
+  <%- %><%= gen.generate_code(expr, l, 2, false) -%>
+  i<%= gen.level %> += 1
+  if @cur != pos<%= gen.level %><% if max >= 0 %> || i<%= gen.level %> < <%= max %><% end %>
+    redo
+  end
+  pos<%= gen.level %> = nil
+end
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+if pos<%= gen.level %>
+  @cur = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @cur_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  answer.thunks[n<%= gen.level %>..-1] = []
+end
+<%- end -%>
+<%- if min > 0 -%>
+if i<%= gen.level %> < <%= min %>
+  @cur = q<%= gen.level %>
+  <%-   if gen.location -%>
+  @cur_loc = q_loc<%= gen.level %>
+  <%-   end -%>
+  answer.thunks[m<%= gen.level %>..-1] = []
+  throw(<%= onfail %>)
+end
+<%- end -%>

data/lib/packcr/templates/node/quantify_one.c.erb

@@ -0,0 +1,21 @@
+{
+<%- l = gen.next_label -%>
+    const size_t p = ctx->cur;
+<%- if gen.location -%>
+    const pcc_location_t p_loc = ctx->cur_loc;
+<%- end -%>
+    const size_t n = chunk->thunks.len;
+<%- r = expr.reachability -%>
+<%= gen.generate_code(expr, l, 4, false) -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+<%-   m = gen.next_label -%>
+    goto L<%= "%04d" % m %>;
+L<%= "%04d" % l %>:;
+<%-   if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%-   end -%>
+    ctx->cur = p;
+    pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
+L<%= "%04d" % m %>:;
+<%- end -%>
+}

data/lib/packcr/templates/node/quantify_one.rb.erb

@@ -0,0 +1,23 @@
+<%- l = gen.next_label -%>
+pos<%= gen.level %> = @cur
+<%- if gen.location -%>
+p_loc<%= gen.level %> = @cur_loc
+<%- end -%>
+n<%= gen.level %> = answer.thunks.length
+<%- r = expr.reachability -%>
+<%- if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+<%- %><%= gen.generate_code(expr, l, 0, false) -%>
+<%- else -%>
+<%-   m = gen.next_label -%>
+catch(<%= m %>) do
+  catch(<%= l %>) do
+    <%- %><%= gen.generate_code(expr, l, 4, false) -%>
+    throw(<%= m %>)
+  end
+  <%-   if gen.location -%>
+  @cur_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  @cur = pos<%= gen.level %>
+  answer.thunks[n<%= gen.level %>..-1] = []
+end
+<%- end -%>

data/lib/packcr/templates/node/reference.c.erb

@@ -0,0 +1,5 @@
+<%- if index != nil -%>
+if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, &(chunk->values.buf[<%= index %>]))) goto L<%= "%04d" % onfail %>;
+<%- else -%>
+if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, NULL)) goto L<%= "%04d" % onfail %>;
+<%- end -%>

data/lib/packcr/templates/node/reference.rb.erb

@@ -0,0 +1,9 @@
+<%- if index != nil -%>
+if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>)
+  throw(<%= onfail %>)
+end
+<%- else -%>
+if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0)
+  throw(<%= onfail %>)
+end
+<%- end -%>

data/lib/packcr/templates/node/reference_reverse.rb.erb

@@ -0,0 +1,9 @@
+<%- if index != nil -%>
+if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>)
+  throw(<%= onsuccess %>)
+end
+<%- else -%>
+if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0)
+  throw(<%= onsuccess %>)
+end
+<%- end -%>

data/lib/packcr/templates/node/rule.c.erb

@@ -0,0 +1,19 @@
+    PCC_DEBUG(ctx->auxil, PCC_DBG_EVALUATE, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->buffer.len - chunk->pos));
+    ctx->level++;
+    pcc_value_table__resize(ctx->auxil, &chunk->values, <%= vars.length %>);
+    pcc_capture_table__resize(ctx->auxil, &chunk->capts, <%= capts.length %>);
+    <%- if vars.length > 0 -%>
+    pcc_value_table__clear(ctx->auxil, &chunk->values);
+    <%- end -%>
+    <%- r = expr.reachability -%>
+    <%- -%><%= gen.generate_code(expr, 0, 4, false) -%>
+    ctx->level--;
+    PCC_DEBUG(ctx->auxil, PCC_DBG_MATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->cur - chunk->pos));
+    return chunk;
+    <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+L0000:;
+    ctx->level--;
+    PCC_DEBUG(ctx->auxil, PCC_DBG_NOMATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->cur - chunk->pos));
+    pcc_thunk_chunk__destroy(ctx, chunk);
+    return NULL;
+    <%- end -%>

data/lib/packcr/templates/node/rule.rb.erb

@@ -0,0 +1,23 @@
+debug { warn "#{ "  " * @level}EVAL    <%= name %> #{answer.pos} #{@buffer[answer.pos..-1].inspect}" }
+@level += 1
+answer.resize_captures(<%= capts.length %>)
+<%- if vars.length > 0 -%>
+answer.values = {}
+<%- end -%>
+<%- r = expr.reachability -%>
+<%- if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+<%- -%><%= gen.generate_code(expr, 0, 0, false) -%>
+@level -= 1
+debug { warn "#{ "  " * @level}MATCH   <%= name %> #{answer.pos} #{@buffer[answer.pos...@cur].inspect}" }
+return answer
+<%- else -%>
+catch(0) do
+  <%- -%><%= gen.generate_code(expr, 0, 2, false) -%>
+  @level -= 1
+  debug { warn "#{ "  " * @level}MATCH   <%= name %> #{answer.pos} #{@buffer[answer.pos...@cur].inspect}" }
+  return answer
+end
+@level -= 1
+debug { warn "#{ "  " * @level}NOMATCH <%= name %> #{answer.pos} #{@buffer[answer.pos...@cur].inspect}" }
+return nil
+<%- end -%>

data/lib/packcr/templates/node/sequence.c.erb

@@ -0,0 +1,12 @@
+<%- if @cut && oncut -%>
+<%-   onfail, oncut = oncut, nil -%>
+<%- end -%>
+<%- nodes.each_with_index do |expr, i| -%>
+<%- -%><%= gen.generate_code(expr, onfail, 0, false, oncut: oncut) -%>
+<%-   if expr.reachability == Packcr::CODE_REACH__ALWAYS_FAIL -%>
+<%-     if i + 1 < nodes.length -%>
+/* unreachable codes omitted */
+<%-     end -%>
+<%-     break -%>
+<%-   end -%>
+<%- end -%>

data/lib/packcr/templates/node/sequence.rb.erb

@@ -0,0 +1,12 @@
+<%- if @cut && oncut -%>
+<%-   onfail, oncut = oncut, nil -%>
+<%- end -%>
+<%- nodes.each_with_index do |expr, i| -%>
+<%- -%><%= gen.generate_code(expr, onfail, 0, false, oncut: oncut) -%>
+<%-   if expr.reachability == Packcr::CODE_REACH__ALWAYS_FAIL -%>
+<%-     if i + 1 < nodes.length -%>
+# unreachable codes omitted
+<%-     end -%>
+<%-     break -%>
+<%-   end -%>
+<%- end -%>

data/lib/packcr/templates/node/string_many.c.erb

@@ -0,0 +1,11 @@
+if (
+    pcc_refill_buffer(ctx, <%= n %>) < <%= n %> ||
+<%- (n - 1).times do |i| -%>
+    (ctx->buffer.buf + ctx->cur)[<%= i %>] != '<%= Packcr.escape_character(value[i]) %>' ||
+<%- end -%>
+    (ctx->buffer.buf + ctx->cur)[<%= n - 1 %>] != '<%= s = Packcr.escape_character(value[n - 1]) %>'
+) goto L<%= "%04d" % onfail %>;
+<%- if gen.location -%>
+pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, n);
+<%- end -%>
+ctx->cur += <%= n %>;

data/lib/packcr/templates/node/string_many.rb.erb

@@ -0,0 +1,10 @@
+if (
+  refill_buffer(<%= n %>) < <%= n %> ||
+  @buffer[@cur, <%= n %>] != <%= value[0, n].dump %>
+)
+  throw(<%= onfail %>)
+end
+<%- if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, <%= n %>)
+<%- end -%>
+@cur += <%= n %>

data/lib/packcr/templates/node/string_one.c.erb

@@ -0,0 +1,8 @@
+if (
+    pcc_refill_buffer(ctx, 1) < 1 ||
+    ctx->buffer.buf[ctx->cur] != '<%= Packcr.escape_character(value[0]) %>'
+) goto L<%= "%04d" % onfail %>;
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+ctx->cur++;