code review 63650044: cmd/gc: handle variable initialization by block move in...

src/cmd/8g/cgen.c

 // 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.
 
 // TODO(rsc):
 //      assume CLD?
 
 #include <u.h>
 #include <libc.h>
 #include "gg.h"
@@ skipping 1185 matching lines @@
 
 /*
  * struct gen
  *      memmove(&res, &n, w);
  */
 void
 sgen(Node *n, Node *res, int64 w)
 {
         Node dst, src, tdst, tsrc;
         int32 c, q, odst, osrc;
+        NodeList *l;
 
         if(debug['g']) {
                 print("\nsgen w=%lld\n", w);
                 dump("r", n);
                 dump("res", res);
         }
         if(n->ullman >= UINF && res->ullman >= UINF)
                 fatal("sgen UINF");
 
         if(w < 0 || (int32)w != w)
                 fatal("sgen copy %lld", w);
 
         if(w == 0) {
                 // evaluate side effects only.
                 tempname(&tdst, types[tptr]);
                 agen(res, &tdst);
                 agen(n, &tdst);
                 return;
         }
+
+        // Record site of definition of ns for liveness analysis.
+        if(res->op == ONAME && res->class != PEXTERN)
+                gvardef(res);
+········
+        // If copying .args, that's all the results, so record definition sites
+        // for them for the liveness analysis.
+        if(res->op == ONAME && strcmp(res->sym->name, ".args") == 0)
+                for(l = curfn->dcl; l != nil; l = l->next)
+                        if(l->n->class == PPARAMOUT)
+                                gvardef(l->n);
 
         // Avoid taking the address for simple enough types.
         if(componentgen(n, res))
                 return;
 
         // offset on the stack
         osrc = stkof(n);
         odst = stkof(res);
 ········
         if(osrc != -1000 && odst != -1000 && (osrc == 1000 || odst == 1000)) {
@@ skipping 222 matching lines @@
                 regfree(&nodl);
         return 0;
 
 yes:
         if(freer)
                 regfree(&nodr);
         if(freel)
                 regfree(&nodl);
         return 1;
 }