;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/align.wast
(;; STDOUT ;;;
out/test/spec/align.wast:28: assert_malformed passed:
  out/test/spec/align/align.23.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load8_s align=0 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:34: assert_malformed passed:
  out/test/spec/align/align.24.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load8_s align=7 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:40: assert_malformed passed:
  out/test/spec/align/align.25.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load8_u align=0 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:46: assert_malformed passed:
  out/test/spec/align/align.26.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load8_u align=7 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:52: assert_malformed passed:
  out/test/spec/align/align.27.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load16_s align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:58: assert_malformed passed:
  out/test/spec/align/align.28.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load16_s align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:64: assert_malformed passed:
  out/test/spec/align/align.29.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load16_u align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:70: assert_malformed passed:
  out/test/spec/align/align.30.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load16_u align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:76: assert_malformed passed:
  out/test/spec/align/align.31.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load align=0 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:82: assert_malformed passed:
  out/test/spec/align/align.32.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i32.load align=7 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:88: assert_malformed passed:
  out/test/spec/align/align.33.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load8_s align=0 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:94: assert_malformed passed:
  out/test/spec/align/align.34.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load8_s align=7 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:100: assert_malformed passed:
  out/test/spec/align/align.35.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load8_u align=0 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:106: assert_malformed passed:
  out/test/spec/align/align.36.wat:1:45: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load8_u align=7 (i32.const 0)))))
                                              ^^^^^^^
out/test/spec/align.wast:112: assert_malformed passed:
  out/test/spec/align/align.37.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load16_s align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:118: assert_malformed passed:
  out/test/spec/align/align.38.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load16_s align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:124: assert_malformed passed:
  out/test/spec/align/align.39.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load16_u align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:130: assert_malformed passed:
  out/test/spec/align/align.40.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load16_u align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:136: assert_malformed passed:
  out/test/spec/align/align.41.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load32_s align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:142: assert_malformed passed:
  out/test/spec/align/align.42.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load32_s align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:148: assert_malformed passed:
  out/test/spec/align/align.43.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load32_u align=0 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:154: assert_malformed passed:
  out/test/spec/align/align.44.wat:1:46: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load32_u align=7 (i32.const 0)))))
                                               ^^^^^^^
out/test/spec/align.wast:160: assert_malformed passed:
  out/test/spec/align/align.45.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load align=0 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:166: assert_malformed passed:
  out/test/spec/align/align.46.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (i64.load align=7 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:172: assert_malformed passed:
  out/test/spec/align/align.47.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (f32.load align=0 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:178: assert_malformed passed:
  out/test/spec/align/align.48.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (f32.load align=7 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:184: assert_malformed passed:
  out/test/spec/align/align.49.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (f64.load align=0 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:190: assert_malformed passed:
  out/test/spec/align/align.50.wat:1:42: error: alignment must be power-of-two
  (module (memory 0) (func (drop (f64.load align=7 (i32.const 0)))))
                                           ^^^^^^^
out/test/spec/align.wast:197: assert_malformed passed:
  out/test/spec/align/align.51.wat:1:38: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store8 align=0 (i32.const 0) (i32.const 0))))
                                       ^^^^^^^
out/test/spec/align.wast:203: assert_malformed passed:
  out/test/spec/align/align.52.wat:1:38: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store8 align=7 (i32.const 0) (i32.const 0))))
                                       ^^^^^^^
out/test/spec/align.wast:209: assert_malformed passed:
  out/test/spec/align/align.53.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store16 align=0 (i32.const 0) (i32.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:215: assert_malformed passed:
  out/test/spec/align/align.54.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store16 align=7 (i32.const 0) (i32.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:221: assert_malformed passed:
  out/test/spec/align/align.55.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store align=0 (i32.const 0) (i32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:227: assert_malformed passed:
  out/test/spec/align/align.56.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (i32.store align=7 (i32.const 0) (i32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:233: assert_malformed passed:
  out/test/spec/align/align.57.wat:1:38: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store8 align=0 (i32.const 0) (i64.const 0))))
                                       ^^^^^^^
out/test/spec/align.wast:239: assert_malformed passed:
  out/test/spec/align/align.58.wat:1:38: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store8 align=7 (i32.const 0) (i64.const 0))))
                                       ^^^^^^^
out/test/spec/align.wast:245: assert_malformed passed:
  out/test/spec/align/align.59.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store16 align=0 (i32.const 0) (i64.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:251: assert_malformed passed:
  out/test/spec/align/align.60.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store16 align=7 (i32.const 0) (i64.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:257: assert_malformed passed:
  out/test/spec/align/align.61.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store32 align=0 (i32.const 0) (i64.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:263: assert_malformed passed:
  out/test/spec/align/align.62.wat:1:39: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store32 align=7 (i32.const 0) (i64.const 0))))
                                        ^^^^^^^
out/test/spec/align.wast:269: assert_malformed passed:
  out/test/spec/align/align.63.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store align=0 (i32.const 0) (i64.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:275: assert_malformed passed:
  out/test/spec/align/align.64.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (i64.store align=7 (i32.const 0) (i64.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:281: assert_malformed passed:
  out/test/spec/align/align.65.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (f32.store align=0 (i32.const 0) (f32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:287: assert_malformed passed:
  out/test/spec/align/align.66.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (f32.store align=7 (i32.const 0) (f32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:293: assert_malformed passed:
  out/test/spec/align/align.67.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (f64.store align=0 (i32.const 0) (f32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:299: assert_malformed passed:
  out/test/spec/align/align.68.wat:1:37: error: alignment must be power-of-two
  (module (memory 0) (func (f64.store align=7 (i32.const 0) (f32.const 0))))
                                      ^^^^^^^
out/test/spec/align.wast:306: assert_invalid passed:
  out/test/spec/align/align.69.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:310: assert_invalid passed:
  out/test/spec/align/align.70.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:314: assert_invalid passed:
  out/test/spec/align/align.71.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:318: assert_invalid passed:
  out/test/spec/align/align.72.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:322: assert_invalid passed:
  out/test/spec/align/align.73.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:326: assert_invalid passed:
  out/test/spec/align/align.74.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:330: assert_invalid passed:
  out/test/spec/align/align.75.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:334: assert_invalid passed:
  out/test/spec/align/align.76.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:338: assert_invalid passed:
  out/test/spec/align/align.77.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:342: assert_invalid passed:
  out/test/spec/align/align.78.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:346: assert_invalid passed:
  out/test/spec/align/align.79.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:350: assert_invalid passed:
  out/test/spec/align/align.80.wasm:0000021: error: alignment must not be larger than natural alignment (8)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:354: assert_invalid passed:
  out/test/spec/align/align.81.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:358: assert_invalid passed:
  out/test/spec/align/align.82.wasm:0000021: error: alignment must not be larger than natural alignment (8)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:363: assert_invalid passed:
  out/test/spec/align/align.83.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:367: assert_invalid passed:
  out/test/spec/align/align.84.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:371: assert_invalid passed:
  out/test/spec/align/align.85.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:375: assert_invalid passed:
  out/test/spec/align/align.86.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:379: assert_invalid passed:
  out/test/spec/align/align.87.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:383: assert_invalid passed:
  out/test/spec/align/align.88.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:387: assert_invalid passed:
  out/test/spec/align/align.89.wasm:0000021: error: alignment must not be larger than natural alignment (1)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:391: assert_invalid passed:
  out/test/spec/align/align.90.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:395: assert_invalid passed:
  out/test/spec/align/align.91.wasm:0000021: error: alignment must not be larger than natural alignment (2)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:399: assert_invalid passed:
  out/test/spec/align/align.92.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:403: assert_invalid passed:
  out/test/spec/align/align.93.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:407: assert_invalid passed:
  out/test/spec/align/align.94.wasm:0000021: error: alignment must not be larger than natural alignment (8)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:411: assert_invalid passed:
  out/test/spec/align/align.95.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:415: assert_invalid passed:
  out/test/spec/align/align.96.wasm:0000021: error: alignment must not be larger than natural alignment (8)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:420: assert_invalid passed:
  out/test/spec/align/align.97.wasm:0000023: error: alignment must not be larger than natural alignment (1)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:424: assert_invalid passed:
  out/test/spec/align/align.98.wasm:0000023: error: alignment must not be larger than natural alignment (2)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:428: assert_invalid passed:
  out/test/spec/align/align.99.wasm:0000023: error: alignment must not be larger than natural alignment (4)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:432: assert_invalid passed:
  out/test/spec/align/align.100.wasm:0000023: error: alignment must not be larger than natural alignment (1)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:436: assert_invalid passed:
  out/test/spec/align/align.101.wasm:0000023: error: alignment must not be larger than natural alignment (2)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:440: assert_invalid passed:
  out/test/spec/align/align.102.wasm:0000023: error: alignment must not be larger than natural alignment (4)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:444: assert_invalid passed:
  out/test/spec/align/align.103.wasm:0000023: error: alignment must not be larger than natural alignment (8)
  0000023: error: OnStoreExpr callback failed
out/test/spec/align.wast:448: assert_invalid passed:
  out/test/spec/align/align.104.wasm:0000026: error: alignment must not be larger than natural alignment (4)
  0000026: error: OnStoreExpr callback failed
out/test/spec/align.wast:452: assert_invalid passed:
  out/test/spec/align/align.105.wasm:000002a: error: alignment must not be larger than natural alignment (8)
  000002a: error: OnStoreExpr callback failed
out/test/spec/align.wast:864: assert_trap passed: out of bounds memory access: access at 65532+8 >= max value 65536
out/test/spec/align.wast:873: assert_invalid passed:
  out/test/spec/align/align.108.wasm:0000021: error: alignment must not be larger than natural alignment (4)
  0000021: error: OnLoadExpr callback failed
out/test/spec/align.wast:892: assert_malformed passed:
  0000020: error: invalid load alignment: 32
out/test/spec/align.wast:911: assert_malformed passed:
  0000020: error: invalid load alignment: 33
out/test/spec/align.wast:930: assert_malformed passed:
  0000020: error: invalid load alignment: 63
out/test/spec/align.wast:949: assert_malformed passed:
  0000020: error: multi_memory not allowed
out/test/spec/align.wast:968: assert_malformed passed:
  0000020: error: multi_memory not allowed
162/162 tests passed.
;;; STDOUT ;;)
