diff options
Diffstat (limited to 'test/lit/passes/instrument-memory.wast')
| -rw-r--r-- | test/lit/passes/instrument-memory.wast | 679 |
1 files changed, 679 insertions, 0 deletions
diff --git a/test/lit/passes/instrument-memory.wast b/test/lit/passes/instrument-memory.wast new file mode 100644 index 000000000..a5712e90f --- /dev/null +++ b/test/lit/passes/instrument-memory.wast @@ -0,0 +1,679 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; NOTE: This test was ported using port_test.py and could be cleaned up. + +;; RUN: foreach %s %t wasm-opt --instrument-memory -S -o - | filecheck %s + +(module + (memory 256 256) + ;; CHECK: (type $1 (func)) + (type $1 (func)) + ;; CHECK: (type $i32_i32_i32_i32_=>_i32 (func (param i32 i32 i32 i32) (result i32))) + + ;; CHECK: (type $i32_i32_=>_i32 (func (param i32 i32) (result i32))) + + ;; CHECK: (type $i32_i64_=>_i64 (func (param i32 i64) (result i64))) + + ;; CHECK: (type $i32_f32_=>_f32 (func (param i32 f32) (result f32))) + + ;; CHECK: (type $i32_f64_=>_f64 (func (param i32 f64) (result f64))) + + ;; CHECK: (import "env" "load_ptr" (func $load_ptr (param i32 i32 i32 i32) (result i32))) + + ;; CHECK: (import "env" "load_val_i32" (func $load_val_i32 (param i32 i32) (result i32))) + + ;; CHECK: (import "env" "load_val_i64" (func $load_val_i64 (param i32 i64) (result i64))) + + ;; CHECK: (import "env" "load_val_f32" (func $load_val_f32 (param i32 f32) (result f32))) + + ;; CHECK: (import "env" "load_val_f64" (func $load_val_f64 (param i32 f64) (result f64))) + + ;; CHECK: (import "env" "store_ptr" (func $store_ptr (param i32 i32 i32 i32) (result i32))) + + ;; CHECK: (import "env" "store_val_i32" (func $store_val_i32 (param i32 i32) (result i32))) + + ;; CHECK: (import "env" "store_val_i64" (func $store_val_i64 (param i32 i64) (result i64))) + + ;; CHECK: (import "env" "store_val_f32" (func $store_val_f32 (param i32 f32) (result f32))) + + ;; CHECK: (import "env" "store_val_f64" (func $store_val_f64 (param i32 f64) (result f64))) + + ;; CHECK: (memory $0 256 256) + + ;; CHECK: (func $A + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.load8_s + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.load8_u + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: (i32.load16_s + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.load16_u + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 5) + ;; CHECK-NEXT: (i32.load + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 5) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 6) + ;; CHECK-NEXT: (i64.load8_s + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 6) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 7) + ;; CHECK-NEXT: (i64.load8_u + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 7) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i64.load16_s + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 9) + ;; CHECK-NEXT: (i64.load16_u + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 9) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 10) + ;; CHECK-NEXT: (i64.load32_s + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 10) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 11) + ;; CHECK-NEXT: (i64.load32_u + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 11) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 12) + ;; CHECK-NEXT: (i64.load + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 12) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_f32 + ;; CHECK-NEXT: (i32.const 13) + ;; CHECK-NEXT: (f32.load + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 13) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_f64 + ;; CHECK-NEXT: (i32.const 14) + ;; CHECK-NEXT: (f64.load + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 14) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 15) + ;; CHECK-NEXT: (i32.load8_s offset=1 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 15) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 16) + ;; CHECK-NEXT: (i32.load8_u offset=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 16) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 17) + ;; CHECK-NEXT: (i32.load16_s offset=3 align=1 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 17) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 18) + ;; CHECK-NEXT: (i32.load16_u offset=4 align=1 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 18) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i32 + ;; CHECK-NEXT: (i32.const 19) + ;; CHECK-NEXT: (i32.load offset=5 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 19) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 5) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 20) + ;; CHECK-NEXT: (i64.load8_s offset=6 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 20) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 6) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 21) + ;; CHECK-NEXT: (i64.load8_u offset=7 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 21) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 7) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 22) + ;; CHECK-NEXT: (i64.load16_s offset=8 align=1 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 22) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 23) + ;; CHECK-NEXT: (i64.load16_u offset=9 align=1 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 23) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 9) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 24) + ;; CHECK-NEXT: (i64.load32_s offset=10 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 24) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 10) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 25) + ;; CHECK-NEXT: (i64.load32_u offset=11 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 25) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 11) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_i64 + ;; CHECK-NEXT: (i32.const 26) + ;; CHECK-NEXT: (i64.load offset=12 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 26) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 12) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_f32 + ;; CHECK-NEXT: (i32.const 27) + ;; CHECK-NEXT: (f32.load offset=13 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 27) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 13) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $load_val_f64 + ;; CHECK-NEXT: (i32.const 28) + ;; CHECK-NEXT: (f64.load offset=14 align=2 + ;; CHECK-NEXT: (call $load_ptr + ;; CHECK-NEXT: (i32.const 28) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 14) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $A (type $1) + (drop (i32.load8_s (i32.const 0))) + (drop (i32.load8_u (i32.const 0))) + (drop (i32.load16_s (i32.const 0))) + (drop (i32.load16_u (i32.const 0))) + (drop (i32.load (i32.const 0))) + (drop (i64.load8_s (i32.const 0))) + (drop (i64.load8_u (i32.const 0))) + (drop (i64.load16_s (i32.const 0))) + (drop (i64.load16_u (i32.const 0))) + (drop (i64.load32_s (i32.const 0))) + (drop (i64.load32_u (i32.const 0))) + (drop (i64.load (i32.const 0))) + (drop (f32.load (i32.const 0))) + (drop (f64.load (i32.const 0))) + + (drop (i32.load8_s align=1 offset=1 (i32.const 0))) + (drop (i32.load8_u align=1 offset=2 (i32.const 0))) + (drop (i32.load16_s align=1 offset=3 (i32.const 0))) + (drop (i32.load16_u align=1 offset=4 (i32.const 0))) + (drop (i32.load align=2 offset=5 (i32.const 0))) + (drop (i64.load8_s align=1 offset=6 (i32.const 0))) + (drop (i64.load8_u align=1 offset=7 (i32.const 0))) + (drop (i64.load16_s align=1 offset=8 (i32.const 0))) + (drop (i64.load16_u align=1 offset=9 (i32.const 0))) + (drop (i64.load32_s align=2 offset=10 (i32.const 0))) + (drop (i64.load32_u align=2 offset=11 (i32.const 0))) + (drop (i64.load align=2 offset=12 (i32.const 0))) + (drop (f32.load align=2 offset=13 (i32.const 0))) + (drop (f64.load align=2 offset=14 (i32.const 0))) + ) + + ;; CHECK: (func $B + ;; CHECK-NEXT: (i32.store8 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 29) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 29) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.store16 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 30) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 30) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.store + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 31) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 31) + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store8 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 32) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 32) + ;; CHECK-NEXT: (i64.const 4) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store16 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 33) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 33) + ;; CHECK-NEXT: (i64.const 5) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store32 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 34) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 34) + ;; CHECK-NEXT: (i64.const 6) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 35) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 35) + ;; CHECK-NEXT: (i64.const 7) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f32.store + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 36) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_f32 + ;; CHECK-NEXT: (i32.const 36) + ;; CHECK-NEXT: (f32.const 8) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f64.store + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 37) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_f64 + ;; CHECK-NEXT: (i32.const 37) + ;; CHECK-NEXT: (f64.const 9) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.store8 offset=1 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 38) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 38) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.store16 offset=2 align=1 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 39) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 39) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.store offset=3 align=2 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 40) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i32 + ;; CHECK-NEXT: (i32.const 40) + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store8 offset=4 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 41) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 41) + ;; CHECK-NEXT: (i64.const 4) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store16 offset=5 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 42) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 5) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 42) + ;; CHECK-NEXT: (i64.const 5) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store32 offset=6 align=2 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 43) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 6) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 43) + ;; CHECK-NEXT: (i64.const 6) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i64.store offset=7 align=2 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 44) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 7) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_i64 + ;; CHECK-NEXT: (i32.const 44) + ;; CHECK-NEXT: (i64.const 7) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f32.store offset=8 align=2 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 45) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_f32 + ;; CHECK-NEXT: (i32.const 45) + ;; CHECK-NEXT: (f32.const 8) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f64.store offset=9 align=2 + ;; CHECK-NEXT: (call $store_ptr + ;; CHECK-NEXT: (i32.const 46) + ;; CHECK-NEXT: (i32.const 8) + ;; CHECK-NEXT: (i32.const 9) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $store_val_f64 + ;; CHECK-NEXT: (i32.const 46) + ;; CHECK-NEXT: (f64.const 9) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $B (type $1) + (i32.store8 (i32.const 0) (i32.const 1)) + (i32.store16 (i32.const 0) (i32.const 2)) + (i32.store (i32.const 0) (i32.const 3)) + (i64.store8 (i32.const 0) (i64.const 4)) + (i64.store16 (i32.const 0) (i64.const 5)) + (i64.store32 (i32.const 0) (i64.const 6)) + (i64.store (i32.const 0) (i64.const 7)) + (f32.store (i32.const 0) (f32.const 8)) + (f64.store (i32.const 0) (f64.const 9)) + + (i32.store8 align=1 offset=1 (i32.const 0) (i32.const 1)) + (i32.store16 align=1 offset=2 (i32.const 0) (i32.const 2)) + (i32.store align=2 offset=3 (i32.const 0) (i32.const 3)) + (i64.store8 align=1 offset=4 (i32.const 0) (i64.const 4)) + (i64.store16 align=2 offset=5 (i32.const 0) (i64.const 5)) + (i64.store32 align=2 offset=6 (i32.const 0) (i64.const 6)) + (i64.store align=2 offset=7 (i32.const 0) (i64.const 7)) + (f32.store align=2 offset=8 (i32.const 0) (f32.const 8)) + (f64.store align=2 offset=9 (i32.const 0) (f64.const 9)) + ) +) |