diff options
Diffstat (limited to 'test/spec/multi-memory/align.txt')
| -rw-r--r-- | test/spec/multi-memory/align.txt | 311 |
1 files changed, 311 insertions, 0 deletions
diff --git a/test/spec/multi-memory/align.txt b/test/spec/multi-memory/align.txt new file mode 100644 index 00000000..803b6077 --- /dev/null +++ b/test/spec/multi-memory/align.txt @@ -0,0 +1,311 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/align.wast +;;; ARGS*: --enable-multi-memory +(;; STDOUT ;;; +out/test/spec/multi-memory/align.wast:28: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:34: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:40: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:46: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:52: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:58: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:64: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:70: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:76: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:82: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:88: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:94: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:100: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:106: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:112: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:118: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:124: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:130: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:136: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:142: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:148: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:154: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:160: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:166: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:172: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:178: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:184: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:190: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:197: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:203: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:209: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:215: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:221: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:227: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:233: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:239: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:245: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:251: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:257: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:263: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:269: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:275: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:281: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:287: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:293: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:299: assert_malformed passed: + out/test/spec/multi-memory/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/multi-memory/align.wast:306: assert_invalid passed: + out/test/spec/multi-memory/align/align.69.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:310: assert_invalid passed: + out/test/spec/multi-memory/align/align.70.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:314: assert_invalid passed: + out/test/spec/multi-memory/align/align.71.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:318: assert_invalid passed: + out/test/spec/multi-memory/align/align.72.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:322: assert_invalid passed: + out/test/spec/multi-memory/align/align.73.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:326: assert_invalid passed: + out/test/spec/multi-memory/align/align.74.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:330: assert_invalid passed: + out/test/spec/multi-memory/align/align.75.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:334: assert_invalid passed: + out/test/spec/multi-memory/align/align.76.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:338: assert_invalid passed: + out/test/spec/multi-memory/align/align.77.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:342: assert_invalid passed: + out/test/spec/multi-memory/align/align.78.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:346: assert_invalid passed: + out/test/spec/multi-memory/align/align.79.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:350: assert_invalid passed: + out/test/spec/multi-memory/align/align.80.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:354: assert_invalid passed: + out/test/spec/multi-memory/align/align.81.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:358: assert_invalid passed: + out/test/spec/multi-memory/align/align.82.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:363: assert_invalid passed: + out/test/spec/multi-memory/align/align.83.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:367: assert_invalid passed: + out/test/spec/multi-memory/align/align.84.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:371: assert_invalid passed: + out/test/spec/multi-memory/align/align.85.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:375: assert_invalid passed: + out/test/spec/multi-memory/align/align.86.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:379: assert_invalid passed: + out/test/spec/multi-memory/align/align.87.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:383: assert_invalid passed: + out/test/spec/multi-memory/align/align.88.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:387: assert_invalid passed: + out/test/spec/multi-memory/align/align.89.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:391: assert_invalid passed: + out/test/spec/multi-memory/align/align.90.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:395: assert_invalid passed: + out/test/spec/multi-memory/align/align.91.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:399: assert_invalid passed: + out/test/spec/multi-memory/align/align.92.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:403: assert_invalid passed: + out/test/spec/multi-memory/align/align.93.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:407: assert_invalid passed: + out/test/spec/multi-memory/align/align.94.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:411: assert_invalid passed: + out/test/spec/multi-memory/align/align.95.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:415: assert_invalid passed: + out/test/spec/multi-memory/align/align.96.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:420: assert_invalid passed: + out/test/spec/multi-memory/align/align.97.wasm:0000023: error: alignment must not be larger than natural alignment (1) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:424: assert_invalid passed: + out/test/spec/multi-memory/align/align.98.wasm:0000023: error: alignment must not be larger than natural alignment (2) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:428: assert_invalid passed: + out/test/spec/multi-memory/align/align.99.wasm:0000023: error: alignment must not be larger than natural alignment (4) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:432: assert_invalid passed: + out/test/spec/multi-memory/align/align.100.wasm:0000023: error: alignment must not be larger than natural alignment (1) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:436: assert_invalid passed: + out/test/spec/multi-memory/align/align.101.wasm:0000023: error: alignment must not be larger than natural alignment (2) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:440: assert_invalid passed: + out/test/spec/multi-memory/align/align.102.wasm:0000023: error: alignment must not be larger than natural alignment (4) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:444: assert_invalid passed: + out/test/spec/multi-memory/align/align.103.wasm:0000023: error: alignment must not be larger than natural alignment (8) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:448: assert_invalid passed: + out/test/spec/multi-memory/align/align.104.wasm:0000026: error: alignment must not be larger than natural alignment (4) + 0000026: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:452: assert_invalid passed: + out/test/spec/multi-memory/align/align.105.wasm:000002a: error: alignment must not be larger than natural alignment (8) + 000002a: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:864: assert_trap passed: out of bounds memory access: access at 65532+8 >= max value 65536 +out/test/spec/multi-memory/align.wast:873: assert_invalid passed: + out/test/spec/multi-memory/align/align.108.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:892: assert_invalid passed: + 0000020: error: invalid load alignment: 32 +out/test/spec/multi-memory/align.wast:911: assert_invalid passed: + 0000020: error: invalid load alignment: 33 +out/test/spec/multi-memory/align.wast:930: assert_invalid passed: + 0000020: error: invalid load alignment: 63 +160/160 tests passed. +;;; STDOUT ;;) |