From e8ac658a5db2fadc93c3d317d465eed253e191ed Mon Sep 17 00:00:00 2001
From: Alon Zakai <azakai@google.com>
Date: Tue, 23 May 2023 10:38:00 -0700
Subject: Revert "Update br_on_cast binary and text format (#5734)" (#5740)

This reverts commit b7b1d0df29df14634d2c680d1d2c351b624b4fbb.

See comment at the end of #5734: It turns out that dropping the old opcodes causes
problems for current users, so let's revert this for now, and later we can figure out
how best to do the update.
---
 test/lit/binary/legacy-static-casts.test | 41 ++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 test/lit/binary/legacy-static-casts.test

(limited to 'test/lit/binary/legacy-static-casts.test')

diff --git a/test/lit/binary/legacy-static-casts.test b/test/lit/binary/legacy-static-casts.test
new file mode 100644
index 000000000..49ed204a7
--- /dev/null
+++ b/test/lit/binary/legacy-static-casts.test
@@ -0,0 +1,41 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; Test that the opcodes for the deprecated *_static cast instructions still parse.
+
+;; RUN: wasm-opt %s.wasm -all -S -o - | filecheck %s
+
+;; CHECK:      (type ${} (struct ))
+
+;; CHECK:      (type $none_=>_none (func))
+
+;; CHECK:      (func $0 (type $none_=>_none)
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (ref.test ${}
+;; CHECK-NEXT:    (ref.null none)
+;; CHECK-NEXT:   )
+;; CHECK-NEXT:  )
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (ref.cast null none
+;; CHECK-NEXT:    (ref.null none)
+;; CHECK-NEXT:   )
+;; CHECK-NEXT:  )
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (ref.cast_nop none
+;; CHECK-NEXT:    (ref.null none)
+;; CHECK-NEXT:   )
+;; CHECK-NEXT:  )
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (block $label$1 (result (ref null ${}))
+;; CHECK-NEXT:    (br_on_cast $label$1 ${}
+;; CHECK-NEXT:     (ref.null none)
+;; CHECK-NEXT:    )
+;; CHECK-NEXT:   )
+;; CHECK-NEXT:  )
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (block $label$2 (result (ref null ${}))
+;; CHECK-NEXT:    (br_on_cast_fail $label$2 ${}
+;; CHECK-NEXT:     (ref.null none)
+;; CHECK-NEXT:    )
+;; CHECK-NEXT:   )
+;; CHECK-NEXT:  )
+;; CHECK-NEXT: )
-- 
cgit v1.2.3