diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-02-03 10:48:11 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-03 10:48:11 -0800 |
commit | abc1df9fa0b36cc5cd5aa473c3809cd39cebc653 (patch) | |
tree | fe8c67b4141d21f1f757916e312383eb17e934f5 /src/parsing.h | |
parent | 13a9d521bce7780032b33c51725876e69f297bde (diff) | |
download | binaryen-abc1df9fa0b36cc5cd5aa473c3809cd39cebc653.tar.gz binaryen-abc1df9fa0b36cc5cd5aa473c3809cd39cebc653.tar.bz2 binaryen-abc1df9fa0b36cc5cd5aa473c3809cd39cebc653.zip |
Isorecursive binary format (#4494)
Write and parse recursion groups in binary type sections. Unlike in the text
format, where we ignore recursion groups when not using isorecursive types, do
not allow parsing binary recursion group when using other type systems. Doing so
would produce incorrect results because recursions groups only count as single
entries in the type system vector so we dynamically grow the TypeBuilder when we
encounter them. That would change the mapping of later indices to types, and
would change the meaning of previous type definitions that use those later
indices. This is not a problem in the isorecursive system because in that system
type definitions are not allowed to use later indices.
Diffstat (limited to 'src/parsing.h')
0 files changed, 0 insertions, 0 deletions