diff options
| author | Alon Zakai <azakai@google.com> | 2021-05-27 12:53:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-27 12:53:05 -0700 |
| commit | 97f37aa13ce3ed318dc18980f03c41e7536624a5 (patch) | |
| tree | e192a2c89442cdbae8f16f481c32434b00a376a7 /src/ir/effects.h | |
| parent | 27a18f990e022cfe5b6a5485fd2eaca73b6dfbaa (diff) | |
| download | binaryen-97f37aa13ce3ed318dc18980f03c41e7536624a5.tar.gz binaryen-97f37aa13ce3ed318dc18980f03c41e7536624a5.tar.bz2 binaryen-97f37aa13ce3ed318dc18980f03c41e7536624a5.zip | |
[Wasm GC] Add experimental array.copy (#3911)
Spec for it is here:
https://docs.google.com/document/d/1DklC3qVuOdLHSXB5UXghM_syCh-4cMinQ50ICiXnK3Q/edit#
Also reorder some things in wasm.h that were not in the canonical order (that has
no effect, but it is confusing to read).
Diffstat (limited to 'src/ir/effects.h')
| -rw-r--r-- | src/ir/effects.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h index f9b6ca6fc..2de5c54f6 100644 --- a/src/ir/effects.h +++ b/src/ir/effects.h @@ -618,6 +618,10 @@ private: parent.implicitTrap = true; } } + void visitArrayCopy(ArrayCopy* curr) { + // traps when a ref is null, or when out of bounds. + parent.implicitTrap = true; + } void visitRefAs(RefAs* curr) { // traps when the arg is not valid if (curr->value->type.isNullable()) { |