cmd/compile/internal/inline: score call sites exposed by inlines

[gostls13.git] / test / shift1.go

diff --git a/test/shift1.go b/test/shift1.go
index 44a3792c4fa7ee2cd57e7e7dfe379eb69ef1033c..0dae49a74dc590a0a40c9007688be4d20908b2c6 100644 (file)
--- a/test/shift1.go
+++ b/test/shift1.go
@@ -1,6 +1,6 @@
 // errorcheck
 
-// Copyright 2011 The Go Authors.  All rights reserved.
+// Copyright 2011 The Go Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style
 // license that can be found in the LICENSE file.
 
@@ -18,14 +18,14 @@ func h(x float64) int     { return 0 }
 var (
        s uint    = 33
        u         = 1.0 << s // ERROR "invalid operation|shift of non-integer operand"
-       v float32 = 1 << s   // ERROR "invalid" "as type float32"
+       v float32 = 1 << s   // ERROR "invalid"
 )
 
 // non-constant shift expressions
 var (
-       e1       = g(2.0 << s) // ERROR "invalid|shift of non-integer operand" "as type interface"
-       f1       = h(2 << s)   // ERROR "invalid" "as type float64"
-       g1 int64 = 1.1 << s    // ERROR "truncated"
+       e1       = g(2.0 << s) // ERROR "invalid|shift of non-integer operand"
+       f1       = h(2 << s)   // ERROR "invalid"
+       g1 int64 = 1.1 << s    // ERROR "truncated|must be integer"
 )
 
 // constant shift expressions
@@ -44,7 +44,7 @@ var (
        b3 = 1<<s + 1 + 1.0 // ERROR "invalid|shift of non-integer operand"
        // issue 5014
        c3     = complex(1<<s, 0) // ERROR "invalid|shift of type float64"
-       d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64"
+       d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64|must be integer"
        e3     = real(1 << s)     // ERROR "invalid"
        f3     = imag(1 << s)     // ERROR "invalid"
 )
@@ -66,8 +66,15 @@ func _() {
                u2         = 1<<s != 1.0 // ERROR "non-integer|float64"
                v  float32 = 1 << s      // ERROR "non-integer|float32"
                w  int64   = 1.0 << 33   // 1.0<<33 is a constant shift expression
+
                _, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w
        )
+
+       // non constants arguments trigger a different path
+       f2 := 1.2
+       s2 := "hi"
+       _ = f2 << 2 // ERROR "shift of type float64|non-integer|must be integer"
+       _ = s2 << 2 // ERROR "shift of type string|non-integer|must be integer"
 }
 
 // shifts in comparisons w/ untyped operands
@@ -123,7 +130,7 @@ var (
        x int
        _ = 1<<s == x
        _ = 1.<<s == x
-       _ = 1.1<<s == x // ERROR "truncated"
+       _ = 1.1<<s == x // ERROR "truncated|must be integer"
 
        _ = 1<<s+x == 1
        _ = 1<<s+x == 1.
@@ -131,13 +138,13 @@ var (
        _ = 1.<<s+x == 1
        _ = 1.<<s+x == 1.
        _ = 1.<<s+x == 1.1  // ERROR "truncated"
-       _ = 1.1<<s+x == 1   // ERROR "truncated"
-       _ = 1.1<<s+x == 1.  // ERROR "truncated"
-       _ = 1.1<<s+x == 1.1 // ERROR "truncated"
+       _ = 1.1<<s+x == 1   // ERROR "truncated|must be integer"
+       _ = 1.1<<s+x == 1.  // ERROR "truncated|must be integer"
+       _ = 1.1<<s+x == 1.1 // ERROR "truncated|must be integer"
 
        _ = 1<<s == x<<s
        _ = 1.<<s == x<<s
-       _ = 1.1<<s == x<<s // ERROR "truncated"
+       _ = 1.1<<s == x<<s // ERROR "truncated|must be integer"
 )
 
 // shifts as operands in non-arithmetic operations and as arguments
@@ -146,44 +153,43 @@ func _() {
        var a []int
        _ = a[1<<s]
        _ = a[1.]
-       // For now, the spec disallows these. We may revisit past Go 1.1.
-       _ = a[1.<<s]  // ERROR "integer|shift of type float64"
+       _ = a[1.<<s]
        _ = a[1.1<<s] // ERROR "integer|shift of type float64"
 
        _ = make([]int, 1)
        _ = make([]int, 1.)
        _ = make([]int, 1.<<s)
-       _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated"
+       _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated|must be integer"
 
        _ = float32(1)
-       _ = float32(1 << s) // ERROR "non-integer|shift of type float32"
+       _ = float32(1 << s) // ERROR "non-integer|shift of type float32|must be integer"
        _ = float32(1.)
-       _ = float32(1. << s)  // ERROR "non-integer|shift of type float32"
-       _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32"
+       _ = float32(1. << s)  // ERROR "non-integer|shift of type float32|must be integer"
+       _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32|must be integer"
 
        _ = append(a, 1<<s)
        _ = append(a, 1.<<s)
-       _ = append(a, 1.1<<s) // ERROR "truncated"
+       _ = append(a, 1.1<<s) // ERROR "truncated|must be integer"
 
        var b []float32
        _ = append(b, 1<<s)   // ERROR "non-integer|type float32"
        _ = append(b, 1.<<s)  // ERROR "non-integer|type float32"
-       _ = append(b, 1.1<<s) // ERROR "non-integer|type float32"
+       _ = append(b, 1.1<<s) // ERROR "non-integer|type float32|must be integer"
 
-       _ = complex(1.<<s, 0)  // ERROR "non-integer|shift of type float64"
-       _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64"
-       _ = complex(0, 1.<<s)  // ERROR "non-integer|shift of type float64"
-       _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64"
+       _ = complex(1.<<s, 0)  // ERROR "non-integer|shift of type float64|must be integer"
+       _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64|must be integer"
+       _ = complex(0, 1.<<s)  // ERROR "non-integer|shift of type float64|must be integer"
+       _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64|must be integer"
 
        var a4 float64
        var b4 int
-       _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64"
+       _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64|must be integer"
        _ = complex(1<<s, b4) // ERROR "invalid|non-integer|"
 
        var m1 map[int]string
        delete(m1, 1<<s)
        delete(m1, 1.<<s)
-       delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64"
+       delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64|must be integer"
 
        var m2 map[float32]string
        delete(m2, 1<<s)   // ERROR "invalid|cannot use 1 << s as type float32"
@@ -196,32 +202,32 @@ func _() {
        var s uint
        _ = 1 << (1 << s)
        _ = 1 << (1. << s)
-       _ = 1 << (1.1 << s)   // ERROR "non-integer|truncated"
-       _ = 1. << (1 << s)    // ERROR "non-integer|shift of type float64"
-       _ = 1. << (1. << s)   // ERROR "non-integer|shift of type float64"
+       _ = 1 << (1.1 << s)   // ERROR "non-integer|truncated|must be integer"
+       _ = 1. << (1 << s)    // ERROR "non-integer|shift of type float64|must be integer"
+       _ = 1. << (1. << s)   // ERROR "non-integer|shift of type float64|must be integer"
        _ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated"
 
        _ = (1 << s) << (1 << s)
        _ = (1 << s) << (1. << s)
-       _ = (1 << s) << (1.1 << s)   // ERROR "truncated"
-       _ = (1. << s) << (1 << s)    // ERROR "non-integer|shift of type float64"
-       _ = (1. << s) << (1. << s)   // ERROR "non-integer|shift of type float64"
+       _ = (1 << s) << (1.1 << s)   // ERROR "truncated|must be integer"
+       _ = (1. << s) << (1 << s)    // ERROR "non-integer|shift of type float64|must be integer"
+       _ = (1. << s) << (1. << s)   // ERROR "non-integer|shift of type float64|must be integer"
        _ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated"
 
        var x int
        x = 1 << (1 << s)
        x = 1 << (1. << s)
-       x = 1 << (1.1 << s) // ERROR "truncated"
+       x = 1 << (1.1 << s) // ERROR "truncated|must be integer"
        x = 1. << (1 << s)
        x = 1. << (1. << s)
-       x = 1.1 << (1.1 << s) // ERROR "truncated"
+       x = 1.1 << (1.1 << s) // ERROR "truncated|must be integer"
 
        x = (1 << s) << (1 << s)
        x = (1 << s) << (1. << s)
-       x = (1 << s) << (1.1 << s) // ERROR "truncated"
+       x = (1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
        x = (1. << s) << (1 << s)
        x = (1. << s) << (1. << s)
-       x = (1.1 << s) << (1.1 << s) // ERROR "truncated"
+       x = (1.1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
 
        var y float32
        y = 1 << (1 << s)     // ERROR "non-integer|type float32"
@@ -235,7 +241,9 @@ func _() {
        z = (1 << s) << (1 << s)     // ERROR "non-integer|type complex128"
        z = (1 << s) << (1. << s)    // ERROR "non-integer|type complex128"
        z = (1 << s) << (1.1 << s)   // ERROR "invalid|truncated|complex128"
-       z = (1. << s) << (1 << s)    // ERROR "non-integer|type complex128"
-       z = (1. << s) << (1. << s)   // ERROR "non-integer|type complex128"
+       z = (1. << s) << (1 << s)    // ERROR "non-integer|type complex128|must be integer"
+       z = (1. << s) << (1. << s)   // ERROR "non-integer|type complex128|must be integer"
        z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
+
+       _, _, _ = x, y, z
 }