2015-02-13 14:40:36 -05:00
// Copyright 2009 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.
package gc
import (
"bytes"
"cmd/internal/obj"
2015-02-27 16:05:30 +09:00
"crypto/md5"
"encoding/binary"
2015-02-13 14:40:36 -05:00
"fmt"
"os"
"sort"
"strings"
"unicode"
"unicode/utf8"
)
type Error struct {
2016-03-02 11:01:25 -08:00
lineno int32
2015-02-13 14:40:36 -05:00
msg string
}
var errors [ ] Error
func errorexit ( ) {
Flusherrors ( )
if outfile != "" {
os . Remove ( outfile )
}
os . Exit ( 2 )
}
func adderrorname ( n * Node ) {
if n . Op != ODOT {
return
}
2015-04-17 12:03:22 -04:00
old := fmt . Sprintf ( "%v: undefined: %v\n" , n . Line ( ) , n . Left )
2016-03-03 15:49:04 -08:00
if len ( errors ) > 0 && errors [ len ( errors ) - 1 ] . lineno == n . Lineno && errors [ len ( errors ) - 1 ] . msg == old {
2015-04-17 12:03:22 -04:00
errors [ len ( errors ) - 1 ] . msg = fmt . Sprintf ( "%v: undefined: %v in %v\n" , n . Line ( ) , n . Left , n )
2015-02-13 14:40:36 -05:00
}
}
2016-03-02 11:01:25 -08:00
func adderr ( line int32 , format string , args ... interface { } ) {
2015-02-13 14:40:36 -05:00
errors = append ( errors , Error {
lineno : line ,
2016-03-02 11:30:29 -08:00
msg : fmt . Sprintf ( "%v: %s\n" , linestr ( line ) , fmt . Sprintf ( format , args ... ) ) ,
2015-02-13 14:40:36 -05:00
} )
}
2016-02-25 18:17:31 -08:00
// byLineno sorts errors by lineno.
type byLineno [ ] Error
2015-02-13 14:40:36 -05:00
2016-02-25 18:17:31 -08:00
func ( x byLineno ) Len ( ) int { return len ( x ) }
func ( x byLineno ) Less ( i , j int ) bool { return x [ i ] . lineno < x [ j ] . lineno }
func ( x byLineno ) Swap ( i , j int ) { x [ i ] , x [ j ] = x [ j ] , x [ i ] }
2015-02-13 14:40:36 -05:00
func Flusherrors ( ) {
2015-05-01 11:51:47 +10:00
bstdout . Flush ( )
2015-02-13 14:40:36 -05:00
if len ( errors ) == 0 {
return
}
2016-02-25 18:17:31 -08:00
sort . Stable ( byLineno ( errors ) )
2015-02-23 16:07:24 -05:00
for i := 0 ; i < len ( errors ) ; i ++ {
2015-02-13 14:40:36 -05:00
if i == 0 || errors [ i ] . msg != errors [ i - 1 ] . msg {
fmt . Printf ( "%s" , errors [ i ] . msg )
}
}
errors = errors [ : 0 ]
}
func hcrash ( ) {
if Debug [ 'h' ] != 0 {
Flusherrors ( )
if outfile != "" {
os . Remove ( outfile )
}
var x * int
* x = 0
}
}
2016-03-02 11:30:29 -08:00
func linestr ( line int32 ) string {
return Ctxt . Line ( int ( line ) )
}
2016-03-02 11:01:25 -08:00
func yyerrorl ( line int32 , format string , args ... interface { } ) {
2015-04-02 17:01:14 -07:00
adderr ( line , format , args ... )
2015-02-13 14:40:36 -05:00
hcrash ( )
nerrors ++
2015-02-17 22:13:49 -05:00
if nsavederrors + nerrors >= 10 && Debug [ 'e' ] == 0 {
2015-02-13 14:40:36 -05:00
Flusherrors ( )
2016-03-02 11:30:29 -08:00
fmt . Printf ( "%v: too many errors\n" , linestr ( line ) )
2015-02-13 14:40:36 -05:00
errorexit ( )
}
}
cmd/compile: rationalize (lex)?lineno handling
Previously, many error messages inconsistantly used either lexlineno
and lineno. In general this works out okay because they're almost
always the same. The only exceptional case is after lexing a
multi-line raw string literal, where lineno will be the line number of
the opening quote and lexlineno is the line number of the closing
quote.
This CL makes the compiler's error message more consistent:
- Lexer error messages related to invalid byte sequences (i.e., NUL
bytes, bad UTF-8 sequences, and non-initial BOMs) are emitted at
lexlineno (i.e., the source line that contains the invalid byte
sequence).
- All other error messages (notably the parser's "syntax errors") now
use lineno. The minor change from this is that bogus input like:
package `
bogus`
will emit "syntax error: unexpected string literal, expecting name"
error at line 1, instead of line 2.
- Instead of maintaining prevlineno all the time, just record it
when/where actually needed and not already available elsewhere (which
turns out to be just one function).
- Lastly, we remove the legacy "syntax error near ..." fallback in
Yerror, now that the parser always emits more detailed syntax error
messages.
Change-Id: Iaf5f784223d0385fa3a5b09ef2b2ad447feab02f
Reviewed-on: https://go-review.googlesource.com/19925
Reviewed-by: Robert Griesemer <gri@golang.org>
2016-02-25 16:07:04 -08:00
var yyerror_lastsyntax int32
2015-02-13 14:40:36 -05:00
2015-04-02 17:01:14 -07:00
func Yyerror ( format string , args ... interface { } ) {
msg := fmt . Sprintf ( format , args ... )
if strings . HasPrefix ( msg , "syntax error" ) {
2015-02-13 14:40:36 -05:00
nsyntaxerrors ++
// only one syntax error per line
cmd/compile: rationalize (lex)?lineno handling
Previously, many error messages inconsistantly used either lexlineno
and lineno. In general this works out okay because they're almost
always the same. The only exceptional case is after lexing a
multi-line raw string literal, where lineno will be the line number of
the opening quote and lexlineno is the line number of the closing
quote.
This CL makes the compiler's error message more consistent:
- Lexer error messages related to invalid byte sequences (i.e., NUL
bytes, bad UTF-8 sequences, and non-initial BOMs) are emitted at
lexlineno (i.e., the source line that contains the invalid byte
sequence).
- All other error messages (notably the parser's "syntax errors") now
use lineno. The minor change from this is that bogus input like:
package `
bogus`
will emit "syntax error: unexpected string literal, expecting name"
error at line 1, instead of line 2.
- Instead of maintaining prevlineno all the time, just record it
when/where actually needed and not already available elsewhere (which
turns out to be just one function).
- Lastly, we remove the legacy "syntax error near ..." fallback in
Yerror, now that the parser always emits more detailed syntax error
messages.
Change-Id: Iaf5f784223d0385fa3a5b09ef2b2ad447feab02f
Reviewed-on: https://go-review.googlesource.com/19925
Reviewed-by: Robert Griesemer <gri@golang.org>
2016-02-25 16:07:04 -08:00
if yyerror_lastsyntax == lineno {
2015-02-13 14:40:36 -05:00
return
}
cmd/compile: rationalize (lex)?lineno handling
Previously, many error messages inconsistantly used either lexlineno
and lineno. In general this works out okay because they're almost
always the same. The only exceptional case is after lexing a
multi-line raw string literal, where lineno will be the line number of
the opening quote and lexlineno is the line number of the closing
quote.
This CL makes the compiler's error message more consistent:
- Lexer error messages related to invalid byte sequences (i.e., NUL
bytes, bad UTF-8 sequences, and non-initial BOMs) are emitted at
lexlineno (i.e., the source line that contains the invalid byte
sequence).
- All other error messages (notably the parser's "syntax errors") now
use lineno. The minor change from this is that bogus input like:
package `
bogus`
will emit "syntax error: unexpected string literal, expecting name"
error at line 1, instead of line 2.
- Instead of maintaining prevlineno all the time, just record it
when/where actually needed and not already available elsewhere (which
turns out to be just one function).
- Lastly, we remove the legacy "syntax error near ..." fallback in
Yerror, now that the parser always emits more detailed syntax error
messages.
Change-Id: Iaf5f784223d0385fa3a5b09ef2b2ad447feab02f
Reviewed-on: https://go-review.googlesource.com/19925
Reviewed-by: Robert Griesemer <gri@golang.org>
2016-02-25 16:07:04 -08:00
yyerror_lastsyntax = lineno
2015-02-13 14:40:36 -05:00
2016-03-02 11:01:25 -08:00
yyerrorl ( lineno , "%s" , msg )
2015-02-13 14:40:36 -05:00
return
}
2016-03-02 11:01:25 -08:00
adderr ( lineno , "%s" , msg )
2015-02-13 14:40:36 -05:00
hcrash ( )
nerrors ++
2015-02-17 22:13:49 -05:00
if nsavederrors + nerrors >= 10 && Debug [ 'e' ] == 0 {
2015-02-13 14:40:36 -05:00
Flusherrors ( )
2016-03-02 11:30:29 -08:00
fmt . Printf ( "%v: too many errors\n" , linestr ( lineno ) )
2015-02-13 14:40:36 -05:00
errorexit ( )
}
}
func Warn ( fmt_ string , args ... interface { } ) {
2016-03-02 11:01:25 -08:00
adderr ( lineno , fmt_ , args ... )
2015-02-13 14:40:36 -05:00
hcrash ( )
}
2016-03-02 11:01:25 -08:00
func Warnl ( line int32 , fmt_ string , args ... interface { } ) {
2015-04-02 17:01:14 -07:00
adderr ( line , fmt_ , args ... )
2015-02-13 14:40:36 -05:00
if Debug [ 'm' ] != 0 {
Flusherrors ( )
}
}
2015-08-30 23:10:03 +02:00
func Fatalf ( fmt_ string , args ... interface { } ) {
2015-02-13 14:40:36 -05:00
Flusherrors ( )
2016-03-02 11:30:29 -08:00
fmt . Printf ( "%v: internal compiler error: " , linestr ( lineno ) )
2015-02-13 14:40:36 -05:00
fmt . Printf ( fmt_ , args ... )
fmt . Printf ( "\n" )
// If this is a released compiler version, ask for a bug report.
if strings . HasPrefix ( obj . Getgoversion ( ) , "release" ) {
fmt . Printf ( "\n" )
fmt . Printf ( "Please file a bug report including a short program that triggers the error.\n" )
fmt . Printf ( "https://golang.org/issue/new\n" )
}
hcrash ( )
errorexit ( )
}
2015-04-20 13:32:40 -07:00
func linehistpragma ( file string ) {
2015-02-13 14:40:36 -05:00
if Debug [ 'i' ] != 0 {
2016-03-02 11:30:29 -08:00
fmt . Printf ( "pragma %s at line %v\n" , file , linestr ( lexlineno ) )
2015-04-20 13:32:40 -07:00
}
Ctxt . AddImport ( file )
}
func linehistpush ( file string ) {
if Debug [ 'i' ] != 0 {
2016-03-02 11:30:29 -08:00
fmt . Printf ( "import %s at line %v\n" , file , linestr ( lexlineno ) )
2015-02-13 14:40:36 -05:00
}
2015-04-20 13:32:40 -07:00
Ctxt . LineHist . Push ( int ( lexlineno ) , file )
}
2015-02-13 14:40:36 -05:00
2015-04-20 13:32:40 -07:00
func linehistpop ( ) {
if Debug [ 'i' ] != 0 {
2016-03-02 11:30:29 -08:00
fmt . Printf ( "end of import at line %v\n" , linestr ( lexlineno ) )
2015-04-20 13:32:40 -07:00
}
Ctxt . LineHist . Pop ( int ( lexlineno ) )
}
func linehistupdate ( file string , off int ) {
if Debug [ 'i' ] != 0 {
2016-03-02 11:30:29 -08:00
fmt . Printf ( "line %s at line %v\n" , file , linestr ( lexlineno ) )
2015-02-13 14:40:36 -05:00
}
2015-04-20 13:32:40 -07:00
Ctxt . LineHist . Update ( int ( lexlineno ) , file , off )
2015-02-13 14:40:36 -05:00
}
func setlineno ( n * Node ) int32 {
2015-02-23 16:07:24 -05:00
lno := lineno
2015-02-13 14:40:36 -05:00
if n != nil {
switch n . Op {
2015-06-28 23:12:21 -04:00
case ONAME , OTYPE , OPACK :
2015-02-13 14:40:36 -05:00
break
2015-06-28 23:12:21 -04:00
case OLITERAL :
if n . Sym != nil {
break
}
fallthrough
2015-02-13 14:40:36 -05:00
default :
lineno = n . Lineno
if lineno == 0 {
if Debug [ 'K' ] != 0 {
Warn ( "setlineno: line 0" )
}
lineno = lno
}
}
}
return lno
}
2015-03-02 16:21:15 -05:00
func Lookup ( name string ) * Sym {
return localpkg . Lookup ( name )
}
2015-02-13 14:40:36 -05:00
2015-03-06 12:02:24 -08:00
func Lookupf ( format string , a ... interface { } ) * Sym {
return Lookup ( fmt . Sprintf ( format , a ... ) )
}
2015-03-02 16:21:15 -05:00
func LookupBytes ( name [ ] byte ) * Sym {
return localpkg . LookupBytes ( name )
}
2015-02-13 14:40:36 -05:00
2015-03-02 16:21:15 -05:00
var initSyms [ ] * Sym
2015-03-12 18:45:30 -04:00
var nopkg = & Pkg {
Syms : make ( map [ string ] * Sym ) ,
}
2015-03-02 16:21:15 -05:00
func ( pkg * Pkg ) Lookup ( name string ) * Sym {
if pkg == nil {
pkg = nopkg
}
if s := pkg . Syms [ name ] ; s != nil {
return s
2015-02-13 14:40:36 -05:00
}
2015-03-02 16:21:15 -05:00
s := & Sym {
2016-02-26 01:37:28 -08:00
Name : name ,
Pkg : pkg ,
2015-03-02 16:21:15 -05:00
}
2015-03-12 18:45:30 -04:00
if name == "init" {
2015-03-02 16:21:15 -05:00
initSyms = append ( initSyms , s )
}
pkg . Syms [ name ] = s
return s
2015-02-13 14:40:36 -05:00
}
2015-03-02 16:21:15 -05:00
func ( pkg * Pkg ) LookupBytes ( name [ ] byte ) * Sym {
if pkg == nil {
pkg = nopkg
}
if s := pkg . Syms [ string ( name ) ] ; s != nil {
return s
}
str := internString ( name )
return pkg . Lookup ( str )
2015-02-13 14:40:36 -05:00
}
func Pkglookup ( name string , pkg * Pkg ) * Sym {
2015-03-02 16:21:15 -05:00
return pkg . Lookup ( name )
2015-02-13 14:40:36 -05:00
}
func restrictlookup ( name string , pkg * Pkg ) * Sym {
if ! exportname ( name ) && pkg != localpkg {
Yyerror ( "cannot refer to unexported name %s.%s" , pkg . Name , name )
}
return Pkglookup ( name , pkg )
}
// find all the exported symbols in package opkg
// and make them available in the current package
func importdot ( opkg * Pkg , pack * Node ) {
var s1 * Sym
var pkgerror string
2015-02-23 16:07:24 -05:00
n := 0
2015-03-02 16:21:15 -05:00
for _ , s := range opkg . Syms {
if s . Def == nil {
continue
2015-02-13 14:40:36 -05:00
}
2015-03-02 16:21:15 -05:00
if ! exportname ( s . Name ) || strings . ContainsRune ( s . Name , 0xb7 ) { // 0xb7 = center dot
continue
}
s1 = Lookup ( s . Name )
if s1 . Def != nil {
pkgerror = fmt . Sprintf ( "during import %q" , opkg . Path )
redeclare ( s1 , pkgerror )
continue
}
s1 . Def = s . Def
s1 . Block = s . Block
2015-05-26 23:08:39 -04:00
if s1 . Def . Name == nil {
Dump ( "s1def" , s1 . Def )
2015-08-30 23:10:03 +02:00
Fatalf ( "missing Name" )
2015-05-26 23:08:39 -04:00
}
s1 . Def . Name . Pack = pack
2015-03-02 16:21:15 -05:00
s1 . Origpkg = opkg
n ++
2015-02-13 14:40:36 -05:00
}
if n == 0 {
// can't possibly be used - there were no symbols
2016-03-02 11:01:25 -08:00
yyerrorl ( pack . Lineno , "imported and not used: %q" , opkg . Path )
2015-02-13 14:40:36 -05:00
}
}
2015-09-24 23:21:18 +02:00
func Nod ( op Op , nleft * Node , nright * Node ) * Node {
2015-02-23 16:07:24 -05:00
n := new ( Node )
2015-09-24 23:21:18 +02:00
n . Op = op
2015-02-13 14:40:36 -05:00
n . Left = nleft
n . Right = nright
2016-03-02 11:01:25 -08:00
n . Lineno = lineno
2015-02-13 14:40:36 -05:00
n . Xoffset = BADWIDTH
n . Orig = n
2015-03-10 21:37:13 -07:00
switch op {
case OCLOSURE , ODCLFUNC :
n . Func = new ( Func )
2015-05-27 07:31:56 -04:00
n . Func . FCurfn = Curfn
2015-04-03 17:43:38 -07:00
case ONAME :
n . Name = new ( Name )
2015-05-27 00:44:05 -04:00
n . Name . Param = new ( Param )
2015-05-26 23:18:27 -04:00
case OLABEL , OPACK :
2015-05-26 22:19:27 -04:00
n . Name = new ( Name )
2015-05-18 10:27:59 -07:00
case ODCLFIELD :
2015-05-27 00:44:05 -04:00
if nleft != nil {
n . Name = nleft . Name
} else {
n . Name = new ( Name )
n . Name . Param = new ( Param )
}
2015-03-10 21:37:13 -07:00
}
2015-05-27 07:31:56 -04:00
if n . Name != nil {
n . Name . Curfn = Curfn
}
2015-02-13 14:40:36 -05:00
return n
}
func saveorignode ( n * Node ) {
if n . Orig != nil {
return
}
2015-09-24 23:21:18 +02:00
norig := Nod ( n . Op , nil , nil )
2015-02-13 14:40:36 -05:00
* norig = * n
n . Orig = norig
}
func maptype ( key * Type , val * Type ) * Type {
if key != nil {
2015-02-23 16:07:24 -05:00
var bad * Type
atype := algtype1 ( key , & bad )
2015-09-24 23:21:18 +02:00
var mtype EType
2015-02-13 14:40:36 -05:00
if bad == nil {
2015-09-24 23:21:18 +02:00
mtype = key . Etype
2015-02-13 14:40:36 -05:00
} else {
2015-09-24 23:21:18 +02:00
mtype = bad . Etype
2015-02-13 14:40:36 -05:00
}
switch mtype {
default :
if atype == ANOEQ {
2015-04-17 12:03:22 -04:00
Yyerror ( "invalid map key type %v" , key )
2015-02-13 14:40:36 -05:00
}
// will be resolved later.
case TANY :
break
// map[key] used during definition of key.
// postpone check until key is fully defined.
// if there are multiple uses of map[key]
// before key is fully defined, the error
// will only be printed for the first one.
// good enough.
case TFORW :
if key . Maplineno == 0 {
key . Maplineno = lineno
}
}
}
2015-02-23 16:07:24 -05:00
t := typ ( TMAP )
2015-02-13 14:40:36 -05:00
t . Down = key
t . Type = val
return t
}
2015-09-14 20:53:44 +02:00
// methcmp sorts by symbol, then by package path for unexported symbols.
2016-03-14 01:20:49 -07:00
type methcmp [ ] * Field
2015-02-13 14:40:36 -05:00
2015-09-14 20:53:44 +02:00
func ( x methcmp ) Len ( ) int { return len ( x ) }
func ( x methcmp ) Swap ( i , j int ) { x [ i ] , x [ j ] = x [ j ] , x [ i ] }
2015-02-13 14:40:36 -05:00
func ( x methcmp ) Less ( i , j int ) bool {
2015-02-23 16:07:24 -05:00
a := x [ i ]
b := x [ j ]
2015-02-13 14:40:36 -05:00
if a . Sym == nil && b . Sym == nil {
return false
}
if a . Sym == nil {
return true
}
if b . Sym == nil {
2015-09-14 20:53:44 +02:00
return false
2015-02-13 14:40:36 -05:00
}
2015-09-14 20:53:44 +02:00
if a . Sym . Name != b . Sym . Name {
return a . Sym . Name < b . Sym . Name
2015-02-13 14:40:36 -05:00
}
if ! exportname ( a . Sym . Name ) {
2015-09-14 20:53:44 +02:00
if a . Sym . Pkg . Path != b . Sym . Pkg . Path {
return a . Sym . Pkg . Path < b . Sym . Pkg . Path
2015-02-13 14:40:36 -05:00
}
}
return false
}
func Nodintconst ( v int64 ) * Node {
2015-02-23 16:07:24 -05:00
c := Nod ( OLITERAL , nil , nil )
2015-04-02 19:58:37 -07:00
c . Addable = true
2015-05-27 00:47:05 -04:00
c . SetVal ( Val { new ( Mpint ) } )
Mpmovecfix ( c . Val ( ) . U . ( * Mpint ) , v )
2015-02-13 14:40:36 -05:00
c . Type = Types [ TIDEAL ]
ullmancalc ( c )
return c
}
func nodfltconst ( v * Mpflt ) * Node {
2015-02-23 16:07:24 -05:00
c := Nod ( OLITERAL , nil , nil )
2015-04-02 19:58:37 -07:00
c . Addable = true
2015-05-27 00:47:05 -04:00
c . SetVal ( Val { newMpflt ( ) } )
mpmovefltflt ( c . Val ( ) . U . ( * Mpflt ) , v )
2015-02-13 14:40:36 -05:00
c . Type = Types [ TIDEAL ]
ullmancalc ( c )
return c
}
func Nodconst ( n * Node , t * Type , v int64 ) {
* n = Node { }
n . Op = OLITERAL
2015-04-02 19:58:37 -07:00
n . Addable = true
2015-02-13 14:40:36 -05:00
ullmancalc ( n )
2015-05-27 00:47:05 -04:00
n . SetVal ( Val { new ( Mpint ) } )
Mpmovecfix ( n . Val ( ) . U . ( * Mpint ) , v )
2015-02-13 14:40:36 -05:00
n . Type = t
2015-03-01 07:54:01 +00:00
if Isfloat [ t . Etype ] {
2015-08-30 23:10:03 +02:00
Fatalf ( "nodconst: bad type %v" , t )
2015-02-13 14:40:36 -05:00
}
}
func nodnil ( ) * Node {
2015-02-23 16:07:24 -05:00
c := Nodintconst ( 0 )
2015-05-27 00:47:05 -04:00
c . SetVal ( Val { new ( NilVal ) } )
2015-02-13 14:40:36 -05:00
c . Type = Types [ TNIL ]
return c
}
2015-02-17 22:13:49 -05:00
func Nodbool ( b bool ) * Node {
2015-02-23 16:07:24 -05:00
c := Nodintconst ( 0 )
2015-05-27 00:47:05 -04:00
c . SetVal ( Val { b } )
2015-02-13 14:40:36 -05:00
c . Type = idealbool
return c
}
func aindex ( b * Node , t * Type ) * Type {
2015-02-23 16:07:24 -05:00
bound := int64 ( - 1 ) // open bound
2015-02-13 14:40:36 -05:00
typecheck ( & b , Erv )
if b != nil {
switch consttype ( b ) {
default :
Yyerror ( "array bound must be an integer expression" )
2015-04-01 09:38:44 -07:00
case CTINT , CTRUNE :
2015-05-27 00:47:05 -04:00
bound = Mpgetfix ( b . Val ( ) . U . ( * Mpint ) )
2015-02-13 14:40:36 -05:00
if bound < 0 {
Yyerror ( "array bound must be non negative" )
}
}
}
// fixed array
2015-02-23 16:07:24 -05:00
r := typ ( TARRAY )
2015-02-13 14:40:36 -05:00
r . Type = t
r . Bound = bound
return r
}
2015-05-22 22:01:01 -04:00
// treecopy recursively copies n, with the exception of
// ONAME, OLITERAL, OTYPE, and non-iota ONONAME leaves.
// Copies of iota ONONAME nodes are assigned the current
// value of iota_. If lineno != 0, it sets the line number
// of newly allocated nodes to lineno.
func treecopy ( n * Node , lineno int32 ) * Node {
2015-02-13 14:40:36 -05:00
if n == nil {
return nil
}
2015-02-23 16:07:24 -05:00
var m * Node
2015-02-13 14:40:36 -05:00
switch n . Op {
default :
m = Nod ( OXXX , nil , nil )
* m = * n
m . Orig = m
2015-05-22 22:01:01 -04:00
m . Left = treecopy ( n . Left , lineno )
m . Right = treecopy ( n . Right , lineno )
2016-03-08 15:10:26 -08:00
m . List . Set ( listtreecopy ( n . List . Slice ( ) , lineno ) )
2015-06-29 16:30:19 -04:00
if lineno != 0 {
2015-05-22 22:01:01 -04:00
m . Lineno = lineno
}
2015-05-27 00:44:05 -04:00
if m . Name != nil && n . Op != ODCLFIELD {
2015-05-26 22:19:27 -04:00
Dump ( "treecopy" , n )
2015-08-30 23:10:03 +02:00
Fatalf ( "treecopy Name" )
2015-02-13 14:40:36 -05:00
}
case ONONAME :
if n . Sym == Lookup ( "iota" ) {
// Not sure yet whether this is the real iota,
// but make a copy of the Node* just in case,
// so that all the copies of this const definition
// don't have the same iota value.
m = Nod ( OXXX , nil , nil )
* m = * n
2015-05-22 22:01:01 -04:00
if lineno != 0 {
m . Lineno = lineno
}
2015-05-26 23:56:14 -04:00
m . Name = new ( Name )
* m . Name = * n . Name
m . Name . Iota = iota_
2015-02-13 14:40:36 -05:00
break
}
fallthrough
2015-04-01 09:38:44 -07:00
case ONAME , OLITERAL , OTYPE :
2015-02-13 14:40:36 -05:00
m = n
}
return m
}
2015-12-04 14:44:27 -08:00
// isnil reports whether n represents the universal untyped zero value "nil".
2015-02-17 22:13:49 -05:00
func isnil ( n * Node ) bool {
2015-12-04 14:44:27 -08:00
// Check n.Orig because constant propagation may produce typed nil constants,
// which don't exist in the Go spec.
return Isconst ( n . Orig , CTNIL )
2015-02-13 14:40:36 -05:00
}
2015-09-24 23:21:18 +02:00
func isptrto ( t * Type , et EType ) bool {
2015-02-13 14:40:36 -05:00
if t == nil {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-03-01 07:54:01 +00:00
if ! Isptr [ t . Etype ] {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
t = t . Type
if t == nil {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-09-24 23:21:18 +02:00
if t . Etype != et {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2015-09-24 23:21:18 +02:00
func Istype ( t * Type , et EType ) bool {
return t != nil && t . Etype == et
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
func Isfixedarray ( t * Type ) bool {
return t != nil && t . Etype == TARRAY && t . Bound >= 0
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
func Isslice ( t * Type ) bool {
return t != nil && t . Etype == TARRAY && t . Bound < 0
2015-02-13 14:40:36 -05:00
}
func isblank ( n * Node ) bool {
if n == nil {
return false
}
return isblanksym ( n . Sym )
}
func isblanksym ( s * Sym ) bool {
return s != nil && s . Name == "_"
}
2015-02-17 22:13:49 -05:00
func Isinter ( t * Type ) bool {
return t != nil && t . Etype == TINTER
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
func isnilinter ( t * Type ) bool {
2016-03-13 23:02:38 -07:00
return Isinter ( t ) && countfield ( t ) == 0
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
func isideal ( t * Type ) bool {
2015-02-13 14:40:36 -05:00
if t == nil {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
if t == idealstring || t == idealbool {
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
switch t . Etype {
2015-04-01 09:38:44 -07:00
case TNIL , TIDEAL :
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// given receiver of type t (t == r or t == *r)
// return type to hang methods off (r).
2015-02-13 14:40:36 -05:00
func methtype ( t * Type , mustname int ) * Type {
if t == nil {
return nil
}
// strip away pointer if it's there
2015-03-01 07:54:01 +00:00
if Isptr [ t . Etype ] {
2015-02-13 14:40:36 -05:00
if t . Sym != nil {
return nil
}
t = t . Type
if t == nil {
return nil
}
}
// need a type name
if t . Sym == nil && ( mustname != 0 || t . Etype != TSTRUCT ) {
return nil
}
// check types
2015-03-01 07:54:01 +00:00
if ! issimple [ t . Etype ] {
2015-02-13 14:40:36 -05:00
switch t . Etype {
default :
return nil
case TSTRUCT ,
TARRAY ,
TMAP ,
TCHAN ,
TSTRING ,
TFUNC :
break
}
}
return t
}
2015-09-24 23:21:18 +02:00
func cplxsubtype ( et EType ) EType {
2015-02-13 14:40:36 -05:00
switch et {
case TCOMPLEX64 :
return TFLOAT32
case TCOMPLEX128 :
return TFLOAT64
}
2015-09-24 23:21:18 +02:00
Fatalf ( "cplxsubtype: %v\n" , Econv ( et ) )
2015-02-13 14:40:36 -05:00
return 0
}
2015-03-02 16:03:26 -05:00
func eqnote ( a , b * string ) bool {
return a == b || a != nil && b != nil && * a == * b
2015-02-13 14:40:36 -05:00
}
2016-03-04 01:53:54 -08:00
// Eqtype reports whether t1 and t2 are identical, following the spec rules.
2015-02-13 14:40:36 -05:00
//
// Any cyclic type must go through a named type, and if one is
// named, it is only identical to the other if they are the same
// pointer (t1 == t2), so there's no chance of chasing cycles
// ad infinitum, so no need for a depth counter.
2016-03-04 01:53:54 -08:00
func Eqtype ( t1 , t2 * Type ) bool {
2015-02-17 22:13:49 -05:00
return eqtype1 ( t1 , t2 , nil )
2015-02-13 14:40:36 -05:00
}
2016-03-04 01:53:54 -08:00
type typePair struct {
t1 * Type
t2 * Type
}
func eqtype1 ( t1 , t2 * Type , assumedEqual map [ typePair ] struct { } ) bool {
2015-02-13 14:40:36 -05:00
if t1 == t2 {
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
if t1 == nil || t2 == nil || t1 . Etype != t2 . Etype {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
if t1 . Sym != nil || t2 . Sym != nil {
2016-03-04 01:53:54 -08:00
// Special case: we keep byte/uint8 and rune/int32
// separate for error messages. Treat them as equal.
2015-02-13 14:40:36 -05:00
switch t1 . Etype {
case TUINT8 :
2016-03-04 01:53:54 -08:00
return ( t1 == Types [ TUINT8 ] || t1 == bytetype ) && ( t2 == Types [ TUINT8 ] || t2 == bytetype )
case TINT32 :
return ( t1 == Types [ TINT32 ] || t1 == runetype ) && ( t2 == Types [ TINT32 ] || t2 == runetype )
default :
return false
2015-02-13 14:40:36 -05:00
}
}
2016-03-04 01:53:54 -08:00
if assumedEqual == nil {
assumedEqual = make ( map [ typePair ] struct { } )
} else if _ , ok := assumedEqual [ typePair { t1 , t2 } ] ; ok {
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2016-03-04 01:53:54 -08:00
assumedEqual [ typePair { t1 , t2 } ] = struct { } { }
2015-02-13 14:40:36 -05:00
switch t1 . Etype {
2015-04-01 09:38:44 -07:00
case TINTER , TSTRUCT :
2016-03-10 05:22:14 -08:00
t1 , i1 := IterFields ( t1 )
t2 , i2 := IterFields ( t2 )
for ; t1 != nil && t2 != nil ; t1 , t2 = i1 . Next ( ) , i2 . Next ( ) {
2016-03-04 01:53:54 -08:00
if t1 . Sym != t2 . Sym || t1 . Embedded != t2 . Embedded || ! eqtype1 ( t1 . Type , t2 . Type , assumedEqual ) || ! eqnote ( t1 . Note , t2 . Note ) {
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
}
}
if t1 == nil && t2 == nil {
2015-03-02 12:35:15 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
case TFUNC :
cmd/compile: ignore receiver parameters in Eqtype
Receiver parameters generally aren't relevant to the function
signature type. In particular:
1. When checking whether a type's method implements an interface's
method, we specifically want to ignore the receiver parameters,
because they'll be different.
2. When checking interface type equality, interface methods always
use the same "fakethis" *struct{} type as their receiver.
3. Finally, method expressions and method values degenerate into
receiver-less function types.
The only case where we care about receiver types matching is in
addmethod, which is easily handled by adding an extra Eqtype check of
the receiver parameters. Also, added a test for this, since
(surprisingly) there weren't any.
As precedence, go/types.Identical ignores receiver parameters when
comparing go/types.Signature values.
Notably, this allows us to slightly simplify the "implements"
function, which is used for checking whether type/interface t
implements interface iface. Currently, cmd/compile actually works
around Eqtype's receiver parameter checking by creating new throwaway
TFUNC Types without the receiver parameter.
(Worse, the compiler currently only provides APIs to build TFUNC Types
from Nod syntax trees, so building those throwaway types also involves
first building throwaway syntax trees.)
Passes toolstash -cmp.
Change-Id: Ib07289c66feacee284e016bc312e8c5ff674714f
Reviewed-on: https://go-review.googlesource.com/20602
Reviewed-by: Robert Griesemer <gri@golang.org>
2016-03-11 14:38:16 -08:00
// Check parameters and result parameters for type equality.
// We intentionally ignore receiver parameters for type
// equality, because they're never relevant.
for _ , f := range paramsResults {
2015-02-13 14:40:36 -05:00
// Loop over fields in structs, ignoring argument names.
2016-03-08 16:31:28 -08:00
ta , ia := IterFields ( f ( t1 ) )
tb , ib := IterFields ( f ( t2 ) )
for ; ta != nil && tb != nil ; ta , tb = ia . Next ( ) , ib . Next ( ) {
2016-03-04 01:53:54 -08:00
if ta . Isddd != tb . Isddd || ! eqtype1 ( ta . Type , tb . Type , assumedEqual ) {
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
}
}
if ta != nil || tb != nil {
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
}
}
2016-03-08 16:31:28 -08:00
return true
2015-02-13 14:40:36 -05:00
case TARRAY :
if t1 . Bound != t2 . Bound {
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
}
case TCHAN :
if t1 . Chan != t2 . Chan {
2015-03-02 12:35:15 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2016-03-10 05:22:14 -08:00
case TMAP :
if ! eqtype1 ( t1 . Key ( ) , t2 . Key ( ) , assumedEqual ) {
return false
}
2015-02-13 14:40:36 -05:00
}
2016-03-10 05:22:14 -08:00
return eqtype1 ( t1 . Type , t2 . Type , assumedEqual )
2015-02-13 14:40:36 -05:00
}
// Are t1 and t2 equal struct types when field names are ignored?
// For deciding whether the result struct from g can be copied
// directly when compiling f(g()).
2015-02-17 22:13:49 -05:00
func eqtypenoname ( t1 * Type , t2 * Type ) bool {
2015-02-13 14:40:36 -05:00
if t1 == nil || t2 == nil || t1 . Etype != TSTRUCT || t2 . Etype != TSTRUCT {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2016-03-14 01:20:49 -07:00
f1 , i1 := IterFields ( t1 )
f2 , i2 := IterFields ( t2 )
2015-02-13 14:40:36 -05:00
for {
2016-03-14 01:20:49 -07:00
if ! Eqtype ( f1 . Type , f2 . Type ) {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2016-03-14 01:20:49 -07:00
if f1 == nil {
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2016-03-14 01:20:49 -07:00
f1 = i1 . Next ( )
f2 = i2 . Next ( )
2015-02-13 14:40:36 -05:00
}
}
// Is type src assignment compatible to type dst?
// If so, return op code to use in conversion.
// If not, return 0.
2015-09-24 23:21:18 +02:00
func assignop ( src * Type , dst * Type , why * string ) Op {
2015-02-13 14:40:36 -05:00
if why != nil {
* why = ""
}
// TODO(rsc,lvd): This behaves poorly in the presence of inlining.
// https://golang.org/issue/2795
if safemode != 0 && importpkg == nil && src != nil && src . Etype == TUNSAFEPTR {
Yyerror ( "cannot use unsafe.Pointer" )
errorexit ( )
}
if src == dst {
return OCONVNOP
}
if src == nil || dst == nil || src . Etype == TFORW || dst . Etype == TFORW || src . Orig == nil || dst . Orig == nil {
return 0
}
// 1. src type is identical to dst.
if Eqtype ( src , dst ) {
return OCONVNOP
}
// 2. src and dst have identical underlying types
// and either src or dst is not a named type or
// both are empty interface types.
// For assignable but different non-empty interface types,
// we want to recompute the itab.
2015-02-17 22:13:49 -05:00
if Eqtype ( src . Orig , dst . Orig ) && ( src . Sym == nil || dst . Sym == nil || isnilinter ( src ) ) {
2015-02-13 14:40:36 -05:00
return OCONVNOP
}
// 3. dst is an interface type and src implements dst.
if dst . Etype == TINTER && src . Etype != TNIL {
2016-03-14 01:20:49 -07:00
var missing , have * Field
2015-02-23 16:07:24 -05:00
var ptr int
2015-02-17 22:13:49 -05:00
if implements ( src , dst , & missing , & have , & ptr ) {
2015-02-13 14:40:36 -05:00
return OCONVIFACE
}
// we'll have complained about this method anyway, suppress spurious messages.
2015-09-07 10:37:26 +10:00
if have != nil && have . Sym == missing . Sym && ( have . Type . Broke || missing . Type . Broke ) {
2015-02-13 14:40:36 -05:00
return OCONVIFACE
}
if why != nil {
2015-02-17 22:13:49 -05:00
if isptrto ( src , TINTER ) {
2015-04-17 12:03:22 -04:00
* why = fmt . Sprintf ( ":\n\t%v is pointer to interface, not interface" , src )
2015-02-17 22:13:49 -05:00
} else if have != nil && have . Sym == missing . Sym && have . Nointerface {
2015-04-17 12:03:22 -04:00
* why = fmt . Sprintf ( ":\n\t%v does not implement %v (%v method is marked 'nointerface')" , src , dst , missing . Sym )
2015-02-13 14:40:36 -05:00
} else if have != nil && have . Sym == missing . Sym {
2016-03-15 13:06:58 -07:00
* why = fmt . Sprintf ( ":\n\t%v does not implement %v (wrong type for %v method)\n" + "\t\thave %v%v\n\t\twant %v%v" , src , dst , missing . Sym , have . Sym , Tconv ( have . Type , FmtShort | FmtByte ) , missing . Sym , Tconv ( missing . Type , FmtShort | FmtByte ) )
2015-02-13 14:40:36 -05:00
} else if ptr != 0 {
2015-04-17 12:03:22 -04:00
* why = fmt . Sprintf ( ":\n\t%v does not implement %v (%v method has pointer receiver)" , src , dst , missing . Sym )
2015-02-13 14:40:36 -05:00
} else if have != nil {
2016-03-15 13:06:58 -07:00
* why = fmt . Sprintf ( ":\n\t%v does not implement %v (missing %v method)\n" + "\t\thave %v%v\n\t\twant %v%v" , src , dst , missing . Sym , have . Sym , Tconv ( have . Type , FmtShort | FmtByte ) , missing . Sym , Tconv ( missing . Type , FmtShort | FmtByte ) )
2015-02-13 14:40:36 -05:00
} else {
2015-04-17 12:03:22 -04:00
* why = fmt . Sprintf ( ":\n\t%v does not implement %v (missing %v method)" , src , dst , missing . Sym )
2015-02-13 14:40:36 -05:00
}
}
return 0
}
2015-02-17 22:13:49 -05:00
if isptrto ( dst , TINTER ) {
2015-02-13 14:40:36 -05:00
if why != nil {
2015-04-17 12:03:22 -04:00
* why = fmt . Sprintf ( ":\n\t%v is pointer to interface, not interface" , dst )
2015-02-13 14:40:36 -05:00
}
return 0
}
if src . Etype == TINTER && dst . Etype != TBLANK {
2016-03-14 01:20:49 -07:00
var missing , have * Field
2015-02-23 16:07:24 -05:00
var ptr int
2015-02-17 22:13:49 -05:00
if why != nil && implements ( dst , src , & missing , & have , & ptr ) {
2015-02-13 14:40:36 -05:00
* why = ": need type assertion"
}
return 0
}
// 4. src is a bidirectional channel value, dst is a channel type,
// src and dst have identical element types, and
// either src or dst is not a named type.
if src . Etype == TCHAN && src . Chan == Cboth && dst . Etype == TCHAN {
if Eqtype ( src . Type , dst . Type ) && ( src . Sym == nil || dst . Sym == nil ) {
return OCONVNOP
}
}
// 5. src is the predeclared identifier nil and dst is a nillable type.
if src . Etype == TNIL {
switch dst . Etype {
case TARRAY :
if dst . Bound != - 100 { // not slice
break
}
fallthrough
case TPTR32 ,
TPTR64 ,
TFUNC ,
TMAP ,
TCHAN ,
TINTER :
return OCONVNOP
}
}
// 6. rule about untyped constants - already converted by defaultlit.
// 7. Any typed value can be assigned to the blank identifier.
if dst . Etype == TBLANK {
return OCONVNOP
}
return 0
}
// Can we convert a value of type src to a value of type dst?
// If so, return op code to use in conversion (maybe OCONVNOP).
// If not, return 0.
2015-09-24 23:21:18 +02:00
func convertop ( src * Type , dst * Type , why * string ) Op {
2015-02-13 14:40:36 -05:00
if why != nil {
* why = ""
}
if src == dst {
return OCONVNOP
}
if src == nil || dst == nil {
return 0
}
// 1. src can be assigned to dst.
2015-02-23 16:07:24 -05:00
op := assignop ( src , dst , why )
2015-02-13 14:40:36 -05:00
if op != 0 {
return op
}
// The rules for interfaces are no different in conversions
2016-03-01 23:21:55 +00:00
// than assignments. If interfaces are involved, stop now
2015-02-13 14:40:36 -05:00
// with the good message from assignop.
// Otherwise clear the error.
if src . Etype == TINTER || dst . Etype == TINTER {
return 0
}
if why != nil {
* why = ""
}
// 2. src and dst have identical underlying types.
if Eqtype ( src . Orig , dst . Orig ) {
return OCONVNOP
}
// 3. src and dst are unnamed pointer types
// and their base types have identical underlying types.
2015-03-01 07:54:01 +00:00
if Isptr [ src . Etype ] && Isptr [ dst . Etype ] && src . Sym == nil && dst . Sym == nil {
2015-02-13 14:40:36 -05:00
if Eqtype ( src . Type . Orig , dst . Type . Orig ) {
return OCONVNOP
}
}
// 4. src and dst are both integer or floating point types.
2015-03-01 07:54:01 +00:00
if ( Isint [ src . Etype ] || Isfloat [ src . Etype ] ) && ( Isint [ dst . Etype ] || Isfloat [ dst . Etype ] ) {
2015-02-13 14:40:36 -05:00
if Simtype [ src . Etype ] == Simtype [ dst . Etype ] {
return OCONVNOP
}
return OCONV
}
// 5. src and dst are both complex types.
2015-03-01 07:54:01 +00:00
if Iscomplex [ src . Etype ] && Iscomplex [ dst . Etype ] {
2015-02-13 14:40:36 -05:00
if Simtype [ src . Etype ] == Simtype [ dst . Etype ] {
return OCONVNOP
}
return OCONV
}
// 6. src is an integer or has type []byte or []rune
// and dst is a string type.
2015-03-01 07:54:01 +00:00
if Isint [ src . Etype ] && dst . Etype == TSTRING {
2015-02-13 14:40:36 -05:00
return ORUNESTR
}
2015-02-17 22:13:49 -05:00
if Isslice ( src ) && dst . Etype == TSTRING {
2015-02-13 14:40:36 -05:00
if src . Type . Etype == bytetype . Etype {
return OARRAYBYTESTR
}
if src . Type . Etype == runetype . Etype {
return OARRAYRUNESTR
}
}
// 7. src is a string and dst is []byte or []rune.
// String to slice.
2015-02-17 22:13:49 -05:00
if src . Etype == TSTRING && Isslice ( dst ) {
2015-02-13 14:40:36 -05:00
if dst . Type . Etype == bytetype . Etype {
return OSTRARRAYBYTE
}
if dst . Type . Etype == runetype . Etype {
return OSTRARRAYRUNE
}
}
// 8. src is a pointer or uintptr and dst is unsafe.Pointer.
2015-03-01 07:54:01 +00:00
if ( Isptr [ src . Etype ] || src . Etype == TUINTPTR ) && dst . Etype == TUNSAFEPTR {
2015-02-13 14:40:36 -05:00
return OCONVNOP
}
// 9. src is unsafe.Pointer and dst is a pointer or uintptr.
2015-03-01 07:54:01 +00:00
if src . Etype == TUNSAFEPTR && ( Isptr [ dst . Etype ] || dst . Etype == TUINTPTR ) {
2015-02-13 14:40:36 -05:00
return OCONVNOP
}
return 0
}
func assignconv ( n * Node , t * Type , context string ) * Node {
2015-03-12 18:45:30 -04:00
return assignconvfn ( n , t , func ( ) string { return context } )
}
// Convert node n for assignment to type t.
func assignconvfn ( n * Node , t * Type , context func ( ) string ) * Node {
2015-09-07 10:37:26 +10:00
if n == nil || n . Type == nil || n . Type . Broke {
2015-02-13 14:40:36 -05:00
return n
}
if t . Etype == TBLANK && n . Type . Etype == TNIL {
Yyerror ( "use of untyped nil" )
}
2015-02-23 16:07:24 -05:00
old := n
2015-02-13 14:40:36 -05:00
old . Diag ++ // silence errors about n; we'll issue one below
defaultlit ( & n , t )
old . Diag --
if t . Etype == TBLANK {
return n
}
// Convert ideal bool from comparison to plain bool
// if the next step is non-bool (like interface{}).
if n . Type == idealbool && t . Etype != TBOOL {
if n . Op == ONAME || n . Op == OLITERAL {
2015-02-23 16:07:24 -05:00
r := Nod ( OCONVNOP , n , nil )
2015-02-13 14:40:36 -05:00
r . Type = Types [ TBOOL ]
r . Typecheck = 1
2015-03-06 21:18:41 +11:00
r . Implicit = true
2015-02-13 14:40:36 -05:00
n = r
}
}
if Eqtype ( n . Type , t ) {
return n
}
2015-02-23 16:07:24 -05:00
var why string
op := assignop ( n . Type , t , & why )
2015-02-13 14:40:36 -05:00
if op == 0 {
2016-03-15 13:06:58 -07:00
Yyerror ( "cannot use %v as type %v in %s%s" , Nconv ( n , FmtLong ) , t , context ( ) , why )
2015-02-13 14:40:36 -05:00
op = OCONV
}
2015-02-23 16:07:24 -05:00
r := Nod ( op , n , nil )
2015-02-13 14:40:36 -05:00
r . Type = t
r . Typecheck = 1
2015-03-06 21:18:41 +11:00
r . Implicit = true
2015-02-13 14:40:36 -05:00
r . Orig = n . Orig
return r
}
2015-03-08 13:33:49 -04:00
// substArgTypes substitutes the given list of types for
// successive occurrences of the "any" placeholder in the
// type syntax expression n.Type.
2016-03-04 15:19:06 -08:00
func substArgTypes ( np * * Node , types ... * Type ) {
n := Nod ( 0 , nil , nil )
* n = * * np
* np = n
2015-03-08 13:33:49 -04:00
for _ , t := range types {
dowidth ( t )
2015-02-13 14:40:36 -05:00
}
2016-03-11 13:04:07 -08:00
n . Type = substAny ( n . Type , & types )
2015-03-08 13:33:49 -04:00
if len ( types ) > 0 {
2015-08-30 23:10:03 +02:00
Fatalf ( "substArgTypes: too many argument types" )
2015-02-13 14:40:36 -05:00
}
2015-03-08 13:33:49 -04:00
}
2015-02-13 14:40:36 -05:00
2016-03-11 13:04:07 -08:00
// substAny walks t, replacing instances of "any" with successive
// elements removed from types. It returns the substituted type.
func substAny ( t * Type , types * [ ] * Type ) * Type {
if t == nil {
return nil
}
switch t . Etype {
default :
// Leave the type unchanged.
case TANY :
if len ( * types ) == 0 {
Fatalf ( "substArgTypes: not enough argument types" )
2015-02-13 14:40:36 -05:00
}
2016-03-11 13:04:07 -08:00
t = ( * types ) [ 0 ]
* types = ( * types ) [ 1 : ]
2016-03-14 01:20:49 -07:00
case TPTR32 , TPTR64 , TCHAN , TARRAY :
2016-03-11 13:04:07 -08:00
elem := substAny ( t . Type , types )
if elem != t . Type {
t = t . Copy ( )
t . Type = elem
2015-02-13 14:40:36 -05:00
}
2016-03-11 13:04:07 -08:00
case TMAP :
key := substAny ( t . Down , types )
val := substAny ( t . Type , types )
if key != t . Down || val != t . Type {
t = t . Copy ( )
t . Down = key
t . Type = val
}
2015-03-08 13:33:49 -04:00
2016-03-11 13:04:07 -08:00
case TFUNC :
recvs := substAny ( t . Recvs ( ) , types )
params := substAny ( t . Params ( ) , types )
results := substAny ( t . Results ( ) , types )
if recvs != t . Recvs ( ) || params != t . Params ( ) || results != t . Results ( ) {
// Note that this code has to be aware of the
// representation underlying Recvs/Results/Params.
if recvs == t . Recvs ( ) {
recvs = recvs . Copy ( )
}
if results == t . Results ( ) {
results = results . Copy ( )
}
t = t . Copy ( )
* t . RecvsP ( ) = recvs
* t . ResultsP ( ) = results
* t . ParamsP ( ) = params
}
2015-03-08 13:33:49 -04:00
2016-03-11 13:04:07 -08:00
case TSTRUCT :
// nfs only has to be big enough for the builtin functions.
2016-03-14 01:20:49 -07:00
var nfs [ 8 ] * Field
2016-03-11 13:04:07 -08:00
fields := t . FieldSlice ( )
changed := false
for i , f := range fields {
2016-03-14 01:20:49 -07:00
nft := substAny ( f . Type , types )
if nft != f . Type {
nfs [ i ] = f . Copy ( )
nfs [ i ] . Type = nft
2016-03-11 13:04:07 -08:00
changed = true
2015-02-13 14:40:36 -05:00
}
2016-03-11 13:04:07 -08:00
}
2016-03-14 01:20:49 -07:00
2016-03-11 13:04:07 -08:00
if changed {
2016-03-14 01:20:49 -07:00
// Above we've initialized nfs with copied fields
// whenever the field type changed. However, because
// we keep fields in a linked list, we can only safely
// share the unmodified tail of the list. We need to
// copy the rest.
tail := true
for i := len ( fields ) - 1 ; i >= 0 ; i -- {
if nfs [ i ] != nil {
tail = false
} else if tail {
nfs [ i ] = fields [ i ]
} else {
nfs [ i ] = fields [ i ] . Copy ( )
}
}
2016-03-11 13:04:07 -08:00
t = t . Copy ( )
t . SetFields ( nfs [ : len ( fields ) ] )
2015-02-13 14:40:36 -05:00
}
}
2016-03-11 13:04:07 -08:00
return t
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// Is this a 64-bit type?
2015-02-17 22:13:49 -05:00
func Is64 ( t * Type ) bool {
2015-02-13 14:40:36 -05:00
if t == nil {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
switch Simtype [ t . Etype ] {
2015-04-01 09:38:44 -07:00
case TINT64 , TUINT64 , TPTR64 :
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// Is a conversion between t1 and t2 a no-op?
2015-02-17 22:13:49 -05:00
func Noconv ( t1 * Type , t2 * Type ) bool {
2015-09-24 23:21:18 +02:00
e1 := Simtype [ t1 . Etype ]
e2 := Simtype [ t2 . Etype ]
2015-02-13 14:40:36 -05:00
switch e1 {
2015-04-01 09:38:44 -07:00
case TINT8 , TUINT8 :
2015-02-17 22:13:49 -05:00
return e2 == TINT8 || e2 == TUINT8
2015-02-13 14:40:36 -05:00
2015-04-01 09:38:44 -07:00
case TINT16 , TUINT16 :
2015-02-17 22:13:49 -05:00
return e2 == TINT16 || e2 == TUINT16
2015-02-13 14:40:36 -05:00
2015-04-01 09:38:44 -07:00
case TINT32 , TUINT32 , TPTR32 :
2015-02-17 22:13:49 -05:00
return e2 == TINT32 || e2 == TUINT32 || e2 == TPTR32
2015-02-13 14:40:36 -05:00
2015-04-01 09:38:44 -07:00
case TINT64 , TUINT64 , TPTR64 :
2015-02-17 22:13:49 -05:00
return e2 == TINT64 || e2 == TUINT64 || e2 == TPTR64
2015-02-13 14:40:36 -05:00
case TFLOAT32 :
2015-02-17 22:13:49 -05:00
return e2 == TFLOAT32
2015-02-13 14:40:36 -05:00
case TFLOAT64 :
2015-02-17 22:13:49 -05:00
return e2 == TFLOAT64
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2016-03-04 15:19:06 -08:00
func syslook ( name string ) * Node {
2015-02-23 16:07:24 -05:00
s := Pkglookup ( name , Runtimepkg )
2015-02-13 14:40:36 -05:00
if s == nil || s . Def == nil {
2015-08-30 23:10:03 +02:00
Fatalf ( "syslook: can't find runtime.%s" , name )
2015-02-13 14:40:36 -05:00
}
2016-03-04 15:19:06 -08:00
return s . Def
2015-02-13 14:40:36 -05:00
}
2016-03-17 01:39:59 -07:00
// typehash computes a hash value for type t to use in type switch
// statements.
2015-02-13 14:40:36 -05:00
func typehash ( t * Type ) uint32 {
2016-03-17 01:39:59 -07:00
// Tconv already contains all the necessary logic to generate
// a representation that completely describes the type, so using
// it here avoids duplicating that code.
p := Tconv ( t , FmtLeft | FmtUnsigned )
2015-02-13 14:40:36 -05:00
2016-03-17 01:39:59 -07:00
// Using MD5 is overkill, but reduces accidental collisions.
2015-02-27 16:05:30 +09:00
h := md5 . Sum ( [ ] byte ( p ) )
return binary . LittleEndian . Uint32 ( h [ : 4 ] )
2015-02-13 14:40:36 -05:00
}
2015-04-28 17:08:28 -07:00
var initPtrtoDone bool
var (
ptrToUint8 * Type
ptrToAny * Type
ptrToString * Type
ptrToBool * Type
ptrToInt32 * Type
)
func initPtrto ( ) {
ptrToUint8 = ptrto1 ( Types [ TUINT8 ] )
ptrToAny = ptrto1 ( Types [ TANY ] )
ptrToString = ptrto1 ( Types [ TSTRING ] )
ptrToBool = ptrto1 ( Types [ TBOOL ] )
ptrToInt32 = ptrto1 ( Types [ TINT32 ] )
}
func ptrto1 ( t * Type ) * Type {
2015-02-23 16:07:24 -05:00
t1 := typ ( Tptr )
2015-02-13 14:40:36 -05:00
t1 . Type = t
t1 . Width = int64 ( Widthptr )
t1 . Align = uint8 ( Widthptr )
return t1
}
2015-04-28 17:08:28 -07:00
// Ptrto returns the Type *t.
// The returned struct must not be modified.
func Ptrto ( t * Type ) * Type {
if Tptr == 0 {
2015-08-30 23:10:03 +02:00
Fatalf ( "ptrto: no tptr" )
2015-04-28 17:08:28 -07:00
}
// Reduce allocations by pre-creating common cases.
if ! initPtrtoDone {
initPtrto ( )
initPtrtoDone = true
}
switch t {
case Types [ TUINT8 ] :
return ptrToUint8
case Types [ TINT32 ] :
return ptrToInt32
case Types [ TANY ] :
return ptrToAny
case Types [ TSTRING ] :
return ptrToString
case Types [ TBOOL ] :
return ptrToBool
}
return ptrto1 ( t )
}
2015-02-13 14:40:36 -05:00
func frame ( context int ) {
if context != 0 {
fmt . Printf ( "--- external frame ---\n" )
2015-09-10 15:57:39 +10:00
for _ , n := range externdcl {
printframenode ( n )
}
2015-02-13 14:40:36 -05:00
return
}
2015-09-10 15:57:39 +10:00
if Curfn != nil {
fmt . Printf ( "--- %v frame ---\n" , Curfn . Func . Nname . Sym )
2016-02-25 10:35:19 -08:00
for _ , ln := range Curfn . Func . Dcl {
printframenode ( ln )
2015-02-13 14:40:36 -05:00
}
2015-09-10 15:57:39 +10:00
}
}
2015-02-13 14:40:36 -05:00
2015-09-10 15:57:39 +10:00
func printframenode ( n * Node ) {
w := int64 ( - 1 )
if n . Type != nil {
w = n . Type . Width
}
switch n . Op {
case ONAME :
2016-03-07 08:23:55 -08:00
fmt . Printf ( "%v %v G%d %v width=%d\n" , Oconv ( n . Op , 0 ) , n . Sym , n . Name . Vargen , n . Type , w )
2015-09-10 15:57:39 +10:00
case OTYPE :
2016-03-07 08:23:55 -08:00
fmt . Printf ( "%v %v width=%d\n" , Oconv ( n . Op , 0 ) , n . Type , w )
2015-02-13 14:40:36 -05:00
}
}
2015-10-22 09:51:12 +09:00
// calculate sethi/ullman number
// roughly how many registers needed to
// compile a node. used to compile the
// hardest side first to minimize registers.
2015-02-13 14:40:36 -05:00
func ullmancalc ( n * Node ) {
if n == nil {
return
}
2015-02-23 16:07:24 -05:00
var ul int
var ur int
2016-03-08 15:10:26 -08:00
if n . Ninit . Len ( ) != 0 {
2015-02-13 14:40:36 -05:00
ul = UINF
goto out
}
switch n . Op {
2015-04-01 09:38:44 -07:00
case OREGISTER , OLITERAL , ONAME :
2015-02-13 14:40:36 -05:00
ul = 1
if n . Class == PPARAMREF || ( n . Class & PHEAP != 0 ) {
ul ++
}
goto out
cmd/internal/gc: emit write barriers at lower level
This is primarily preparation for inlining, not an optimization by itself,
but it still helps some.
name old new delta
BenchmarkBinaryTree17 18.2s × (0.99,1.01) 17.9s × (0.99,1.01) -1.57%
BenchmarkFannkuch11 4.44s × (1.00,1.00) 4.42s × (1.00,1.00) -0.40%
BenchmarkFmtFprintfEmpty 119ns × (0.95,1.02) 118ns × (0.96,1.02) ~
BenchmarkFmtFprintfString 501ns × (0.99,1.02) 486ns × (0.99,1.01) -2.89%
BenchmarkFmtFprintfInt 474ns × (0.99,1.00) 457ns × (0.99,1.01) -3.59%
BenchmarkFmtFprintfIntInt 792ns × (1.00,1.00) 768ns × (1.00,1.01) -3.03%
BenchmarkFmtFprintfPrefixedInt 574ns × (1.00,1.01) 584ns × (0.99,1.03) +1.83%
BenchmarkFmtFprintfFloat 749ns × (1.00,1.00) 739ns × (0.99,1.00) -1.34%
BenchmarkFmtManyArgs 2.94µs × (1.00,1.01) 2.77µs × (1.00,1.00) -5.76%
BenchmarkGobDecode 39.5ms × (0.99,1.01) 39.3ms × (0.99,1.01) ~
BenchmarkGobEncode 39.4ms × (1.00,1.01) 39.4ms × (0.99,1.00) ~
BenchmarkGzip 658ms × (1.00,1.01) 661ms × (0.99,1.01) ~
BenchmarkGunzip 142ms × (1.00,1.00) 142ms × (1.00,1.00) +0.22%
BenchmarkHTTPClientServer 134µs × (0.99,1.01) 133µs × (0.98,1.01) ~
BenchmarkJSONEncode 57.1ms × (0.99,1.01) 56.5ms × (0.99,1.01) ~
BenchmarkJSONDecode 141ms × (1.00,1.00) 143ms × (1.00,1.00) +1.09%
BenchmarkMandelbrot200 6.01ms × (1.00,1.00) 6.01ms × (1.00,1.00) ~
BenchmarkGoParse 10.1ms × (0.91,1.09) 9.6ms × (0.94,1.07) ~
BenchmarkRegexpMatchEasy0_32 207ns × (1.00,1.01) 210ns × (1.00,1.00) +1.45%
BenchmarkRegexpMatchEasy0_1K 592ns × (0.99,1.00) 596ns × (0.99,1.01) +0.68%
BenchmarkRegexpMatchEasy1_32 184ns × (0.99,1.01) 184ns × (0.99,1.01) ~
BenchmarkRegexpMatchEasy1_1K 1.01µs × (1.00,1.00) 1.01µs × (0.99,1.01) ~
BenchmarkRegexpMatchMedium_32 327ns × (0.99,1.00) 327ns × (1.00,1.01) ~
BenchmarkRegexpMatchMedium_1K 92.5µs × (1.00,1.00) 93.0µs × (1.00,1.02) +0.48%
BenchmarkRegexpMatchHard_32 4.79µs × (0.95,1.00) 4.76µs × (0.95,1.01) ~
BenchmarkRegexpMatchHard_1K 136µs × (1.00,1.00) 136µs × (1.00,1.01) ~
BenchmarkRevcomp 900ms × (0.99,1.01) 892ms × (1.00,1.01) ~
BenchmarkTemplate 170ms × (0.99,1.01) 175ms × (0.99,1.00) +2.95%
BenchmarkTimeParse 645ns × (1.00,1.00) 638ns × (1.00,1.00) -1.16%
BenchmarkTimeFormat 740ns × (1.00,1.00) 772ns × (1.00,1.00) +4.39%
Change-Id: I0be905e32791e0cb70ff01f169c4b309a971d981
Reviewed-on: https://go-review.googlesource.com/9159
Reviewed-by: Rick Hudson <rlh@golang.org>
Run-TryBot: Russ Cox <rsc@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
2015-04-17 00:25:10 -04:00
case OCALL , OCALLFUNC , OCALLMETH , OCALLINTER , OASWB :
2015-02-13 14:40:36 -05:00
ul = UINF
goto out
2015-10-21 07:04:10 -07:00
// hard with instrumented code
2015-04-01 09:38:44 -07:00
case OANDAND , OOROR :
2015-10-20 10:00:07 -07:00
if instrumenting {
2015-02-13 14:40:36 -05:00
ul = UINF
goto out
}
}
ul = 1
if n . Left != nil {
ul = int ( n . Left . Ullman )
}
ur = 1
if n . Right != nil {
ur = int ( n . Right . Ullman )
}
if ul == ur {
ul += 1
}
if ur > ul {
ul = ur
}
out :
if ul > 200 {
ul = 200 // clamp to uchar with room to grow
}
n . Ullman = uint8 ( ul )
}
2015-09-24 23:21:18 +02:00
func badtype ( op Op , tl * Type , tr * Type ) {
2015-02-23 16:07:24 -05:00
fmt_ := ""
2015-02-13 14:40:36 -05:00
if tl != nil {
2015-04-17 12:03:22 -04:00
fmt_ += fmt . Sprintf ( "\n\t%v" , tl )
2015-02-13 14:40:36 -05:00
}
if tr != nil {
2015-04-17 12:03:22 -04:00
fmt_ += fmt . Sprintf ( "\n\t%v" , tr )
2015-02-13 14:40:36 -05:00
}
// common mistake: *struct and *interface.
2015-03-01 07:54:01 +00:00
if tl != nil && tr != nil && Isptr [ tl . Etype ] && Isptr [ tr . Etype ] {
2015-02-13 14:40:36 -05:00
if tl . Type . Etype == TSTRUCT && tr . Type . Etype == TINTER {
2015-02-28 20:31:32 +00:00
fmt_ += "\n\t(*struct vs *interface)"
2015-02-13 14:40:36 -05:00
} else if tl . Type . Etype == TINTER && tr . Type . Etype == TSTRUCT {
2015-02-28 20:31:32 +00:00
fmt_ += "\n\t(*interface vs *struct)"
2015-02-13 14:40:36 -05:00
}
}
2015-02-23 16:07:24 -05:00
s := fmt_
2016-03-07 08:23:55 -08:00
Yyerror ( "illegal types for operand: %v%s" , Oconv ( op , 0 ) , s )
2015-02-13 14:40:36 -05:00
}
2015-04-06 19:36:36 -07:00
// Brcom returns !(op).
// For example, Brcom(==) is !=.
2015-09-24 23:21:18 +02:00
func Brcom ( op Op ) Op {
switch op {
2015-02-13 14:40:36 -05:00
case OEQ :
return ONE
case ONE :
return OEQ
case OLT :
return OGE
case OGT :
return OLE
case OLE :
return OGT
case OGE :
return OLT
}
2016-03-07 08:23:55 -08:00
Fatalf ( "brcom: no com for %v\n" , Oconv ( op , 0 ) )
2015-09-24 23:21:18 +02:00
return op
2015-02-13 14:40:36 -05:00
}
2015-04-06 19:36:36 -07:00
// Brrev returns reverse(op).
// For example, Brrev(<) is >.
2015-09-24 23:21:18 +02:00
func Brrev ( op Op ) Op {
switch op {
2015-02-13 14:40:36 -05:00
case OEQ :
return OEQ
case ONE :
return ONE
case OLT :
return OGT
case OGT :
return OLT
case OLE :
return OGE
case OGE :
return OLE
}
2016-03-07 08:23:55 -08:00
Fatalf ( "brrev: no rev for %v\n" , Oconv ( op , 0 ) )
2015-09-24 23:21:18 +02:00
return op
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// return side effect-free n, appending side effects to init.
// result is assignable if n is.
2016-03-07 22:54:46 -08:00
func safeexpr ( n * Node , init * Nodes ) * Node {
2015-02-13 14:40:36 -05:00
if n == nil {
return nil
}
2016-03-08 15:10:26 -08:00
if n . Ninit . Len ( ) != 0 {
2016-03-07 22:54:46 -08:00
walkstmtlist ( n . Ninit . Slice ( ) )
init . AppendNodes ( & n . Ninit )
2015-02-13 14:40:36 -05:00
}
switch n . Op {
2015-04-01 09:38:44 -07:00
case ONAME , OLITERAL :
2015-02-13 14:40:36 -05:00
return n
cmd/internal/gc: optimize slice + write barrier
The code generated for a slice x[i:j] or x[i:j:k] computes the entire
new slice (base, len, cap) and then uses it as the evaluation of the
slice expression.
If the slice is part of an update x = x[i:j] or x = x[i:j:k], there are
opportunities to avoid computing some of these fields.
For x = x[0:i], we know that only the len is changing;
base can be ignored completely, and cap can be left unmodified.
For x = x[0:i:j], we know that only len and cap are changing;
base can be ignored completely.
For x = x[i:i], we know that the resulting cap is zero, and we don't
adjust the base during a slice producing a zero-cap result,
so again base can be ignored completely.
No write to base, no write barrier.
The old slice code was trying to work at a Go syntax level, mainly
because that was how you wrote code just once instead of once
per architecture. Now the compiler is factored a bit better and we
can implement slice during code generation but still have one copy
of the code. So the new code is working at that lower level.
(It must, to update only parts of the result.)
This CL by itself:
name old mean new mean delta
BinaryTree17 5.81s × (0.98,1.03) 5.71s × (0.96,1.05) ~ (p=0.101)
Fannkuch11 4.35s × (1.00,1.00) 4.39s × (1.00,1.00) +0.79% (p=0.000)
FmtFprintfEmpty 86.0ns × (0.94,1.11) 82.6ns × (0.98,1.04) -3.86% (p=0.048)
FmtFprintfString 276ns × (0.98,1.04) 273ns × (0.98,1.02) ~ (p=0.235)
FmtFprintfInt 274ns × (0.98,1.06) 270ns × (0.99,1.01) ~ (p=0.119)
FmtFprintfIntInt 506ns × (0.99,1.01) 475ns × (0.99,1.01) -6.02% (p=0.000)
FmtFprintfPrefixedInt 391ns × (0.99,1.01) 393ns × (1.00,1.01) ~ (p=0.139)
FmtFprintfFloat 566ns × (0.99,1.01) 574ns × (1.00,1.01) +1.33% (p=0.001)
FmtManyArgs 1.91µs × (0.99,1.01) 1.87µs × (0.99,1.02) -1.83% (p=0.000)
GobDecode 15.3ms × (0.99,1.02) 15.0ms × (0.98,1.05) -1.84% (p=0.042)
GobEncode 11.5ms × (0.97,1.03) 11.4ms × (0.99,1.03) ~ (p=0.152)
Gzip 645ms × (0.99,1.01) 647ms × (0.99,1.01) ~ (p=0.265)
Gunzip 142ms × (1.00,1.00) 143ms × (1.00,1.01) +0.90% (p=0.000)
HTTPClientServer 90.5µs × (0.97,1.04) 88.5µs × (0.99,1.03) -2.27% (p=0.014)
JSONEncode 32.0ms × (0.98,1.03) 29.6ms × (0.98,1.01) -7.51% (p=0.000)
JSONDecode 114ms × (0.99,1.01) 104ms × (1.00,1.01) -8.60% (p=0.000)
Mandelbrot200 6.04ms × (1.00,1.01) 6.02ms × (1.00,1.00) ~ (p=0.057)
GoParse 6.47ms × (0.97,1.05) 6.37ms × (0.97,1.04) ~ (p=0.105)
RegexpMatchEasy0_32 171ns × (0.93,1.07) 152ns × (0.99,1.01) -11.09% (p=0.000)
RegexpMatchEasy0_1K 550ns × (0.98,1.01) 530ns × (1.00,1.00) -3.78% (p=0.000)
RegexpMatchEasy1_32 135ns × (0.99,1.02) 134ns × (0.99,1.01) -1.33% (p=0.002)
RegexpMatchEasy1_1K 879ns × (1.00,1.01) 865ns × (1.00,1.00) -1.58% (p=0.000)
RegexpMatchMedium_32 243ns × (1.00,1.00) 233ns × (1.00,1.00) -4.30% (p=0.000)
RegexpMatchMedium_1K 70.3µs × (1.00,1.00) 69.5µs × (1.00,1.00) -1.13% (p=0.000)
RegexpMatchHard_32 3.82µs × (1.00,1.01) 3.74µs × (1.00,1.00) -1.95% (p=0.000)
RegexpMatchHard_1K 117µs × (1.00,1.00) 115µs × (1.00,1.00) -1.69% (p=0.000)
Revcomp 917ms × (0.97,1.04) 920ms × (0.97,1.04) ~ (p=0.786)
Template 114ms × (0.99,1.01) 117ms × (0.99,1.01) +2.58% (p=0.000)
TimeParse 622ns × (0.99,1.01) 615ns × (0.99,1.00) -1.06% (p=0.000)
TimeFormat 665ns × (0.99,1.01) 654ns × (0.99,1.00) -1.70% (p=0.000)
This CL and previous CL (append) combined:
name old mean new mean delta
BinaryTree17 5.68s × (0.97,1.04) 5.71s × (0.96,1.05) ~ (p=0.638)
Fannkuch11 4.41s × (0.98,1.03) 4.39s × (1.00,1.00) ~ (p=0.474)
FmtFprintfEmpty 92.7ns × (0.91,1.16) 82.6ns × (0.98,1.04) -10.89% (p=0.004)
FmtFprintfString 281ns × (0.96,1.08) 273ns × (0.98,1.02) ~ (p=0.078)
FmtFprintfInt 288ns × (0.97,1.06) 270ns × (0.99,1.01) -6.37% (p=0.000)
FmtFprintfIntInt 493ns × (0.97,1.04) 475ns × (0.99,1.01) -3.53% (p=0.002)
FmtFprintfPrefixedInt 423ns × (0.97,1.04) 393ns × (1.00,1.01) -7.07% (p=0.000)
FmtFprintfFloat 598ns × (0.99,1.01) 574ns × (1.00,1.01) -4.02% (p=0.000)
FmtManyArgs 1.89µs × (0.98,1.05) 1.87µs × (0.99,1.02) ~ (p=0.305)
GobDecode 14.8ms × (0.98,1.03) 15.0ms × (0.98,1.05) ~ (p=0.237)
GobEncode 12.3ms × (0.98,1.01) 11.4ms × (0.99,1.03) -6.95% (p=0.000)
Gzip 656ms × (0.99,1.05) 647ms × (0.99,1.01) ~ (p=0.101)
Gunzip 142ms × (1.00,1.00) 143ms × (1.00,1.01) +0.58% (p=0.001)
HTTPClientServer 91.2µs × (0.97,1.04) 88.5µs × (0.99,1.03) -3.02% (p=0.003)
JSONEncode 32.6ms × (0.97,1.08) 29.6ms × (0.98,1.01) -9.10% (p=0.000)
JSONDecode 114ms × (0.97,1.05) 104ms × (1.00,1.01) -8.74% (p=0.000)
Mandelbrot200 6.11ms × (0.98,1.04) 6.02ms × (1.00,1.00) ~ (p=0.090)
GoParse 6.66ms × (0.97,1.04) 6.37ms × (0.97,1.04) -4.41% (p=0.000)
RegexpMatchEasy0_32 159ns × (0.99,1.00) 152ns × (0.99,1.01) -4.69% (p=0.000)
RegexpMatchEasy0_1K 538ns × (1.00,1.01) 530ns × (1.00,1.00) -1.57% (p=0.000)
RegexpMatchEasy1_32 138ns × (1.00,1.00) 134ns × (0.99,1.01) -2.91% (p=0.000)
RegexpMatchEasy1_1K 869ns × (0.99,1.01) 865ns × (1.00,1.00) -0.51% (p=0.012)
RegexpMatchMedium_32 252ns × (0.99,1.01) 233ns × (1.00,1.00) -7.85% (p=0.000)
RegexpMatchMedium_1K 72.7µs × (1.00,1.00) 69.5µs × (1.00,1.00) -4.43% (p=0.000)
RegexpMatchHard_32 3.85µs × (1.00,1.00) 3.74µs × (1.00,1.00) -2.74% (p=0.000)
RegexpMatchHard_1K 118µs × (1.00,1.00) 115µs × (1.00,1.00) -2.24% (p=0.000)
Revcomp 920ms × (0.97,1.07) 920ms × (0.97,1.04) ~ (p=0.998)
Template 129ms × (0.98,1.03) 117ms × (0.99,1.01) -9.79% (p=0.000)
TimeParse 619ns × (0.99,1.01) 615ns × (0.99,1.00) -0.57% (p=0.011)
TimeFormat 661ns × (0.98,1.04) 654ns × (0.99,1.00) ~ (p=0.223)
Change-Id: If054d81ab2c71d8d62cf54b5b1fac2af66b387fc
Reviewed-on: https://go-review.googlesource.com/9813
Reviewed-by: David Chase <drchase@google.com>
Run-TryBot: Russ Cox <rsc@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
2015-05-06 12:35:53 -04:00
case ODOT , OLEN , OCAP :
2015-02-23 16:07:24 -05:00
l := safeexpr ( n . Left , init )
2015-02-13 14:40:36 -05:00
if l == n . Left {
return n
}
2015-02-23 16:07:24 -05:00
r := Nod ( OXXX , nil , nil )
2015-02-13 14:40:36 -05:00
* r = * n
r . Left = l
typecheck ( & r , Erv )
walkexpr ( & r , init )
return r
2015-04-01 09:38:44 -07:00
case ODOTPTR , OIND :
2015-02-23 16:07:24 -05:00
l := safeexpr ( n . Left , init )
2015-02-13 14:40:36 -05:00
if l == n . Left {
return n
}
2015-02-23 16:07:24 -05:00
a := Nod ( OXXX , nil , nil )
2015-02-13 14:40:36 -05:00
* a = * n
a . Left = l
walkexpr ( & a , init )
return a
2015-04-01 09:38:44 -07:00
case OINDEX , OINDEXMAP :
2015-02-23 16:07:24 -05:00
l := safeexpr ( n . Left , init )
r := safeexpr ( n . Right , init )
2015-02-13 14:40:36 -05:00
if l == n . Left && r == n . Right {
return n
}
2015-02-23 16:07:24 -05:00
a := Nod ( OXXX , nil , nil )
2015-02-13 14:40:36 -05:00
* a = * n
a . Left = l
a . Right = r
walkexpr ( & a , init )
return a
}
// make a copy; must not be used as an lvalue
2015-02-17 22:13:49 -05:00
if islvalue ( n ) {
2015-08-30 23:10:03 +02:00
Fatalf ( "missing lvalue case in safeexpr: %v" , n )
2015-02-13 14:40:36 -05:00
}
return cheapexpr ( n , init )
}
2016-03-07 22:54:46 -08:00
func copyexpr ( n * Node , t * Type , init * Nodes ) * Node {
2015-02-23 16:07:24 -05:00
l := temp ( t )
a := Nod ( OAS , l , n )
2015-02-13 14:40:36 -05:00
typecheck ( & a , Etop )
walkexpr ( & a , init )
2016-03-07 22:54:46 -08:00
init . Append ( a )
2015-02-13 14:40:36 -05:00
return l
}
2015-10-22 09:51:12 +09:00
// return side-effect free and cheap n, appending side effects to init.
// result may not be assignable.
2016-03-07 22:54:46 -08:00
func cheapexpr ( n * Node , init * Nodes ) * Node {
2015-02-13 14:40:36 -05:00
switch n . Op {
2015-04-01 09:38:44 -07:00
case ONAME , OLITERAL :
2015-02-13 14:40:36 -05:00
return n
}
return copyexpr ( n , n . Type , init )
}
func Setmaxarg ( t * Type , extra int32 ) {
dowidth ( t )
2015-02-23 16:07:24 -05:00
w := t . Argwid
2015-02-13 14:40:36 -05:00
if w >= Thearch . MAXWIDTH {
2015-08-30 23:10:03 +02:00
Fatalf ( "bad argwid %v" , t )
2015-02-13 14:40:36 -05:00
}
w += int64 ( extra )
if w >= Thearch . MAXWIDTH {
2015-08-30 23:10:03 +02:00
Fatalf ( "bad argwid %d + %v" , extra , t )
2015-02-13 14:40:36 -05:00
}
if w > Maxarg {
Maxarg = w
}
}
2016-02-25 20:29:09 -08:00
// Code to resolve elided DOTs in embedded types.
2015-02-13 14:40:36 -05:00
2016-02-25 20:29:09 -08:00
// A Dlist stores a pointer to a TFIELD Type embedded within
// a TSTRUCT or TINTER Type.
type Dlist struct {
2016-03-14 01:20:49 -07:00
field * Field
2016-02-25 20:29:09 -08:00
}
// dotlist is used by adddot1 to record the path of embedded fields
// used to access a target field or method.
// Must be non-nil so that dotpath returns a non-nil slice even if d is zero.
var dotlist = make ( [ ] Dlist , 10 )
2015-02-13 14:40:36 -05:00
2016-02-25 20:29:09 -08:00
// lookdot0 returns the number of fields or methods named s associated
// with Type t. If exactly one exists, it will be returned in *save
// (if save is not nil).
2016-03-14 01:20:49 -07:00
func lookdot0 ( s * Sym , t * Type , save * * Field , ignorecase bool ) int {
2015-02-23 16:07:24 -05:00
u := t
2015-03-01 07:54:01 +00:00
if Isptr [ u . Etype ] {
2015-02-13 14:40:36 -05:00
u = u . Type
}
2015-02-23 16:07:24 -05:00
c := 0
2015-02-13 14:40:36 -05:00
if u . Etype == TSTRUCT || u . Etype == TINTER {
2016-03-17 01:32:18 -07:00
for _ , f := range u . Fields ( ) . Slice ( ) {
2016-02-25 20:36:02 -08:00
if f . Sym == s || ( ignorecase && f . Type . Etype == TFUNC && f . Type . Thistuple > 0 && strings . EqualFold ( f . Sym . Name , s . Name ) ) {
2015-02-13 14:40:36 -05:00
if save != nil {
* save = f
}
c ++
}
}
}
u = methtype ( t , 0 )
if u != nil {
2016-03-17 01:32:18 -07:00
for _ , f := range u . Methods ( ) . Slice ( ) {
2016-02-25 20:36:02 -08:00
if f . Embedded == 0 && ( f . Sym == s || ( ignorecase && strings . EqualFold ( f . Sym . Name , s . Name ) ) ) {
2015-02-13 14:40:36 -05:00
if save != nil {
* save = f
}
c ++
}
}
}
return c
}
2016-02-25 20:29:09 -08:00
// adddot1 returns the number of fields or methods named s at depth d in Type t.
// If exactly one exists, it will be returned in *save (if save is not nil),
// and dotlist will contain the path of embedded fields traversed to find it,
// in reverse order. If none exist, more will indicate whether t contains any
// embedded fields at depth d, so callers can decide whether to retry at
// a greater depth.
2016-03-14 01:20:49 -07:00
func adddot1 ( s * Sym , t * Type , d int , save * * Field , ignorecase bool ) ( c int , more bool ) {
2015-02-13 14:40:36 -05:00
if t . Trecur != 0 {
2016-02-25 20:29:09 -08:00
return
2015-02-13 14:40:36 -05:00
}
t . Trecur = 1
2015-02-23 16:07:24 -05:00
var u * Type
2016-02-25 20:29:09 -08:00
d --
if d < 0 {
// We've reached our target depth. If t has any fields/methods
// named s, then we're done. Otherwise, we still need to check
// below for embedded fields.
2015-02-13 14:40:36 -05:00
c = lookdot0 ( s , t , save , ignorecase )
2016-02-25 20:29:09 -08:00
if c != 0 {
goto out
}
2015-02-13 14:40:36 -05:00
}
u = t
2015-03-01 07:54:01 +00:00
if Isptr [ u . Etype ] {
2015-02-13 14:40:36 -05:00
u = u . Type
}
if u . Etype != TSTRUCT && u . Etype != TINTER {
goto out
}
2016-03-17 01:32:18 -07:00
for _ , f := range u . Fields ( ) . Slice ( ) {
2016-02-25 20:29:09 -08:00
if f . Embedded == 0 || f . Sym == nil {
2015-02-13 14:40:36 -05:00
continue
}
2016-02-25 20:29:09 -08:00
if d < 0 {
// Found an embedded field at target depth.
more = true
goto out
2015-02-13 14:40:36 -05:00
}
2016-02-25 20:29:09 -08:00
a , more1 := adddot1 ( s , f . Type , d , save , ignorecase )
2015-02-13 14:40:36 -05:00
if a != 0 && c == 0 {
dotlist [ d ] . field = f
}
c += a
2016-02-25 20:29:09 -08:00
if more1 {
more = true
}
2015-02-13 14:40:36 -05:00
}
out :
t . Trecur = 0
2016-02-25 20:29:09 -08:00
return c , more
}
// dotpath computes the unique shortest explicit selector path to fully qualify
// a selection expression x.f, where x is of type t and f is the symbol s.
// If no such path exists, dotpath returns nil.
// If there are multiple shortest paths to the same depth, ambig is true.
2016-03-14 01:20:49 -07:00
func dotpath ( s * Sym , t * Type , save * * Field , ignorecase bool ) ( path [ ] Dlist , ambig bool ) {
2016-02-25 20:29:09 -08:00
// The embedding of types within structs imposes a tree structure onto
// types: structs parent the types they embed, and types parent their
// fields or methods. Our goal here is to find the shortest path to
// a field or method named s in the subtree rooted at t. To accomplish
// that, we iteratively perform depth-first searches of increasing depth
// until we either find the named field/method or exhaust the tree.
for d := 0 ; ; d ++ {
if d > len ( dotlist ) {
dotlist = append ( dotlist , Dlist { } )
}
if c , more := adddot1 ( s , t , d , save , ignorecase ) ; c == 1 {
return dotlist [ : d ] , false
} else if c > 1 {
return nil , true
} else if ! more {
return nil , false
}
}
2015-02-13 14:40:36 -05:00
}
// in T.field
// find missing fields that
// will give shortest unique addressing.
// modify the tree with missing type names.
func adddot ( n * Node ) * Node {
typecheck ( & n . Left , Etype | Erv )
n . Diag |= n . Left . Diag
2015-02-23 16:07:24 -05:00
t := n . Left . Type
2015-02-13 14:40:36 -05:00
if t == nil {
2015-03-02 12:35:15 -05:00
return n
2015-02-13 14:40:36 -05:00
}
if n . Left . Op == OTYPE {
2015-03-02 12:35:15 -05:00
return n
2015-02-13 14:40:36 -05:00
}
if n . Right . Op != ONAME {
2015-03-02 12:35:15 -05:00
return n
2015-02-13 14:40:36 -05:00
}
2015-03-02 12:35:15 -05:00
s := n . Right . Sym
2015-02-13 14:40:36 -05:00
if s == nil {
2015-03-02 12:35:15 -05:00
return n
2015-02-13 14:40:36 -05:00
}
2016-02-25 20:36:02 -08:00
switch path , ambig := dotpath ( s , t , nil , false ) ; {
2016-02-25 20:29:09 -08:00
case path != nil :
// rebuild elided dots
for c := len ( path ) - 1 ; c >= 0 ; c -- {
n . Left = Nod ( ODOT , n . Left , newname ( path [ c ] . field . Sym ) )
n . Left . Implicit = true
2014-12-09 07:59:24 -08:00
}
2016-02-25 20:29:09 -08:00
case ambig :
Yyerror ( "ambiguous selector %v" , n )
n . Left = nil
2015-02-13 14:40:36 -05:00
}
return n
}
2015-10-22 09:51:12 +09:00
// code to help generate trampoline
// functions for methods on embedded
// subtypes.
// these are approx the same as
// the corresponding adddot routines
// except that they expect to be called
// with unique tasks and they return
// the actual methods.
2015-02-13 14:40:36 -05:00
type Symlink struct {
2016-03-14 01:20:49 -07:00
field * Field
2015-09-08 20:29:10 +02:00
followptr bool
2015-02-13 14:40:36 -05:00
}
2016-03-17 00:44:07 -07:00
var slist [ ] Symlink
2015-02-13 14:40:36 -05:00
2015-09-08 20:29:10 +02:00
func expand0 ( t * Type , followptr bool ) {
2015-02-23 16:07:24 -05:00
u := t
2015-03-01 07:54:01 +00:00
if Isptr [ u . Etype ] {
2015-09-08 20:29:10 +02:00
followptr = true
2015-02-13 14:40:36 -05:00
u = u . Type
}
if u . Etype == TINTER {
2016-03-17 01:32:18 -07:00
for _ , f := range u . Fields ( ) . Slice ( ) {
2015-02-13 14:40:36 -05:00
if f . Sym . Flags & SymUniq != 0 {
continue
}
f . Sym . Flags |= SymUniq
2016-03-17 00:44:07 -07:00
slist = append ( slist , Symlink { field : f , followptr : followptr } )
2015-02-13 14:40:36 -05:00
}
return
}
u = methtype ( t , 0 )
if u != nil {
2016-03-17 01:32:18 -07:00
for _ , f := range u . Methods ( ) . Slice ( ) {
2015-02-13 14:40:36 -05:00
if f . Sym . Flags & SymUniq != 0 {
continue
}
f . Sym . Flags |= SymUniq
2016-03-17 00:44:07 -07:00
slist = append ( slist , Symlink { field : f , followptr : followptr } )
2015-02-13 14:40:36 -05:00
}
}
}
2016-02-25 20:29:09 -08:00
func expand1 ( t * Type , top , followptr bool ) {
2015-02-13 14:40:36 -05:00
if t . Trecur != 0 {
return
}
t . Trecur = 1
2016-02-25 20:29:09 -08:00
if ! top {
2015-02-13 14:40:36 -05:00
expand0 ( t , followptr )
}
2015-02-23 16:07:24 -05:00
u := t
2015-03-01 07:54:01 +00:00
if Isptr [ u . Etype ] {
2015-09-08 20:29:10 +02:00
followptr = true
2015-02-13 14:40:36 -05:00
u = u . Type
}
if u . Etype != TSTRUCT && u . Etype != TINTER {
goto out
}
2016-03-17 01:32:18 -07:00
for _ , f := range u . Fields ( ) . Slice ( ) {
2015-02-17 22:13:49 -05:00
if f . Embedded == 0 {
2015-02-13 14:40:36 -05:00
continue
}
if f . Sym == nil {
continue
}
2016-02-25 20:29:09 -08:00
expand1 ( f . Type , false , followptr )
2015-02-13 14:40:36 -05:00
}
out :
t . Trecur = 0
}
func expandmeth ( t * Type ) {
2016-03-17 00:44:07 -07:00
if t == nil || t . AllMethods ( ) . Len ( ) != 0 {
2015-02-13 14:40:36 -05:00
return
}
// mark top-level method symbols
// so that expand1 doesn't consider them.
2016-03-17 01:32:18 -07:00
for _ , f := range t . Methods ( ) . Slice ( ) {
2015-02-13 14:40:36 -05:00
f . Sym . Flags |= SymUniq
}
// generate all reachable methods
2016-03-17 00:44:07 -07:00
slist = slist [ : 0 ]
2016-02-25 20:29:09 -08:00
expand1 ( t , true , false )
2015-02-13 14:40:36 -05:00
// check each method to be uniquely reachable
2016-03-17 00:44:07 -07:00
var ms [ ] * Field
for i , sl := range slist {
slist [ i ] . field = nil
2015-02-13 14:40:36 -05:00
sl . field . Sym . Flags &^= SymUniq
2016-03-17 00:44:07 -07:00
2016-03-14 01:20:49 -07:00
var f * Field
2016-02-25 20:36:02 -08:00
if path , _ := dotpath ( sl . field . Sym , t , & f , false ) ; path == nil {
2016-02-25 20:29:09 -08:00
continue
}
2016-03-17 00:44:07 -07:00
2016-02-25 20:29:09 -08:00
// dotpath may have dug out arbitrary fields, we only want methods.
2016-03-17 00:44:07 -07:00
if f . Type . Etype != TFUNC || f . Type . Thistuple == 0 {
continue
2015-02-13 14:40:36 -05:00
}
2016-03-17 00:44:07 -07:00
// add it to the base type method list
f = f . Copy ( )
f . Embedded = 1 // needs a trampoline
if sl . followptr {
f . Embedded = 2
}
ms = append ( ms , f )
2015-02-13 14:40:36 -05:00
}
2016-03-17 01:32:18 -07:00
for _ , f := range t . Methods ( ) . Slice ( ) {
2015-02-13 14:40:36 -05:00
f . Sym . Flags &^= SymUniq
}
2016-03-17 00:44:07 -07:00
ms = append ( ms , t . Methods ( ) . Slice ( ) ... )
t . AllMethods ( ) . Set ( ms )
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// Given funarg struct list, return list of ODCLFIELD Node fn args.
2016-03-08 17:30:51 -08:00
func structargs ( tl * Type , mustname bool ) [ ] * Node {
2016-03-04 17:28:07 -08:00
var args [ ] * Node
2015-02-23 16:07:24 -05:00
gen := 0
2016-03-17 01:32:18 -07:00
for _ , t := range tl . Fields ( ) . Slice ( ) {
2016-03-08 17:30:51 -08:00
var n * Node
if mustname && ( t . Sym == nil || t . Sym . Name == "_" ) {
2015-02-13 14:40:36 -05:00
// invent a name so that we can refer to it in the trampoline
2016-03-08 17:30:51 -08:00
buf := fmt . Sprintf ( ".anon%d" , gen )
2015-02-13 14:40:36 -05:00
gen ++
n = newname ( Lookup ( buf ) )
} else if t . Sym != nil {
n = newname ( t . Sym )
}
2016-03-08 17:30:51 -08:00
a := Nod ( ODCLFIELD , n , typenod ( t . Type ) )
2015-02-13 14:40:36 -05:00
a . Isddd = t . Isddd
if n != nil {
n . Isddd = t . Isddd
}
2016-03-04 17:28:07 -08:00
args = append ( args , a )
2015-02-13 14:40:36 -05:00
}
return args
}
2015-10-22 09:51:12 +09:00
// Generate a wrapper function to convert from
// a receiver of type T to a receiver of type U.
// That is,
//
// func (t T) M() {
// ...
// }
//
// already exists; this function generates
//
// func (u U) M() {
// u.M()
// }
//
// where the types T and U are such that u.M() is valid
// and calls the T.M method.
// The resulting function is for use in method tables.
//
// rcvr - U
// method - M func (t T)(), a TFIELD type struct
// newnam - the eventual mangled name of this function
2015-02-13 14:40:36 -05:00
var genwrapper_linehistdone int = 0
2016-03-14 01:20:49 -07:00
func genwrapper ( rcvr * Type , method * Field , newnam * Sym , iface int ) {
2015-02-13 14:40:36 -05:00
if false && Debug [ 'r' ] != 0 {
2015-04-17 12:03:22 -04:00
fmt . Printf ( "genwrapper rcvrtype=%v method=%v newnam=%v\n" , rcvr , method , newnam )
2015-02-13 14:40:36 -05:00
}
lexlineno ++
lineno = lexlineno
if genwrapper_linehistdone == 0 {
// All the wrappers can share the same linehist entry.
2015-04-20 13:32:40 -07:00
linehistpush ( "<autogenerated>" )
2015-02-13 14:40:36 -05:00
genwrapper_linehistdone = 1
}
dclcontext = PEXTERN
markdcl ( )
2015-02-23 16:07:24 -05:00
this := Nod ( ODCLFIELD , newname ( Lookup ( ".this" ) ) , typenod ( rcvr ) )
2015-05-27 00:44:05 -04:00
this . Left . Name . Param . Ntype = this . Right
2016-03-08 17:30:51 -08:00
in := structargs ( method . Type . Params ( ) , true )
out := structargs ( method . Type . Results ( ) , false )
2015-02-13 14:40:36 -05:00
2015-02-23 16:07:24 -05:00
t := Nod ( OTFUNC , nil , nil )
2016-03-04 17:28:07 -08:00
l := [ ] * Node { this }
2015-02-13 14:40:36 -05:00
if iface != 0 && rcvr . Width < Types [ Tptr ] . Width {
// Building method for interface table and receiver
// is smaller than the single pointer-sized word
// that the interface call will pass in.
// Add a dummy padding argument after the
// receiver to make up the difference.
2015-02-23 16:07:24 -05:00
tpad := typ ( TARRAY )
2015-02-13 14:40:36 -05:00
tpad . Type = Types [ TUINT8 ]
tpad . Bound = Types [ Tptr ] . Width - rcvr . Width
2015-02-23 16:07:24 -05:00
pad := Nod ( ODCLFIELD , newname ( Lookup ( ".pad" ) ) , typenod ( tpad ) )
2016-03-04 17:28:07 -08:00
l = append ( l , pad )
2015-02-13 14:40:36 -05:00
}
2016-03-08 15:10:26 -08:00
t . List . Set ( append ( l , in ... ) )
t . Rlist . Set ( out )
2015-02-13 14:40:36 -05:00
2015-02-23 16:07:24 -05:00
fn := Nod ( ODCLFUNC , nil , nil )
2015-05-27 10:42:55 -04:00
fn . Func . Nname = newname ( newnam )
fn . Func . Nname . Name . Defn = fn
fn . Func . Nname . Name . Param . Ntype = t
declare ( fn . Func . Nname , PFUNC )
2015-02-13 14:40:36 -05:00
funchdr ( fn )
// arg list
2016-03-04 17:28:07 -08:00
var args [ ] * Node
2015-02-13 14:40:36 -05:00
2015-03-09 16:24:07 +11:00
isddd := false
2016-03-04 17:28:07 -08:00
for _ , n := range in {
args = append ( args , n . Left )
isddd = n . Left . Isddd
2015-02-13 14:40:36 -05:00
}
2016-03-09 20:54:59 -08:00
methodrcvr := method . Type . Recv ( ) . Type
2015-02-13 14:40:36 -05:00
// generate nil pointer check for better error
2015-03-01 07:54:01 +00:00
if Isptr [ rcvr . Etype ] && rcvr . Type == methodrcvr {
2015-02-13 14:40:36 -05:00
// generating wrapper from *T to T.
2015-02-23 16:07:24 -05:00
n := Nod ( OIF , nil , nil )
2015-02-13 14:40:36 -05:00
2015-05-26 21:30:20 -04:00
n . Left = Nod ( OEQ , this . Left , nodnil ( ) )
2015-02-13 14:40:36 -05:00
// these strings are already in the reflect tables,
// so no space cost to use them here.
2016-03-04 17:28:07 -08:00
var l [ ] * Node
2015-02-13 14:40:36 -05:00
2015-02-23 16:07:24 -05:00
var v Val
2015-05-14 17:57:42 -07:00
v . U = rcvr . Type . Sym . Pkg . Name // package name
2016-03-04 17:28:07 -08:00
l = append ( l , nodlit ( v ) )
2015-05-14 17:57:42 -07:00
v . U = rcvr . Type . Sym . Name // type name
2016-03-04 17:28:07 -08:00
l = append ( l , nodlit ( v ) )
2015-05-14 17:57:42 -07:00
v . U = method . Sym . Name
2016-03-04 17:28:07 -08:00
l = append ( l , nodlit ( v ) ) // method name
2016-03-04 15:19:06 -08:00
call := Nod ( OCALL , syslook ( "panicwrap" ) , nil )
2016-03-08 15:10:26 -08:00
call . List . Set ( l )
2016-03-10 10:13:42 -08:00
n . Nbody . Set1 ( call )
2016-02-27 14:31:33 -08:00
fn . Nbody . Append ( n )
2015-02-13 14:40:36 -05:00
}
2015-02-23 16:07:24 -05:00
dot := adddot ( Nod ( OXDOT , this . Left , newname ( method . Sym ) ) )
2015-02-13 14:40:36 -05:00
// generate call
2015-10-20 10:00:07 -07:00
if ! instrumenting && Isptr [ rcvr . Etype ] && Isptr [ methodrcvr . Etype ] && method . Embedded != 0 && ! isifacemethod ( method . Type ) {
2015-02-13 14:40:36 -05:00
// generate tail call: adjust pointer receiver and jump to embedded method.
dot = dot . Left // skip final .M
2016-02-25 20:29:09 -08:00
// TODO(mdempsky): Remove dependency on dotlist.
2015-03-01 07:54:01 +00:00
if ! Isptr [ dotlist [ 0 ] . field . Type . Etype ] {
2015-02-13 14:40:36 -05:00
dot = Nod ( OADDR , dot , nil )
}
2015-02-23 16:07:24 -05:00
as := Nod ( OAS , this . Left , Nod ( OCONVNOP , dot , nil ) )
2015-02-13 14:40:36 -05:00
as . Right . Type = rcvr
2016-02-27 14:31:33 -08:00
fn . Nbody . Append ( as )
2015-02-23 16:07:24 -05:00
n := Nod ( ORETJMP , nil , nil )
2015-02-13 14:40:36 -05:00
n . Left = newname ( methodsym ( method . Sym , methodrcvr , 0 ) )
2016-02-27 14:31:33 -08:00
fn . Nbody . Append ( n )
2015-02-13 14:40:36 -05:00
} else {
2015-03-25 19:33:01 -07:00
fn . Func . Wrapper = true // ignore frame for panic+recover matching
2015-02-23 16:07:24 -05:00
call := Nod ( OCALL , dot , nil )
2016-03-08 15:10:26 -08:00
call . List . Set ( args )
2015-03-09 16:24:07 +11:00
call . Isddd = isddd
2015-02-13 14:40:36 -05:00
if method . Type . Outtuple > 0 {
2015-02-23 16:07:24 -05:00
n := Nod ( ORETURN , nil , nil )
2016-03-10 10:13:42 -08:00
n . List . Set1 ( call )
2015-02-13 14:40:36 -05:00
call = n
}
2016-02-27 14:31:33 -08:00
fn . Nbody . Append ( call )
2015-02-13 14:40:36 -05:00
}
if false && Debug [ 'r' ] != 0 {
2016-03-04 13:16:48 -08:00
dumplist ( "genwrapper body" , fn . Nbody )
2015-02-13 14:40:36 -05:00
}
funcbody ( fn )
Curfn = fn
2016-03-10 15:07:08 -08:00
popdcl ( )
testdclstack ( )
2015-02-13 14:40:36 -05:00
// wrappers where T is anonymous (struct or interface) can be duplicated.
2015-03-01 07:54:01 +00:00
if rcvr . Etype == TSTRUCT || rcvr . Etype == TINTER || Isptr [ rcvr . Etype ] && rcvr . Type . Etype == TSTRUCT {
2015-03-25 19:33:01 -07:00
fn . Func . Dupok = true
2015-02-13 14:40:36 -05:00
}
typecheck ( & fn , Etop )
2016-03-08 10:26:20 -08:00
typechecklist ( fn . Nbody . Slice ( ) , Etop )
2015-02-13 14:40:36 -05:00
inlcalls ( fn )
2015-09-05 12:30:13 +10:00
escAnalyze ( [ ] * Node { fn } , false )
2015-02-13 14:40:36 -05:00
Curfn = nil
funccompile ( fn )
}
func hashmem ( t * Type ) * Node {
2015-02-23 16:07:24 -05:00
sym := Pkglookup ( "memhash" , Runtimepkg )
2015-02-13 14:40:36 -05:00
2015-02-23 16:07:24 -05:00
n := newname ( sym )
2015-02-13 14:40:36 -05:00
n . Class = PFUNC
2015-02-23 16:07:24 -05:00
tfn := Nod ( OTFUNC , nil , nil )
2016-03-08 15:10:26 -08:00
tfn . List . Append ( Nod ( ODCLFIELD , nil , typenod ( Ptrto ( t ) ) ) )
tfn . List . Append ( Nod ( ODCLFIELD , nil , typenod ( Types [ TUINTPTR ] ) ) )
tfn . List . Append ( Nod ( ODCLFIELD , nil , typenod ( Types [ TUINTPTR ] ) ) )
tfn . Rlist . Append ( Nod ( ODCLFIELD , nil , typenod ( Types [ TUINTPTR ] ) ) )
2015-02-13 14:40:36 -05:00
typecheck ( & tfn , Etype )
n . Type = tfn . Type
return n
}
2016-03-14 01:20:49 -07:00
func ifacelookdot ( s * Sym , t * Type , followptr * bool , ignorecase bool ) * Field {
2015-09-08 20:29:10 +02:00
* followptr = false
2015-02-13 14:40:36 -05:00
if t == nil {
return nil
}
2016-03-14 01:20:49 -07:00
var m * Field
2016-02-25 20:29:09 -08:00
path , ambig := dotpath ( s , t , & m , ignorecase )
if path == nil {
if ambig {
2015-04-17 12:03:22 -04:00
Yyerror ( "%v.%v is ambiguous" , t , s )
2015-02-13 14:40:36 -05:00
}
2016-02-25 20:29:09 -08:00
return nil
}
2015-02-13 14:40:36 -05:00
2016-02-25 20:29:09 -08:00
for _ , d := range path {
if Isptr [ d . field . Type . Etype ] {
* followptr = true
break
2015-02-13 14:40:36 -05:00
}
}
2016-02-25 20:29:09 -08:00
if m . Type . Etype != TFUNC || m . Type . Thistuple == 0 {
Yyerror ( "%v.%v is a field, not a method" , t , s )
return nil
}
return m
2015-02-13 14:40:36 -05:00
}
2016-03-14 01:20:49 -07:00
func implements ( t , iface * Type , m , samename * * Field , ptr * int ) bool {
2015-02-23 16:07:24 -05:00
t0 := t
2015-02-13 14:40:36 -05:00
if t == nil {
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
// if this is too slow,
// could sort these first
// and then do one loop.
if t . Etype == TINTER {
2016-03-17 01:32:18 -07:00
for _ , im := range iface . Fields ( ) . Slice ( ) {
for _ , tm := range t . Fields ( ) . Slice ( ) {
2015-02-13 14:40:36 -05:00
if tm . Sym == im . Sym {
if Eqtype ( tm . Type , im . Type ) {
goto found
}
* m = im
* samename = tm
* ptr = 0
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
}
* m = im
* samename = nil
* ptr = 0
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
found :
}
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
t = methtype ( t , 0 )
if t != nil {
expandmeth ( t )
}
2016-03-17 01:32:18 -07:00
for _ , im := range iface . Fields ( ) . Slice ( ) {
2015-10-03 09:35:40 -07:00
if im . Broke {
2015-08-21 22:24:20 -04:00
continue
}
2016-03-14 01:20:49 -07:00
var followptr bool
tm := ifacelookdot ( im . Sym , t , & followptr , false )
cmd/compile: ignore receiver parameters in Eqtype
Receiver parameters generally aren't relevant to the function
signature type. In particular:
1. When checking whether a type's method implements an interface's
method, we specifically want to ignore the receiver parameters,
because they'll be different.
2. When checking interface type equality, interface methods always
use the same "fakethis" *struct{} type as their receiver.
3. Finally, method expressions and method values degenerate into
receiver-less function types.
The only case where we care about receiver types matching is in
addmethod, which is easily handled by adding an extra Eqtype check of
the receiver parameters. Also, added a test for this, since
(surprisingly) there weren't any.
As precedence, go/types.Identical ignores receiver parameters when
comparing go/types.Signature values.
Notably, this allows us to slightly simplify the "implements"
function, which is used for checking whether type/interface t
implements interface iface. Currently, cmd/compile actually works
around Eqtype's receiver parameter checking by creating new throwaway
TFUNC Types without the receiver parameter.
(Worse, the compiler currently only provides APIs to build TFUNC Types
from Nod syntax trees, so building those throwaway types also involves
first building throwaway syntax trees.)
Passes toolstash -cmp.
Change-Id: Ib07289c66feacee284e016bc312e8c5ff674714f
Reviewed-on: https://go-review.googlesource.com/20602
Reviewed-by: Robert Griesemer <gri@golang.org>
2016-03-11 14:38:16 -08:00
if tm == nil || tm . Nointerface || ! Eqtype ( tm . Type , im . Type ) {
2015-02-13 14:40:36 -05:00
if tm == nil {
2016-02-25 20:36:02 -08:00
tm = ifacelookdot ( im . Sym , t , & followptr , true )
2015-02-13 14:40:36 -05:00
}
* m = im
* samename = tm
* ptr = 0
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
// if pointer receiver in method,
// the method does not exist for value types.
2016-03-14 01:20:49 -07:00
rcvr := tm . Type . Recv ( ) . Type
2015-02-13 14:40:36 -05:00
2015-09-08 20:29:10 +02:00
if Isptr [ rcvr . Etype ] && ! Isptr [ t0 . Etype ] && ! followptr && ! isifacemethod ( tm . Type ) {
2015-02-13 14:40:36 -05:00
if false && Debug [ 'r' ] != 0 {
Yyerror ( "interface pointer mismatch" )
}
* m = im
* samename = nil
* ptr = 1
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
}
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// even simpler simtype; get rid of ptr, bool.
// assuming that the front end has rejected
// all the invalid conversions (like ptr -> bool)
2015-09-24 23:21:18 +02:00
func Simsimtype ( t * Type ) EType {
2015-02-13 14:40:36 -05:00
if t == nil {
return 0
}
2015-09-24 23:21:18 +02:00
et := Simtype [ t . Etype ]
2015-02-13 14:40:36 -05:00
switch et {
case TPTR32 :
et = TUINT32
case TPTR64 :
et = TUINT64
case TBOOL :
et = TUINT8
}
return et
}
2016-03-08 10:26:20 -08:00
func listtreecopy ( l [ ] * Node , lineno int32 ) [ ] * Node {
2016-03-04 17:28:07 -08:00
var out [ ] * Node
2016-03-08 15:10:26 -08:00
for _ , n := range l {
out = append ( out , treecopy ( n , lineno ) )
2015-02-13 14:40:36 -05:00
}
return out
}
2016-03-08 10:26:20 -08:00
func liststmt ( l [ ] * Node ) * Node {
2015-02-23 16:07:24 -05:00
n := Nod ( OBLOCK , nil , nil )
2016-03-08 15:10:26 -08:00
n . List . Set ( l )
2016-03-09 20:29:21 -08:00
if len ( l ) != 0 {
n . Lineno = l [ 0 ] . Lineno
2015-02-13 14:40:36 -05:00
}
return n
}
2015-10-22 09:51:12 +09:00
// return power of 2 of the constant
// operand. -1 if it is not a power of 2.
// 1000+ if it is a -(power of 2)
2015-02-13 14:40:36 -05:00
func powtwo ( n * Node ) int {
if n == nil || n . Op != OLITERAL || n . Type == nil {
2015-03-02 12:35:15 -05:00
return - 1
2015-02-13 14:40:36 -05:00
}
2015-03-01 07:54:01 +00:00
if ! Isint [ n . Type . Etype ] {
2015-03-02 12:35:15 -05:00
return - 1
2015-02-13 14:40:36 -05:00
}
2015-05-27 00:47:05 -04:00
v := uint64 ( Mpgetfix ( n . Val ( ) . U . ( * Mpint ) ) )
2015-03-02 12:35:15 -05:00
b := uint64 ( 1 )
2015-02-23 16:07:24 -05:00
for i := 0 ; i < 64 ; i ++ {
2015-02-13 14:40:36 -05:00
if b == v {
return i
}
b = b << 1
}
2015-03-01 07:54:01 +00:00
if ! Issigned [ n . Type . Etype ] {
2015-03-02 12:35:15 -05:00
return - 1
2015-02-13 14:40:36 -05:00
}
v = - v
b = 1
2015-02-23 16:07:24 -05:00
for i := 0 ; i < 64 ; i ++ {
2015-02-13 14:40:36 -05:00
if b == v {
return i + 1000
}
b = b << 1
}
return - 1
}
2015-10-22 09:51:12 +09:00
// return the unsigned type for
// a signed integer type.
// returns T if input is not a
// signed integer type.
2015-02-13 14:40:36 -05:00
func tounsigned ( t * Type ) * Type {
// this is types[et+1], but not sure
// that this relation is immutable
switch t . Etype {
default :
2015-04-17 12:03:22 -04:00
fmt . Printf ( "tounsigned: unknown type %v\n" , t )
2015-02-13 14:40:36 -05:00
t = nil
case TINT :
t = Types [ TUINT ]
case TINT8 :
t = Types [ TUINT8 ]
case TINT16 :
t = Types [ TUINT16 ]
case TINT32 :
t = Types [ TUINT32 ]
case TINT64 :
t = Types [ TUINT64 ]
}
return t
}
func ngotype ( n * Node ) * Sym {
if n . Type != nil {
return typenamesym ( n . Type )
}
return nil
}
2015-10-22 09:51:12 +09:00
// Convert raw string to the prefix that will be used in the symbol
2016-03-01 23:21:55 +00:00
// table. All control characters, space, '%' and '"', as well as
// non-7-bit clean bytes turn into %xx. The period needs escaping
2015-10-22 09:51:12 +09:00
// only in the last segment of the path, and it makes for happier
// users if we escape that as little as possible.
//
// If you edit this, edit ../../debug/goobj/read.go:/importPathToPrefix too.
2015-02-13 14:40:36 -05:00
func pathtoprefix ( s string ) string {
slash := strings . LastIndex ( s , "/" )
for i := 0 ; i < len ( s ) ; i ++ {
c := s [ i ]
if c <= ' ' || i >= slash && c == '.' || c == '%' || c == '"' || c >= 0x7F {
2015-03-02 12:35:15 -05:00
var buf bytes . Buffer
for i := 0 ; i < len ( s ) ; i ++ {
c := s [ i ]
if c <= ' ' || i >= slash && c == '.' || c == '%' || c == '"' || c >= 0x7F {
fmt . Fprintf ( & buf , "%%%02x" , c )
continue
}
buf . WriteByte ( c )
}
return buf . String ( )
2015-02-13 14:40:36 -05:00
}
}
return s
}
2015-03-02 16:21:15 -05:00
var pkgMap = make ( map [ string ] * Pkg )
var pkgs [ ] * Pkg
2015-03-02 16:03:26 -05:00
func mkpkg ( path string ) * Pkg {
2015-03-02 16:21:15 -05:00
if p := pkgMap [ path ] ; p != nil {
return p
2015-02-13 14:40:36 -05:00
}
2015-02-23 16:07:24 -05:00
p := new ( Pkg )
2015-03-02 16:03:26 -05:00
p . Path = path
p . Prefix = pathtoprefix ( path )
2015-03-12 18:45:30 -04:00
p . Syms = make ( map [ string ] * Sym )
2015-03-02 16:21:15 -05:00
pkgMap [ path ] = p
pkgs = append ( pkgs , p )
2015-02-13 14:40:36 -05:00
return p
}
2016-03-08 10:26:20 -08:00
func addinit ( np * * Node , init [ ] * Node ) {
2016-03-09 20:29:21 -08:00
if len ( init ) == 0 {
2015-02-13 14:40:36 -05:00
return
}
2015-02-23 16:07:24 -05:00
n := * np
2015-02-13 14:40:36 -05:00
switch n . Op {
// There may be multiple refs to this node;
// introduce OCONVNOP to hold init list.
2015-04-01 09:38:44 -07:00
case ONAME , OLITERAL :
2015-02-13 14:40:36 -05:00
n = Nod ( OCONVNOP , n , nil )
n . Type = n . Left . Type
n . Typecheck = 1
* np = n
}
2016-03-09 20:29:21 -08:00
n . Ninit . Set ( append ( init , n . Ninit . Slice ( ) ... ) )
2015-02-13 14:40:36 -05:00
n . Ullman = UINF
}
var reservedimports = [ ] string {
"go" ,
"type" ,
}
2015-03-02 16:03:26 -05:00
func isbadimport ( path string ) bool {
if strings . Contains ( path , "\x00" ) {
2015-02-13 14:40:36 -05:00
Yyerror ( "import path contains NUL" )
return true
}
2015-09-08 22:22:44 +02:00
for _ , ri := range reservedimports {
if path == ri {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path %q is reserved and cannot be used" , path )
2015-02-13 14:40:36 -05:00
return true
}
}
2015-03-02 16:03:26 -05:00
for _ , r := range path {
2015-02-13 14:40:36 -05:00
if r == utf8 . RuneError {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path contains invalid UTF-8 sequence: %q" , path )
2015-02-13 14:40:36 -05:00
return true
}
if r < 0x20 || r == 0x7f {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path contains control character: %q" , path )
2015-02-13 14:40:36 -05:00
return true
}
if r == '\\' {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path contains backslash; use slash: %q" , path )
2015-02-13 14:40:36 -05:00
return true
}
2016-03-03 15:49:04 -08:00
if unicode . IsSpace ( r ) {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path contains space character: %q" , path )
2015-02-13 14:40:36 -05:00
return true
}
if strings . ContainsRune ( "!\"#$%&'()*,:;<=>?[]^`{|}" , r ) {
2015-03-02 16:03:26 -05:00
Yyerror ( "import path contains invalid character '%c': %q" , r , path )
2015-02-13 14:40:36 -05:00
return true
}
}
return false
}
2016-03-07 22:54:46 -08:00
func checknil ( x * Node , init * Nodes ) {
2015-02-17 22:13:49 -05:00
if Isinter ( x . Type ) {
2015-02-13 14:40:36 -05:00
x = Nod ( OITAB , x , nil )
typecheck ( & x , Erv )
}
2015-02-23 16:07:24 -05:00
n := Nod ( OCHECKNIL , x , nil )
2015-02-13 14:40:36 -05:00
n . Typecheck = 1
2016-03-07 22:54:46 -08:00
init . Append ( n )
2015-02-13 14:40:36 -05:00
}
2015-10-22 09:51:12 +09:00
// Can this type be stored directly in an interface word?
// Yes, if the representation is a single pointer.
2015-02-17 22:13:49 -05:00
func isdirectiface ( t * Type ) bool {
2015-02-13 14:40:36 -05:00
switch t . Etype {
case TPTR32 ,
TPTR64 ,
TCHAN ,
TMAP ,
TFUNC ,
TUNSAFEPTR :
2015-02-17 22:13:49 -05:00
return true
2015-02-13 14:40:36 -05:00
case TARRAY :
2016-03-10 05:22:14 -08:00
// Array of 1 direct iface type can be direct.
2015-02-17 22:13:49 -05:00
return t . Bound == 1 && isdirectiface ( t . Type )
2015-02-13 14:40:36 -05:00
case TSTRUCT :
2016-03-10 05:22:14 -08:00
// Struct with 1 field of direct iface type can be direct.
return countfield ( t ) == 1 && isdirectiface ( t . Field ( 0 ) . Type )
2015-02-13 14:40:36 -05:00
}
2015-02-17 22:13:49 -05:00
return false
2015-02-13 14:40:36 -05:00
}
2015-03-17 13:56:29 -07:00
2016-03-04 22:02:27 +00:00
// iet returns 'T' if t is a concrete type,
// 'I' if t is an interface type, and 'E' if t is an empty interface type.
2015-03-17 13:56:29 -07:00
// It is used to build calls to the conv* and assert* runtime routines.
2016-03-04 22:02:27 +00:00
func ( t * Type ) iet ( ) byte {
2015-03-17 13:56:29 -07:00
if isnilinter ( t ) {
2016-03-04 22:02:27 +00:00
return 'E'
2015-03-17 13:56:29 -07:00
}
if Isinter ( t ) {
2016-03-04 22:02:27 +00:00
return 'I'
2015-03-17 13:56:29 -07:00
}
2016-03-04 22:02:27 +00:00
return 'T'
2015-03-17 13:56:29 -07:00
}