diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/wat-kitchen-sink.wast | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/lit/wat-kitchen-sink.wast b/test/lit/wat-kitchen-sink.wast index 375b8c993..45d2c5d96 100644 --- a/test/lit/wat-kitchen-sink.wast +++ b/test/lit/wat-kitchen-sink.wast @@ -1119,6 +1119,26 @@ ) ) +;; CHECK: (func $if-else-atypical-condition (type $void) +;; CHECK-NEXT: (if +;; CHECK-NEXT: (i32.const 0) +;; CHECK-NEXT: (nop) +;; CHECK-NEXT: (nop) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (if +;; CHECK-NEXT: (i32.eqz +;; CHECK-NEXT: (i32.const 0) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (nop) +;; CHECK-NEXT: (nop) +;; CHECK-NEXT: ) +;; CHECK-NEXT: ) +(func $if-else-atypical-condition + i32.const 0 + (if (then) (else)) + (if (i32.const 0) (i32.eqz) (then) (else)) +) + ;; CHECK: (func $if-else-mixed (type $void) ;; CHECK-NEXT: (if ;; CHECK-NEXT: (if (result i32) |