diff options
| author | Alon Zakai <azakai@google.com> | 2022-07-07 12:46:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-07 12:46:43 -0700 |
| commit | 9831b36d339b1cea61d5313f7dfa256fc1ee9bcc (patch) | |
| tree | 70178cf4d01b7d5b9319be6fdd59c4d05cc2a0a1 /test/typed-function-references.wast.from-wast | |
| parent | a82e2dbfc3a554377b93cc1f5fca731ff688f925 (diff) | |
| download | binaryen-9831b36d339b1cea61d5313f7dfa256fc1ee9bcc.tar.gz binaryen-9831b36d339b1cea61d5313f7dfa256fc1ee9bcc.tar.bz2 binaryen-9831b36d339b1cea61d5313f7dfa256fc1ee9bcc.zip | |
Group reference types in binary format. (#4774)
Grouping all references together makes it easier for baseline compilers to
zero out memory (as the zeroing out may be different for MVP types vs.
references).
This puts all references together, either at the start or the end. As a
heuristic for that we see if the first local is a reference. As the optimizer
will sort locals by frequency, this ensures that the most-frequent local
stays in index 0.
Fixes #4773. See more details there
Diffstat (limited to 'test/typed-function-references.wast.from-wast')
| -rw-r--r-- | test/typed-function-references.wast.from-wast | 39 |
1 files changed, 38 insertions, 1 deletions
diff --git a/test/typed-function-references.wast.from-wast b/test/typed-function-references.wast.from-wast index cb9dd5671..a695e826d 100644 --- a/test/typed-function-references.wast.from-wast +++ b/test/typed-function-references.wast.from-wast @@ -1,4 +1,5 @@ (module + (type $mixed_results (func (result anyref f32 anyref f32))) (type $none_=>_none (func)) (type $i32-i32 (func (param i32) (result i32))) (type $=>eqref (func (result eqref))) @@ -8,7 +9,7 @@ (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null $=>eqref)))) (type $=>anyref (func (result anyref))) (type $none_=>_i32_ref?|$mixed_results|_f64 (func (result i32 (ref null $mixed_results) f64))) - (type $mixed_results (func (result anyref f32 anyref f32))) + (type $ref?|$mixed_results|_=>_none (func (param (ref null $mixed_results)))) (elem declare func $call-ref $call-ref-more) (func $call-ref (call_ref @@ -62,4 +63,40 @@ ) ) ) + (func $ref-types-first + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $i1 i32) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) + (func $mvp-types-first + (local $i1 i32) + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) + (func $mvp-types-first-param (param $r0 (ref null $mixed_results)) + (local $i1 i32) + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) ) |