| ;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. |
| |
| ;; RUN: wasm-opt -all %s -S --roundtrip -o - | filecheck %s |
| |
| (module |
| ;; CHECK: (type $struct (struct (field i32))) |
| (type $struct (struct i32)) |
| ;; CHECK: (func $ref.cast_nop_static (param $x (ref any)) (result (ref $struct)) |
| ;; CHECK-NEXT: (ref.cast_nop_static $struct |
| ;; CHECK-NEXT: (local.get $x) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: ) |
| (func $ref.cast_nop_static (param $x (ref any)) (result (ref $struct)) |
| (ref.cast_nop_static $struct |
| (local.get $x) |
| ) |
| ) |
| ) |