3 // Copyright 2010 The Go Authors. All rights reserved.
4 // Use of this source code is governed by a BSD-style
5 // license that can be found in the LICENSE file.
7 // Test reorderings; derived from fixedbugs/bug294.go.
15 func (t TT) a(s string) TT {
20 func (TT) b(s string) string {
25 type F func(s string) F
32 func b(s string) string {
44 func (t T1) a(s string) I {
49 func (T1) b(s string) string {
54 // f(g(), h()) where g is not inlinable but h is will have the same problem.
55 // As will x := g() + h() (same conditions).
58 log += "f(" + x + ", " + y + ")"
62 func ff(x, y string) {
63 log += "ff(" + x + ", " + y + ")"
66 func h(x string) string {
72 func g(x string) string {
80 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
81 println("expecting a(1)a(2)a(3) , got ", log)
86 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
87 println("expecting a(1)b(2)a(2), got ", log)
91 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
92 println("expecting a(3)b(4)a(4)b(5)a(5), got ", log)
97 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
98 println("expecting a(6)ba(7)ba(8)ba(9), got", log)
103 if s := t.a("1").b("3"); log != "a(1)b(3)" || s != "3" {
104 println("expecting a(1)b(3) and 3, got ", log, " and ", s)
109 if s := t.a("1").a(t.b("2")).b("3") + t.a("4").b("5"); log != "a(1)b(2)a(2)b(3)a(4)b(5)" || s != "35" {
110 println("expecting a(1)b(2)a(2)b(3)a(4)b(5) and 35, got ", log, " and ", s)
115 if s := t.a("4").b("5") + t.a("1").a(t.b("2")).b("3"); log != "a(4)b(5)a(1)b(2)a(2)b(3)" || s != "53" {
116 println("expecting a(4)b(5)a(1)b(2)a(2)b(3) and 35, got ", log, " and ", s)
121 if ff(g("1"), g("2")); log != "g(1)g(2)ff(1, 2)" {
122 println("expecting g(1)g(2)ff..., got ", log)
127 if ff(g("1"), h("2")); log != "g(1)h(2)ff(1, 2)" {
128 println("expecting g(1)h(2)ff..., got ", log)
133 if ff(h("1"), g("2")); log != "h(1)g(2)ff(1, 2)" {
134 println("expecting h(1)g(2)ff..., got ", log)
139 if ff(h("1"), h("2")); log != "h(1)h(2)ff(1, 2)" {
140 println("expecting h(1)h(2)ff..., got ", log)
145 if s := g("1") + g("2"); log != "g(1)g(2)" || s != "12" {
146 println("expecting g1g2 and 12, got ", log, " and ", s)
151 if s := g("1") + h("2"); log != "g(1)h(2)" || s != "12" {
152 println("expecting g1h2 and 12, got ", log, " and ", s)
157 if s := h("1") + g("2"); log != "h(1)g(2)" || s != "12" {
158 println("expecting h1g2 and 12, got ", log, " and ", s)
163 if s := h("1") + h("2"); log != "h(1)h(2)" || s != "12" {
164 println("expecting h1h2 and 12, got ", log, " and ", s)
172 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
173 println("in switch, expecting a(1)a(2)a(3) , got ", log)
178 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
179 println("in switch, expecting a(1)b(2)a(2), got ", log)
183 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
184 println("in switch, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
189 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
190 println("in switch, expecting a(6)ba(7)ba(8)ba(9), got", log)
196 c := make(chan int, 1)
202 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
203 println("in select1, expecting a(1)a(2)a(3) , got ", log)
208 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
209 println("in select1, expecting a(1)b(2)a(2), got ", log)
213 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
214 println("in select1, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
219 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
220 println("in select1, expecting a(6)ba(7)ba(8)ba(9), got", log)
229 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
230 println("in select2, expecting a(1)a(2)a(3) , got ", log)
235 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
236 println("in select2, expecting a(1)b(2)a(2), got ", log)
240 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
241 println("in select2, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
246 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
247 println("in select2, expecting a(6)ba(7)ba(8)ba(9), got", log)
258 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
259 println("in select3, expecting a(1)a(2)a(3) , got ", log)
264 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
265 println("in select3, expecting a(1)b(2)a(2), got ", log)
269 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
270 println("in select3, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
275 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
276 println("in select3, expecting a(6)ba(7)ba(8)ba(9), got", log)
286 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
287 println("in select4, expecting a(1)a(2)a(3) , got ", log)
292 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
293 println("in select4, expecting a(1)b(2)a(2), got ", log)
297 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
298 println("in select4, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
303 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
304 println("in select4, expecting a(6)ba(7)ba(8)ba(9), got", log)
314 if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
315 println("in select5, expecting a(1)a(2)a(3) , got ", log)
320 if t.a("1").a(t.b("2")); log != "a(1)b(2)a(2)" {
321 println("in select5, expecting a(1)b(2)a(2), got ", log)
325 if a("3")(b("4"))(b("5")); log != "a(3)b(4)a(4)b(5)a(5)" {
326 println("in select5, expecting a(3)b(4)a(4)b(5)a(5), got ", log)
331 if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)b(7)a(7)b(8)a(8)b(9)a(9)" {
332 println("in select5, expecting a(6)ba(7)ba(8)ba(9), got", log)