add suggested test

WebAssembly · Dec 13, 2023 · c248799 · c248799
1 parent 7b628b6
commit c248799
Showing 1 changed file with 57 additions and 1 deletion.
diff --git a/test/lit/wat-kitchen-sink.wast b/test/lit/wat-kitchen-sink.wast
@@ -2124,6 +2124,62 @@
   end
  )
 
+ ;; CHECK:      (func $rethrow-try-nested (type $void)
+ ;; CHECK-NEXT:  (block $label
+ ;; CHECK-NEXT:   (try $__delegate__label
+ ;; CHECK-NEXT:    (do
+ ;; CHECK-NEXT:     (nop)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (catch $empty
+ ;; CHECK-NEXT:     (try
+ ;; CHECK-NEXT:      (do
+ ;; CHECK-NEXT:       (rethrow $__delegate__label)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $rethrow-try-nested
+  try
+  catch $empty
+   block
+    try
+     ;; Same as before, but now the rethrow is in the inner try instead of the
+     ;; inner catch.
+     rethrow 2
+    end
+   end
+  end
+ )
+
+ ;; CHECK:      (func $rethrow-try-nested-named (type $void)
+ ;; CHECK-NEXT:  (block $l
+ ;; CHECK-NEXT:   (try $__delegate__l
+ ;; CHECK-NEXT:    (do
+ ;; CHECK-NEXT:     (nop)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (catch $empty
+ ;; CHECK-NEXT:     (try
+ ;; CHECK-NEXT:      (do
+ ;; CHECK-NEXT:       (rethrow $__delegate__l)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $rethrow-try-nested-named
+  try $l
+  catch $empty
+   block
+    try
+     rethrow $l
+    end
+   end
+  end
+ )
+
  ;; CHECK:      (func $label-siblings (type $void)
  ;; CHECK-NEXT:  (block $l
  ;; CHECK-NEXT:   (br $l)
@@ -3022,7 +3078,7 @@
  (func $ref-func
   ref.func $ref-func
   drop
-  ref.func 133
+  ref.func 135
   drop
  )