blob: b2cc4a961b3a24b06e213e8c78bfd3b850220e70 (
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
|
;;; TOOL: run-roundtrip
;;; ARGS: --stdout --fold-exprs --generate-names
(module
(import "a" "b" (func (param i32) (result i32)))
(func (export "c") (param i64) (result i32)
local.get 0
i32.wrap_i64)
;; Make sure that calls are folded properly when referencing generated names
;; (there was a bug here).
(func (result i32)
i32.const 1
call 0
i32.const 2
call 0
i32.add
i64.const 3
call 1
drop))
(;; STDOUT ;;;
(module
(type $t0 (func (param i32) (result i32)))
(type $t1 (func (param i64) (result i32)))
(type $t2 (func (result i32)))
(import "a" "b" (func $a.b (type $t0)))
(func $c (type $t1) (param $p0 i64) (result i32)
(i32.wrap_i64
(local.get $p0)))
(func $f2 (type $t2) (result i32)
(i32.add
(call $a.b
(i32.const 1))
(call $a.b
(i32.const 2)))
(drop
(call $c
(i64.const 3))))
(export "c" (func $c)))
;;; STDOUT ;;)
|
