summaryrefslogtreecommitdiff
path: root/test/spec/old_loop.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/old_loop.wast')
-rw-r--r--test/spec/old_loop.wast282
1 files changed, 0 insertions, 282 deletions
diff --git a/test/spec/old_loop.wast b/test/spec/old_loop.wast
deleted file mode 100644
index 9e51f618c..000000000
--- a/test/spec/old_loop.wast
+++ /dev/null
@@ -1,282 +0,0 @@
-;; Test `loop` opcode
-
-(module
- (func $dummy)
-
- (func (export "empty")
- (loop)
- (loop $l)
- )
-
- (func (export "singular") (result i32)
- (loop (nop))
- (loop i32 (i32.const 7))
- )
-
- (func (export "multi") (result i32)
- (loop (call $dummy) (call $dummy) (call $dummy) (call $dummy))
- (loop i32 (call $dummy) (call $dummy) (call $dummy) (i32.const 8))
- )
-
- (func (export "nested") (result i32)
- (loop i32
- (loop (call $dummy) (block) (nop))
- (loop i32 (call $dummy) (i32.const 9))
- )
- )
-
- (func (export "deep") (result i32)
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (loop i32 (block i32 (loop i32 (block i32
- (loop i32 (block i32 (call $dummy) (i32.const 150)))
- ))))))
- ))))))
- ))))))
- ))))))
- ))))))
- ))))))
- ))))))
- )
-
- (func (export "as-unary-operand") (result i32)
- (i32.ctz (loop i32 (call $dummy) (i32.const 13)))
- )
- (func (export "as-binary-operand") (result i32)
- (i32.mul
- (loop i32 (call $dummy) (i32.const 3))
- (loop i32 (call $dummy) (i32.const 4))
- )
- )
- (func (export "as-test-operand") (result i32)
- (i32.eqz (loop i32 (call $dummy) (i32.const 13)))
- )
- (func (export "as-compare-operand") (result i32)
- (f32.gt
- (loop f32 (call $dummy) (f32.const 3))
- (loop f32 (call $dummy) (f32.const 3))
- )
- )
-
- (func (export "break-bare") (result i32)
- (block (loop (br 1) (br 0) (unreachable)))
- (block (loop (br_if 1 (i32.const 1)) (unreachable)))
- (block (loop (br_table 1 (i32.const 0)) (unreachable)))
- (block (loop (br_table 1 1 1 (i32.const 1)) (unreachable)))
- (i32.const 19)
- )
- (func (export "break-value") (result i32)
- (block i32 (loop i32 (br 1 (i32.const 18)) (br 0) (i32.const 19)))
- )
- (func (export "break-repeated") (result i32)
- (block i32
- (loop i32
- (br 1 (i32.const 18))
- (br 1 (i32.const 19))
- (drop (br_if 1 (i32.const 20) (i32.const 0)))
- (drop (br_if 1 (i32.const 20) (i32.const 1)))
- (br 1 (i32.const 21))
- (br_table 1 (i32.const 22) (i32.const 0))
- (br_table 1 1 1 (i32.const 23) (i32.const 1))
- (i32.const 21)
- )
- )
- )
- (func (export "break-inner") (result i32)
- (local i32)
- (local.set 0 (i32.const 0))
- (local.set 0 (i32.add (local.get 0) (block i32 (loop i32 (block i32 (br 2 (i32.const 0x1)))))))
- (local.set 0 (i32.add (local.get 0) (block i32 (loop i32 (loop i32 (br 2 (i32.const 0x2)))))))
- (local.set 0 (i32.add (local.get 0) (block i32 (loop i32 (block i32 (loop i32 (br 1 (i32.const 0x4))))))))
- (local.set 0 (i32.add (local.get 0) (block i32 (loop i32 (i32.ctz (br 1 (i32.const 0x8)))))))
- (local.set 0 (i32.add (local.get 0) (block i32 (loop i32 (i32.ctz (loop i32 (br 2 (i32.const 0x10))))))))
- (local.get 0)
- )
- (func (export "cont-inner") (result i32)
- (local i32)
- (local.set 0 (i32.const 0))
- (local.set 0 (i32.add (local.get 0) (loop i32 (loop i32 (br 1)))))
- (local.set 0 (i32.add (local.get 0) (loop i32 (i32.ctz (br 0)))))
- (local.set 0 (i32.add (local.get 0) (loop i32 (i32.ctz (loop i32 (br 1))))))
- (local.get 0)
- )
-
- (func $fx (export "effects") (result i32)
- (local i32)
- (block
- (loop
- (local.set 0 (i32.const 1))
- (local.set 0 (i32.mul (local.get 0) (i32.const 3)))
- (local.set 0 (i32.sub (local.get 0) (i32.const 5)))
- (local.set 0 (i32.mul (local.get 0) (i32.const 7)))
- (br 1)
- (local.set 0 (i32.mul (local.get 0) (i32.const 100)))
- )
- )
- (i32.eq (local.get 0) (i32.const -14))
- )
-
- (func (export "while") (param i64) (result i64)
- (local i64)
- (local.set 1 (i64.const 1))
- (block
- (loop
- (br_if 1 (i64.eqz (local.get 0)))
- (local.set 1 (i64.mul (local.get 0) (local.get 1)))
- (local.set 0 (i64.sub (local.get 0) (i64.const 1)))
- (br 0)
- )
- )
- (local.get 1)
- )
-
- (func (export "for") (param i64) (result i64)
- (local i64 i64)
- (local.set 1 (i64.const 1))
- (local.set 2 (i64.const 2))
- (block
- (loop
- (br_if 1 (i64.gt_u (local.get 2) (local.get 0)))
- (local.set 1 (i64.mul (local.get 1) (local.get 2)))
- (local.set 2 (i64.add (local.get 2) (i64.const 1)))
- (br 0)
- )
- )
- (local.get 1)
- )
-
- (func (export "nesting") (param f32 f32) (result f32)
- (local f32 f32)
- (block
- (loop
- (br_if 1 (f32.eq (local.get 0) (f32.const 0)))
- (local.set 2 (local.get 1))
- (block
- (loop
- (br_if 1 (f32.eq (local.get 2) (f32.const 0)))
- (br_if 3 (f32.lt (local.get 2) (f32.const 0)))
- (local.set 3 (f32.add (local.get 3) (local.get 2)))
- (local.set 2 (f32.sub (local.get 2) (f32.const 2)))
- (br 0)
- )
- )
- (local.set 3 (f32.div (local.get 3) (local.get 0)))
- (local.set 0 (f32.sub (local.get 0) (f32.const 1)))
- (br 0)
- )
- )
- (local.get 3)
- )
-)
-
-(assert_return (invoke "empty"))
-(assert_return (invoke "singular") (i32.const 7))
-(assert_return (invoke "multi") (i32.const 8))
-(assert_return (invoke "nested") (i32.const 9))
-(assert_return (invoke "deep") (i32.const 150))
-
-(assert_return (invoke "as-unary-operand") (i32.const 0))
-(assert_return (invoke "as-binary-operand") (i32.const 12))
-(assert_return (invoke "as-test-operand") (i32.const 0))
-(assert_return (invoke "as-compare-operand") (i32.const 0))
-
-(assert_return (invoke "break-bare") (i32.const 19))
-(assert_return (invoke "break-value") (i32.const 18))
-(assert_return (invoke "break-repeated") (i32.const 18))
-(assert_return (invoke "break-inner") (i32.const 0x1f))
-
-(assert_return (invoke "effects") (i32.const 1))
-
-(assert_return (invoke "while" (i64.const 0)) (i64.const 1))
-(assert_return (invoke "while" (i64.const 1)) (i64.const 1))
-(assert_return (invoke "while" (i64.const 2)) (i64.const 2))
-(assert_return (invoke "while" (i64.const 3)) (i64.const 6))
-(assert_return (invoke "while" (i64.const 5)) (i64.const 120))
-(assert_return (invoke "while" (i64.const 20)) (i64.const 2432902008176640000))
-
-(assert_return (invoke "for" (i64.const 0)) (i64.const 1))
-(assert_return (invoke "for" (i64.const 1)) (i64.const 1))
-(assert_return (invoke "for" (i64.const 2)) (i64.const 2))
-(assert_return (invoke "for" (i64.const 3)) (i64.const 6))
-(assert_return (invoke "for" (i64.const 5)) (i64.const 120))
-(assert_return (invoke "for" (i64.const 20)) (i64.const 2432902008176640000))
-
-(assert_return (invoke "nesting" (f32.const 0) (f32.const 7)) (f32.const 0))
-(assert_return (invoke "nesting" (f32.const 7) (f32.const 0)) (f32.const 0))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 1)) (f32.const 1))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 2)) (f32.const 2))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 3)) (f32.const 4))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 4)) (f32.const 6))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 100)) (f32.const 2550))
-(assert_return (invoke "nesting" (f32.const 1) (f32.const 101)) (f32.const 2601))
-(assert_return (invoke "nesting" (f32.const 2) (f32.const 1)) (f32.const 1))
-(assert_return (invoke "nesting" (f32.const 3) (f32.const 1)) (f32.const 1))
-(assert_return (invoke "nesting" (f32.const 10) (f32.const 1)) (f32.const 1))
-(assert_return (invoke "nesting" (f32.const 2) (f32.const 2)) (f32.const 3))
-(assert_return (invoke "nesting" (f32.const 2) (f32.const 3)) (f32.const 4))
-(assert_return (invoke "nesting" (f32.const 7) (f32.const 4)) (f32.const 10.3095235825))
-(assert_return (invoke "nesting" (f32.const 7) (f32.const 100)) (f32.const 4381.54785156))
-(assert_return (invoke "nesting" (f32.const 7) (f32.const 101)) (f32.const 2601))
-
-(assert_invalid
- (module (func $type-empty-i32 (result i32) (loop)))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-empty-i64 (result i64) (loop)))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-empty-f32 (result f32) (loop)))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-empty-f64 (result f64) (loop)))
- "type mismatch"
-)
-
-(assert_invalid
- (module (func $type-value-void-vs-num (result i32)
- (loop (nop))
- ))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-value-num-vs-num (result i32)
- (loop (f32.const 0))
- ))
- "type mismatch"
-)
-
-(; TODO(stack): soft failure
-(assert_invalid
- (module (func $type-value-void-vs-num-after-break (result i32)
- (loop (br 1 (i32.const 1)) (nop))
- ))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-value-num-vs-num-after-break (result i32)
- (loop (br 1 (i32.const 1)) (f32.const 0))
- ))
- "type mismatch"
-)
-;)
-
-(assert_invalid
- (module (func $type-cont-last-void-vs-empty (result i32)
- (loop (br 0 (nop)))
- ))
- "type mismatch"
-)
-(assert_invalid
- (module (func $type-cont-last-num-vs-empty (result i32)
- (loop (br 0 (i32.const 0)))
- ))
- "type mismatch"
-)
-
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 18:45:34 +0000