work

WebAssembly · kripken · May 16, 2025 · May 16, 2025 · May 16, 2025 · May 16, 2025
commit 0bdcb36101d466fb23d4b67ed2078321265012fb
diff --git a/test/lit/passes/branch-hint-analysis.wast b/test/lit/passes/branch-hint-analysis.wast
@@ -266,5 +266,29 @@
       )
     )
   )
+
+  ;; CHECK:      (func $if-unreachable-double (type $0) (param $x i32)
+  ;; CHECK-NEXT:  (if
+  ;; CHECK-NEXT:   (local.get $x)
+  ;; CHECK-NEXT:   (then
+  ;; CHECK-NEXT:    (unreachable)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (else
+  ;; CHECK-NEXT:    (unreachable)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $if-unreachable-double (param $x i32)
+    ;; Two unreachables are equally unlikely, so nothing to hint.
+    (if
+      (local.get $x)
+      (then
+        (unreachable)
+      )
+      (else
+        (unreachable)
+      )
+    )
+  )
 )