summaryrefslogtreecommitdiff
path: root/test/roundtrip/fold-tail-call.txt
blob: 8f0512543f15c7ae3871916bff78946ba7691241 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
;;; TOOL: run-roundtrip
;;; ARGS: --stdout --fold-exprs --enable-tail-call
(module
  (type $t (func))
  (type $t2 (func (param f32 f32) (result f32)))
  (table 1 funcref)

  (func $f
    return_call $f)

  (func $f2 (param f32 f32) (result f32)
    f32.const 0
    f32.const 0
    return_call $f2)

  (func
    i32.const 0
    return_call_indirect (type $t))

  (func (result f32)
    f32.const 0
    f32.const 0
    i32.const 0
    return_call_indirect (type $t2))
)
(;; STDOUT ;;;
(module
  (type (;0;) (func))
  (type (;1;) (func (param f32 f32) (result f32)))
  (type (;2;) (func (result f32)))
  (func (;0;) (type 0)
    (return_call 0))
  (func (;1;) (type 1) (param f32 f32) (result f32)
    (return_call 1
      (f32.const 0x0p+0 (;=0;))
      (f32.const 0x0p+0 (;=0;))))
  (func (;2;) (type 0)
    (return_call_indirect (type 0)
      (i32.const 0)))
  (func (;3;) (type 2) (result f32)
    (return_call_indirect (type 1)
      (f32.const 0x0p+0 (;=0;))
      (f32.const 0x0p+0 (;=0;))
      (i32.const 0)))
  (table (;0;) 1 funcref))
;;; STDOUT ;;)