summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorRuss Cox <rsc@golang.org>2014-02-15 10:58:55 -0500
committerRuss Cox <rsc@golang.org>2014-02-15 10:58:55 -0500
commit2efa8cf2ee4df13201b7038c07c439a0c9dfae16 (patch)
tree700e5edd9ff95dcc7e214100432f8a35675ed277 /include
parentd5bec7f3a722f435e04fb6d66c68b400742a15b6 (diff)
downloadgo-2efa8cf2ee4df13201b7038c07c439a0c9dfae16.tar.gz
cmd/gc: correct liveness for fat variables
The VARDEF placement must be before the initialization but after any final use. If you have something like s = ... using s ... the rhs must be evaluated, then the VARDEF, then the lhs assigned. There is a large comment in pgen.c on gvardef explaining this in more detail. This CL also includes Ian's suggestions from earlier CLs, namely commenting the use of mode in link.h and fixing the precedence of the ~r check in dcl.c. This CL enables the check that if liveness analysis decides a variable is live on entry to the function, that variable must be a function parameter (not a result, and not a local variable). If this check fails, it indicates a bug in the liveness analysis or in the generated code being analyzed. The race detector generates invalid code for append(x, y...). The code declares a temporary t and then uses cap(t) before initializing t. The new liveness check catches this bug and stops the compiler from writing out the buggy code. Consequently, this CL disables the race detector tests in run.bash until the race detector bug can be fixed (golang.org/issue/7334). Except for the race detector bug, the liveness analysis check does not detect any problems (this CL and the previous CLs fixed all the detected problems). The net test still fails with GOGC=0 but the rest of the tests now pass or time out (because GOGC=0 is so slow). TBR=iant CC=golang-codereviews https://codereview.appspot.com/64170043
Diffstat (limited to 'include')
-rw-r--r--include/link.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/include/link.h b/include/link.h
index 3ddda7ae1..0d50777f4 100644
--- a/include/link.h
+++ b/include/link.h
@@ -110,7 +110,7 @@ struct Prog
uchar optab; // 5l
char width; /* fake for DATA */
- char mode; /* 16, 32, or 64 */
+ char mode; /* 16, 32, or 64 in 8l, 8l; internal use in 5g, 6g, 8g */
};
// prevent incompatible type signatures between liblink and 8l on Plan 9