summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/spec/tee_local.wast
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/tee_local.wast')
-rw-r--r--js/src/jit-test/tests/wasm/spec/tee_local.wast236
1 files changed, 236 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/tee_local.wast b/js/src/jit-test/tests/wasm/spec/tee_local.wast
new file mode 100644
index 000000000..452793e30
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/tee_local.wast
@@ -0,0 +1,236 @@
+;; Test `tee_local` operator
+
+(module
+ ;; Typing
+
+ (func (export "type-local-i32") (result i32) (local i32) (tee_local 0 (i32.const 0)))
+ (func (export "type-local-i64") (result i64) (local i64) (tee_local 0 (i64.const 0)))
+ (func (export "type-local-f32") (result f32) (local f32) (tee_local 0 (f32.const 0)))
+ (func (export "type-local-f64") (result f64) (local f64) (tee_local 0 (f64.const 0)))
+
+ (func (export "type-param-i32") (param i32) (result i32) (tee_local 0 (i32.const 10)))
+ (func (export "type-param-i64") (param i64) (result i64) (tee_local 0 (i64.const 11)))
+ (func (export "type-param-f32") (param f32) (result f32) (tee_local 0 (f32.const 11.1)))
+ (func (export "type-param-f64") (param f64) (result f64) (tee_local 0 (f64.const 12.2)))
+
+ (func (export "type-mixed") (param i64 f32 f64 i32 i32) (local f32 i64 i64 f64)
+ (drop (i64.eqz (tee_local 0 (i64.const 0))))
+ (drop (f32.neg (tee_local 1 (f32.const 0))))
+ (drop (f64.neg (tee_local 2 (f64.const 0))))
+ (drop (i32.eqz (tee_local 3 (i32.const 0))))
+ (drop (i32.eqz (tee_local 4 (i32.const 0))))
+ (drop (f32.neg (tee_local 5 (f32.const 0))))
+ (drop (i64.eqz (tee_local 6 (i64.const 0))))
+ (drop (i64.eqz (tee_local 7 (i64.const 0))))
+ (drop (f64.neg (tee_local 8 (f64.const 0))))
+ )
+
+ ;; Writing
+
+ (func (export "write") (param i64 f32 f64 i32 i32) (result i64) (local f32 i64 i64 f64)
+ (drop (tee_local 1 (f32.const -0.3)))
+ (drop (tee_local 3 (i32.const 40)))
+ (drop (tee_local 4 (i32.const -7)))
+ (drop (tee_local 5 (f32.const 5.5)))
+ (drop (tee_local 6 (i64.const 6)))
+ (drop (tee_local 8 (f64.const 8)))
+ (i64.trunc_s/f64
+ (f64.add
+ (f64.convert_u/i64 (get_local 0))
+ (f64.add
+ (f64.promote/f32 (get_local 1))
+ (f64.add
+ (get_local 2)
+ (f64.add
+ (f64.convert_u/i32 (get_local 3))
+ (f64.add
+ (f64.convert_s/i32 (get_local 4))
+ (f64.add
+ (f64.promote/f32 (get_local 5))
+ (f64.add
+ (f64.convert_u/i64 (get_local 6))
+ (f64.add
+ (f64.convert_u/i64 (get_local 7))
+ (get_local 8)
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+
+ ;; Result
+
+ (func (export "result") (param i64 f32 f64 i32 i32) (result f64)
+ (local f32 i64 i64 f64)
+ (f64.add
+ (f64.convert_u/i64 (tee_local 0 (i64.const 1)))
+ (f64.add
+ (f64.promote/f32 (tee_local 1 (f32.const 2)))
+ (f64.add
+ (tee_local 2 (f64.const 3.3))
+ (f64.add
+ (f64.convert_u/i32 (tee_local 3 (i32.const 4)))
+ (f64.add
+ (f64.convert_s/i32 (tee_local 4 (i32.const 5)))
+ (f64.add
+ (f64.promote/f32 (tee_local 5 (f32.const 5.5)))
+ (f64.add
+ (f64.convert_u/i64 (tee_local 6 (i64.const 6)))
+ (f64.add
+ (f64.convert_u/i64 (tee_local 7 (i64.const 0)))
+ (tee_local 8 (f64.const 8))
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+)
+
+(assert_return (invoke "type-local-i32") (i32.const 0))
+(assert_return (invoke "type-local-i64") (i64.const 0))
+(assert_return (invoke "type-local-f32") (f32.const 0))
+(assert_return (invoke "type-local-f64") (f64.const 0))
+
+(assert_return (invoke "type-param-i32" (i32.const 2)) (i32.const 10))
+(assert_return (invoke "type-param-i64" (i64.const 3)) (i64.const 11))
+(assert_return (invoke "type-param-f32" (f32.const 4.4)) (f32.const 11.1))
+(assert_return (invoke "type-param-f64" (f64.const 5.5)) (f64.const 12.2))
+
+(assert_return
+ (invoke "type-mixed"
+ (i64.const 1) (f32.const 2.2) (f64.const 3.3) (i32.const 4) (i32.const 5)
+ )
+)
+
+(assert_return
+ (invoke "write"
+ (i64.const 1) (f32.const 2) (f64.const 3.3) (i32.const 4) (i32.const 5)
+ )
+ (i64.const 56)
+)
+
+(assert_return
+ (invoke "result"
+ (i64.const -1) (f32.const -2) (f64.const -3.3) (i32.const -4) (i32.const -5)
+ )
+ (f64.const 34.8)
+)
+
+
+;; Invalid typing of access to locals
+
+(assert_invalid
+ (module (func $type-local-num-vs-num (result i64) (local i32) (tee_local 0 (i32.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-local-num-vs-num (local f32) (i32.eqz (tee_local 0 (f32.const 0)))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (tee_local 1 (i64.const 0)))))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-local-arg-void-vs-num (local i32) (tee_local 0 (nop))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-local-arg-num-vs-num (local i32) (tee_local 0 (f32.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-local-arg-num-vs-num (local f32) (tee_local 0 (f64.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-local-arg-num-vs-num (local f64 i64) (tee_local 1 (f64.const 0))))
+ "type mismatch"
+)
+
+
+;; Invalid typing of access to parameters
+
+(assert_invalid
+ (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0)))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1))))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-param-arg-void-vs-num (param i32) (tee_local 0 (nop))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-param-arg-num-vs-num (param i32) (tee_local 0 (f32.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-param-arg-num-vs-num (param f32) (tee_local 0 (f64.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-param-arg-num-vs-num (param f64 i64) (tee_local 1 (f64.const 0))))
+ "type mismatch"
+)
+
+
+;; Invalid local index
+
+(assert_invalid
+ (module (func $unbound-local (local i32 i64) (get_local 3)))
+ "unknown local"
+)
+(assert_invalid
+ (module (func $large-local (local i32 i64) (get_local 14324343)))
+ "unknown local"
+)
+
+(assert_invalid
+ (module (func $unbound-param (param i32 i64) (get_local 2)))
+ "unknown local"
+)
+(assert_invalid
+ (module (func $large-param (local i32 i64) (get_local 714324343)))
+ "unknown local"
+)
+
+(assert_invalid
+ (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3)))
+ "unknown local"
+)
+(assert_invalid
+ (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343)))
+ "unknown local"
+)
+
+(assert_invalid
+ (module (func $type-mixed-arg-num-vs-num (param f32) (local i32) (tee_local 1 (f32.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-mixed-arg-num-vs-num (param i64 i32) (local f32) (tee_local 1 (f32.const 0))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-mixed-arg-num-vs-num (param i64) (local f64 i64) (tee_local 1 (i64.const 0))))
+ "type mismatch"
+)
+
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-18 19:40:12 +0000