1 files changed, 141 insertions, 0 deletions
diff --git a/test/lit/exec/rtts.wast b/test/lit/exec/rtts.wast
new file mode 100644
index 000000000..98304f8f2
--- /dev/null
+++ b/test/lit/exec/rtts.wast
@@ -0,0 +1,141 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.
+
+;; Check that allocation and casting instructions with and without RTTs can be
+;; mixed correctly.
+
+;; TODO: Fix the implementation to not fail an assertion on the functions commented out below.
+
+;; RUN: wasm-opt %s -all --fuzz-exec-before -q --structural -o /dev/null 2>&1 \
+;; RUN:   | filecheck %s --check-prefix=EQREC
+
+;; RUN: wasm-opt %s -all --fuzz-exec-before -q --nominal -o /dev/null 2>&1 \
+;; RUN:   | filecheck %s --check-prefix=NOMNL
+
+(module
+  (type $struct (struct_subtype i32 data))
+  (type $sub-struct (struct_subtype i32 i32 $struct))
+
+  (import "fuzzing-support" "log-i32" (func $log (param i32)))
+
+  (global $sub-rtt (rtt 1 $sub-struct)
+    (rtt.sub $sub-struct
+      (rtt.canon $struct)
+    )
+  )
+
+  (func $make-sub-struct-canon (result (ref $struct))
+    (struct.new_default_with_rtt $sub-struct
+      (rtt.canon $sub-struct)
+    )
+  )
+
+  (func $make-sub-struct-sub (result (ref $struct))
+    (struct.new_default_with_rtt $sub-struct
+      (global.get $sub-rtt)
+    )
+  )
+
+  (func $make-sub-struct-static (result (ref $struct))
+    (struct.new_default $sub-struct)
+  )
+
+  ;; EQREC:      [fuzz-exec] calling canon-canon
+  ;; EQREC-NEXT: [LoggingExternalInterface logging 1]
+  ;; NOMNL:      [fuzz-exec] calling canon-canon
+  ;; NOMNL-NEXT: [LoggingExternalInterface logging 1]
+  (func "canon-canon"
+    (call $log
+      (ref.test
+        (call $make-sub-struct-canon)
+        (rtt.canon $sub-struct)
+      )
+    )
+  )
+
+  ;; TODO: This should succeed in --nominal mode
+  ;; EQREC:      [fuzz-exec] calling canon-sub
+  ;; EQREC-NEXT: [LoggingExternalInterface logging 0]
+  ;; NOMNL:      [fuzz-exec] calling canon-sub
+  ;; NOMNL-NEXT: [LoggingExternalInterface logging 0]
+  (func "canon-sub"
+    (call $log
+      (ref.test
+        (call $make-sub-struct-canon)
+        (global.get $sub-rtt)
+      )
+    )
+  )
+
+  ;; (func "canon-static"
+  ;;   (call $log
+  ;;     (ref.test_static $sub-struct
+  ;;       (call $make-sub-struct-canon)
+  ;;     )
+  ;;   )
+  ;; )
+
+  ;; TODO: This should succeed in --nominal mode
+  ;; EQREC:      [fuzz-exec] calling sub-canon
+  ;; EQREC-NEXT: [LoggingExternalInterface logging 0]
+  ;; NOMNL:      [fuzz-exec] calling sub-canon
+  ;; NOMNL-NEXT: [LoggingExternalInterface logging 0]
+  (func "sub-canon"
+    (call $log
+      (ref.test
+        (call $make-sub-struct-sub)
+        (rtt.canon $sub-struct)
+      )
+    )
+  )
+
+  ;; EQREC:      [fuzz-exec] calling sub-sub
+  ;; EQREC-NEXT: [LoggingExternalInterface logging 1]
+  ;; NOMNL:      [fuzz-exec] calling sub-sub
+  ;; NOMNL-NEXT: [LoggingExternalInterface logging 1]
+  (func "sub-sub"
+    (call $log
+      (ref.test
+        (call $make-sub-struct-sub)
+        (global.get $sub-rtt)
+      )
+    )
+  )
+
+  ;; (func "sub-static"
+  ;;   (call $log
+  ;;     (ref.test_static $sub-struct
+  ;;       (call $make-sub-struct-sub)
+  ;;     )
+  ;;   )
+  ;; )
+
+  ;; (func "static-canon"
+  ;;   (call $log
+  ;;     (ref.test
+  ;;       (call $make-sub-struct-static)
+  ;;       (rtt.canon $sub-struct)
+  ;;     )
+  ;;   )
+  ;; )
+
+  ;; (func "static-sub"
+  ;;   (call $log
+  ;;     (ref.test
+  ;;       (call $make-sub-struct-static)
+  ;;       (global.get $sub-rtt)
+  ;;     )
+  ;;   )
+  ;; )
+
+  ;; EQREC:      [fuzz-exec] calling static-static
+  ;; EQREC-NEXT: [LoggingExternalInterface logging 1]
+  ;; NOMNL:      [fuzz-exec] calling static-static
+  ;; NOMNL-NEXT: [LoggingExternalInterface logging 1]
+  (func "static-static"
+    (call $log
+      (ref.test_static $sub-struct
+        (call $make-sub-struct-static)
+      )
+    )
+  )
+)