1 files changed, 110 insertions, 0 deletions
diff --git a/test/lit/passes/precompute-gc.wast b/test/lit/passes/precompute-gc.wast
index 0cd6d2c2c..cb6ba9bf0 100644
--- a/test/lit/passes/precompute-gc.wast
+++ b/test/lit/passes/precompute-gc.wast
@@ -6,6 +6,12 @@
  (type $struct (struct (mut i32)))
  (type $empty (struct))
 
+ ;; two incompatible struct types
+ (type $A (struct (field (mut f32))))
+ (type $B (struct (field (mut f64))))
+
+ (type $func-return-i32 (func (result i32)))
+
  (import "fuzzing-support" "log-i32" (func $log (param i32)))
 
  ;; CHECK:      (func $test-fallthrough (result i32)
@@ -391,4 +397,108 @@
   ;; precompute GC references, and so nothing will be done.
   (local.get $tempresult)
  )
+
+ ;; CHECK:      (func $odd-cast-and-get
+ ;; CHECK-NEXT:  (local $temp (ref null $B))
+ ;; CHECK-NEXT:  (local.set $temp
+ ;; CHECK-NEXT:   (ref.null $B)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (struct.get $B 0
+ ;; CHECK-NEXT:    (ref.null $B)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $odd-cast-and-get
+  (local $temp (ref null $B))
+  ;; Try to cast a null of A to B. While the types are incompatible, ref.cast
+  ;; returns a null when given a null (and the null must have the type that the
+  ;; ref.cast instruction has, that is, the value is a null of type $B). So this
+  ;; is an odd cast that "works".
+  (local.set $temp
+   (ref.cast
+    (ref.null $A)
+    (rtt.canon $B)
+   )
+  )
+  (drop
+   ;; Read from the local, which precompute should set to a null with the proper
+   ;; type.
+   (struct.get $B 0
+    (local.get $temp)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $odd-cast-and-get-tuple
+ ;; CHECK-NEXT:  (local $temp ((ref null $B) i32))
+ ;; CHECK-NEXT:  (local.set $temp
+ ;; CHECK-NEXT:   (tuple.make
+ ;; CHECK-NEXT:    (ref.null $B)
+ ;; CHECK-NEXT:    (i32.const 10)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (struct.get $B 0
+ ;; CHECK-NEXT:    (ref.null $B)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $odd-cast-and-get-tuple
+  (local $temp ((ref null $B) i32))
+  ;; As above, but with a tuple.
+  (local.set $temp
+   (tuple.make
+    (ref.cast
+     (ref.null $A)
+     (rtt.canon $B)
+    )
+    (i32.const 10)
+   )
+  )
+  (drop
+   (struct.get $B 0
+    (tuple.extract 0
+     (local.get $temp)
+    )
+   )
+  )
+ )
+
+ ;; CHECK:      (func $receive-f64 (param $0 f64)
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $receive-f64 (param f64)
+  (unreachable)
+ )
+
+ ;; CHECK:      (func $odd-cast-and-get-non-null (param $temp (ref $func-return-i32))
+ ;; CHECK-NEXT:  (local.set $temp
+ ;; CHECK-NEXT:   (ref.cast
+ ;; CHECK-NEXT:    (ref.func $receive-f64)
+ ;; CHECK-NEXT:    (rtt.canon $func-return-i32)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (call_ref
+ ;; CHECK-NEXT:    (local.get $temp)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $odd-cast-and-get-non-null (param $temp (ref $func-return-i32))
+  ;; Try to cast a function to an incompatible type.
+  (local.set $temp
+   (ref.cast
+    (ref.func $receive-f64)
+    (rtt.canon $func-return-i32)
+   )
+  )
+  (drop
+   ;; Read from the local, checking whether precompute set a value there (it
+   ;; should not, as the cast fails).
+   (call_ref
+    (local.get $temp)
+   )
+  )
+ )
 )