qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-11-18 22:24:50 -07:00
Code Releases Activity

go.tools/pointer: summaries for more intrinsics.

Browse Source 
All have been audited to ensure that they have NoEffect on
aliasing.  Also: clarify the requirements for NoEffect to
explicitly disclaim trivial loads/stores.

R=crawshaw
CC=golang-dev
https://golang.org/cl/13314045
This commit is contained in:
Alan Donovan 2013-09-10 14:40:37 -04:00
parent c18d759e6b
commit 0b534359c5
1 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
pointer/intrinsics.go
View File

@ -142,6 +142,15 @@ func init() {
// Other packages. // Other packages.
"bytes.Equal": ext۰NoEffect, "bytes.Equal": ext۰NoEffect,
"bytes.IndexByte": ext۰NoEffect, "bytes.IndexByte": ext۰NoEffect,
"crypto/aes.decryptBlockAsm": ext۰NoEffect,
"crypto/aes.encryptBlockAsm": ext۰NoEffect,
"crypto/aes.expandKeyAsm": ext۰NoEffect,
"crypto/aes.hasAsm": ext۰NoEffect,
"crypto/md5.block": ext۰NoEffect,
"crypto/rc4.xorKeyStream": ext۰NoEffect,
"crypto/sha1.block": ext۰NoEffect,
"hash/crc32.castagnoliSSE42": ext۰NoEffect,
"hash/crc32.haveSSE42": ext۰NoEffect,
"math.Abs": ext۰NoEffect, "math.Abs": ext۰NoEffect,
"math.Acos": ext۰NoEffect, "math.Acos": ext۰NoEffect,
"math.Asin": ext۰NoEffect, "math.Asin": ext۰NoEffect,
@ -187,6 +196,15 @@ func init() {
"math/big.shrVU": ext۰NoEffect, "math/big.shrVU": ext۰NoEffect,
"math/big.subVV": ext۰NoEffect, "math/big.subVV": ext۰NoEffect,
"math/big.subVW": ext۰NoEffect, "math/big.subVW": ext۰NoEffect,
"net.runtime_Semacquire": ext۰NoEffect,
"net.runtime_Semrelease": ext۰NoEffect,
"net.runtime_pollClose": ext۰NoEffect,
"net.runtime_pollOpen": ext۰NoEffect,
"net.runtime_pollReset": ext۰NoEffect,
"net.runtime_pollServerInit": ext۰NoEffect,
"net.runtime_pollSetDeadline": ext۰NoEffect,
"net.runtime_pollUnblock": ext۰NoEffect,
"net.runtime_pollWait": ext۰NoEffect,
"os.epipecheck": ext۰NoEffect, "os.epipecheck": ext۰NoEffect,
"runtime.BlockProfile": ext۰NoEffect, "runtime.BlockProfile": ext۰NoEffect,
"runtime.Breakpoint": ext۰NoEffect, "runtime.Breakpoint": ext۰NoEffect,
@ -215,11 +233,18 @@ func init() {
"strings.IndexByte": ext۰NoEffect, "strings.IndexByte": ext۰NoEffect,
"sync.runtime_Semacquire": ext۰NoEffect, "sync.runtime_Semacquire": ext۰NoEffect,
"sync.runtime_Semrelease": ext۰NoEffect, "sync.runtime_Semrelease": ext۰NoEffect,
"sync.runtime_Syncsemacquire": ext۰NoEffect,
"sync.runtime_Syncsemcheck": ext۰NoEffect, "sync.runtime_Syncsemcheck": ext۰NoEffect,
"sync.runtime_Syncsemrelease": ext۰NoEffect,
"sync/atomic.AddInt32": ext۰NoEffect, "sync/atomic.AddInt32": ext۰NoEffect,
"sync/atomic.AddUint32": ext۰NoEffect,
"sync/atomic.CompareAndSwapInt32": ext۰NoEffect, "sync/atomic.CompareAndSwapInt32": ext۰NoEffect,
"sync/atomic.CompareAndSwapUint32": ext۰NoEffect,
"sync/atomic.CompareAndSwapUint64": ext۰NoEffect,
"sync/atomic.CompareAndSwapUintptr": ext۰NoEffect,
"sync/atomic.LoadInt32": ext۰NoEffect, "sync/atomic.LoadInt32": ext۰NoEffect,
"sync/atomic.LoadUint32": ext۰NoEffect, "sync/atomic.LoadUint32": ext۰NoEffect,
"sync/atomic.LoadUint64": ext۰NoEffect,
"sync/atomic.StoreInt32": ext۰NoEffect, "sync/atomic.StoreInt32": ext۰NoEffect,
"sync/atomic.StoreUint32": ext۰NoEffect, "sync/atomic.StoreUint32": ext۰NoEffect,
"syscall.Close": ext۰NoEffect, "syscall.Close": ext۰NoEffect,
@ -228,8 +253,11 @@ func init() {
"syscall.Getwd": ext۰NoEffect, "syscall.Getwd": ext۰NoEffect,
"syscall.Kill": ext۰NoEffect, "syscall.Kill": ext۰NoEffect,
"syscall.RawSyscall": ext۰NoEffect, "syscall.RawSyscall": ext۰NoEffect,
"syscall.RawSyscall6": ext۰NoEffect,
"syscall.Syscall": ext۰NoEffect, "syscall.Syscall": ext۰NoEffect,
"syscall.Syscall6": ext۰NoEffect, "syscall.Syscall6": ext۰NoEffect,
"syscall.runtime_AfterFork": ext۰NoEffect,
"syscall.runtime_BeforeFork": ext۰NoEffect,
"time.Sleep": ext۰NoEffect, "time.Sleep": ext۰NoEffect,
"time.now": ext۰NoEffect, "time.now": ext۰NoEffect,
"time.startTimer": ext۰NoEffect, "time.startTimer": ext۰NoEffect,
@ -262,6 +290,11 @@ func (a *analysis) findIntrinsic(fn *ssa.Function) intrinsic {
// 2) call any functions; or // 2) call any functions; or
// 3) create any labels. // 3) create any labels.
// //
// Many intrinsics (such as CompareAndSwapInt32) have a fourth kind of
// effect: loading or storing through a pointer. Though these could
// be significant, we deliberately ignore them because they are
// generally not worth the effort.
//
// We sometimes violate condition #3 if the function creates only // We sometimes violate condition #3 if the function creates only
// non-function labels, as the control-flow graph is still sound. // non-function labels, as the control-flow graph is still sound.
// //