index
:
go
adonovan-patch-1
dev.boringcrypto
dev.boringcrypto.go1.10
dev.boringcrypto.go1.11
dev.boringcrypto.go1.12
dev.boringcrypto.go1.13
dev.boringcrypto.go1.14
dev.boringcrypto.go1.15
dev.boringcrypto.go1.16
dev.boringcrypto.go1.17
dev.boringcrypto.go1.18
dev.boringcrypto.go1.8
dev.boringcrypto.go1.9
dev.cc
dev.cmdgo
dev.debug
dev.fuzz
dev.garbage
dev.gcfe
dev.go2go
dev.inline
dev.link
dev.power64
dev.regabi
dev.ssa
dev.tls
dev.typealias
dev.typeparams
dev.types
dev.unified
master
release-branch.go1
release-branch.go1.1
release-branch.go1.10
release-branch.go1.11
release-branch.go1.12
release-branch.go1.13
release-branch.go1.14
release-branch.go1.15
release-branch.go1.16
release-branch.go1.17
release-branch.go1.18
release-branch.go1.19
release-branch.go1.2
release-branch.go1.20
release-branch.go1.21
release-branch.go1.22
release-branch.go1.3
release-branch.go1.4
release-branch.go1.5
release-branch.go1.6
release-branch.go1.7
release-branch.go1.8
release-branch.go1.9
release-branch.r57
release-branch.r58
release-branch.r59
release-branch.r60
tls
The Go programming language
Google
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
cmd
/
compile
/
internal
/
ssa
/
prove.go
Age
Commit message (
Expand
)
Author
2018-03-08
cmd/compile: simplify limit logic in prove
Austin Clements
2018-03-08
cmd/compile: more String methods for prove types
Austin Clements
2018-03-08
cmd/compile: minor comment improvements/corrections
Austin Clements
2017-03-17
cmd/compile: move Frontend field from ssa.Config to ssa.Func
Josh Bleecher Snyder
2017-02-02
cmd/compile: use len(s)<=cap(s) to remove more bounds checks
Keith Randall
2016-12-08
[dev.inline] cmd/compile/internal/ssa: rename various fields from Line to Pos
Robert Griesemer
2016-10-27
cmd/compile: use masks instead of branches for slicing
Keith Randall
2016-10-20
cmd/compile: Repurpose old sliceopt.go for prove phase.
David Chase
2016-10-11
cmd/compile: remove redundant function idom
Hajime Hoshi
2016-09-19
cmd/compile: cache CFG-dependent computations
Keith Randall
2016-05-16
cmd/compile: use sparse algorithm for phis in large program
David Chase
2016-05-05
cmd/compile: enable constant-time CFG editing
Keith Randall
2016-04-12
cmd/compile: share dominator tree among many passes
Alexandru Moșoi
2016-04-03
all: fix spelling mistakes
Eric Engestrom
2016-04-02
cmd/compile: handle non-negatives in prove
Alexandru Moșoi
2016-03-31
cmd/compile: extend prove pass to handle constant comparisons
Keith Randall
2016-03-17
cmd/compile: keep value use counts in SSA
Keith Randall
2016-03-14
cmd/compile: change the type of ssa Warnl line number
Todd Neal
2016-03-13
cmd/compile/internal/ssa: generalize prove to all booleans
Alexandru Moșoi
2016-02-28
[dev.ssa] cmd/compile: small optimization to prove using sdom tweak
David Chase
2016-02-28
[dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls.
Alexandru Moșoi
[prev]