diff options
| author | Alon Zakai <azakai@google.com> | 2023-02-23 10:07:43 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-23 10:07:43 -0800 |
| commit | 5a0aef47cda663b312c34454857601ee78d77ab6 (patch) | |
| tree | 7912acd8f63f64c5cad51078af33534bee818000 /scripts | |
| parent | e929b9c23cced499d08630c25a2991391cabdabb (diff) | |
| download | binaryen-5a0aef47cda663b312c34454857601ee78d77ab6.tar.gz binaryen-5a0aef47cda663b312c34454857601ee78d77ab6.tar.bz2 binaryen-5a0aef47cda663b312c34454857601ee78d77ab6.zip | |
[wasm-ctor-eval] Add v128 load/store support (#5512)
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_lit_checks.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/update_lit_checks.py b/scripts/update_lit_checks.py index b7b836e57..b93059427 100755 --- a/scripts/update_lit_checks.py +++ b/scripts/update_lit_checks.py @@ -40,6 +40,11 @@ MODULE_RE = re.compile(r'^\(module.*$', re.MULTILINE) ALL_ITEMS = '|'.join(['type', 'import', 'global', 'memory', 'data', 'table', 'elem', 'tag', 'export', 'start', 'func']) ITEM_NAME = r'\$?[^\s()]*|"[^\s()]*"' +# FIXME: This does not handle nested string contents. For example, +# (data (i32.const 10) "hello(") +# will look unterminated, due to the '(' inside the string. As a result, the +# code below will consider more elements after the |data| to be part of it, +# until it sees enough closing ')' symbols. ITEM_RE = re.compile(r'(?:^\s*\(rec\s*)?(^\s*)\((' + ALL_ITEMS + r')\s+(' + ITEM_NAME + ').*$', re.MULTILINE) |