summaryrefslogtreecommitdiff
path: root/test/lit/passes/instrument-memory-gc.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/instrument-memory-gc.wast')
-rw-r--r--test/lit/passes/instrument-memory-gc.wast132
1 files changed, 131 insertions, 1 deletions
diff --git a/test/lit/passes/instrument-memory-gc.wast b/test/lit/passes/instrument-memory-gc.wast
index 1866bdcb8..bbc55ba77 100644
--- a/test/lit/passes/instrument-memory-gc.wast
+++ b/test/lit/passes/instrument-memory-gc.wast
@@ -1,7 +1,7 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: foreach %s %t wasm-opt --instrument-memory -all -S -o - | filecheck %s
-;; RUN: foreach %s %t wasm-opt --instrument-memory --nominal -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --instrument-memory --nominal -all -S -o - | filecheck %s --check-prefix=NOMNL
(module
;; CHECK: (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
@@ -13,6 +13,15 @@
;; CHECK: (type $i32_f64_=>_f64 (func (param i32 f64) (result f64)))
;; CHECK: (type $struct (struct (field (mut i32)) (field f32) (field $named f64)))
+ ;; NOMNL: (type $i32_i32_=>_i32 (func_subtype (param i32 i32) (result i32) func))
+
+ ;; NOMNL: (type $i32_i64_=>_i64 (func_subtype (param i32 i64) (result i64) func))
+
+ ;; NOMNL: (type $i32_f32_=>_f32 (func_subtype (param i32 f32) (result f32) func))
+
+ ;; NOMNL: (type $i32_f64_=>_f64 (func_subtype (param i32 f64) (result f64) func))
+
+ ;; NOMNL: (type $struct (struct_subtype (field (mut i32)) (field f32) (field $named f64) data))
(type $struct (struct
(field (mut i32))
(field f32)
@@ -25,6 +34,13 @@
;; CHECK: (type $ref|$array|_=>_none (func (param (ref $array))))
;; CHECK: (type $array (array (mut f64)))
+ ;; NOMNL: (type $i32_i32_i32_i32_=>_i32 (func_subtype (param i32 i32 i32 i32) (result i32) func))
+
+ ;; NOMNL: (type $ref|$struct|_=>_none (func_subtype (param (ref $struct)) func))
+
+ ;; NOMNL: (type $ref|$array|_=>_none (func_subtype (param (ref $array)) func))
+
+ ;; NOMNL: (type $array (array_subtype (mut f64) data))
(type $array (array (mut f64)))
;; CHECK: (import "env" "load_ptr" (func $load_ptr (param i32 i32 i32 i32) (result i32)))
@@ -116,6 +132,95 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
+ ;; NOMNL: (import "env" "load_ptr" (func $load_ptr (param i32 i32 i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "load_val_i32" (func $load_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "load_val_i64" (func $load_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "load_val_f32" (func $load_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "load_val_f64" (func $load_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "store_ptr" (func $store_ptr (param i32 i32 i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "store_val_i32" (func $store_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "store_val_i64" (func $store_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "store_val_f32" (func $store_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "store_val_f64" (func $store_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "struct_get_val_i32" (func $struct_get_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "struct_get_val_i64" (func $struct_get_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "struct_get_val_f32" (func $struct_get_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "struct_get_val_f64" (func $struct_get_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "struct_set_val_i32" (func $struct_set_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "struct_set_val_i64" (func $struct_set_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "struct_set_val_f32" (func $struct_set_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "struct_set_val_f64" (func $struct_set_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "array_get_val_i32" (func $array_get_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "array_get_val_i64" (func $array_get_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "array_get_val_f32" (func $array_get_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "array_get_val_f64" (func $array_get_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "array_set_val_i32" (func $array_set_val_i32 (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "array_set_val_i64" (func $array_set_val_i64 (param i32 i64) (result i64)))
+
+ ;; NOMNL: (import "env" "array_set_val_f32" (func $array_set_val_f32 (param i32 f32) (result f32)))
+
+ ;; NOMNL: (import "env" "array_set_val_f64" (func $array_set_val_f64 (param i32 f64) (result f64)))
+
+ ;; NOMNL: (import "env" "array_get_index" (func $array_get_index (param i32 i32) (result i32)))
+
+ ;; NOMNL: (import "env" "array_set_index" (func $array_set_index (param i32 i32) (result i32)))
+
+ ;; NOMNL: (func $structs (param $x (ref $struct))
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (call $struct_get_val_i32
+ ;; NOMNL-NEXT: (i32.const 0)
+ ;; NOMNL-NEXT: (struct.get $struct 0
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (call $struct_get_val_f32
+ ;; NOMNL-NEXT: (i32.const 1)
+ ;; NOMNL-NEXT: (struct.get $struct 1
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (call $struct_get_val_f64
+ ;; NOMNL-NEXT: (i32.const 2)
+ ;; NOMNL-NEXT: (struct.get $struct $named
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (struct.set $struct 0
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: (call $struct_set_val_i32
+ ;; NOMNL-NEXT: (i32.const 3)
+ ;; NOMNL-NEXT: (i32.const 42)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
(func $structs (param $x (ref $struct))
(drop
(struct.get $struct 0 (local.get $x))
@@ -154,6 +259,31 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
+ ;; NOMNL: (func $arrays (param $x (ref $array))
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (call $array_get_val_f64
+ ;; NOMNL-NEXT: (i32.const 5)
+ ;; NOMNL-NEXT: (array.get $array
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: (call $array_get_index
+ ;; NOMNL-NEXT: (i32.const 4)
+ ;; NOMNL-NEXT: (i32.const 10)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (array.set $array
+ ;; NOMNL-NEXT: (local.get $x)
+ ;; NOMNL-NEXT: (call $array_set_index
+ ;; NOMNL-NEXT: (i32.const 6)
+ ;; NOMNL-NEXT: (i32.const 42)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (call $array_set_val_f64
+ ;; NOMNL-NEXT: (i32.const 7)
+ ;; NOMNL-NEXT: (f64.const 3.14159)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
(func $arrays (param $x (ref $array))
(drop
(array.get $array (local.get $x) (i32.const 10))
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 03:13:29 +0000