summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2022-08-03 09:20:30 -0700
committerGitHub <noreply@github.com>2022-08-03 09:20:30 -0700
commit609d378038b196468fed5cb4ae68b67743dfe63f (patch)
tree0c3f46db0ad8eae4a67ab5d13913d06bab7efe5c /test
parent3d3350d789d909445c8d8d03545c50bc0ae416ef (diff)
downloadbinaryen-609d378038b196468fed5cb4ae68b67743dfe63f.tar.gz
binaryen-609d378038b196468fed5cb4ae68b67743dfe63f.tar.bz2
binaryen-609d378038b196468fed5cb4ae68b67743dfe63f.zip
Remove support for parsing `let` (#4864)
It has been removed from the typed function references proposal, so we no longer need to support it. Maintaining the test for `let` was difficult because Binaryen could not emit either text or binary that actually used it.
Diffstat (limited to 'test')
-rw-r--r--test/let.txt42
-rw-r--r--test/let.wasmbin128 -> 0 bytes
-rw-r--r--test/let.wasm.fromBinary80
3 files changed, 0 insertions, 122 deletions
diff --git a/test/let.txt b/test/let.txt
deleted file mode 100644
index 9901aaad8..000000000
--- a/test/let.txt
+++ /dev/null
@@ -1,42 +0,0 @@
-;; source code for let.wasm, which was created by wasp
-(module
- (type $vector (array (mut f64)))
- (func $main
- (local $x i32)
- (local $y i32)
- (drop (local.get $x)) ;; 0 is the index appearing in the binary
- ;; first let
- (array.new_with_rtt $vector
- (f64.const 3.14159)
- (i32.const 1)
- (rtt.canon $vector)
- )
- (let (local $v (ref $vector))
- (drop (local.get $v)) ;; 0
- (drop (local.get $x)) ;; 1
- ;; another one, nested
- (array.new_with_rtt $vector
- (f64.const 1234)
- (i32.const 2)
- (rtt.canon $vector)
- )
- (let (local $w (ref $vector))
- (drop (local.get $v)) ;; 1
- (drop (local.get $w)) ;; 0
- (drop (local.get $x)) ;; 2
- )
- )
- ;; another one, later
- (array.new_with_rtt $vector
- (f64.const 2.1828)
- (i32.const 3)
- (rtt.canon $vector)
- )
- (let (local $v (ref $vector))
- (drop (local.get $v)) ;; 0
- (drop (local.get $x)) ;; 1
- )
- (drop (local.get $x)) ;; 0
- )
-)
-
diff --git a/test/let.wasm b/test/let.wasm
deleted file mode 100644
index 8a24b7d35..000000000
--- a/test/let.wasm
+++ /dev/null
Binary files differ
diff --git a/test/let.wasm.fromBinary b/test/let.wasm.fromBinary
deleted file mode 100644
index de51c1045..000000000
--- a/test/let.wasm.fromBinary
+++ /dev/null
@@ -1,80 +0,0 @@
-(module
- (type $[mut:f64] (array (mut f64)))
- (type $none_=>_none (func))
- (func $0
- (local $0 i32)
- (local $1 i32)
- (local $2 (ref null $[mut:f64]))
- (local $3 (ref null $[mut:f64]))
- (local $4 (ref null $[mut:f64]))
- (drop
- (local.get $0)
- )
- (block
- (local.set $2
- (array.new_with_rtt $[mut:f64]
- (f64.const 3.14159)
- (i32.const 1)
- (rtt.canon $[mut:f64])
- )
- )
- (block
- (drop
- (ref.as_non_null
- (local.get $2)
- )
- )
- (drop
- (local.get $0)
- )
- (block
- (local.set $3
- (array.new_with_rtt $[mut:f64]
- (f64.const 1234)
- (i32.const 2)
- (rtt.canon $[mut:f64])
- )
- )
- (block
- (drop
- (ref.as_non_null
- (local.get $2)
- )
- )
- (drop
- (ref.as_non_null
- (local.get $3)
- )
- )
- (drop
- (local.get $0)
- )
- )
- )
- )
- )
- (block
- (local.set $4
- (array.new_with_rtt $[mut:f64]
- (f64.const 2.1828)
- (i32.const 3)
- (rtt.canon $[mut:f64])
- )
- )
- (block
- (drop
- (ref.as_non_null
- (local.get $4)
- )
- )
- (drop
- (local.get $0)
- )
- )
- )
- (drop
- (local.get $0)
- )
- )
-)
-