parsanol 1.3.53-aarch64-linux → 1.3.54-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 78cdeee79e9f782adaf7fbf1a179a3544d7586824fc58f92b380f7ad8867e050
-  data.tar.gz: f5052cd53addef5e182fa256dff390ad1242199bedf59c7ee19b998b648b42e7
+  metadata.gz: be8d4f6a4a67946ddbbb813adf02a30954c5416bcc90f63cf96793a054e0c254
+  data.tar.gz: 7e9bb6ef7ca17ae816aa72158f1ea3768250c5c92359f83bea8475e4e38dcce3
 SHA512:
-  metadata.gz: 49a0178ef44d9b294afe7274219d130fc9a53350f4d0af505b527a2eac2c94c60803334a378239466bc4950649a71999338bddab81e76b97372d84e15057becd
-  data.tar.gz: b935fc4ed2ebecae8960d3f35f5ba142dea1e24c6b9927cb7f50b6d9b16713ae58db6de5b99010c8c4431b26385b398563b6ac30be8d098a043e9a0831dc27c1
+  metadata.gz: 9e0bc3a1df3681709814e3365f2d953fe651a2389e6581034f5e499e0508a01b708d155803209c5df605ee88d6d83bc1451dbcccf99d2af226be1aa81d62df3c
+  data.tar.gz: a303efad410d36a94a5ad57533a33be0a65eecd3d00ee5ae76661809366bbd02833fced16a67e9749900d7ddb4da99d4a4697e24a24492f093dbd2b348c24028

data/lib/parsanol/3.2/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.2/parsanol_native.so
 size: 34576408 bytes
-sha256: 5b8639e8add801e38778fc09193751011ee6b3fd7db507b9ac630ca8aa06046c
+sha256: b656b991f63ef61537344a63ecc924cbd7bb244b3b423140c4f25c55eca71720

data/lib/parsanol/3.3/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.3/parsanol_native.so
-size: 34819592 bytes
-sha256: 9697c96e0b02cdc86ed015e415b22d1e87f7f645008f81d4472b1f21b4154612
+size: 34819576 bytes
+sha256: 8901b2f0c271f2c433dcc5dd040e6a4733e361a8b8c12af36614d37efb6988ec

data/lib/parsanol/3.4/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.4/parsanol_native.so
-size: 34807048 bytes
-sha256: 43ef924415edbbafe3891e295ace6b289ef9ee3e744d6e84a75894538e7482a0
+size: 34807032 bytes
+sha256: 07fa808465df343a2ace7616fbde2a438739c386acdea32ea5d4f3b4fe38248c

data/lib/parsanol/4.0/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/4.0/parsanol_native.so
-size: 34817024 bytes
-sha256: d70917dabf06b21743261e8b70ceea32e2bd8795f3604b86cc40bdacacd9e2ad
+size: 34817040 bytes
+sha256: 0a32795747cbecb3822ed292a87deec5612293fe055858e1f2c3e3c6785db190

data/lib/parsanol/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Parsanol
-  VERSION = "1.3.53"
+  VERSION = "1.3.54"
 end

data/lib/parsanol/vm.rb

@@ -156,6 +156,21 @@ module Parsanol
         compiler.ops << [HALT, nil, nil, nil]
         return nil unless compiler.append_subroutines
 
+        # Terminal failures jump to pc = FAIL without testing the pc
+        # register on the hot path; the dispatch case instead lands on
+        # this dedicated instruction (the last slot in the flat program),
+        # whose opcode is FAIL itself.
+        compiler.ops << [FAIL, nil, nil, nil]
+
+        # Structure-seeded memoization: a grammar containing repeat/maybe
+        # starts memoized on its very first parse (fresh parser instances
+        # included — the seed is recomputed at every compile), so the
+        # cold-start never pays the doomed unmemoized exploration.
+        if compiler.backtracking_prone
+          # rubocop:disable-next Lint/HashCompareByIdentity -- object_id keys match run_for's heavy flag; would otherwise pin every grammar alive
+          (@heavy ||= {})[root.object_id] = true
+        end
+
         compiler.to_program
       end
 
@@ -248,9 +263,10 @@ module Parsanol
         @inline = inline
         @subs = {}      # [obj_id, flag] => pc or :pending
         @pending = {}   # [obj_id, flag] => [[call_idx, body], ...]
+        @backtracking_prone = false
       end
 
-      attr_reader :ops
+      attr_reader :ops, :backtracking_prone
 
       def to_program
         return :oversize if @ops.size > MAX_PROGRAM
@@ -608,6 +624,11 @@ module Parsanol
       # * unbounded-plus of a single terminal (non-spine sites) -> greedy
       #   RUN_* op
       def compile_repetition(atom, consume_all)
+        # Any repetition (repeat, maybe, repeat(0)) can re-explore the
+        # same rule+position pairs when a later sibling fails; grammars
+        # containing one memoize from the first parse instead of waiting
+        # for the naive pass to prove the need.
+        @backtracking_prone = true
         min = atom.min
         max = atom.max
         return nil if max&.zero?
@@ -737,6 +758,10 @@ module Parsanol
       def execute # rubocop:disable Metrics/MethodLength, Metrics/BlockLength, Metrics/BlockNesting -- single dispatch loop; hot path
         ops = @ops
         input = @input
+        # Dedicated FAIL landing instruction appended after HALT and the
+        # subroutines: `pc = fail_pc` dispatches straight into when-FAIL
+        # on the next cycle, no sentinel comparison per step.
+        fail_pc = ops.size - 4
         bytes = input.unpack("C*")
         # Regexp#match?(str, pos) searches FORWARD from pos (unanchored);
         # StringScanner#match? is position-anchored, matching the
@@ -800,7 +825,7 @@ module Parsanol
               pos += ops[pc + 3]
               pc += 4
             else
-              pc = FAIL
+              pc = fail_pc
             end
           when RE
             b = bytes[pos]
@@ -819,7 +844,7 @@ module Parsanol
               pos += w
               pc += 4
             else
-              pc = FAIL
+              pc = fail_pc
             end
           when ANY
             if pos < n
@@ -829,7 +854,7 @@ module Parsanol
               pos += w
               pc += 4
             else
-              pc = FAIL
+              pc = fail_pc
             end
           when SEQ_BEGIN
             rstack << SEQ_MARK
@@ -878,7 +903,7 @@ module Parsanol
                   # PENDING — re-entry at the same rule+position (left
                   # recursion); the interpreter loops forever here, so
                   # failing this path keeps the VM bounded.
-                  pc = FAIL
+                  pc = fail_pc
                   next
                 end
                 # Memo hit: replay the subroutine's stack effect without
@@ -926,7 +951,7 @@ module Parsanol
             rlen = bt[-BT_STRIDE + 2]
             rstack.slice!(rlen..) if rstack.size > rlen
             bt.pop(BT_STRIDE)
-            pc = FAIL
+            pc = fail_pc
           when DROP
             rstack.pop
             rstack << nil
@@ -967,7 +992,7 @@ module Parsanol
 
             if ops[pc + 2] == 1 && pos != n
               frames.slice!(cbase..)
-              pc = FAIL
+              pc = fail_pc
             else
               rbase = frames[cbase + 2]
               values = rstack.pop(rstack.size - rbase)
@@ -980,7 +1005,7 @@ module Parsanol
             table = ops[pc + 1]
             b = pos < n ? bytes[pos] : -1
             target = b == -1 ? -1 : table[b]
-            pc = target >= 0 ? target : FAIL
+            pc = target >= 0 ? target : fail_pc
           when SEQ_SIMPLE
             kids = ops[pc + 1]
             kn = kids.size
@@ -1115,7 +1140,7 @@ module Parsanol
               ki += 4
             end
             if failed
-              pc = FAIL
+              pc = fail_pc
             else
               rstack << values
               pc += 4
@@ -1180,7 +1205,7 @@ module Parsanol
               pos += w
             end
             if min && values.size - 1 < min
-              pc = FAIL
+              pc = fail_pc
             else
               rstack << values
               pc += 4
@@ -1206,14 +1231,14 @@ module Parsanol
               pos += ln
             end
             if min && values.size - 1 < min
-              pc = FAIL
+              pc = fail_pc
             else
               rstack << values
               pc += 4
             end
           when HALT
             if @consume_all && pos != n
-              pc = FAIL
+              pc = fail_pc
               next
             end
             value = VM.materialize(rstack[0], input)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.53
+  version: 1.3.54
 platform: aarch64-linux
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2026-09-23 00:00:00.000000000 Z
+date: 2026-09-24 00:00:00.000000000 Z
 dependencies: []
 description: A small Ruby library for constructing parsers in the PEG (Parsing Expression
   Grammar) fashion. Parsanol provides Parslet-compatible API with additional features