;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/extended-const/global.wast ;;; ARGS*: --enable-extended-const (;; STDOUT ;;; out/test/spec/extended-const/global.wast:263: assert_trap passed: undefined table index out/test/spec/extended-const/global.wast:285: assert_invalid passed: out/test/spec/extended-const/global/global.1.wasm:0000029: error: can't global.set on immutable global at index 0. 0000029: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:290: assert_invalid passed: out/test/spec/extended-const/global/global.2.wasm:0000035: error: can't global.set on immutable global at index 0. 0000035: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:299: assert_invalid passed: out/test/spec/extended-const/global/global.5.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: f32.neg 0000013: error: OnUnaryExpr callback failed out/test/spec/extended-const/global.wast:304: assert_invalid passed: out/test/spec/extended-const/global/global.6.wasm:000000f: error: invalid initializer: instruction not valid in initializer expression: local.get 000000f: error: OnLocalGetExpr callback failed out/test/spec/extended-const/global.wast:309: assert_invalid passed: out/test/spec/extended-const/global/global.7.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: f32.neg 0000013: error: OnUnaryExpr callback failed out/test/spec/extended-const/global.wast:314: assert_invalid passed: out/test/spec/extended-const/global/global.8.wasm:0000010: error: invalid initializer: instruction not valid in initializer expression: nop 0000010: error: OnNopExpr callback failed out/test/spec/extended-const/global.wast:319: assert_invalid passed: out/test/spec/extended-const/global/global.9.wasm:0000010: error: invalid initializer: instruction not valid in initializer expression: i32.ctz 0000010: error: OnUnaryExpr callback failed out/test/spec/extended-const/global.wast:324: assert_invalid passed: out/test/spec/extended-const/global/global.10.wasm:000000e: error: invalid initializer: instruction not valid in initializer expression: nop 000000e: error: OnNopExpr callback failed out/test/spec/extended-const/global.wast:329: assert_invalid passed: out/test/spec/extended-const/global/global.11.wasm:0000012: error: type mismatch in initializer expression, expected [i32] but got [f32] 0000013: error: EndGlobalInitExpr callback failed out/test/spec/extended-const/global.wast:334: assert_invalid passed: out/test/spec/extended-const/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/extended-const/global.wast:339: assert_invalid passed: out/test/spec/extended-const/global/global.13.wasm:000000d: error: type mismatch in initializer expression, expected [i32] but got [] 000000e: error: EndGlobalInitExpr callback failed out/test/spec/extended-const/global.wast:344: assert_invalid passed: out/test/spec/extended-const/global/global.14.wasm:0000017: error: type mismatch in initializer expression, expected [funcref] but got [externref] 0000018: error: EndGlobalInitExpr callback failed out/test/spec/extended-const/global.wast:349: assert_invalid passed: out/test/spec/extended-const/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/extended-const/global.wast:354: assert_invalid passed: out/test/spec/extended-const/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/extended-const/global.wast:359: assert_invalid passed: out/test/spec/extended-const/global/global.17.wasm:000000f: error: initializer expression can only reference an imported global 000000f: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:364: assert_invalid passed: out/test/spec/extended-const/global/global.18.wasm:0000014: error: initializer expression can only reference an imported global 0000014: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:368: assert_invalid passed: out/test/spec/extended-const/global/global.19.wasm:0000014: error: initializer expression can only reference an imported global 0000014: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:373: assert_invalid passed: out/test/spec/extended-const/global/global.20.wasm:000000f: error: global variable out of range: 1 (max 1) 000000f: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:378: assert_invalid passed: out/test/spec/extended-const/global/global.21.wasm:0000025: error: global variable out of range: 2 (max 2) 0000025: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:383: assert_invalid passed: out/test/spec/extended-const/global/global.22.wasm:0000029: error: initializer expression cannot reference a mutable global 0000029: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:391: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 out/test/spec/extended-const/global.wast:404: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 out/test/spec/extended-const/global.wast:421: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 out/test/spec/extended-const/global.wast:433: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 out/test/spec/extended-const/global.wast:447: assert_invalid passed: out/test/spec/extended-const/global/global.29.wasm:000001a: error: global variable out of range: 0 (max 0) 000001a: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:452: assert_invalid passed: out/test/spec/extended-const/global/global.30.wasm:0000022: error: global variable out of range: 1 (max 1) 0000022: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:460: assert_invalid passed: out/test/spec/extended-const/global/global.31.wasm:0000034: error: global variable out of range: 1 (max 1) 0000034: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:468: assert_invalid passed: out/test/spec/extended-const/global/global.32.wasm:000003c: error: global variable out of range: 2 (max 2) 000003c: error: OnGlobalGetExpr callback failed out/test/spec/extended-const/global.wast:478: assert_invalid passed: out/test/spec/extended-const/global/global.33.wasm:000001b: error: global variable out of range: 0 (max 0) 000001b: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:483: assert_invalid passed: out/test/spec/extended-const/global/global.34.wasm:0000023: error: global variable out of range: 1 (max 1) 0000023: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:491: assert_invalid passed: out/test/spec/extended-const/global/global.35.wasm:0000035: error: global variable out of range: 1 (max 1) 0000035: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:499: assert_invalid passed: out/test/spec/extended-const/global/global.36.wasm:000003d: error: global variable out of range: 2 (max 2) 000003d: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:509: assert_invalid passed: out/test/spec/extended-const/global/global.37.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:518: assert_invalid passed: out/test/spec/extended-const/global/global.38.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:528: assert_invalid passed: out/test/spec/extended-const/global/global.39.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:538: assert_invalid passed: out/test/spec/extended-const/global/global.40.wasm:0000027: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:548: assert_invalid passed: out/test/spec/extended-const/global/global.41.wasm:000002a: error: type mismatch in global.set, expected [i32] but got [] 000002a: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:558: assert_invalid passed: out/test/spec/extended-const/global/global.42.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:568: assert_invalid passed: out/test/spec/extended-const/global/global.43.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:578: assert_invalid passed: out/test/spec/extended-const/global/global.44.wasm:0000025: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:588: assert_invalid passed: out/test/spec/extended-const/global/global.45.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:597: assert_invalid passed: out/test/spec/extended-const/global/global.46.wasm:0000021: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:606: assert_invalid passed: out/test/spec/extended-const/global/global.47.wasm:0000027: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:616: assert_invalid passed: out/test/spec/extended-const/global/global.48.wasm:000003e: error: type mismatch in global.set, expected [i32] but got [] 000003e: error: OnGlobalSetExpr callback failed out/test/spec/extended-const/global.wast:634: assert_malformed passed: out/test/spec/extended-const/global/global.49.wat:1:33: error: redefinition of global "$foo" (global $foo i32 (i32.const 0))(global $foo i32 (i32.const 0)) ^^^^^^ out/test/spec/extended-const/global.wast:638: assert_malformed passed: out/test/spec/extended-const/global/global.50.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(global $foo i32 (i32.const 0)) ^^^^^^ out/test/spec/extended-const/global.wast:642: assert_malformed passed: out/test/spec/extended-const/global/global.51.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(import "" "" (global $foo i32)) ^^^^^^ 114/114 tests passed. ;;; STDOUT ;;)