diff options
Diffstat (limited to 'test/spec/load.wast')
| -rw-r--r-- | test/spec/load.wast | 567 |
1 files changed, 0 insertions, 567 deletions
diff --git a/test/spec/load.wast b/test/spec/load.wast deleted file mode 100644 index ef5ec7c42..000000000 --- a/test/spec/load.wast +++ /dev/null @@ -1,567 +0,0 @@ -;; Load operator as the argument of control constructs and instructions - -(module - (memory 1) - - (func (export "as-br-value") (result i32) - (block (result i32) (br 0 (i32.load (i32.const 0)))) - ) - - (func (export "as-br_if-cond") - (block (br_if 0 (i32.load (i32.const 0)))) - ) - (func (export "as-br_if-value") (result i32) - (block (result i32) - (drop (br_if 0 (i32.load (i32.const 0)) (i32.const 1))) (i32.const 7) - ) - ) - (func (export "as-br_if-value-cond") (result i32) - (block (result i32) - (drop (br_if 0 (i32.const 6) (i32.load (i32.const 0)))) (i32.const 7) - ) - ) - - (func (export "as-br_table-index") - (block (br_table 0 0 0 (i32.load (i32.const 0)))) - ) - (func (export "as-br_table-value") (result i32) - (block (result i32) - (br_table 0 0 0 (i32.load (i32.const 0)) (i32.const 1)) (i32.const 7) - ) - ) - (func (export "as-br_table-value-index") (result i32) - (block (result i32) - (br_table 0 0 (i32.const 6) (i32.load (i32.const 0))) (i32.const 7) - ) - ) - - (func (export "as-return-value") (result i32) - (return (i32.load (i32.const 0))) - ) - - (func (export "as-if-cond") (result i32) - (if (result i32) (i32.load (i32.const 0)) - (then (i32.const 0)) (else (i32.const 1)) - ) - ) - (func (export "as-if-then") (result i32) - (if (result i32) (i32.const 1) - (then (i32.load (i32.const 0))) (else (i32.const 0)) - ) - ) - (func (export "as-if-else") (result i32) - (if (result i32) (i32.const 0) - (then (i32.const 0)) (else (i32.load (i32.const 0))) - ) - ) - - (func (export "as-select-first") (param i32 i32) (result i32) - (select (i32.load (i32.const 0)) (local.get 0) (local.get 1)) - ) - (func (export "as-select-second") (param i32 i32) (result i32) - (select (local.get 0) (i32.load (i32.const 0)) (local.get 1)) - ) - (func (export "as-select-cond") (result i32) - (select (i32.const 0) (i32.const 1) (i32.load (i32.const 0))) - ) - - (func $f (param i32 i32 i32) (result i32) (i32.const -1)) - (func (export "as-call-first") (result i32) - (call $f (i32.load (i32.const 0)) (i32.const 2) (i32.const 3)) - ) - (func (export "as-call-mid") (result i32) - (call $f (i32.const 1) (i32.load (i32.const 0)) (i32.const 3)) - ) - (func (export "as-call-last") (result i32) - (call $f (i32.const 1) (i32.const 2) (i32.load (i32.const 0))) - ) - - (type $sig (func (param i32 i32 i32) (result i32))) - (table funcref (elem $f)) - (func (export "as-call_indirect-first") (result i32) - (call_indirect (type $sig) - (i32.load (i32.const 0)) (i32.const 2) (i32.const 3) (i32.const 0) - ) - ) - (func (export "as-call_indirect-mid") (result i32) - (call_indirect (type $sig) - (i32.const 1) (i32.load (i32.const 0)) (i32.const 3) (i32.const 0) - ) - ) - (func (export "as-call_indirect-last") (result i32) - (call_indirect (type $sig) - (i32.const 1) (i32.const 2) (i32.load (i32.const 0)) (i32.const 0) - ) - ) - (func (export "as-call_indirect-index") (result i32) - (call_indirect (type $sig) - (i32.const 1) (i32.const 2) (i32.const 3) (i32.load (i32.const 0)) - ) - ) - - (func (export "as-local.set-value") (local i32) - (local.set 0 (i32.load (i32.const 0))) - ) - (func (export "as-local.tee-value") (result i32) (local i32) - (local.tee 0 (i32.load (i32.const 0))) - ) - (global $g (mut i32) (i32.const 0)) - (func (export "as-global.set-value") (local i32) - (global.set $g (i32.load (i32.const 0))) - ) - - (func (export "as-load-address") (result i32) - (i32.load (i32.load (i32.const 0))) - ) - (func (export "as-loadN-address") (result i32) - (i32.load8_s (i32.load (i32.const 0))) - ) - - (func (export "as-store-address") - (i32.store (i32.load (i32.const 0)) (i32.const 7)) - ) - (func (export "as-store-value") - (i32.store (i32.const 2) (i32.load (i32.const 0))) - ) - - (func (export "as-storeN-address") - (i32.store8 (i32.load8_s (i32.const 0)) (i32.const 7)) - ) - (func (export "as-storeN-value") - (i32.store16 (i32.const 2) (i32.load (i32.const 0))) - ) - - (func (export "as-unary-operand") (result i32) - (i32.clz (i32.load (i32.const 100))) - ) - - (func (export "as-binary-left") (result i32) - (i32.add (i32.load (i32.const 100)) (i32.const 10)) - ) - (func (export "as-binary-right") (result i32) - (i32.sub (i32.const 10) (i32.load (i32.const 100))) - ) - - (func (export "as-test-operand") (result i32) - (i32.eqz (i32.load (i32.const 100))) - ) - - (func (export "as-compare-left") (result i32) - (i32.le_s (i32.load (i32.const 100)) (i32.const 10)) - ) - (func (export "as-compare-right") (result i32) - (i32.ne (i32.const 10) (i32.load (i32.const 100))) - ) - - (func (export "as-memory.grow-size") (result i32) - (memory.grow (i32.load (i32.const 100))) - ) -) - -(assert_return (invoke "as-br-value") (i32.const 0)) - -(assert_return (invoke "as-br_if-cond")) -(assert_return (invoke "as-br_if-value") (i32.const 0)) -(assert_return (invoke "as-br_if-value-cond") (i32.const 7)) - -(assert_return (invoke "as-br_table-index")) -(assert_return (invoke "as-br_table-value") (i32.const 0)) -(assert_return (invoke "as-br_table-value-index") (i32.const 6)) - -(assert_return (invoke "as-return-value") (i32.const 0)) - -(assert_return (invoke "as-if-cond") (i32.const 1)) -(assert_return (invoke "as-if-then") (i32.const 0)) -(assert_return (invoke "as-if-else") (i32.const 0)) - -(assert_return (invoke "as-select-first" (i32.const 0) (i32.const 1)) (i32.const 0)) -(assert_return (invoke "as-select-second" (i32.const 0) (i32.const 0)) (i32.const 0)) -(assert_return (invoke "as-select-cond") (i32.const 1)) - -(assert_return (invoke "as-call-first") (i32.const -1)) -(assert_return (invoke "as-call-mid") (i32.const -1)) -(assert_return (invoke "as-call-last") (i32.const -1)) - -(assert_return (invoke "as-call_indirect-first") (i32.const -1)) -(assert_return (invoke "as-call_indirect-mid") (i32.const -1)) -(assert_return (invoke "as-call_indirect-last") (i32.const -1)) -(assert_return (invoke "as-call_indirect-index") (i32.const -1)) - -(assert_return (invoke "as-local.set-value")) -(assert_return (invoke "as-local.tee-value") (i32.const 0)) -(assert_return (invoke "as-global.set-value")) - -(assert_return (invoke "as-load-address") (i32.const 0)) -(assert_return (invoke "as-loadN-address") (i32.const 0)) -(assert_return (invoke "as-store-address")) -(assert_return (invoke "as-store-value")) -(assert_return (invoke "as-storeN-address")) -(assert_return (invoke "as-storeN-value")) - -(assert_return (invoke "as-unary-operand") (i32.const 32)) - -(assert_return (invoke "as-binary-left") (i32.const 10)) -(assert_return (invoke "as-binary-right") (i32.const 10)) - -(assert_return (invoke "as-test-operand") (i32.const 1)) - -(assert_return (invoke "as-compare-left") (i32.const 1)) -(assert_return (invoke "as-compare-right") (i32.const 1)) - -(assert_return (invoke "as-memory.grow-size") (i32.const 1)) - -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load32 (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load32_u (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load32_s (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load64 (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load64_u (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i32) (i32.load64_s (local.get 0)))" - ) - "unknown operator" -) - -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i64) (i64.load64 (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i64) (i64.load64_u (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result i64) (i64.load64_s (local.get 0)))" - ) - "unknown operator" -) - -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result f32) (f32.load32 (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result f32) (f32.load64 (local.get 0)))" - ) - "unknown operator" -) - -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result f64) (f64.load32 (local.get 0)))" - ) - "unknown operator" -) -(assert_malformed - (module quote - "(memory 1)" - "(func (param i32) (result f64) (f64.load64 (local.get 0)))" - ) - "unknown operator" -) - - -;; load should have retval - -(assert_invalid - (module (memory 1) (func $load_i32 (i32.load (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load8_s_i32 (i32.load8_s (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load8_u_i32 (i32.load8_u (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load16_s_i32 (i32.load16_s (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load16_u_i32 (i32.load16_u (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load_i64 (i64.load (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load8_s_i64 (i64.load8_s (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load8_u_i64 (i64.load8_u (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load16_s_i64 (i64.load16_s (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load16_u_i64 (i64.load16_u (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load32_s_i64 (i64.load32_s (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load32_u_i64 (i64.load32_u (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load_f32 (f32.load (i32.const 0)))) - "type mismatch" -) -(assert_invalid - (module (memory 1) (func $load_f64 (f64.load (i32.const 0)))) - "type mismatch" -) - - -;; Type check - -(assert_invalid (module (memory 1) (func (result i32) (i32.load (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i32) (i32.load8_s (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i32) (i32.load8_u (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i32) (i32.load16_s (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i32) (i32.load16_u (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load8_s (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load8_u (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load16_s (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load16_u (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load32_s (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result i64) (i64.load32_u (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result f32) (f32.load (f32.const 0)))) "type mismatch") -(assert_invalid (module (memory 1) (func (result f64) (f64.load (f32.const 0)))) "type mismatch") - - -(assert_invalid - (module - (memory 0) - (func $type-address-empty - (i32.load) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-block - (i32.const 0) - (block (i32.load) (drop)) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-loop - (i32.const 0) - (loop (i32.load) (drop)) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-then - (i32.const 0) (i32.const 0) - (if (then (i32.load) (drop))) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-else - (i32.const 0) (i32.const 0) - (if (result i32) (then (i32.const 0)) (else (i32.load))) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-br - (i32.const 0) - (block (br 0 (i32.load)) (drop)) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-br_if - (i32.const 0) - (block (br_if 0 (i32.load) (i32.const 1)) (drop)) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-br_table - (i32.const 0) - (block (br_table 0 (i32.load)) (drop)) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-return - (return (i32.load)) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-select - (select (i32.load) (i32.const 1) (i32.const 2)) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-call - (call 1 (i32.load)) (drop) - ) - (func (param i32) (result i32) (local.get 0)) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $f (param i32) (result i32) (local.get 0)) - (type $sig (func (param i32) (result i32))) - (table funcref (elem $f)) - (func $type-address-empty-in-call_indirect - (block (result i32) - (call_indirect (type $sig) - (i32.load) (i32.const 0) - ) - (drop) - ) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-local.set - (local i32) - (local.set 0 (i32.load)) (local.get 0) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-local.tee - (local i32) - (local.tee 0 (i32.load)) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (global $x (mut i32) (i32.const 0)) - (func $type-address-empty-in-global.set - (global.set $x (i32.load)) (global.get $x) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-memory.grow - (memory.grow (i32.load)) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 0) - (func $type-address-empty-in-load - (i32.load (i32.load)) (drop) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 1) - (func $type-address-empty-in-store - (i32.store (i32.load) (i32.const 1)) - ) - ) - "type mismatch" -) |