diff options
| author | Alon Zakai <azakai@google.com> | 2021-01-07 20:01:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-07 12:01:06 -0800 |
| commit | 6a35e33f126d80e7583821e584ae9d101ba0ccb5 (patch) | |
| tree | 3d339d81d52078bb97ba404d9f8bed348f6cbaa3 /test/passes/simplify-globals_all-features_fuzz-exec.txt | |
| parent | 5693bc850110f2fd6c687f2b8753ec04f15d1f9e (diff) | |
| download | binaryen-6a35e33f126d80e7583821e584ae9d101ba0ccb5.tar.gz binaryen-6a35e33f126d80e7583821e584ae9d101ba0ccb5.tar.bz2 binaryen-6a35e33f126d80e7583821e584ae9d101ba0ccb5.zip | |
[GC] Fix parsing/printing of ref types using i31 (#3469)
This lets us parse (ref null i31) and (ref i31) and not just i31ref.
It also fixes the parsing of i31ref, making it nullable for now, which we
need to do until we support non-nullability.
Fix some internal handling of i31 where we had just i31ref (which meant we
just handled the non-nullable type).
After fixing a bug in printing (where we didn't print out (ref null i31)
properly), I found some a simplification, to remove TypeName.
Diffstat (limited to 'test/passes/simplify-globals_all-features_fuzz-exec.txt')
| -rw-r--r-- | test/passes/simplify-globals_all-features_fuzz-exec.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/passes/simplify-globals_all-features_fuzz-exec.txt b/test/passes/simplify-globals_all-features_fuzz-exec.txt index 03bbff9de..fa236fbc1 100644 --- a/test/passes/simplify-globals_all-features_fuzz-exec.txt +++ b/test/passes/simplify-globals_all-features_fuzz-exec.txt @@ -1,11 +1,11 @@ [fuzz-exec] calling export [fuzz-exec] note result: export => funcref(0) (module - (type $f32_i31ref_i64_f64_funcref_=>_none (func (param f32 i31ref i64 f64 funcref))) + (type $f32_ref?|i31|_i64_f64_funcref_=>_none (func (param f32 (ref null i31) i64 f64 funcref))) (type $none_=>_funcref (func (result funcref))) (global $global$0 (mut funcref) (ref.null func)) (export "export" (func $1)) - (func $0 (param $0 f32) (param $1 i31ref) (param $2 i64) (param $3 f64) (param $4 funcref) + (func $0 (param $0 f32) (param $1 (ref null i31)) (param $2 i64) (param $3 f64) (param $4 funcref) (nop) ) (func $1 (result funcref) |