1;;! memory64 = true
2;;! bulk_memory = true
3
4;; make sure everything codegens correctly and has no cranelift verifier errors
5(module
6  (memory i64 1)
7  (func (export "run")
8    i64.const 0 i64.const 0 i64.const 0 memory.copy
9    i64.const 0 i32.const 0 i64.const 0 memory.fill
10    i64.const 0 i32.const 0 i32.const 0 memory.init $seg
11    memory.size drop
12    i64.const 0 memory.grow drop
13
14    i64.const 0 i32.load drop
15    i64.const 0 i64.load drop
16    i64.const 0 f32.load drop
17    i64.const 0 f64.load drop
18    i64.const 0 i32.load8_s drop
19    i64.const 0 i32.load8_u drop
20    i64.const 0 i32.load16_s drop
21    i64.const 0 i32.load16_u drop
22    i64.const 0 i64.load8_s drop
23    i64.const 0 i64.load8_u drop
24    i64.const 0 i64.load16_s drop
25    i64.const 0 i64.load16_u drop
26    i64.const 0 i64.load32_s drop
27    i64.const 0 i64.load32_u drop
28    i64.const 0 i32.const 0 i32.store
29    i64.const 0 i64.const 0 i64.store
30    i64.const 0 f32.const 0 f32.store
31    i64.const 0 f64.const 0 f64.store
32    i64.const 0 i32.const 0 i32.store8
33    i64.const 0 i32.const 0 i32.store16
34    i64.const 0 i64.const 0 i64.store8
35    i64.const 0 i64.const 0 i64.store16
36    i64.const 0 i64.const 0 i64.store32
37  )
38
39  (data $seg "..")
40)
41(assert_return (invoke "run"))
42