Skip to content

v1.8.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Jun 10:50
· 1509 commits to main since this release
v1.8.0
8727fa0

New Functionality

Add new skip keyword to let unit items efficiently skip over uninteresting data.

For cases where your parser just needs to skip over some data, without needing access to its content, Spicy provides a skip keyword to prefix corresponding fields with:

module Test;

public type Foo = unit {
  x: int8;
   : skip bytes &size=5;
  y: int8; on %done { print self; }

};

skip works for all kinds of fields but is particularly efficient with bytes fields, for which it will generate optimized code avoiding the overhead of storing any data.

skip fields may have conditions and hooks attached, like any other fields. However, they do not support $$ in expressions and hooks.

For readability, a skip field may be named (e.g., padding: skip bytes &size=3;), but even with a name, its value cannot be accessed.

skip fields extend support for void with attributes fields which are now deprecated.

Add runtime profiling infrastructure.

This add an option --enable-profiling to the HILTI and Spicy compilers. Use of the option does two things: (1) it sets a flag enabling inserting additional profiling instrumentation into generated C++ code, and (2) it enables using instrumentation for recording profiling information during execution of the compiled code, including dumping out a profiling report at the end. The profiling information collected includes time spent in HILTI functions as well as for parsing Spicy units and unit fields.

Changed Functionality

Optimizations for improved runtime performance.

This release contains a number of changes to improve the runtime performance of generated parsers. This includes tweaks for generating more performant code for parsers, low-level optimizations of types in to runtime support library as well as fine-tuning of parser execution at runtime.

  • Do not force locale on users of libhilti.
  • Avoid expensive checked iterator for internal Bytes iteration.
  • GH-1089: Allow to use offset() without enabling full random-access support.
  • GH-1394: Fix C++ normalization of generated enum values.
  • Disallow using $$ with anonymous containers.

Bug fixes

  • GH-1386: Prevent internal error when passed invalid context.
  • Fix potential use-after-move bug.
  • GH-1390: Initialize Bytes internal control block for all constructors.
  • GH-1396: Fix regex performance regression introduced by constant folding.
  • GH-1399: Guard access to unit _filters member with feature flag.
  • GH-1421: Store numerical offset in units instead of iterator for position.
  • GH-1436: Make sure Bytes::sub only throws HILTI exceptions.
  • GH-1447: Do not forcibly make strong_ref in function parameters immutable.
  • GH-1452: Allow resolving of unit parameters before self is fully resolved.
  • Make sure Spicy runtime config is initialized after spicy::rt::init.
  • Adjustments for building with GCC-13.

Documentation

  • Document how to check whether an optional value is set.
  • Preserve indention when extracting comments in doc generation.
  • Fix docs for long-form of -x flag to spicyc.
Assets 17
Loading