summaryrefslogtreecommitdiff
path: root/test/lit/ref-cast-nop.wast
blob: 060005f4d1534bdba31302fe31cb9d37c0619f84 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
;; 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 (type $ref|any|_=>_ref|$struct|) (param $x (ref any)) (result (ref $struct))
 ;; CHECK-NEXT:  (ref.cast_nop $struct
 ;; CHECK-NEXT:   (local.get $x)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $ref.cast_nop (param $x (ref any)) (result (ref $struct))
  (ref.cast_nop $struct
   (local.get $x)
  )
 )
)