;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/function-references/global.wast ;;; ARGS*: --enable-function-references (;; STDOUT ;;; out/test/spec/function-references/global.wast:251: assert_trap passed: undefined table index out/test/spec/function-references/global.wast:273: assert_invalid passed: out/test/spec/function-references/global/global.1.wasm:0000029: error: can't global.set on immutable global at index 0. 0000029: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:278: assert_invalid passed: out/test/spec/function-references/global/global.2.wasm:0000035: error: can't global.set on immutable global at index 0. 0000035: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:287: assert_invalid passed: out/test/spec/function-references/global/global.5.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: f32.neg 0000013: error: OnUnaryExpr callback failed out/test/spec/function-references/global.wast:292: assert_invalid passed: out/test/spec/function-references/global/global.6.wasm:000000f: error: invalid initializer: instruction not valid in initializer expression: local.get 000000f: error: OnLocalGetExpr callback failed out/test/spec/function-references/global.wast:297: assert_invalid passed: out/test/spec/function-references/global/global.7.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: f32.neg 0000013: error: OnUnaryExpr callback failed out/test/spec/function-references/global.wast:302: assert_invalid passed: out/test/spec/function-references/global/global.8.wasm:0000010: error: invalid initializer: instruction not valid in initializer expression: nop 0000010: error: OnNopExpr callback failed out/test/spec/function-references/global.wast:307: assert_invalid passed: out/test/spec/function-references/global/global.9.wasm:0000010: error: invalid initializer: instruction not valid in initializer expression: i32.ctz 0000010: error: OnUnaryExpr callback failed out/test/spec/function-references/global.wast:312: assert_invalid passed: out/test/spec/function-references/global/global.10.wasm:000000e: error: invalid initializer: instruction not valid in initializer expression: nop 000000e: error: OnNopExpr callback failed out/test/spec/function-references/global.wast:317: assert_invalid passed: out/test/spec/function-references/global/global.11.wasm:0000012: error: type mismatch in initializer expression, expected [i32] but got [f32] 0000013: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:322: assert_invalid passed: out/test/spec/function-references/global/global.12.wasm:0000011: error: type mismatch at end of initializer expression, expected [] but got [i32] 0000012: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:327: assert_invalid passed: out/test/spec/function-references/global/global.13.wasm:000000d: error: type mismatch in initializer expression, expected [i32] but got [] 000000e: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:332: assert_invalid passed: out/test/spec/function-references/global/global.14.wasm:0000017: error: type mismatch in initializer expression, expected [funcref] but got [externref] 0000018: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:337: assert_invalid passed: out/test/spec/function-references/global/global.15.wasm:0000027: error: type mismatch at end of initializer expression, expected [] but got [i32] 0000028: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:342: assert_invalid passed: out/test/spec/function-references/global/global.16.wasm:0000027: error: type mismatch at end of initializer expression, expected [] but got [i32] 0000028: error: EndGlobalInitExpr callback failed out/test/spec/function-references/global.wast:347: assert_invalid passed: out/test/spec/function-references/global/global.17.wasm:000000f: error: initializer expression can only reference an imported global 000000f: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:352: assert_invalid passed: out/test/spec/function-references/global/global.18.wasm:000000f: error: global variable out of range: 1 (max 1) 000000f: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:357: assert_invalid passed: out/test/spec/function-references/global/global.19.wasm:0000025: error: global variable out of range: 2 (max 2) 0000025: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:362: assert_invalid passed: out/test/spec/function-references/global/global.20.wasm:0000029: error: initializer expression cannot reference a mutable global 0000029: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:370: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 out/test/spec/function-references/global.wast:383: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 out/test/spec/function-references/global.wast:400: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 out/test/spec/function-references/global.wast:412: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 out/test/spec/function-references/global.wast:426: assert_invalid passed: out/test/spec/function-references/global/global.27.wasm:000001a: error: global variable out of range: 0 (max 0) 000001a: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:431: assert_invalid passed: out/test/spec/function-references/global/global.28.wasm:0000022: error: global variable out of range: 1 (max 1) 0000022: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:439: assert_invalid passed: out/test/spec/function-references/global/global.29.wasm:0000034: error: global variable out of range: 1 (max 1) 0000034: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:447: assert_invalid passed: out/test/spec/function-references/global/global.30.wasm:000003c: error: global variable out of range: 2 (max 2) 000003c: error: OnGlobalGetExpr callback failed out/test/spec/function-references/global.wast:457: assert_invalid passed: out/test/spec/function-references/global/global.31.wasm:000001b: error: global variable out of range: 0 (max 0) 000001b: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:462: assert_invalid passed: out/test/spec/function-references/global/global.32.wasm:0000023: error: global variable out of range: 1 (max 1) 0000023: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:470: assert_invalid passed: out/test/spec/function-references/global/global.33.wasm:0000035: error: global variable out of range: 1 (max 1) 0000035: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:478: assert_invalid passed: out/test/spec/function-references/global/global.34.wasm:000003d: error: global variable out of range: 2 (max 2) 000003d: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:488: assert_invalid passed: out/test/spec/function-references/global/global.35.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:497: assert_invalid passed: out/test/spec/function-references/global/global.36.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:507: assert_invalid passed: out/test/spec/function-references/global/global.37.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:517: assert_invalid passed: out/test/spec/function-references/global/global.38.wasm:0000027: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:527: assert_invalid passed: out/test/spec/function-references/global/global.39.wasm:000002a: error: type mismatch in global.set, expected [i32] but got [] 000002a: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:537: assert_invalid passed: out/test/spec/function-references/global/global.40.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:547: assert_invalid passed: out/test/spec/function-references/global/global.41.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:557: assert_invalid passed: out/test/spec/function-references/global/global.42.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:567: assert_invalid passed: out/test/spec/function-references/global/global.43.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:576: assert_invalid passed: out/test/spec/function-references/global/global.44.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:585: assert_invalid passed: out/test/spec/function-references/global/global.45.wasm:0000027: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:595: assert_invalid passed: out/test/spec/function-references/global/global.46.wasm:0000040: error: type mismatch in global.set, expected [i32] but got [] 0000040: error: OnGlobalSetExpr callback failed out/test/spec/function-references/global.wast:613: assert_malformed passed: out/test/spec/function-references/global/global.47.wat:1:33: error: redefinition of global "$foo" (global $foo i32 (i32.const 0))(global $foo i32 (i32.const 0)) ^^^^^^ out/test/spec/function-references/global.wast:617: assert_malformed passed: out/test/spec/function-references/global/global.48.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(global $foo i32 (i32.const 0)) ^^^^^^ out/test/spec/function-references/global.wast:621: assert_malformed passed: out/test/spec/function-references/global/global.49.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(import "" "" (global $foo i32)) ^^^^^^ 108/108 tests passed. ;;; STDOUT ;;)