;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; Check that we still parse the legacy i31.new instruction.
;; RUN: wasm-opt %s -all -S -o - | filecheck %s
(module
;; CHECK: (func $test (type $0) (result i31ref)
;; CHECK-NEXT: (ref.i31
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $test (result i31ref)
(i31.new
(i32.const 0)
)
)
)