]> Cypherpunks.ru repositories - gostls13.git/blob - src/cmd/compile/internal/inline/inlheur/testdata/props/calls.go
cmd/compile/internal/inline: fix buglet in panic path scoring
[gostls13.git] / src / cmd / compile / internal / inline / inlheur / testdata / props / calls.go
1 // Copyright 2023 The Go Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style
3 // license that can be found in the LICENSE file.
4
5 // DO NOT EDIT (use 'go test -v -update-expected' instead.)
6 // See cmd/compile/internal/inline/inlheur/testdata/props/README.txt
7 // for more information on the format of this file.
8 // <endfilepreamble>
9 package calls
10
11 import "os"
12
13 // calls.go T_call_in_panic_arg 19 0 1
14 // <endpropsdump>
15 // {"Flags":0,"ParamFlags":[0],"ResultFlags":[]}
16 // callsite: calls.go:21:15|0 flagstr "CallSiteOnPanicPath" flagval 2 score 42 mask 1 maskstr "panicPathAdj"
17 // <endcallsites>
18 // <endfuncpreamble>
19 func T_call_in_panic_arg(x int) {
20         if x < G {
21                 panic(callee(x))
22         }
23 }
24
25 // calls.go T_calls_in_loops 32 0 1
26 // <endpropsdump>
27 // {"Flags":0,"ParamFlags":[0,0],"ResultFlags":[]}
28 // callsite: calls.go:34:9|0 flagstr "CallSiteInLoop" flagval 1 score -3 mask 4 maskstr "inLoopAdj"
29 // callsite: calls.go:37:9|1 flagstr "CallSiteInLoop" flagval 1 score -3 mask 4 maskstr "inLoopAdj"
30 // <endcallsites>
31 // <endfuncpreamble>
32 func T_calls_in_loops(x int, q []string) {
33         for i := 0; i < x; i++ {
34                 callee(i)
35         }
36         for _, s := range q {
37                 callee(len(s))
38         }
39 }
40
41 // calls.go T_calls_in_pseudo_loop 48 0 1
42 // <endpropsdump>
43 // {"Flags":0,"ParamFlags":[0,0],"ResultFlags":[]}
44 // callsite: calls.go:50:9|0 flagstr "" flagval 0 score 2 mask 0 maskstr ""
45 // callsite: calls.go:54:9|1 flagstr "" flagval 0 score 2 mask 0 maskstr ""
46 // <endcallsites>
47 // <endfuncpreamble>
48 func T_calls_in_pseudo_loop(x int, q []string) {
49         for i := 0; i < x; i++ {
50                 callee(i)
51                 return
52         }
53         for _, s := range q {
54                 callee(len(s))
55                 break
56         }
57 }
58
59 // calls.go T_calls_on_panic_paths 67 0 1
60 // <endpropsdump>
61 // {"Flags":0,"ParamFlags":[0,0],"ResultFlags":[]}
62 // callsite: calls.go:69:9|0 flagstr "CallSiteOnPanicPath" flagval 2 score 42 mask 1 maskstr "panicPathAdj"
63 // callsite: calls.go:73:9|1 flagstr "CallSiteOnPanicPath" flagval 2 score 42 mask 1 maskstr "panicPathAdj"
64 // callsite: calls.go:77:12|2 flagstr "CallSiteOnPanicPath" flagval 2 score 102 mask 1 maskstr "panicPathAdj"
65 // <endcallsites>
66 // <endfuncpreamble>
67 func T_calls_on_panic_paths(x int, q []string) {
68         if x+G == 101 {
69                 callee(x)
70                 panic("ouch")
71         }
72         if x < G-101 {
73                 callee(x)
74                 if len(q) == 0 {
75                         G++
76                 }
77                 callsexit(x)
78         }
79 }
80
81 // calls.go T_calls_not_on_panic_paths 93 0 1
82 // ParamFlags
83 //   0 ParamFeedsIfOrSwitch|ParamMayFeedIfOrSwitch
84 //   1 ParamNoInfo
85 // <endpropsdump>
86 // {"Flags":0,"ParamFlags":[96,0],"ResultFlags":[]}
87 // callsite: calls.go:103:9|0 flagstr "" flagval 0 score 2 mask 0 maskstr ""
88 // callsite: calls.go:112:9|1 flagstr "" flagval 0 score 2 mask 0 maskstr ""
89 // callsite: calls.go:115:9|2 flagstr "" flagval 0 score 2 mask 0 maskstr ""
90 // callsite: calls.go:119:12|3 flagstr "CallSiteOnPanicPath" flagval 2 score 102 mask 1 maskstr "panicPathAdj"
91 // <endcallsites>
92 // <endfuncpreamble>
93 func T_calls_not_on_panic_paths(x int, q []string) {
94         if x != G {
95                 panic("ouch")
96                 /* Notes: */
97                 /* - we only look for post-dominating panic/exit, so */
98                 /*   this site will on fact not have a panicpath flag */
99                 /* - vet will complain about this site as unreachable */
100                 callee(x)
101         }
102         if x != G {
103                 callee(x)
104                 if x < 100 {
105                         panic("ouch")
106                 }
107         }
108         if x+G == 101 {
109                 if x < 100 {
110                         panic("ouch")
111                 }
112                 callee(x)
113         }
114         if x < -101 {
115                 callee(x)
116                 if len(q) == 0 {
117                         return
118                 }
119                 callsexit(x)
120         }
121 }
122
123 // calls.go init.0 129 0 1
124 // <endpropsdump>
125 // {"Flags":0,"ParamFlags":[],"ResultFlags":[]}
126 // callsite: calls.go:130:16|0 flagstr "CallSiteInInitFunc" flagval 4 score 22 mask 2 maskstr "initFuncAdj"
127 // <endcallsites>
128 // <endfuncpreamble>
129 func init() {
130         println(callee(5))
131 }
132
133 // calls.go T_pass_inlinable_func_to_param_feeding_indirect_call 139 0 1
134 // <endpropsdump>
135 // {"Flags":0,"ParamFlags":[0],"ResultFlags":[0]}
136 // callsite: calls.go:140:19|0 flagstr "" flagval 0 score 16 mask 512 maskstr "passInlinableFuncToIndCallAdj"
137 // <endcallsites>
138 // <endfuncpreamble>
139 func T_pass_inlinable_func_to_param_feeding_indirect_call(x int) int {
140         return callsParam(x, callee)
141 }
142
143 // calls.go T_pass_noninlinable_func_to_param_feeding_indirect_call 149 0 1
144 // <endpropsdump>
145 // {"Flags":0,"ParamFlags":[0],"ResultFlags":[0]}
146 // callsite: calls.go:152:19|0 flagstr "" flagval 0 score 36 mask 128 maskstr "passFuncToIndCallAdj"
147 // <endcallsites>
148 // <endfuncpreamble>
149 func T_pass_noninlinable_func_to_param_feeding_indirect_call(x int) int {
150         // if we inline callsParam we can convert the indirect call
151         // to a direct call, but we can't inline it.
152         return callsParam(x, calleeNoInline)
153 }
154
155 // calls.go T_pass_inlinable_func_to_param_feeding_nested_indirect_call 163 0 1
156 // ParamFlags
157 //   0 ParamFeedsIfOrSwitch
158 // <endpropsdump>
159 // {"Flags":0,"ParamFlags":[32],"ResultFlags":[0]}
160 // callsite: calls.go:164:25|0 flagstr "" flagval 0 score 27 mask 1024 maskstr "passInlinableFuncToNestedIndCallAdj"
161 // <endcallsites>
162 // <endfuncpreamble>
163 func T_pass_inlinable_func_to_param_feeding_nested_indirect_call(x int) int {
164         return callsParamNested(x, callee)
165 }
166
167 // calls.go T_pass_noninlinable_func_to_param_feeding_nested_indirect_call 175 0 1
168 // ParamFlags
169 //   0 ParamFeedsIfOrSwitch
170 // <endpropsdump>
171 // {"Flags":0,"ParamFlags":[32],"ResultFlags":[0]}
172 // callsite: calls.go:176:25|0 flagstr "" flagval 0 score 47 mask 256 maskstr "passFuncToNestedIndCallAdj"
173 // <endcallsites>
174 // <endfuncpreamble>
175 func T_pass_noninlinable_func_to_param_feeding_nested_indirect_call(x int) int {
176         return callsParamNested(x, calleeNoInline)
177 }
178
179 var G int
180
181 func callee(x int) int {
182         return x
183 }
184
185 func calleeNoInline(x int) int {
186         defer func() { G++ }()
187         return x
188 }
189
190 func callsexit(x int) {
191         println(x)
192         os.Exit(x)
193 }
194
195 func callsParam(x int, f func(int) int) int {
196         return f(x)
197 }
198
199 func callsParamNested(x int, f func(int) int) int {
200         if x < 0 {
201                 return f(x)
202         }
203         return 0
204 }