diff options
| author | Alon Zakai <azakai@google.com> | 2021-05-17 14:27:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-17 14:27:08 -0700 |
| commit | 9f8fca1456fe754ead197b4f9899be190e978c92 (patch) | |
| tree | e50907f1b5be6eed29ada14542622b53da9c2df6 /test/heap-types.wast.fromBinary.noDebugInfo | |
| parent | 7296f51567d5db95c23247dbec116e35812df5a8 (diff) | |
| download | binaryen-9f8fca1456fe754ead197b4f9899be190e978c92.tar.gz binaryen-9f8fca1456fe754ead197b4f9899be190e978c92.tar.bz2 binaryen-9f8fca1456fe754ead197b4f9899be190e978c92.zip | |
[Wasm GC] Fix printing of unreachable Array operations (#3892)
Similar to struct operations, if the reference is unreachable then we do
not know the heap type, and cannot print the full expression.
Diffstat (limited to 'test/heap-types.wast.fromBinary.noDebugInfo')
| -rw-r--r-- | test/heap-types.wast.fromBinary.noDebugInfo | 31 |
1 files changed, 29 insertions, 2 deletions
diff --git a/test/heap-types.wast.fromBinary.noDebugInfo b/test/heap-types.wast.fromBinary.noDebugInfo index 525e265a4..2df77d9b9 100644 --- a/test/heap-types.wast.fromBinary.noDebugInfo +++ b/test/heap-types.wast.fromBinary.noDebugInfo @@ -1,9 +1,9 @@ (module (type ${i32_f32_f64} (struct (field i32) (field f32) (field f64))) - (type ${i8_mut:i16_ref|{i32_f32_f64}|_mut:ref|{i32_f32_f64}|} (struct (field i8) (field (mut i16)) (field (ref ${i32_f32_f64})) (field (mut (ref ${i32_f32_f64}))))) (type $none_=>_none (func)) - (type ${i32_i64} (struct (field i32) (field i64))) + (type ${i8_mut:i16_ref|{i32_f32_f64}|_mut:ref|{i32_f32_f64}|} (struct (field i8) (field (mut i16)) (field (ref ${i32_f32_f64})) (field (mut (ref ${i32_f32_f64}))))) (type $[mut:f64] (array (mut f64))) + (type ${i32_i64} (struct (field i32) (field i64))) (type $[mut:ref?|[mut:f64]|] (array (mut (ref null $[mut:f64])))) (type ${mut:f32} (struct (field (mut f32)))) (type $anyref_=>_none (func (param anyref))) @@ -321,5 +321,32 @@ (func $11 (unreachable) ) + (func $12 + (unreachable) + ) + (func $13 + (drop + (ref.null $[mut:f64]) + ) + (unreachable) + ) + (func $14 + (unreachable) + ) + (func $15 + (drop + (ref.null $[mut:f64]) + ) + (unreachable) + ) + (func $16 + (drop + (ref.null $[mut:f64]) + ) + (drop + (i32.const 2) + ) + (unreachable) + ) ) |