diff options
Diffstat (limited to 'test/lit/passes/cfp.wast')
| -rw-r--r-- | test/lit/passes/cfp.wast | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/lit/passes/cfp.wast b/test/lit/passes/cfp.wast index 0cc1d8c00..c3bc81a1b 100644 --- a/test/lit/passes/cfp.wast +++ b/test/lit/passes/cfp.wast @@ -767,6 +767,10 @@ ;; Subtyping: Create both a subtype and a supertype, with different constants ;; for the shared field, preventing optimization, as a get of the ;; supertype may receive an instance of the subtype. +;; +;; Note that this may be optimized using a ref.test, in --cfp-reftest, but not +;; in --cfp. This gives us coverage that --cfp does not do the things that +;; --cfp-reftest does (how --cfp-reftest works is tested in cfp-reftest.wast). (module ;; CHECK: (type $struct (sub (struct (field i32)))) (type $struct (sub (struct i32))) |