github.com/akaros/go-akaros@v0.0.0-20181004170632-85005d477eab/src/cmd/gc/fmt.c (about)

     1  // Copyright 2011 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  #include	<u.h>
     6  #include	<libc.h>
     7  #include	"go.h"
     8  #include	"opnames.h"
     9  
    10  //
    11  // Format conversions
    12  //	%L int		Line numbers
    13  //
    14  //	%E int		etype values (aka 'Kind')
    15  //
    16  //	%O int		Node Opcodes
    17  //		Flags: "%#O": print go syntax. (automatic unless fmtmode == FDbg)
    18  //
    19  //	%J Node*	Node details
    20  //		Flags: "%hJ" suppresses things not relevant until walk.
    21  //
    22  //	%V Val*		Constant values
    23  //
    24  //	%S Sym*		Symbols
    25  //		Flags: +,- #: mode (see below)
    26  //			"%hS"	unqualified identifier in any mode
    27  //			"%hhS"  in export mode: unqualified identifier if exported, qualified if not
    28  //
    29  //	%T Type*	Types
    30  //		Flags: +,- #: mode (see below)
    31  //			'l' definition instead of name.
    32  //			'h' omit "func" and receiver in function types
    33  //			'u' (only in -/Sym mode) print type identifiers wit package name instead of prefix.
    34  //
    35  //	%N Node*	Nodes
    36  //		Flags: +,- #: mode (see below)
    37  //			'h' (only in +/debug mode) suppress recursion
    38  //			'l' (only in Error mode) print "foo (type Bar)"
    39  //
    40  //	%H NodeList*	NodeLists
    41  //		Flags: those of %N
    42  //			','  separate items with ',' instead of ';'
    43  //
    44  //	%Z Strlit*	String literals
    45  //
    46  //   In mparith1.c:
    47  //      %B Mpint*	Big integers
    48  //	%F Mpflt*	Big floats
    49  //
    50  //   %S, %T and %N obey use the following flags to set the format mode:
    51  enum {
    52  	FErr,	//     error mode (default)
    53  	FDbg,	//     "%+N" debug mode
    54  	FExp,	//     "%#N" export mode
    55  	FTypeId,  //   "%-N" turning-types-into-symbols-mode: identical types give identical strings
    56  };
    57  static int fmtmode;
    58  static int fmtpkgpfx;	// %uT stickyness
    59  //
    60  // E.g. for %S:	%+S %#S %-S	print an identifier properly qualified for debug/export/internal mode.
    61  //
    62  // The mode flags  +, - and # are sticky, meaning they persist through
    63  // recursions of %N, %T and %S, but not the h and l flags.  The u flag is
    64  // sticky only on %T recursions and only used in %-/Sym mode.
    65  
    66  //
    67  // Useful format combinations:
    68  //
    69  //	%+N   %+H	multiline recursive debug dump of node/nodelist
    70  //	%+hN  %+hH	non recursive debug dump
    71  //
    72  //	%#N   %#T	export format
    73  //	%#lT		type definition instead of name
    74  //	%#hT		omit"func" and receiver in function signature
    75  //
    76  //	%lN		"foo (type Bar)" for error messages
    77  //
    78  //	%-T		type identifiers
    79  //	%-hT		type identifiers without "func" and arg names in type signatures (methodsym)
    80  //	%-uT		type identifiers with package name instead of prefix (typesym, dcommontype, typehash)
    81  //
    82  
    83  
    84  static int
    85  setfmode(unsigned long *flags)
    86  {
    87  	int fm;
    88  
    89  	fm = fmtmode;
    90  	if(*flags & FmtSign)
    91  		fmtmode = FDbg;
    92  	else if(*flags & FmtSharp)
    93  		fmtmode = FExp;
    94  	else if(*flags & FmtLeft)
    95  		fmtmode = FTypeId;
    96  
    97  	*flags &= ~(FmtSharp|FmtLeft|FmtSign);
    98  	return fm;
    99  }
   100  
   101  // Fmt "%L": Linenumbers
   102  static int
   103  Lconv(Fmt *fp)
   104  {
   105  	return linklinefmt(ctxt, fp);
   106  }
   107  
   108  static char*
   109  goopnames[] =
   110  {
   111  	[OADDR]		= "&",
   112  	[OADD]		= "+",
   113  	[OADDSTR]	= "+",
   114  	[OANDAND]	= "&&",
   115  	[OANDNOT]	= "&^",
   116  	[OAND]		= "&",
   117  	[OAPPEND]	= "append",
   118  	[OAS]		= "=",
   119  	[OAS2]		= "=",
   120  	[OBREAK]	= "break",
   121  	[OCALL]		= "function call",	// not actual syntax
   122  	[OCAP]		= "cap",
   123  	[OCASE]		= "case",
   124  	[OCLOSE]	= "close",
   125  	[OCOMPLEX]	= "complex",
   126  	[OCOM]		= "^",
   127  	[OCONTINUE]	= "continue",
   128  	[OCOPY]		= "copy",
   129  	[ODEC]		= "--",
   130  	[ODELETE]	= "delete",
   131  	[ODEFER]	= "defer",
   132  	[ODIV]		= "/",
   133  	[OEQ]		= "==",
   134  	[OFALL]		= "fallthrough",
   135  	[OFOR]		= "for",
   136  	[OGE]		= ">=",
   137  	[OGOTO]		= "goto",
   138  	[OGT]		= ">",
   139  	[OIF]		= "if",
   140  	[OIMAG]		= "imag",
   141  	[OINC]		= "++",
   142  	[OIND]		= "*",
   143  	[OLEN]		= "len",
   144  	[OLE]		= "<=",
   145  	[OLSH]		= "<<",
   146  	[OLT]		= "<",
   147  	[OMAKE]		= "make",
   148  	[OMINUS]	= "-",
   149  	[OMOD]		= "%",
   150  	[OMUL]		= "*",
   151  	[ONEW]		= "new",
   152  	[ONE]		= "!=",
   153  	[ONOT]		= "!",
   154  	[OOROR]		= "||",
   155  	[OOR]		= "|",
   156  	[OPANIC]	= "panic",
   157  	[OPLUS]		= "+",
   158  	[OPRINTN]	= "println",
   159  	[OPRINT]	= "print",
   160  	[ORANGE]	= "range",
   161  	[OREAL]		= "real",
   162  	[ORECV]		= "<-",
   163  	[ORECOVER]	= "recover",
   164  	[ORETURN]	= "return",
   165  	[ORSH]		= ">>",
   166  	[OSELECT]	= "select",
   167  	[OSEND]		= "<-",
   168  	[OSUB]		= "-",
   169  	[OSWITCH]	= "switch",
   170  	[OXOR]		= "^",
   171  };
   172  
   173  // Fmt "%O":  Node opcodes
   174  static int
   175  Oconv(Fmt *fp)
   176  {
   177  	int o;
   178  
   179  	o = va_arg(fp->args, int);
   180  	if((fp->flags & FmtSharp) || fmtmode != FDbg)
   181  		if(o >= 0 && o < nelem(goopnames) && goopnames[o] != nil)
   182  			return fmtstrcpy(fp, goopnames[o]);
   183  
   184  	if(o >= 0 && o < nelem(opnames) && opnames[o] != nil)
   185  		return fmtstrcpy(fp, opnames[o]);
   186  
   187  	return fmtprint(fp, "O-%d", o);
   188  }
   189  
   190  static const char* classnames[] = {
   191  	"Pxxx",
   192  	"PEXTERN",
   193  	"PAUTO",
   194  	"PPARAM",
   195  	"PPARAMOUT",
   196  	"PPARAMREF",
   197  	"PFUNC",
   198  };
   199  
   200  // Fmt "%J": Node details.
   201  static int
   202  Jconv(Fmt *fp)
   203  {
   204  	Node *n;
   205  	char *s;
   206  	int c;
   207  
   208  	n = va_arg(fp->args, Node*);
   209  
   210  	c = fp->flags&FmtShort;
   211  
   212  	if(!c && n->ullman != 0)
   213  		fmtprint(fp, " u(%d)", n->ullman);
   214  
   215  	if(!c && n->addable != 0)
   216  		fmtprint(fp, " a(%d)", n->addable);
   217  
   218  	if(!c && n->vargen != 0)
   219  		fmtprint(fp, " g(%d)", n->vargen);
   220  
   221  	if(n->lineno != 0)
   222  		fmtprint(fp, " l(%d)", n->lineno);
   223  
   224  	if(!c && n->xoffset != BADWIDTH)
   225  		fmtprint(fp, " x(%lld%+lld)", n->xoffset, n->stkdelta);
   226  
   227  	if(n->class != 0) {
   228  		s = "";
   229  		if(n->class & PHEAP) s = ",heap";
   230  		if((n->class & ~PHEAP) < nelem(classnames))
   231  			fmtprint(fp, " class(%s%s)", classnames[n->class&~PHEAP], s);
   232  		else
   233  			fmtprint(fp, " class(%d?%s)", n->class&~PHEAP, s);
   234  	}
   235  
   236  	if(n->colas != 0)
   237  		fmtprint(fp, " colas(%d)", n->colas);
   238  
   239  	if(n->funcdepth != 0)
   240  		fmtprint(fp, " f(%d)", n->funcdepth);
   241  
   242  	switch(n->esc) {
   243  	case EscUnknown:
   244  		break;
   245  	case EscHeap:
   246  		fmtprint(fp, " esc(h)");
   247  		break;
   248  	case EscScope:
   249  		fmtprint(fp, " esc(s)");
   250  		break;
   251  	case EscNone:
   252  		fmtprint(fp, " esc(no)");
   253  		break;
   254  	case EscNever:
   255  		if(!c)
   256  			fmtprint(fp, " esc(N)");
   257  		break;
   258  	default:
   259  		fmtprint(fp, " esc(%d)", n->esc);
   260  		break;
   261  	}
   262  
   263  	if(n->escloopdepth)
   264  		fmtprint(fp, " ld(%d)", n->escloopdepth);
   265  
   266  	if(!c && n->typecheck != 0)
   267  		fmtprint(fp, " tc(%d)", n->typecheck);
   268  
   269  	if(!c && n->dodata != 0)
   270  		fmtprint(fp, " dd(%d)", n->dodata);
   271  
   272  	if(n->isddd != 0)
   273  		fmtprint(fp, " isddd(%d)", n->isddd);
   274  
   275  	if(n->implicit != 0)
   276  		fmtprint(fp, " implicit(%d)", n->implicit);
   277  
   278  	if(n->embedded != 0)
   279  		fmtprint(fp, " embedded(%d)", n->embedded);
   280  
   281  	if(!c && n->used != 0)
   282  		fmtprint(fp, " used(%d)", n->used);
   283  	return 0;
   284  }
   285  
   286  // Fmt "%V": Values
   287  static int
   288  Vconv(Fmt *fp)
   289  {
   290  	Val *v;
   291  	vlong x;
   292  
   293  	v = va_arg(fp->args, Val*);
   294  
   295  	switch(v->ctype) {
   296  	case CTINT:
   297  		if((fp->flags & FmtSharp) || fmtmode == FExp)
   298  			return fmtprint(fp, "%#B", v->u.xval);
   299  		return fmtprint(fp, "%B", v->u.xval);
   300  	case CTRUNE:
   301  		x = mpgetfix(v->u.xval);
   302  		if(' ' <= x && x < 0x80 && x != '\\' && x != '\'')
   303  			return fmtprint(fp, "'%c'", (int)x);
   304  		if(0 <= x && x < (1<<16))
   305  			return fmtprint(fp, "'\\u%04ux'", (int)x);
   306  		if(0 <= x && x <= Runemax)
   307  			return fmtprint(fp, "'\\U%08llux'", x);
   308  		return fmtprint(fp, "('\\x00' + %B)", v->u.xval);
   309  	case CTFLT:
   310  		if((fp->flags & FmtSharp) || fmtmode == FExp)
   311  			return fmtprint(fp, "%F", v->u.fval);
   312  		return fmtprint(fp, "%#F", v->u.fval);
   313  	case CTCPLX:
   314  		if((fp->flags & FmtSharp) || fmtmode == FExp)
   315  			return fmtprint(fp, "(%F+%Fi)", &v->u.cval->real, &v->u.cval->imag);
   316  		if(mpcmpfltc(&v->u.cval->real, 0) == 0)
   317  			return fmtprint(fp, "%#Fi", &v->u.cval->imag);
   318  		if(mpcmpfltc(&v->u.cval->imag, 0) == 0)
   319  			return fmtprint(fp, "%#F", &v->u.cval->real);
   320  		if(mpcmpfltc(&v->u.cval->imag, 0) < 0)
   321  			return fmtprint(fp, "(%#F%#Fi)", &v->u.cval->real, &v->u.cval->imag);
   322  		return fmtprint(fp, "(%#F+%#Fi)", &v->u.cval->real, &v->u.cval->imag);
   323  	case CTSTR:
   324  		return fmtprint(fp, "\"%Z\"", v->u.sval);
   325  	case CTBOOL:
   326  		if( v->u.bval)
   327  			return fmtstrcpy(fp, "true");
   328  		return fmtstrcpy(fp, "false");
   329  	case CTNIL:
   330  		return fmtstrcpy(fp, "nil");
   331  	}
   332  	return fmtprint(fp, "<ctype=%d>", v->ctype);
   333  }
   334  
   335  // Fmt "%Z": escaped string literals
   336  static int
   337  Zconv(Fmt *fp)
   338  {
   339  	Rune r;
   340  	Strlit *sp;
   341  	char *s, *se;
   342  	int n;
   343  
   344  	sp = va_arg(fp->args, Strlit*);
   345  	if(sp == nil)
   346  		return fmtstrcpy(fp, "<nil>");
   347  
   348  	s = sp->s;
   349  	se = s + sp->len;
   350  
   351  	// NOTE: Keep in sync with ../ld/go.c:/^Zconv.
   352  	while(s < se) {
   353  		n = chartorune(&r, s);
   354  		s += n;
   355  		switch(r) {
   356  		case Runeerror:
   357  			if(n == 1) {
   358  				fmtprint(fp, "\\x%02x", (uchar)*(s-1));
   359  				break;
   360  			}
   361  			// fall through
   362  		default:
   363  			if(r < ' ') {
   364  				fmtprint(fp, "\\x%02x", r);
   365  				break;
   366  			}
   367  			fmtrune(fp, r);
   368  			break;
   369  		case '\t':
   370  			fmtstrcpy(fp, "\\t");
   371  			break;
   372  		case '\n':
   373  			fmtstrcpy(fp, "\\n");
   374  			break;
   375  		case '\"':
   376  		case '\\':
   377  			fmtrune(fp, '\\');
   378  			fmtrune(fp, r);
   379  			break;
   380  		case 0xFEFF: // BOM, basically disallowed in source code
   381  			fmtstrcpy(fp, "\\uFEFF");
   382  			break;
   383  		}
   384  	}
   385  	return 0;
   386  }
   387  
   388  /*
   389  s%,%,\n%g
   390  s%\n+%\n%g
   391  s%^[	]*T%%g
   392  s%,.*%%g
   393  s%.+%	[T&]		= "&",%g
   394  s%^	........*\]%&~%g
   395  s%~	%%g
   396  */
   397  
   398  static char*
   399  etnames[] =
   400  {
   401  	[TINT]		= "INT",
   402  	[TUINT]		= "UINT",
   403  	[TINT8]		= "INT8",
   404  	[TUINT8]	= "UINT8",
   405  	[TINT16]	= "INT16",
   406  	[TUINT16]	= "UINT16",
   407  	[TINT32]	= "INT32",
   408  	[TUINT32]	= "UINT32",
   409  	[TINT64]	= "INT64",
   410  	[TUINT64]	= "UINT64",
   411  	[TUINTPTR]	= "UINTPTR",
   412  	[TFLOAT32]	= "FLOAT32",
   413  	[TFLOAT64]	= "FLOAT64",
   414  	[TCOMPLEX64]	= "COMPLEX64",
   415  	[TCOMPLEX128]	= "COMPLEX128",
   416  	[TBOOL]		= "BOOL",
   417  	[TPTR32]	= "PTR32",
   418  	[TPTR64]	= "PTR64",
   419  	[TFUNC]		= "FUNC",
   420  	[TARRAY]	= "ARRAY",
   421  	[TSTRUCT]	= "STRUCT",
   422  	[TCHAN]		= "CHAN",
   423  	[TMAP]		= "MAP",
   424  	[TINTER]	= "INTER",
   425  	[TFORW]		= "FORW",
   426  	[TFIELD]	= "FIELD",
   427  	[TSTRING]	= "STRING",
   428  	[TANY]		= "ANY",
   429  };
   430  
   431  // Fmt "%E": etype
   432  static int
   433  Econv(Fmt *fp)
   434  {
   435  	int et;
   436  
   437  	et = va_arg(fp->args, int);
   438  	if(et >= 0 && et < nelem(etnames) && etnames[et] != nil)
   439  		return fmtstrcpy(fp, etnames[et]);
   440  	return fmtprint(fp, "E-%d", et);
   441  }
   442  
   443  // Fmt "%S": syms
   444  static int
   445  symfmt(Fmt *fp, Sym *s)
   446  {
   447  	char *p;
   448  
   449  	if(s->pkg && !(fp->flags&FmtShort)) {
   450  		switch(fmtmode) {
   451  		case FErr:	// This is for the user
   452  			if(s->pkg == localpkg)
   453  				return fmtstrcpy(fp, s->name);
   454  			// If the name was used by multiple packages, display the full path,
   455  			if(s->pkg->name && pkglookup(s->pkg->name, nil)->npkg > 1)
   456  				return fmtprint(fp, "\"%Z\".%s", s->pkg->path, s->name);
   457  			return fmtprint(fp, "%s.%s", s->pkg->name, s->name);
   458  		case FDbg:
   459  			return fmtprint(fp, "%s.%s", s->pkg->name, s->name);
   460  		case FTypeId:
   461  			if(fp->flags&FmtUnsigned)
   462  				return fmtprint(fp, "%s.%s", s->pkg->name, s->name);	// dcommontype, typehash
   463  			return fmtprint(fp, "%s.%s", s->pkg->prefix, s->name);	// (methodsym), typesym, weaksym
   464  		case FExp:
   465  			if(s->name && s->name[0] == '.')
   466  				fatal("exporting synthetic symbol %s", s->name);
   467  			if(s->pkg != builtinpkg)
   468  				return fmtprint(fp, "@\"%Z\".%s", s->pkg->path, s->name);
   469  		}
   470  	}
   471  
   472  	if(fp->flags&FmtByte) {  // FmtByte (hh) implies FmtShort (h)
   473  		// skip leading "type." in method name
   474  		p = utfrrune(s->name, '.');
   475  		if(p)
   476  			p++;
   477  		else
   478  			p = s->name;
   479  
   480  		// exportname needs to see the name without the prefix too.
   481  		if((fmtmode == FExp && !exportname(p)) || fmtmode == FDbg)
   482  			return fmtprint(fp, "@\"%Z\".%s", s->pkg->path, p);
   483  
   484  		return fmtstrcpy(fp, p);
   485  	}
   486  
   487  	return fmtstrcpy(fp, s->name);
   488  }
   489  
   490  static char*
   491  basicnames[] =
   492  {
   493  	[TINT]		= "int",
   494  	[TUINT]		= "uint",
   495  	[TINT8]		= "int8",
   496  	[TUINT8]	= "uint8",
   497  	[TINT16]	= "int16",
   498  	[TUINT16]	= "uint16",
   499  	[TINT32]	= "int32",
   500  	[TUINT32]	= "uint32",
   501  	[TINT64]	= "int64",
   502  	[TUINT64]	= "uint64",
   503  	[TUINTPTR]	= "uintptr",
   504  	[TFLOAT32]	= "float32",
   505  	[TFLOAT64]	= "float64",
   506  	[TCOMPLEX64]	= "complex64",
   507  	[TCOMPLEX128]	= "complex128",
   508  	[TBOOL]		= "bool",
   509  	[TANY]		= "any",
   510  	[TSTRING]	= "string",
   511  	[TNIL]		= "nil",
   512  	[TIDEAL]	= "untyped number",
   513  	[TBLANK]	= "blank",
   514  };
   515  
   516  static int
   517  typefmt(Fmt *fp, Type *t)
   518  {
   519  	Type *t1;
   520  	Sym *s;
   521  
   522  	if(t == T)
   523  		return fmtstrcpy(fp, "<T>");
   524  
   525  	if (t == bytetype || t == runetype) {
   526  		// in %-T mode collapse rune and byte with their originals.
   527  		if(fmtmode != FTypeId)
   528  			return fmtprint(fp, "%hS", t->sym);
   529  		t = types[t->etype];
   530  	}
   531  
   532  	if(t == errortype)
   533  		return fmtstrcpy(fp, "error");
   534  
   535  	// Unless the 'l' flag was specified, if the type has a name, just print that name.
   536  	if(!(fp->flags&FmtLong) && t->sym && t->etype != TFIELD && t != types[t->etype]) {
   537  		switch(fmtmode) {
   538  		case FTypeId:
   539  			if(fp->flags&FmtShort) {
   540  				if(t->vargen)
   541  					return fmtprint(fp, "%hS·%d", t->sym, t->vargen);
   542  				return fmtprint(fp, "%hS", t->sym);
   543  			}
   544  			if(fp->flags&FmtUnsigned)
   545  				return fmtprint(fp, "%uS", t->sym);
   546  			// fallthrough
   547  		case FExp:
   548  			if(t->sym->pkg == localpkg && t->vargen)
   549  				return fmtprint(fp, "%S·%d", t->sym, t->vargen);
   550  			break;
   551  		}
   552  		return fmtprint(fp, "%S", t->sym);
   553  	}
   554  
   555  	if(t->etype < nelem(basicnames) && basicnames[t->etype] != nil) {
   556  		if(fmtmode == FErr && (t == idealbool || t == idealstring))
   557  			fmtstrcpy(fp, "untyped ");
   558  		return fmtstrcpy(fp, basicnames[t->etype]);
   559  	}
   560  
   561  	if(fmtmode == FDbg)
   562  		fmtprint(fp, "%E-", t->etype);
   563  
   564  	switch(t->etype) {
   565  	case TPTR32:
   566  	case TPTR64:
   567  		if(fmtmode == FTypeId && (fp->flags&FmtShort))
   568  			return fmtprint(fp, "*%hT", t->type);
   569  		return fmtprint(fp, "*%T", t->type);
   570  
   571  	case TARRAY:
   572  		if(t->bound >= 0)
   573  			return fmtprint(fp, "[%lld]%T", t->bound, t->type);
   574  		if(t->bound == -100)
   575  			return fmtprint(fp, "[...]%T", t->type);
   576  		return fmtprint(fp, "[]%T", t->type);
   577  
   578  	case TCHAN:
   579  		switch(t->chan) {
   580  		case Crecv:
   581  			return fmtprint(fp, "<-chan %T", t->type);
   582  		case Csend:
   583  			return fmtprint(fp, "chan<- %T", t->type);
   584  		}
   585  
   586  		if(t->type != T && t->type->etype == TCHAN && t->type->sym == S && t->type->chan == Crecv)
   587  			return fmtprint(fp, "chan (%T)", t->type);
   588  		return fmtprint(fp, "chan %T", t->type);
   589  
   590  	case TMAP:
   591  		return fmtprint(fp, "map[%T]%T", t->down, t->type);
   592  
   593  	case TINTER:
   594  		fmtstrcpy(fp, "interface {");
   595  		for(t1=t->type; t1!=T; t1=t1->down)
   596  			if(exportname(t1->sym->name)) {
   597  				if(t1->down)
   598  					fmtprint(fp, " %hS%hT;", t1->sym, t1->type);
   599  				else
   600  					fmtprint(fp, " %hS%hT ", t1->sym, t1->type);
   601  			} else {
   602  				// non-exported method names must be qualified
   603  				if(t1->down)
   604  					fmtprint(fp, " %uS%hT;", t1->sym, t1->type);
   605  				else
   606  					fmtprint(fp, " %uS%hT ", t1->sym, t1->type);
   607  			}
   608  		fmtstrcpy(fp, "}");
   609  		return 0;
   610  
   611  	case TFUNC:
   612  		if(fp->flags & FmtShort) {
   613  			fmtprint(fp, "%T", getinargx(t));
   614  		} else {
   615  			if(t->thistuple)
   616  				fmtprint(fp, "method%T func%T", getthisx(t), getinargx(t));
   617  			else
   618  				fmtprint(fp, "func%T", getinargx(t));
   619  		}
   620  		switch(t->outtuple) {
   621  		case 0:
   622  			break;
   623  		case 1:
   624  			if(fmtmode != FExp) {
   625  				fmtprint(fp, " %T", getoutargx(t)->type->type);	 // struct->field->field's type
   626  				break;
   627  			}
   628  		default:
   629  			fmtprint(fp, " %T", getoutargx(t));
   630  			break;
   631  		}
   632  		return 0;
   633  
   634  	case TSTRUCT:
   635  		// Format the bucket struct for map[x]y as map.bucket[x]y.
   636  		// This avoids a recursive print that generates very long names.
   637  		if(t->map != T) {
   638  			if(t->map->bucket == t) {
   639  				return fmtprint(fp, "map.bucket[%T]%T", t->map->down, t->map->type);
   640  			}
   641  			if(t->map->hmap == t) {
   642  				return fmtprint(fp, "map.hdr[%T]%T", t->map->down, t->map->type);
   643  			}
   644  			if(t->map->hiter == t) {
   645  				return fmtprint(fp, "map.iter[%T]%T", t->map->down, t->map->type);
   646  			}
   647  			yyerror("unknown internal map type");
   648  		}
   649  
   650  		if(t->funarg) {
   651  			fmtstrcpy(fp, "(");
   652  			if(fmtmode == FTypeId || fmtmode == FErr) {	// no argument names on function signature, and no "noescape"/"nosplit" tags
   653  				for(t1=t->type; t1!=T; t1=t1->down)
   654  					if(t1->down)
   655  						fmtprint(fp, "%hT, ", t1);
   656  					else
   657  						fmtprint(fp, "%hT", t1);
   658  			} else {
   659  				for(t1=t->type; t1!=T; t1=t1->down)
   660  					if(t1->down)
   661  						fmtprint(fp, "%T, ", t1);
   662  					else
   663  						fmtprint(fp, "%T", t1);
   664  			}
   665  			fmtstrcpy(fp, ")");
   666  		} else {
   667  			fmtstrcpy(fp, "struct {");
   668  			for(t1=t->type; t1!=T; t1=t1->down)
   669  				if(t1->down)
   670  					fmtprint(fp, " %lT;", t1);
   671  				else
   672  					fmtprint(fp, " %lT ", t1);
   673  			fmtstrcpy(fp, "}");
   674  		}
   675  		return 0;
   676  
   677  	case TFIELD:
   678  		if(!(fp->flags&FmtShort)) {
   679  			s = t->sym;
   680  
   681  			// Take the name from the original, lest we substituted it with ~r%d or ~b%d.
   682  			// ~r%d is a (formerly) unnamed result.
   683  			if ((fmtmode == FErr || fmtmode == FExp) && t->nname != N) {
   684  				if(t->nname->orig != N) {
   685  					s = t->nname->orig->sym;
   686  					if(s != S && s->name[0] == '~') {
   687  						if(s->name[1] == 'r') // originally an unnamed result
   688  							s = S;
   689  						else if(s->name[1] == 'b') // originally the blank identifier _
   690  							s = lookup("_");
   691  					}
   692  				} else 
   693  					s = S;
   694  			}
   695  			
   696  			if(s != S && !t->embedded) {
   697  				if(t->funarg)
   698  					fmtprint(fp, "%N ", t->nname);
   699  				else if(fp->flags&FmtLong)
   700  					fmtprint(fp, "%hhS ", s);  // qualify non-exported names (used on structs, not on funarg)
   701  				else 
   702  					fmtprint(fp, "%S ", s);
   703  			} else if(fmtmode == FExp) {
   704  				// TODO(rsc) this breaks on the eliding of unused arguments in the backend
   705  				// when this is fixed, the special case in dcl.c checkarglist can go.
   706  				//if(t->funarg)
   707  				//	fmtstrcpy(fp, "_ ");
   708  				//else
   709  				if(t->embedded && s->pkg != nil && s->pkg->path->len > 0)
   710  					fmtprint(fp, "@\"%Z\".? ", s->pkg->path);
   711  				else
   712  					fmtstrcpy(fp, "? ");
   713  			}
   714  		}
   715  
   716  		if(t->isddd)
   717  			fmtprint(fp, "...%T", t->type->type);
   718  		else
   719  			fmtprint(fp, "%T", t->type);
   720  
   721  		if(!(fp->flags&FmtShort) && t->note)
   722  			fmtprint(fp, " \"%Z\"", t->note);
   723  		return 0;
   724  
   725  	case TFORW:
   726  		if(t->sym)
   727  			return fmtprint(fp, "undefined %S", t->sym);
   728  		return fmtstrcpy(fp, "undefined");
   729  
   730  	case TUNSAFEPTR:
   731  		if(fmtmode == FExp)
   732  			return fmtprint(fp, "@\"unsafe\".Pointer");
   733  		return fmtprint(fp, "unsafe.Pointer");
   734  	}
   735  
   736  	if(fmtmode == FExp)
   737  		fatal("missing %E case during export", t->etype);
   738  	// Don't know how to handle - fall back to detailed prints.
   739  	return fmtprint(fp, "%E <%S> %T", t->etype, t->sym, t->type);
   740  }
   741  
   742  // Statements which may be rendered with a simplestmt as init.
   743  static int
   744  stmtwithinit(int op)
   745  {
   746  	switch(op) {
   747  	case OIF:
   748  	case OFOR:
   749  	case OSWITCH:
   750  		return 1;
   751  	}
   752  	return 0;
   753  }
   754  
   755  static int
   756  stmtfmt(Fmt *f, Node *n)
   757  {
   758  	int complexinit, simpleinit, extrablock;
   759  
   760  	// some statements allow for an init, but at most one,
   761  	// but we may have an arbitrary number added, eg by typecheck
   762  	// and inlining.  If it doesn't fit the syntax, emit an enclosing
   763  	// block starting with the init statements.
   764  
   765  	// if we can just say "for" n->ninit; ... then do so
   766  	simpleinit = n->ninit && !n->ninit->next && !n->ninit->n->ninit && stmtwithinit(n->op);
   767  	// otherwise, print the inits as separate statements
   768  	complexinit = n->ninit && !simpleinit && (fmtmode != FErr);
   769  	// but if it was for if/for/switch, put in an extra surrounding block to limit the scope
   770  	extrablock = complexinit && stmtwithinit(n->op);
   771  
   772  	if(extrablock)
   773  		fmtstrcpy(f, "{");
   774  
   775  	if(complexinit)
   776  		fmtprint(f, " %H; ", n->ninit);
   777  
   778  	switch(n->op){
   779  	case ODCL:
   780  		if(fmtmode == FExp) {
   781  			switch(n->left->class&~PHEAP) {
   782  			case PPARAM:
   783  			case PPARAMOUT:
   784  			case PAUTO:
   785  				fmtprint(f, "var %N %T", n->left, n->left->type);
   786  				goto ret;
   787  			}
   788  		}			
   789  		fmtprint(f, "var %S %T", n->left->sym, n->left->type);
   790  		break;
   791  
   792  	case ODCLFIELD:
   793  		if(n->left)
   794  			fmtprint(f, "%N %N", n->left, n->right);
   795  		else
   796  			fmtprint(f, "%N", n->right);
   797  		break;
   798  
   799  	case OAS:
   800  		// Don't export "v = <N>" initializing statements, hope they're always 
   801  		// preceded by the DCL which will be re-parsed and typecheck to reproduce
   802  		// the "v = <N>" again.
   803  		if(fmtmode == FExp && n->right == N)
   804  			break;
   805  
   806  		if(n->colas && !complexinit)
   807  			fmtprint(f, "%N := %N", n->left, n->right);
   808  		else
   809  			fmtprint(f, "%N = %N", n->left, n->right);
   810  		break;
   811  
   812  	case OASOP:
   813  		if(n->implicit) {
   814  			if(n->etype == OADD)
   815  				fmtprint(f, "%N++", n->left);
   816  			else
   817  				fmtprint(f, "%N--", n->left);
   818  			break;
   819  		}
   820  		fmtprint(f, "%N %#O= %N", n->left, n->etype, n->right);
   821  		break;
   822  
   823  	case OAS2:
   824  		if(n->colas && !complexinit) {
   825  			fmtprint(f, "%,H := %,H", n->list, n->rlist);
   826  			break;
   827  		}
   828  		// fallthrough
   829  	case OAS2DOTTYPE:
   830  	case OAS2FUNC:
   831  	case OAS2MAPR:
   832  	case OAS2RECV:
   833  		fmtprint(f, "%,H = %,H", n->list, n->rlist);
   834  		break;
   835  
   836  	case ORETURN:
   837  		fmtprint(f, "return %,H", n->list);
   838  		break;
   839  
   840  	case ORETJMP:
   841  		fmtprint(f, "retjmp %S", n->sym);
   842  		break;
   843  	
   844  	case OPROC:
   845  		fmtprint(f, "go %N", n->left);
   846  		break;
   847  
   848  	case ODEFER:
   849  		fmtprint(f, "defer %N", n->left);
   850  		break;
   851  
   852  	case OIF:
   853  		if(simpleinit)
   854  			fmtprint(f, "if %N; %N { %H }", n->ninit->n, n->ntest, n->nbody);
   855  		else
   856  			fmtprint(f, "if %N { %H }", n->ntest, n->nbody);
   857  		if(n->nelse)
   858  			fmtprint(f, " else { %H }", n->nelse);
   859  		break;
   860  
   861  	case OFOR:
   862  		if(fmtmode == FErr) {	// TODO maybe only if FmtShort, same below
   863  			fmtstrcpy(f, "for loop");
   864  			break;
   865  		}
   866  
   867  		fmtstrcpy(f, "for");
   868  		if(simpleinit)
   869  			fmtprint(f, " %N;", n->ninit->n);
   870  		else if(n->nincr)
   871  			fmtstrcpy(f, " ;");
   872  
   873  		if(n->ntest)
   874  			fmtprint(f, " %N", n->ntest);
   875  
   876  		if(n->nincr)
   877  			fmtprint(f, "; %N", n->nincr);
   878  		else if(simpleinit)
   879  			fmtstrcpy(f, ";");
   880  
   881  
   882  		fmtprint(f, " { %H }", n->nbody);
   883  		break;
   884  
   885  	case ORANGE:
   886  		if(fmtmode == FErr) {
   887  			fmtstrcpy(f, "for loop");
   888  			break;
   889  		}
   890  		
   891  		if(n->list == nil) {
   892  			fmtprint(f, "for range %N { %H }", n->right, n->nbody);
   893  			break;
   894  		}
   895  		fmtprint(f, "for %,H = range %N { %H }", n->list, n->right, n->nbody);
   896  		break;
   897  
   898  	case OSELECT:
   899  	case OSWITCH:
   900  		if(fmtmode == FErr) {
   901  			fmtprint(f, "%O statement", n->op);
   902  			break;
   903  		}
   904  
   905  		fmtprint(f, "%#O", n->op);
   906  		if(simpleinit)
   907  			fmtprint(f, " %N;", n->ninit->n);
   908  		if(n->ntest)
   909  			fmtprint(f, "%N", n->ntest);
   910  
   911  		fmtprint(f, " { %H }", n->list);
   912  		break;
   913  
   914  	case OCASE:
   915  	case OXCASE:
   916  		if(n->list)
   917  			fmtprint(f, "case %,H: %H", n->list, n->nbody);
   918  		else
   919  			fmtprint(f, "default: %H", n->nbody);
   920  		break;
   921  
   922  	case OBREAK:
   923  	case OCONTINUE:
   924  	case OGOTO:
   925  	case OFALL:
   926  	case OXFALL:
   927  		if(n->left)
   928  			fmtprint(f, "%#O %N", n->op, n->left);
   929  		else
   930  			fmtprint(f, "%#O", n->op);
   931  		break;
   932  
   933  	case OEMPTY:
   934  		break;
   935  
   936  	case OLABEL:
   937  		fmtprint(f, "%N: ", n->left);
   938  		break;
   939  	  
   940  	}
   941  ret:
   942  
   943  	if(extrablock)
   944  		fmtstrcpy(f, "}");
   945  
   946  	return 0;
   947  }
   948  
   949  
   950  static int opprec[] = {
   951  	[OAPPEND] = 8,
   952  	[OARRAYBYTESTR] = 8,
   953  	[OARRAYLIT] = 8,
   954  	[OARRAYRUNESTR] = 8,
   955  	[OCALLFUNC] = 8,
   956  	[OCALLINTER] = 8,
   957  	[OCALLMETH] = 8,
   958  	[OCALL] = 8,
   959  	[OCAP] = 8,
   960  	[OCLOSE] = 8,
   961  	[OCONVIFACE] = 8,
   962  	[OCONVNOP] = 8,
   963  	[OCONV] = 8,
   964  	[OCOPY] = 8,
   965  	[ODELETE] = 8,
   966  	[OLEN] = 8,
   967  	[OLITERAL] = 8,
   968  	[OMAKESLICE] = 8,
   969  	[OMAKE] = 8,
   970  	[OMAPLIT] = 8,
   971  	[ONAME] = 8,
   972  	[ONEW] = 8,
   973  	[ONONAME] = 8,
   974  	[OPACK] = 8,
   975  	[OPANIC] = 8,
   976  	[OPAREN] = 8,
   977  	[OPRINTN] = 8,
   978  	[OPRINT] = 8,
   979  	[ORUNESTR] = 8,
   980  	[OSTRARRAYBYTE] = 8,
   981  	[OSTRARRAYRUNE] = 8,
   982  	[OSTRUCTLIT] = 8,
   983  	[OTARRAY] = 8,
   984  	[OTCHAN] = 8,
   985  	[OTFUNC] = 8,
   986  	[OTINTER] = 8,
   987  	[OTMAP] = 8,
   988  	[OTSTRUCT] = 8,
   989  
   990  	[OINDEXMAP] = 8,
   991  	[OINDEX] = 8,
   992  	[OSLICE] = 8,
   993  	[OSLICESTR] = 8,
   994  	[OSLICEARR] = 8,
   995  	[OSLICE3] = 8,
   996  	[OSLICE3ARR] = 8,
   997  	[ODOTINTER] = 8,
   998  	[ODOTMETH] = 8,
   999  	[ODOTPTR] = 8,
  1000  	[ODOTTYPE2] = 8,
  1001  	[ODOTTYPE] = 8,
  1002  	[ODOT] = 8,
  1003  	[OXDOT] = 8,
  1004  	[OCALLPART] = 8,
  1005  
  1006  	[OPLUS] = 7,
  1007  	[ONOT] = 7,
  1008  	[OCOM] = 7,
  1009  	[OMINUS] = 7,
  1010  	[OADDR] = 7,
  1011  	[OIND] = 7,
  1012  	[ORECV] = 7,
  1013  
  1014  	[OMUL] = 6,
  1015  	[ODIV] = 6,
  1016  	[OMOD] = 6,
  1017  	[OLSH] = 6,
  1018  	[ORSH] = 6,
  1019  	[OAND] = 6,
  1020  	[OANDNOT] = 6,
  1021  
  1022  	[OADD] = 5,
  1023  	[OSUB] = 5,
  1024  	[OOR] = 5,
  1025  	[OXOR] = 5,
  1026  
  1027  	[OEQ] = 4,
  1028  	[OLT] = 4,
  1029  	[OLE] = 4,
  1030  	[OGE] = 4,
  1031  	[OGT] = 4,
  1032  	[ONE] = 4,
  1033  	[OCMPSTR] = 4,
  1034  	[OCMPIFACE] = 4,
  1035  
  1036  	[OSEND] = 3,
  1037  	[OANDAND] = 2,
  1038  	[OOROR] = 1,
  1039  
  1040  	// Statements handled by stmtfmt
  1041  	[OAS] = -1,
  1042  	[OAS2] = -1,
  1043  	[OAS2DOTTYPE] = -1,
  1044  	[OAS2FUNC] = -1,
  1045  	[OAS2MAPR] = -1,
  1046  	[OAS2RECV] = -1,
  1047  	[OASOP] = -1,
  1048  	[OBREAK] = -1,
  1049  	[OCASE] = -1,
  1050  	[OCONTINUE] = -1,
  1051  	[ODCL] = -1,
  1052  	[ODCLFIELD] = -1,
  1053  	[ODEFER] = -1,
  1054  	[OEMPTY] = -1,
  1055  	[OFALL] = -1,
  1056  	[OFOR] = -1,
  1057  	[OGOTO] = -1,
  1058  	[OIF] = -1,
  1059  	[OLABEL] = -1,
  1060  	[OPROC] = -1,
  1061  	[ORANGE] = -1,
  1062  	[ORETURN] = -1,
  1063  	[OSELECT] = -1,
  1064  	[OSWITCH] = -1,
  1065  	[OXCASE] = -1,
  1066  	[OXFALL] = -1,
  1067  
  1068  	[OEND] = 0
  1069  };
  1070  
  1071  static int
  1072  exprfmt(Fmt *f, Node *n, int prec)
  1073  {
  1074  	int nprec;
  1075  	int ptrlit;
  1076  	NodeList *l;
  1077  
  1078  	while(n && n->implicit && (n->op == OIND || n->op == OADDR))
  1079  		n = n->left;
  1080  
  1081  	if(n == N)
  1082  		return fmtstrcpy(f, "<N>");
  1083  
  1084  	nprec = opprec[n->op];
  1085  	if(n->op == OTYPE && n->sym != S)
  1086  		nprec = 8;
  1087  
  1088  	if(prec > nprec)
  1089  		return fmtprint(f, "(%N)", n);
  1090  
  1091  	switch(n->op) {
  1092  	case OPAREN:
  1093  		return fmtprint(f, "(%N)", n->left);
  1094  
  1095  	case ODDDARG:
  1096  		return fmtprint(f, "... argument");
  1097  
  1098  	case OREGISTER:
  1099  		return fmtprint(f, "%R", n->val.u.reg);
  1100  
  1101  	case OLITERAL:  // this is a bit of a mess
  1102  		if(fmtmode == FErr && n->sym != S)
  1103  			return fmtprint(f, "%S", n->sym);
  1104  		if(n->val.ctype == CTNIL && n->orig != N && n->orig != n)
  1105  			return exprfmt(f, n->orig, prec);
  1106  		if(n->type != T && n->type != types[n->type->etype] && n->type != idealbool && n->type != idealstring) {
  1107  			// Need parens when type begins with what might
  1108  			// be misinterpreted as a unary operator: * or <-.
  1109  			if(isptr[n->type->etype] || (n->type->etype == TCHAN && n->type->chan == Crecv))
  1110  				return fmtprint(f, "(%T)(%V)", n->type, &n->val);
  1111  			else 
  1112  				return fmtprint(f, "%T(%V)", n->type, &n->val);
  1113  		}
  1114  		return fmtprint(f, "%V", &n->val);
  1115  
  1116  	case ONAME:
  1117  		// Special case: name used as local variable in export.
  1118  		// _ becomes ~b%d internally; print as _ for export
  1119  		if(fmtmode == FExp && n->sym && n->sym->name[0] == '~' && n->sym->name[1] == 'b')
  1120  			return fmtprint(f, "_");
  1121  		if(fmtmode == FExp && n->sym && !isblank(n) && n->vargen > 0)
  1122  			return fmtprint(f, "%S·%d", n->sym, n->vargen);
  1123  
  1124  		// Special case: explicit name of func (*T) method(...) is turned into pkg.(*T).method,
  1125  		// but for export, this should be rendered as (*pkg.T).meth.
  1126  		// These nodes have the special property that they are names with a left OTYPE and a right ONAME.
  1127  		if(fmtmode == FExp && n->left && n->left->op == OTYPE && n->right && n->right->op == ONAME) {
  1128  			if(isptr[n->left->type->etype])
  1129  				return fmtprint(f, "(%T).%hhS", n->left->type, n->right->sym);
  1130  			else
  1131  				return fmtprint(f, "%T.%hhS", n->left->type, n->right->sym);
  1132  		}
  1133  		//fallthrough
  1134  	case OPACK:
  1135  	case ONONAME:
  1136  		return fmtprint(f, "%S", n->sym);
  1137  
  1138  	case OTYPE:
  1139  		if(n->type == T && n->sym != S)
  1140  			return fmtprint(f, "%S", n->sym);
  1141  		return fmtprint(f, "%T", n->type);
  1142  
  1143  	case OTARRAY:
  1144  		if(n->left)
  1145  			return fmtprint(f, "[]%N", n->left);
  1146  		return fmtprint(f, "[]%N", n->right);  // happens before typecheck
  1147  
  1148  	case OTMAP:
  1149  		return fmtprint(f, "map[%N]%N", n->left, n->right);
  1150  
  1151  	case OTCHAN:
  1152  		switch(n->etype) {
  1153  		case Crecv:
  1154  			return fmtprint(f, "<-chan %N", n->left);
  1155  		case Csend:
  1156  			return fmtprint(f, "chan<- %N", n->left);
  1157  		default:
  1158  			if(n->left != N && n->left->op == OTCHAN && n->left->sym == S && n->left->etype == Crecv)
  1159  				return fmtprint(f, "chan (%N)", n->left);
  1160  			else
  1161  				return fmtprint(f, "chan %N", n->left);
  1162  		}
  1163  
  1164  	case OTSTRUCT:
  1165  		return fmtprint(f, "<struct>");
  1166  
  1167  	case OTINTER:
  1168  		return fmtprint(f, "<inter>");
  1169  
  1170  	case OTFUNC:
  1171  		return fmtprint(f, "<func>");
  1172  
  1173  	case OCLOSURE:
  1174  		if(fmtmode == FErr)
  1175  			return fmtstrcpy(f, "func literal");
  1176  		if(n->nbody)
  1177  			return fmtprint(f, "%T { %H }", n->type, n->nbody);
  1178  		return fmtprint(f, "%T { %H }", n->type, n->closure->nbody);
  1179  
  1180  	case OCOMPLIT:
  1181  		ptrlit = n->right != N && n->right->implicit && n->right->type && isptr[n->right->type->etype];
  1182  		if(fmtmode == FErr) {
  1183  			if(n->right != N && n->right->type != T && !n->implicit) {
  1184  				if(ptrlit)
  1185  					return fmtprint(f, "&%T literal", n->right->type->type);
  1186  				else
  1187  					return fmtprint(f, "%T literal", n->right->type);
  1188  			}
  1189  			return fmtstrcpy(f, "composite literal");
  1190  		}
  1191  		if(fmtmode == FExp && ptrlit)
  1192  			// typecheck has overwritten OIND by OTYPE with pointer type.
  1193  			return fmtprint(f, "(&%T{ %,H })", n->right->type->type, n->list);
  1194  		return fmtprint(f, "(%N{ %,H })", n->right, n->list);
  1195  
  1196  	case OPTRLIT:
  1197  		if(fmtmode == FExp && n->left->implicit)
  1198  			return fmtprint(f, "%N", n->left);
  1199  		return fmtprint(f, "&%N", n->left);
  1200  
  1201  	case OSTRUCTLIT:
  1202  		if(fmtmode == FExp) {   // requires special handling of field names
  1203  			if(n->implicit)
  1204  				fmtstrcpy(f, "{");
  1205  			else
  1206  				fmtprint(f, "(%T{", n->type);
  1207  			for(l=n->list; l; l=l->next) {
  1208  				fmtprint(f, " %hhS:%N", l->n->left->sym, l->n->right);
  1209  
  1210  				if(l->next)
  1211  					fmtstrcpy(f, ",");
  1212  				else
  1213  					fmtstrcpy(f, " ");
  1214  			}
  1215  			if(!n->implicit)
  1216  				return fmtstrcpy(f, "})");
  1217  			return fmtstrcpy(f, "}");
  1218  		}
  1219  		// fallthrough
  1220  
  1221  	case OARRAYLIT:
  1222  	case OMAPLIT:
  1223  		if(fmtmode == FErr)
  1224  			return fmtprint(f, "%T literal", n->type);
  1225  		if(fmtmode == FExp && n->implicit)
  1226  			return fmtprint(f, "{ %,H }", n->list);
  1227  		return fmtprint(f, "(%T{ %,H })", n->type, n->list);
  1228  
  1229  	case OKEY:
  1230  		if(n->left && n->right) {
  1231  			if(fmtmode == FExp && n->left->type && n->left->type->etype == TFIELD) {
  1232  				// requires special handling of field names
  1233  				return fmtprint(f, "%hhS:%N", n->left->sym, n->right);
  1234  			} else
  1235  				return fmtprint(f, "%N:%N", n->left, n->right);
  1236  		}
  1237  		if(!n->left && n->right)
  1238  			return fmtprint(f, ":%N", n->right);
  1239  		if(n->left && !n->right)
  1240  			return fmtprint(f, "%N:", n->left);
  1241  		return fmtstrcpy(f, ":");
  1242  
  1243  	case OXDOT:
  1244  	case ODOT:
  1245  	case ODOTPTR:
  1246  	case ODOTINTER:
  1247  	case ODOTMETH:
  1248  	case OCALLPART:
  1249  		exprfmt(f, n->left, nprec);
  1250  		if(n->right == N || n->right->sym == S)
  1251  			return fmtstrcpy(f, ".<nil>");
  1252  		return fmtprint(f, ".%hhS", n->right->sym);
  1253  
  1254  	case ODOTTYPE:
  1255  	case ODOTTYPE2:
  1256  		exprfmt(f, n->left, nprec);
  1257  		if(n->right != N)
  1258  			return fmtprint(f, ".(%N)", n->right);
  1259  		return fmtprint(f, ".(%T)", n->type);
  1260  
  1261  	case OINDEX:
  1262  	case OINDEXMAP:
  1263  	case OSLICE:
  1264  	case OSLICESTR:
  1265  	case OSLICEARR:
  1266  	case OSLICE3:
  1267  	case OSLICE3ARR:
  1268  		exprfmt(f, n->left, nprec);
  1269  		return fmtprint(f, "[%N]", n->right);
  1270  
  1271  	case OCOPY:
  1272  	case OCOMPLEX:
  1273  		return fmtprint(f, "%#O(%N, %N)", n->op, n->left, n->right);
  1274  
  1275  	case OCONV:
  1276  	case OCONVIFACE:
  1277  	case OCONVNOP:
  1278  	case OARRAYBYTESTR:
  1279  	case OARRAYRUNESTR:
  1280  	case OSTRARRAYBYTE:
  1281  	case OSTRARRAYRUNE:
  1282  	case ORUNESTR:
  1283  		if(n->type == T || n->type->sym == S)
  1284  			return fmtprint(f, "(%T)(%N)", n->type, n->left);
  1285  		if(n->left)
  1286  			return fmtprint(f, "%T(%N)", n->type, n->left);
  1287  		return fmtprint(f, "%T(%,H)", n->type, n->list);
  1288  
  1289  	case OREAL:
  1290  	case OIMAG:
  1291  	case OAPPEND:
  1292  	case OCAP:
  1293  	case OCLOSE:
  1294  	case ODELETE:
  1295  	case OLEN:
  1296  	case OMAKE:
  1297  	case ONEW:
  1298  	case OPANIC:
  1299  	case ORECOVER:
  1300  	case OPRINT:
  1301  	case OPRINTN:
  1302  		if(n->left)
  1303  			return fmtprint(f, "%#O(%N)", n->op, n->left);
  1304  		if(n->isddd)
  1305  			return fmtprint(f, "%#O(%,H...)", n->op, n->list);
  1306  		return fmtprint(f, "%#O(%,H)", n->op, n->list);
  1307  
  1308  	case OCALL:
  1309  	case OCALLFUNC:
  1310  	case OCALLINTER:
  1311  	case OCALLMETH:
  1312  		exprfmt(f, n->left, nprec);
  1313  		if(n->isddd)
  1314  			return fmtprint(f, "(%,H...)", n->list);
  1315  		return fmtprint(f, "(%,H)", n->list);
  1316  
  1317  	case OMAKEMAP:
  1318  	case OMAKECHAN:
  1319  	case OMAKESLICE:
  1320  		if(n->list) // pre-typecheck
  1321  			return fmtprint(f, "make(%T, %,H)", n->type, n->list);
  1322  		if(n->right)
  1323  			return fmtprint(f, "make(%T, %N, %N)", n->type, n->left, n->right);
  1324  		if(n->left)
  1325  			return fmtprint(f, "make(%T, %N)", n->type, n->left);
  1326  		return fmtprint(f, "make(%T)", n->type);
  1327  
  1328  	// Unary
  1329  	case OPLUS:
  1330  	case OMINUS:
  1331  	case OADDR:
  1332  	case OCOM:
  1333  	case OIND:
  1334  	case ONOT:
  1335  	case ORECV:
  1336  		if(n->left->op == n->op)
  1337  			fmtprint(f, "%#O ", n->op);
  1338  		else
  1339  			fmtprint(f, "%#O", n->op);
  1340  		return exprfmt(f, n->left, nprec+1);
  1341  
  1342  	// Binary
  1343  	case OADD:
  1344  	case OAND:
  1345  	case OANDAND:
  1346  	case OANDNOT:
  1347  	case ODIV:
  1348  	case OEQ:
  1349  	case OGE:
  1350  	case OGT:
  1351  	case OLE:
  1352  	case OLT:
  1353  	case OLSH:
  1354  	case OMOD:
  1355  	case OMUL:
  1356  	case ONE:
  1357  	case OOR:
  1358  	case OOROR:
  1359  	case ORSH:
  1360  	case OSEND:
  1361  	case OSUB:
  1362  	case OXOR:
  1363  		exprfmt(f, n->left, nprec);
  1364  		fmtprint(f, " %#O ", n->op);
  1365  		exprfmt(f, n->right, nprec+1);
  1366  		return 0;
  1367  
  1368  	case OADDSTR:
  1369  		for(l=n->list; l; l=l->next) {
  1370  			if(l != n->list)
  1371  				fmtprint(f, " + ");
  1372  			exprfmt(f, l->n, nprec);
  1373  		}
  1374  		return 0;
  1375  
  1376  	case OCMPSTR:
  1377  	case OCMPIFACE:
  1378  		exprfmt(f, n->left, nprec);
  1379  		fmtprint(f, " %#O ", n->etype);
  1380  		exprfmt(f, n->right, nprec+1);
  1381  		return 0;
  1382  	}
  1383  
  1384  	return fmtprint(f, "<node %O>", n->op);
  1385  }
  1386  
  1387  static int
  1388  nodefmt(Fmt *f, Node *n)
  1389  {
  1390  	Type *t;
  1391  
  1392  	t = n->type;
  1393  
  1394  	// we almost always want the original, except in export mode for literals
  1395  	// this saves the importer some work, and avoids us having to redo some
  1396  	// special casing for package unsafe
  1397  	if((fmtmode != FExp || n->op != OLITERAL) && n->orig != N)
  1398  		n = n->orig;
  1399  
  1400  	if(f->flags&FmtLong && t != T) {
  1401  		if(t->etype == TNIL)
  1402  			return fmtprint(f, "nil");
  1403  		else
  1404  			return fmtprint(f, "%N (type %T)", n, t);
  1405  	}
  1406  
  1407  	// TODO inlining produces expressions with ninits. we can't print these yet.
  1408  
  1409  	if(opprec[n->op] < 0)
  1410  		return stmtfmt(f, n);
  1411  
  1412  	return exprfmt(f, n, 0);
  1413  }
  1414  
  1415  static int dumpdepth;
  1416  
  1417  static void
  1418  indent(Fmt *fp)
  1419  {
  1420  	int i;
  1421  
  1422  	fmtstrcpy(fp, "\n");
  1423  	for(i = 0; i < dumpdepth; ++i)
  1424  		fmtstrcpy(fp, ".   ");
  1425  }
  1426  
  1427  static int
  1428  nodedump(Fmt *fp, Node *n)
  1429  {
  1430  	int recur;
  1431  
  1432  	if(n == N)
  1433  		return 0;
  1434  
  1435  	recur = !(fp->flags&FmtShort);
  1436  
  1437  	if(recur) {
  1438  		indent(fp);
  1439  		if(dumpdepth > 10)
  1440  			return fmtstrcpy(fp, "...");
  1441  
  1442  		if(n->ninit != nil) {
  1443  			fmtprint(fp, "%O-init%H", n->op, n->ninit);
  1444  			indent(fp);
  1445  		}
  1446  	}
  1447  
  1448  //	fmtprint(fp, "[%p]", n);
  1449  
  1450  	switch(n->op) {
  1451  	default:
  1452  		fmtprint(fp, "%O%J", n->op, n);
  1453  		break;
  1454  	case OREGISTER:
  1455  	case OINDREG:
  1456  		fmtprint(fp, "%O-%R%J", n->op, n->val.u.reg, n);
  1457  		break;
  1458  	case OLITERAL:
  1459  		fmtprint(fp, "%O-%V%J", n->op, &n->val, n);
  1460  		break;
  1461  	case ONAME:
  1462  	case ONONAME:
  1463  		if(n->sym != S)
  1464  			fmtprint(fp, "%O-%S%J", n->op, n->sym, n);
  1465  		else
  1466  			fmtprint(fp, "%O%J", n->op, n);
  1467  		if(recur && n->type == T && n->ntype) {
  1468  			indent(fp);
  1469  			fmtprint(fp, "%O-ntype%N", n->op, n->ntype);
  1470  		}
  1471  		break;
  1472  	case OASOP:
  1473  		fmtprint(fp, "%O-%O%J", n->op, n->etype, n);
  1474  		break;
  1475  	case OTYPE:
  1476  		fmtprint(fp, "%O %S%J type=%T", n->op, n->sym, n, n->type);
  1477  		if(recur && n->type == T && n->ntype) {
  1478  			indent(fp);
  1479  			fmtprint(fp, "%O-ntype%N", n->op, n->ntype);
  1480  		}
  1481  		break;
  1482  	}
  1483  
  1484  	if(n->sym != S && n->op != ONAME)
  1485  		fmtprint(fp, " %S G%d", n->sym, n->vargen);
  1486  
  1487  	if(n->type != T)
  1488  		fmtprint(fp, " %T", n->type);
  1489  
  1490  	if(recur) {
  1491  		if(n->left)
  1492  			fmtprint(fp, "%N", n->left);
  1493  		if(n->right)
  1494  			fmtprint(fp, "%N", n->right);
  1495  		if(n->list) {
  1496  			indent(fp);
  1497  			fmtprint(fp, "%O-list%H", n->op, n->list);
  1498  		}
  1499  		if(n->rlist) {
  1500  			indent(fp);
  1501  			fmtprint(fp, "%O-rlist%H", n->op, n->rlist);
  1502  		}
  1503  		if(n->ntest) {
  1504  			indent(fp);
  1505  			fmtprint(fp, "%O-test%N", n->op, n->ntest);
  1506  		}
  1507  		if(n->nbody) {
  1508  			indent(fp);
  1509  			fmtprint(fp, "%O-body%H", n->op, n->nbody);
  1510  		}
  1511  		if(n->nelse) {
  1512  			indent(fp);
  1513  			fmtprint(fp, "%O-else%H", n->op, n->nelse);
  1514  		}
  1515  		if(n->nincr) {
  1516  			indent(fp);
  1517  			fmtprint(fp, "%O-incr%N", n->op, n->nincr);
  1518  		}
  1519  	}
  1520  
  1521  	return 0;
  1522  }
  1523  
  1524  // Fmt "%S": syms
  1525  // Flags:  "%hS" suppresses qualifying with package
  1526  static int
  1527  Sconv(Fmt *fp)
  1528  {
  1529  	Sym *s;
  1530  	int r, sm;
  1531  	unsigned long sf;
  1532  
  1533  	if(fp->flags&FmtLong)
  1534  		return linksymfmt(fp);
  1535  
  1536  	s = va_arg(fp->args, Sym*);
  1537  	if(s == S)
  1538  		return fmtstrcpy(fp, "<S>");
  1539  
  1540  	if(s->name && s->name[0] == '_' && s->name[1] == '\0')
  1541  		return fmtstrcpy(fp, "_");
  1542  
  1543  	sf = fp->flags;
  1544  	sm = setfmode(&fp->flags);
  1545  	r = symfmt(fp, s);
  1546  	fp->flags = sf;
  1547  	fmtmode = sm;
  1548  	return r;
  1549  }
  1550  
  1551  // Fmt "%T": types.
  1552  // Flags: 'l' print definition, not name
  1553  //	  'h' omit 'func' and receiver from function types, short type names
  1554  //	  'u' package name, not prefix (FTypeId mode, sticky)
  1555  static int
  1556  Tconv(Fmt *fp)
  1557  {
  1558  	Type *t;
  1559  	int r, sm;
  1560  	unsigned long sf;
  1561  
  1562  	t = va_arg(fp->args, Type*);
  1563  	if(t == T)
  1564  		return fmtstrcpy(fp, "<T>");
  1565  
  1566  	if(t->trecur > 4)
  1567  		return fmtstrcpy(fp, "<...>");
  1568  
  1569  	t->trecur++;
  1570  	sf = fp->flags;
  1571  	sm = setfmode(&fp->flags);
  1572  
  1573  	if(fmtmode == FTypeId && (sf&FmtUnsigned))
  1574  		fmtpkgpfx++;
  1575  	if(fmtpkgpfx)
  1576  		fp->flags |= FmtUnsigned;
  1577  
  1578  	r = typefmt(fp, t);
  1579  
  1580  	if(fmtmode == FTypeId && (sf&FmtUnsigned))
  1581  		fmtpkgpfx--;
  1582  
  1583  	fp->flags = sf;
  1584  	fmtmode = sm;
  1585  	t->trecur--;
  1586  	return r;
  1587  }
  1588  
  1589  // Fmt '%N': Nodes.
  1590  // Flags: 'l' suffix with "(type %T)" where possible
  1591  //	  '+h' in debug mode, don't recurse, no multiline output
  1592  static int
  1593  Nconv(Fmt *fp)
  1594  {
  1595  	Node *n;
  1596  	int r, sm;
  1597  	unsigned long sf;
  1598  
  1599  	n = va_arg(fp->args, Node*);
  1600  	if(n == N)
  1601  		return fmtstrcpy(fp, "<N>");
  1602  	sf = fp->flags;
  1603  	sm = setfmode(&fp->flags);
  1604  
  1605  	r = -1;
  1606  	switch(fmtmode) {
  1607  	case FErr:
  1608  	case FExp:
  1609  		r = nodefmt(fp, n);
  1610  		break;
  1611  	case FDbg:
  1612  		dumpdepth++;
  1613  		r = nodedump(fp, n);
  1614  		dumpdepth--;
  1615  		break;
  1616  	default:
  1617  		fatal("unhandled %%N mode");
  1618  	}
  1619  
  1620  	fp->flags = sf;
  1621  	fmtmode = sm;
  1622  	return r;
  1623  }
  1624  
  1625  // Fmt '%H': NodeList.
  1626  // Flags: all those of %N plus ',': separate with comma's instead of semicolons.
  1627  static int
  1628  Hconv(Fmt *fp)
  1629  {
  1630  	NodeList *l;
  1631  	int r, sm;
  1632  	unsigned long sf;
  1633  	char *sep;
  1634  
  1635  	l = va_arg(fp->args, NodeList*);
  1636  
  1637  	if(l == nil && fmtmode == FDbg)
  1638  		return fmtstrcpy(fp, "<nil>");
  1639  
  1640  	sf = fp->flags;
  1641  	sm = setfmode(&fp->flags);
  1642  	r = 0;
  1643  	sep = "; ";
  1644  	if(fmtmode == FDbg)
  1645  		sep = "\n";
  1646  	else if(fp->flags & FmtComma)
  1647  		sep = ", ";
  1648  
  1649  	for(;l; l=l->next) {
  1650  		r += fmtprint(fp, "%N", l->n);
  1651  		if(l->next)
  1652  			r += fmtstrcpy(fp, sep);
  1653  	}
  1654  
  1655  	fp->flags = sf;
  1656  	fmtmode = sm;
  1657  	return r;
  1658  }
  1659  
  1660  void
  1661  fmtinstallgo(void)
  1662  {
  1663  	fmtmode = FErr;
  1664  	fmtinstall('E', Econv);		// etype opcodes
  1665  	fmtinstall('J', Jconv);		// all the node flags
  1666  	fmtinstall('H', Hconv);		// node lists
  1667  	fmtinstall('L', Lconv);		// line number
  1668  	fmtinstall('N', Nconv);		// node pointer
  1669  	fmtinstall('O', Oconv);		// node opcodes
  1670  	fmtinstall('S', Sconv);		// sym pointer
  1671  	fmtinstall('T', Tconv);		// type pointer
  1672  	fmtinstall('V', Vconv);		// val pointer
  1673  	fmtinstall('Z', Zconv);		// escaped string
  1674  
  1675  	// These are in mparith1.c
  1676  	fmtinstall('B', Bconv);	// big numbers
  1677  	fmtinstall('F', Fconv);	// big float numbers
  1678  
  1679  }
  1680  
  1681  void
  1682  dumplist(char *s, NodeList *l)
  1683  {
  1684  	print("%s%+H\n", s, l);
  1685  }
  1686  
  1687  void
  1688  dump(char *s, Node *n)
  1689  {
  1690  	print("%s [%p]%+N\n", s, n, n);
  1691  }