blob: 5c0c61d060ecdb8f456571edc45b80aa066ccc0d (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.
;; Test that this instrumentation pass discards global effects, which it must do
;; as it adds calls to imports. We can optimize below when we do not instrument,
;; and cannot when we do.
;;
;; In NO_INSTRMT below we run another pass, just to prove that not every pass
;; causes global effects to be discarded.
;; RUN: foreach %s %t wasm-opt --generate-global-effects --instrument-locals --vacuum -S -o - | filecheck %s --check-prefix INSTRUMENT
;; RUN: foreach %s %t wasm-opt --generate-global-effects --coalesce-locals --vacuum -S -o - | filecheck %s --check-prefix NO_INSTRMT
(module
;; INSTRUMENT: (type $0 (func))
;; INSTRUMENT: (type $1 (func (param i32 i32 i32) (result i32)))
;; INSTRUMENT: (type $2 (func (param i32 i32 i64) (result i64)))
;; INSTRUMENT: (type $3 (func (param i32 i32 f32) (result f32)))
;; INSTRUMENT: (type $4 (func (param i32 i32 f64) (result f64)))
;; INSTRUMENT: (import "env" "get_i32" (func $get_i32 (param i32 i32 i32) (result i32)))
;; INSTRUMENT: (import "env" "get_i64" (func $get_i64 (param i32 i32 i64) (result i64)))
;; INSTRUMENT: (import "env" "get_f32" (func $get_f32 (param i32 i32 f32) (result f32)))
;; INSTRUMENT: (import "env" "get_f64" (func $get_f64 (param i32 i32 f64) (result f64)))
;; INSTRUMENT: (import "env" "set_i32" (func $set_i32 (param i32 i32 i32) (result i32)))
;; INSTRUMENT: (import "env" "set_i64" (func $set_i64 (param i32 i32 i64) (result i64)))
;; INSTRUMENT: (import "env" "set_f32" (func $set_f32 (param i32 i32 f32) (result f32)))
;; INSTRUMENT: (import "env" "set_f64" (func $set_f64 (param i32 i32 f64) (result f64)))
;; INSTRUMENT: (func $past-get
;; INSTRUMENT-NEXT: (call $use-local)
;; INSTRUMENT-NEXT: (call $nop)
;; INSTRUMENT-NEXT: )
;; NO_INSTRMT: (type $0 (func))
;; NO_INSTRMT: (func $past-get
;; NO_INSTRMT-NEXT: (nop)
;; NO_INSTRMT-NEXT: )
(func $past-get
;; The called function only sets a local, so we can vacuum it away using
;; global effects. But, if we instrumented it, then it gets an import call,
;; which we should not remove.
(call $use-local)
;; If we instrument, then we discard all global effects, even of a non-
;; instrumented function (we don't track individual functions), so we'll
;; lose the ability to vacuum this function away as well in that case.
(call $nop)
)
;; INSTRUMENT: (func $use-local
;; INSTRUMENT-NEXT: (local $x i32)
;; INSTRUMENT-NEXT: (local.set $x
;; INSTRUMENT-NEXT: (call $set_i32
;; INSTRUMENT-NEXT: (i32.const 0)
;; INSTRUMENT-NEXT: (i32.const 0)
;; INSTRUMENT-NEXT: (i32.const 10)
;; INSTRUMENT-NEXT: )
;; INSTRUMENT-NEXT: )
;; INSTRUMENT-NEXT: )
;; NO_INSTRMT: (func $use-local
;; NO_INSTRMT-NEXT: (local $0 i32)
;; NO_INSTRMT-NEXT: (nop)
;; NO_INSTRMT-NEXT: )
(func $use-local
(local $x i32)
;; This function uses a local, and will get instrumented with a call to log
;; the value out.
(local.set $x
(i32.const 10)
)
)
;; INSTRUMENT: (func $nop
;; INSTRUMENT-NEXT: (nop)
;; INSTRUMENT-NEXT: )
;; NO_INSTRMT: (func $nop
;; NO_INSTRMT-NEXT: (nop)
;; NO_INSTRMT-NEXT: )
(func $nop
;; This function does nothing.
)
)
|
