...
Run Format

Source file test/reorder2.go

Documentation: test

     1  // run
     2  
     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.
     6  
     7  // Test reorderings; derived from fixedbugs/bug294.go.
     8  
     9  package main
    10  
    11  var log string
    12  
    13  type TT int
    14  
    15  func (t TT) a(s string) TT {
    16  	log += "a(" + s + ")"
    17  	return t
    18  }
    19  
    20  func (TT) b(s string) string {
    21  	log += "b(" + s + ")"
    22  	return s
    23  }
    24  
    25  type F func(s string) F
    26  
    27  func a(s string) F {
    28  	log += "a(" + s + ")"
    29  	return F(a)
    30  }
    31  
    32  func b(s string) string {
    33  	log += "b(" + s + ")"
    34  	return s
    35  }
    36  
    37  type I interface {
    38  	a(s string) I
    39  	b(s string) string
    40  }
    41  
    42  type T1 int
    43  
    44  func (t T1) a(s string) I {
    45  	log += "a(" + s + ")"
    46  	return t
    47  }
    48  
    49  func (T1) b(s string) string {
    50  	log += "b(" + s + ")"
    51  	return s
    52  }
    53  
    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).
    56  // And g() <- h().
    57  func f(x, y string) {
    58  	log += "f(" + x + ", " + y + ")"
    59  }
    60  
    61  //go:noinline
    62  func ff(x, y string) {
    63  	log += "ff(" + x + ", " + y + ")"
    64  }
    65  
    66  func h(x string) string {
    67  	log += "h(" + x + ")"
    68  	return x
    69  }
    70  
    71  //go:noinline
    72  func g(x string) string {
    73  	log += "g(" + x + ")"
    74  	return x
    75  }
    76  
    77  func main() {
    78  	err := 0
    79  	var t TT
    80  	if a("1")("2")("3"); log != "a(1)a(2)a(3)" {
    81  		println("expecting a(1)a(2)a(3) , got ", log)
    82  		err++
    83  	}
    84  	log = ""
    85  
    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)
    88  		err++
    89  	}
    90  	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)
    93  		err++
    94  	}
    95  	log = ""
    96  	var i I = T1(0)
    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)
    99  		err++
   100  	}
   101  	log = ""
   102  
   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)
   105  		err++
   106  	}
   107  	log = ""
   108  
   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)
   111  		err++
   112  	}
   113  	log = ""
   114  
   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)
   117  		err++
   118  	}
   119  	log = ""
   120  
   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)
   123  		err++
   124  	}
   125  	log = ""
   126  
   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)
   129  		err++
   130  	}
   131  	log = ""
   132  
   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)
   135  		err++
   136  	}
   137  	log = ""
   138  
   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)
   141  		err++
   142  	}
   143  	log = ""
   144  
   145  	if s := g("1") + g("2"); log != "g(1)g(2)" || s != "12" {
   146  		println("expecting g1g2 and 12, got ", log, " and ", s)
   147  		err++
   148  	}
   149  	log = ""
   150  
   151  	if s := g("1") + h("2"); log != "g(1)h(2)" || s != "12" {
   152  		println("expecting g1h2 and 12, got ", log, " and ", s)
   153  		err++
   154  	}
   155  	log = ""
   156  
   157  	if s := h("1") + g("2"); log != "h(1)g(2)" || s != "12" {
   158  		println("expecting h1g2 and 12, got ", log, " and ", s)
   159  		err++
   160  	}
   161  	log = ""
   162  
   163  	if s := h("1") + h("2"); log != "h(1)h(2)" || s != "12" {
   164  		println("expecting h1h2 and 12, got ", log, " and ", s)
   165  		err++
   166  	}
   167  	log = ""
   168  
   169  	x := 0
   170  	switch x {
   171  	case 0:
   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)
   174  			err++
   175  		}
   176  		log = ""
   177  
   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)
   180  			err++
   181  		}
   182  		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)
   185  			err++
   186  		}
   187  		log = ""
   188  		var i I = T1(0)
   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)
   191  			err++
   192  		}
   193  		log = ""
   194  	}
   195  
   196  	c := make(chan int, 1)
   197  	c <- 1
   198  	select {
   199  	case c <- 0:
   200  	case c <- 1:
   201  	case <-c:
   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)
   204  			err++
   205  		}
   206  		log = ""
   207  
   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)
   210  			err++
   211  		}
   212  		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)
   215  			err++
   216  		}
   217  		log = ""
   218  		var i I = T1(0)
   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)
   221  			err++
   222  		}
   223  		log = ""
   224  	}
   225  
   226  	c <- 1
   227  	select {
   228  	case <-c:
   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)
   231  			err++
   232  		}
   233  		log = ""
   234  
   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)
   237  			err++
   238  		}
   239  		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)
   242  			err++
   243  		}
   244  		log = ""
   245  		var i I = T1(0)
   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)
   248  			err++
   249  		}
   250  		log = ""
   251  	}
   252  
   253  	c <- 1
   254  	select {
   255  	default:
   256  	case c <- 1:
   257  	case <-c:
   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)
   260  			err++
   261  		}
   262  		log = ""
   263  
   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)
   266  			err++
   267  		}
   268  		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)
   271  			err++
   272  		}
   273  		log = ""
   274  		var i I = T1(0)
   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)
   277  			err++
   278  		}
   279  		log = ""
   280  	}
   281  
   282  	c <- 1
   283  	select {
   284  	default:
   285  	case <-c:
   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)
   288  			err++
   289  		}
   290  		log = ""
   291  
   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)
   294  			err++
   295  		}
   296  		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)
   299  			err++
   300  		}
   301  		log = ""
   302  		var i I = T1(0)
   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)
   305  			err++
   306  		}
   307  		log = ""
   308  	}
   309  
   310  	select {
   311  	case <-c:
   312  	case <-c:
   313  	default:
   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)
   316  			err++
   317  		}
   318  		log = ""
   319  
   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)
   322  			err++
   323  		}
   324  		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)
   327  			err++
   328  		}
   329  		log = ""
   330  		var i I = T1(0)
   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)
   333  			err++
   334  		}
   335  		log = ""
   336  	}
   337  
   338  	if err > 0 {
   339  		panic("fail")
   340  	}
   341  }
   342  

View as plain text