diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/inlining_enable-tail-call.wast | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/test/lit/passes/inlining_enable-tail-call.wast b/test/lit/passes/inlining_enable-tail-call.wast index 646d2cf0d..0c460b552 100644 --- a/test/lit/passes/inlining_enable-tail-call.wast +++ b/test/lit/passes/inlining_enable-tail-call.wast @@ -705,3 +705,65 @@ (unreachable) ) ) + +(module + ;; CHECK: (type $i32_=>_i32 (func (param i32) (result i32))) + + ;; CHECK: (export "is_even" (func $is_even)) + (export "is_even" (func $is_even)) + ;; CHECK: (func $is_even (param $i i32) (result i32) + ;; CHECK-NEXT: (local $1 i32) + ;; CHECK-NEXT: (if (result i32) + ;; CHECK-NEXT: (i32.eqz + ;; CHECK-NEXT: (local.get $i) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (return + ;; CHECK-NEXT: (block $__inlined_func$is_odd (result i32) + ;; CHECK-NEXT: (local.set $1 + ;; CHECK-NEXT: (i32.sub + ;; CHECK-NEXT: (local.get $i) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (if (result i32) + ;; CHECK-NEXT: (i32.eqz + ;; CHECK-NEXT: (local.get $1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (return_call $is_even + ;; CHECK-NEXT: (i32.sub + ;; CHECK-NEXT: (local.get $1) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $is_even (param $i i32) (result i32) + (if (result i32) + (i32.eqz (local.get $i)) + (i32.const 1) + (return_call $is_odd + (i32.sub + (local.get $i) + (i32.const 1) + ) + ) + ) + ) + (func $is_odd (param $i i32) (result i32) + (if (result i32) + (i32.eqz (local.get $i)) + (i32.const 0) + (return_call $is_even + (i32.sub + (local.get $i) + (i32.const 1) + ) + ) + ) + ) +) |