diff options
author | Austin Clements <austin@google.com> | 2014-12-05 09:24:01 -0500 |
---|---|---|
committer | Austin Clements <austin@google.com> | 2014-12-05 09:24:01 -0500 |
commit | d39e7f8f9d8d330acbcfeba7e8e254b131b05f39 (patch) | |
tree | 4d213e0eea8cb18b515976df92d3be754c492f30 | |
parent | 57231fa56130b0863b592dc8fda71cf87c947c74 (diff) | |
download | go-d39e7f8f9d8d330acbcfeba7e8e254b131b05f39.tar.gz |
[dev.cc] liblink: don't patch jumps to jumps to symbols
When liblink sees something like
JMP x
...
x: JMP y
it rewrites the first jump to jump directly to y. This is
fine if y is a resolved label. However, it *also* does this
if y is a function symbol, but fails to carry over the
relocation that would later patch in that symbol's value. As
a result, the original jump becomes either a self-jump (if
relative) or a jump to PC 0 (if absolute).
Fix this by disabling this optimization if the jump being
patched in is a jump to a symbol.
LGTM=minux
R=rsc, minux
CC=golang-codereviews
https://codereview.appspot.com/185890044
-rw-r--r-- | src/liblink/pass.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/liblink/pass.c b/src/liblink/pass.c index bc8eb4367..8721a6a79 100644 --- a/src/liblink/pass.c +++ b/src/liblink/pass.c @@ -41,7 +41,7 @@ brchain(Link *ctxt, Prog *p) int i; for(i=0; i<20; i++) { - if(p == nil || p->as != ctxt->arch->AJMP) + if(p == nil || p->as != ctxt->arch->AJMP || p->pcond == nil) return p; p = p->pcond; } @@ -56,7 +56,7 @@ brloop(Link *ctxt, Prog *p) c = 0; for(q = p; q != nil; q = q->pcond) { - if(q->as != ctxt->arch->AJMP) + if(q->as != ctxt->arch->AJMP || q->pcond == nil) break; c++; if(c >= 5000) |