diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/ref-cast-nop.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/lit/ref-cast-nop.wast b/test/lit/ref-cast-nop.wast index 060005f4d..3b284db04 100644 --- a/test/lit/ref-cast-nop.wast +++ b/test/lit/ref-cast-nop.wast @@ -15,4 +15,15 @@ (local.get $x) ) ) + + ;; CHECK: (func $ref.cast_nop.null (type $ref|any|_=>_ref|none|) (param $x (ref any)) (result (ref none)) + ;; CHECK-NEXT: (ref.cast_nop none + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $ref.cast_nop.null (param $x (ref any)) (result (ref none)) + (ref.cast_nop none + (local.get $x) + ) + ) ) |