summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/passes/instrument-memory-gc.wast162
1 files changed, 162 insertions, 0 deletions
diff --git a/test/lit/passes/instrument-memory-gc.wast b/test/lit/passes/instrument-memory-gc.wast
new file mode 100644
index 000000000..6e4192d16
--- /dev/null
+++ b/test/lit/passes/instrument-memory-gc.wast
@@ -0,0 +1,162 @@
+;; 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
+
+(module
+ ;; 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: (type $struct (struct (field (mut i32)) (field f32) (field $named f64)))
+ (type $struct (struct
+ (field (mut i32))
+ (field f32)
+ (field $named f64)
+ ))
+ ;; CHECK: (type $i32_i32_i32_i32_=>_i32 (func (param i32 i32 i32 i32) (result i32)))
+
+ ;; CHECK: (type $ref|$struct|_=>_none (func (param (ref $struct))))
+
+ ;; CHECK: (type $ref|$array|_=>_none (func (param (ref $array))))
+
+ ;; CHECK: (type $array (array (mut f64)))
+ (type $array (array (mut 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: (import "env" "struct_get_val_i32" (func $struct_get_val_i32 (param i32 i32) (result i32)))
+
+ ;; CHECK: (import "env" "struct_get_val_i64" (func $struct_get_val_i64 (param i32 i64) (result i64)))
+
+ ;; CHECK: (import "env" "struct_get_val_f32" (func $struct_get_val_f32 (param i32 f32) (result f32)))
+
+ ;; CHECK: (import "env" "struct_get_val_f64" (func $struct_get_val_f64 (param i32 f64) (result f64)))
+
+ ;; CHECK: (import "env" "struct_set_val_i32" (func $struct_set_val_i32 (param i32 i32) (result i32)))
+
+ ;; CHECK: (import "env" "struct_set_val_i64" (func $struct_set_val_i64 (param i32 i64) (result i64)))
+
+ ;; CHECK: (import "env" "struct_set_val_f32" (func $struct_set_val_f32 (param i32 f32) (result f32)))
+
+ ;; CHECK: (import "env" "struct_set_val_f64" (func $struct_set_val_f64 (param i32 f64) (result f64)))
+
+ ;; CHECK: (import "env" "array_get_val_i32" (func $array_get_val_i32 (param i32 i32) (result i32)))
+
+ ;; CHECK: (import "env" "array_get_val_i64" (func $array_get_val_i64 (param i32 i64) (result i64)))
+
+ ;; CHECK: (import "env" "array_get_val_f32" (func $array_get_val_f32 (param i32 f32) (result f32)))
+
+ ;; CHECK: (import "env" "array_get_val_f64" (func $array_get_val_f64 (param i32 f64) (result f64)))
+
+ ;; CHECK: (import "env" "array_set_val_i32" (func $array_set_val_i32 (param i32 i32) (result i32)))
+
+ ;; CHECK: (import "env" "array_set_val_i64" (func $array_set_val_i64 (param i32 i64) (result i64)))
+
+ ;; CHECK: (import "env" "array_set_val_f32" (func $array_set_val_f32 (param i32 f32) (result f32)))
+
+ ;; CHECK: (import "env" "array_set_val_f64" (func $array_set_val_f64 (param i32 f64) (result f64)))
+
+ ;; CHECK: (import "env" "array_get_index" (func $array_get_index (param i32 i32) (result i32)))
+
+ ;; CHECK: (import "env" "array_set_index" (func $array_set_index (param i32 i32) (result i32)))
+
+ ;; CHECK: (func $structs (param $x (ref $struct))
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $struct_get_val_i32
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: (struct.get $struct 0
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $struct_get_val_f32
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: (struct.get $struct 1
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $struct_get_val_f64
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: (struct.get $struct $named
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (struct.set $struct 0
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (call $struct_set_val_i32
+ ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $structs (param $x (ref $struct))
+ (drop
+ (struct.get $struct 0 (local.get $x))
+ )
+ (drop
+ (struct.get $struct 1 (local.get $x))
+ )
+ (drop
+ (struct.get $struct 2 (local.get $x))
+ )
+ (struct.set $struct 0 (local.get $x) (i32.const 42))
+ )
+
+ ;; CHECK: (func $arrays (param $x (ref $array))
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $array_get_val_f64
+ ;; CHECK-NEXT: (i32.const 5)
+ ;; CHECK-NEXT: (array.get $array
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (call $array_get_index
+ ;; CHECK-NEXT: (i32.const 4)
+ ;; CHECK-NEXT: (i32.const 10)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (array.set $array
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (call $array_set_index
+ ;; CHECK-NEXT: (i32.const 6)
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $array_set_val_f64
+ ;; CHECK-NEXT: (i32.const 7)
+ ;; CHECK-NEXT: (f64.const 3.14159)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $arrays (param $x (ref $array))
+ (drop
+ (array.get $array (local.get $x) (i32.const 10))
+ )
+ (array.set $array (local.get $x) (i32.const 42) (f64.const 3.14159))
+ )
+)
+
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-11 05:09:26 +0000