summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--test/dump/basic.txt11
-rw-r--r--test/dump/basic_dump_only.txt11
-rw-r--r--test/dump/binary.txt195
-rw-r--r--test/dump/block-257-exprs-br.txt72
-rw-r--r--test/dump/block-257-exprs.txt71
-rw-r--r--test/dump/br-block-named.txt19
-rw-r--r--test/dump/br-block.txt23
-rw-r--r--test/dump/br-loop-inner-expr.txt20
-rw-r--r--test/dump/br-loop.txt9
-rw-r--r--test/dump/brif-loop.txt6
-rw-r--r--test/dump/brif.txt6
-rw-r--r--test/dump/brtable-empty.txt6
-rw-r--r--test/dump/brtable.txt24
-rw-r--r--test/dump/call.txt3
-rw-r--r--test/dump/callimport.txt7
15 files changed, 266 insertions, 217 deletions
diff --git a/test/dump/basic.txt b/test/dump/basic.txt
index b96c8b69..f73c94b7 100644
--- a/test/dump/basic.txt
+++ b/test/dump/basic.txt
@@ -3,8 +3,15 @@
(module
(memory 1)
(func $f (param i32 i32) (result i32)
- (i32.store (i32.const 0) (i32.add (i32.load (i32.const 0)) (i32.const 1)))
- (i32.add (get_local 0) (get_local 1)))
+ i32.const 0
+ i32.const 0
+ i32.load
+ i32.const 1
+ i32.add
+ i32.store
+ get_local 0
+ get_local 1
+ i32.add)
(export "f" (func $f)))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
diff --git a/test/dump/basic_dump_only.txt b/test/dump/basic_dump_only.txt
index 46f888b7..dfa2346d 100644
--- a/test/dump/basic_dump_only.txt
+++ b/test/dump/basic_dump_only.txt
@@ -2,8 +2,15 @@
(module
(memory 1)
(func $f (param i32 i32) (result i32)
- (i32.store (i32.const 0) (i32.add (i32.load (i32.const 0)) (i32.const 1)))
- (i32.add (get_local 0) (get_local 1)))
+ i32.const 0
+ i32.const 0
+ i32.load
+ i32.const 1
+ i32.add
+ i32.store
+ get_local 0
+ get_local 1
+ i32.add)
(export "f" (func $f)))
(;; STDOUT ;;;
func 0
diff --git a/test/dump/binary.txt b/test/dump/binary.txt
index 33005cb0..8032331f 100644
--- a/test/dump/binary.txt
+++ b/test/dump/binary.txt
@@ -2,105 +2,102 @@
;;; FLAGS: -v
(module
(func
- (drop
- (i32.add
- (i32.sub
- (i32.mul
- (i32.div_s
- (i32.div_u
- (i32.rem_s
- (i32.rem_u
- (i32.and
- (i32.or
- (i32.xor
- (i32.shl
- (i32.shr_u
- (i32.shr_s
- (i32.rotl
- (i32.rotr
- (i32.const 0)
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0))
- (i32.const 0)))
-
- (drop
- (i64.add
- (i64.sub
- (i64.mul
- (i64.div_s
- (i64.div_u
- (i64.rem_s
- (i64.rem_u
- (i64.and
- (i64.or
- (i64.xor
- (i64.shl
- (i64.shr_u
- (i64.shr_s
- (i64.rotl
- (i64.rotr
- (i64.const 0)
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0))
- (i64.const 0)))
-
- (drop
- (f32.add
- (f32.sub
- (f32.mul
- (f32.div
- (f32.min
- (f32.max
- (f32.copysign
- (f32.const 0)
- (f32.const 0))
- (f32.const 0))
- (f32.const 0))
- (f32.const 0))
- (f32.const 0))
- (f32.const 0))
- (f32.const 0)))
-
- (drop
- (f64.add
- (f64.sub
- (f64.mul
- (f64.div
- (f64.min
- (f64.max
- (f64.copysign
- (f64.const 0)
- (f64.const 0))
- (f64.const 0))
- (f64.const 0))
- (f64.const 0))
- (f64.const 0))
- (f64.const 0))
- (f64.const 0)))
+ i32.const 0
+ i32.const 0
+ i32.rotr
+ i32.const 0
+ i32.rotl
+ i32.const 0
+ i32.shr_s
+ i32.const 0
+ i32.shr_u
+ i32.const 0
+ i32.shl
+ i32.const 0
+ i32.xor
+ i32.const 0
+ i32.or
+ i32.const 0
+ i32.and
+ i32.const 0
+ i32.rem_u
+ i32.const 0
+ i32.rem_s
+ i32.const 0
+ i32.div_u
+ i32.const 0
+ i32.div_s
+ i32.const 0
+ i32.mul
+ i32.const 0
+ i32.sub
+ i32.const 0
+ i32.add
+ drop
+ i64.const 0
+ i64.const 0
+ i64.rotr
+ i64.const 0
+ i64.rotl
+ i64.const 0
+ i64.shr_s
+ i64.const 0
+ i64.shr_u
+ i64.const 0
+ i64.shl
+ i64.const 0
+ i64.xor
+ i64.const 0
+ i64.or
+ i64.const 0
+ i64.and
+ i64.const 0
+ i64.rem_u
+ i64.const 0
+ i64.rem_s
+ i64.const 0
+ i64.div_u
+ i64.const 0
+ i64.div_s
+ i64.const 0
+ i64.mul
+ i64.const 0
+ i64.sub
+ i64.const 0
+ i64.add
+ drop
+ f32.const 0
+ f32.const 0
+ f32.copysign
+ f32.const 0
+ f32.max
+ f32.const 0
+ f32.min
+ f32.const 0
+ f32.div
+ f32.const 0
+ f32.mul
+ f32.const 0
+ f32.sub
+ f32.const 0
+ f32.add
+ drop
+ f64.const 0
+ f64.const 0
+ f64.copysign
+ f64.const 0
+ f64.max
+ f64.const 0
+ f64.min
+ f64.const 0
+ f64.div
+ f64.const 0
+ f64.mul
+ f64.const 0
+ f64.sub
+ f64.const 0
+ f64.add
+ drop
))
diff --git a/test/dump/block-257-exprs-br.txt b/test/dump/block-257-exprs-br.txt
index 79624ac5..47fe7ec3 100644
--- a/test/dump/block-257-exprs-br.txt
+++ b/test/dump/block-257-exprs-br.txt
@@ -2,51 +2,51 @@
;;; FLAGS: -v
(module
(func
- (block $foo
+ block $foo
;; 1..64
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 65..128
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 129..192
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 193..256
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 257..258
- (br $foo) ;; should be depth 1
- (br 0) ;; also depth 1
-)))
+ br $foo ;; should be depth 1
+ br 0 ;; also depth 1
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/block-257-exprs.txt b/test/dump/block-257-exprs.txt
index de0289cd..9b80445b 100644
--- a/test/dump/block-257-exprs.txt
+++ b/test/dump/block-257-exprs.txt
@@ -2,49 +2,50 @@
;;; FLAGS: -v
(module
(func
- (block
+ block
;; 1..64
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 65..128
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
-
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+
;; 129..192
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 193..256
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
- (nop) (nop) (nop) (nop) (nop) (nop) (nop) (nop)
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
+ nop nop nop nop nop nop nop nop
;; 257
- (nop))))
+ nop
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/br-block-named.txt b/test/dump/br-block-named.txt
index 93902d32..a8a723d8 100644
--- a/test/dump/br-block-named.txt
+++ b/test/dump/br-block-named.txt
@@ -2,13 +2,18 @@
;;; FLAGS: -v
(module
(func
- (block $outer ;; 3
- (loop ;; 2
- (block ;; 1
- (drop (i32.const 0))
- (block $inner ;; 0
- (br $inner)
- (br $outer)))))))
+ block $outer ;; 3
+ loop ;; 2
+ block ;; 1
+ i32.const 0
+ drop
+ block $inner ;; 0
+ br $inner
+ br $outer
+ end
+ end
+ end
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/br-block.txt b/test/dump/br-block.txt
index 77665c6b..1a0e659c 100644
--- a/test/dump/br-block.txt
+++ b/test/dump/br-block.txt
@@ -2,15 +2,20 @@
;;; FLAGS: -v
(module
(func ;; depth
- (block $outer ;; 4
- (loop ;; 2 loop, 3 exit
- (block ;; 1
- (drop (i32.const 0))
- (block $inner ;; 0
- (br 0)
- (br 1)
- (br 2)
- (br 3)))))))
+ block $outer ;; 4
+ loop ;; 2 loop, 3 exit
+ block ;; 1
+ i32.const 0
+ drop
+ block $inner ;; 0
+ br 0
+ br 1
+ br 2
+ br 3
+ end
+ end
+ end
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/br-loop-inner-expr.txt b/test/dump/br-loop-inner-expr.txt
index 7a79c2df..9d801af4 100644
--- a/test/dump/br-loop-inner-expr.txt
+++ b/test/dump/br-loop-inner-expr.txt
@@ -2,12 +2,20 @@
;;; FLAGS: -v
(module
(func (result i32)
- (block $exit i32 (loop $cont i32
- (if (i32.const 1)
- (br $cont))
- (if (i32.const 3)
- (br $exit (i32.const 4)))
- (i32.const 5)))))
+ block $exit i32
+ loop $cont i32
+ i32.const 1
+ if
+ br $cont
+ end
+ i32.const 3
+ if
+ i32.const 4
+ br $exit
+ end
+ i32.const 5
+ end
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/br-loop.txt b/test/dump/br-loop.txt
index f2e6e4fd..f2ce5d6c 100644
--- a/test/dump/br-loop.txt
+++ b/test/dump/br-loop.txt
@@ -2,9 +2,12 @@
;;; FLAGS: -v
(module
(func
- (loop $cont
- (if (i32.const 1)
- (br $cont)))))
+ loop $cont
+ i32.const 1
+ if
+ br $cont
+ end
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/brif-loop.txt b/test/dump/brif-loop.txt
index 616c12aa..9d8af099 100644
--- a/test/dump/brif-loop.txt
+++ b/test/dump/brif-loop.txt
@@ -2,8 +2,10 @@
;;; FLAGS: -v
(module
(func
- (loop $cont
- (br_if $cont (i32.const 0)))))
+ loop $cont
+ i32.const 0
+ br_if $cont
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/brif.txt b/test/dump/brif.txt
index 833dcfdf..a38cbe6a 100644
--- a/test/dump/brif.txt
+++ b/test/dump/brif.txt
@@ -2,8 +2,10 @@
;;; FLAGS: -v
(module
(func
- (block $foo
- (br_if $foo (i32.const 1)))))
+ block $foo
+ i32.const 1
+ br_if $foo
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/brtable-empty.txt b/test/dump/brtable-empty.txt
index b9117f98..56e06e1f 100644
--- a/test/dump/brtable-empty.txt
+++ b/test/dump/brtable-empty.txt
@@ -2,8 +2,10 @@
;;; FLAGS: -v
(module
(func
- (block
- (br_table 0 (i32.const 0)))))
+ block
+ i32.const 0
+ br_table 0
+ end))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/brtable.txt b/test/dump/brtable.txt
index b9dd5a8b..e824b718 100644
--- a/test/dump/brtable.txt
+++ b/test/dump/brtable.txt
@@ -2,18 +2,24 @@
;;; FLAGS: -v
(module
(func
- (block
- (block
- (block (br_table 0 1 0 (i32.const 0)))
+ block
+ block
+ block
+ i32.const 0
+ br_table 0 1 0
+ end
;; case 0
- (drop (i32.const 1))
- (drop (i32.const 2))
- (br 1) ;; topmost block
- )
+ i32.const 1
+ drop
+ i32.const 2
+ drop
+ br 1 ;; topmost block
+ end
;; case 1
;; fallthrough
- )
- (drop (i32.const 3))))
+ end
+ i32.const 3
+ drop))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/call.txt b/test/dump/call.txt
index 7f5a2c1e..9174112b 100644
--- a/test/dump/call.txt
+++ b/test/dump/call.txt
@@ -2,7 +2,8 @@
;;; FLAGS: -v
(module
(func (param i32)
- (call 0 (i32.const 1))))
+ i32.const 1
+ call 0))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
diff --git a/test/dump/callimport.txt b/test/dump/callimport.txt
index 51fdf5b7..affd1173 100644
--- a/test/dump/callimport.txt
+++ b/test/dump/callimport.txt
@@ -4,9 +4,12 @@
(import "foo" "bar" (func (param i32 f32) (result i32)))
(func (result i32)
;; call imported func
- (drop (call 0 (i32.const 1) (f32.const 2)))
+ i32.const 1
+ f32.const 2
+ call 0
+ drop
;; call local func
- (call 1)))
+ call 1))
(;; STDOUT ;;;
0000000: 0061 736d ; WASM_BINARY_MAGIC
0000004: 0c00 0000 ; WASM_BINARY_VERSION
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-26 22:35:08 +0000