binaryen/test/lit/tail-call-optimization-shrink.wast at 2a01572a6930b1510e82794e68be5a7b3f32eed8 · HerrCai0907/binaryen · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; RUN: foreach %s %t wasm-opt --tail-call-optimization --enable-tail-call --optimize-level 0 --shrink-level 2 -S -o - | filecheck %s

;; Tests for tail call optimization

(module
  ;; CHECK:      (type $0 (func (result i32)))

  ;; CHECK:      (func $f (result i32)
  ;; CHECK-NEXT:  (i32.const 0)
  ;; CHECK-NEXT: )
  (func $f (result i32)
    i32.const 0
  )
  ;; CHECK:      (func $implicit_return (result i32)
  ;; CHECK-NEXT:  (call $f)
  ;; CHECK-NEXT: )
  (func $implicit_return (result i32)
    call $f
  )
)