diff options
author | Cherry Zhang <cherryyz@google.com> | 2016-10-13 06:57:00 -0400 |
---|---|---|
committer | Cherry Zhang <cherryyz@google.com> | 2016-10-25 21:53:40 +0000 |
commit | f6aec889e1c880316b1989bdc6ce3b926cbe5fe4 (patch) | |
tree | 93e8be5693e528cfc887be1c647504349ce07669 /test/writebarrier.go | |
parent | 698bfa17a842890043098b972446e9b8dbc20841 (diff) | |
download | go-f6aec889e1c880316b1989bdc6ce3b926cbe5fe4.tar.gz go-f6aec889e1c880316b1989bdc6ce3b926cbe5fe4.zip |
cmd/compile: add a writebarrier phase in SSA
When the compiler insert write barriers, the frontend makes
conservative decisions at an early stage. This may have false
positives which result in write barriers for stack writes.
A new phase, writebarrier, is added to the SSA backend, to delay
the decision and eliminate false positives. The frontend still
makes conservative decisions. When building SSA, instead of
emitting runtime calls directly, it emits WB ops (StoreWB,
MoveWB, etc.), which will be expanded to branches and runtime
calls in writebarrier phase. Writes to static locations on stack
are detected and write barriers are removed.
All write barriers of stack writes found by the script from
issue #17330 are eliminated (except two false positives).
Fixes #17330.
Change-Id: I9bd66333da9d0ceb64dcaa3c6f33502798d1a0f8
Reviewed-on: https://go-review.googlesource.com/31131
Reviewed-by: Austin Clements <austin@google.com>
Reviewed-by: David Chase <drchase@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Diffstat (limited to 'test/writebarrier.go')
-rw-r--r-- | test/writebarrier.go | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/writebarrier.go b/test/writebarrier.go index 88b4b296df..6fb9cd7cfe 100644 --- a/test/writebarrier.go +++ b/test/writebarrier.go @@ -211,3 +211,11 @@ func f21(x *int) { y21.x = &z21 // no barrier y21 = struct{ x *int }{x} // ERROR "write barrier" } + +func f22(x *int) (y *int) { + // pointer write on stack should have no write barrier. + // this is a case that the frontend failed to eliminate. + p := &y + *p = x // no barrier + return +} |