index
:
go
bench-before
fix-runtime-test-GOMAXPROCS
json-isValidNumber
json-isValidNumber-before
main
makepkg
ms-fix-multipart-readform
Fork of Go programming language with my patches.
Go Authors
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
2023-01-24
Revert "cmd/compile: teach prove about bitwise OR operation"
Keith Randall
2023-01-23
cmd/compile: teach prove about unsigned division, modulus and rsh
Jorropo
2022-11-18
all: add missing periods in comments
cui fliter
2022-11-10
cmd/compile: teach prove about signed domain relations of constant integer Phi's
Jakub Ciolek
2022-09-16
cmd/compile: make isConstDelta compute delta for 8 and 16 bit arithmetic
Jakub Ciolek
2022-08-31
cmd/compile: teach prove about bitwise OR operation
Wayne Zuo
2022-08-31
cmd/compile: derive relation between x+delta and x in prove
Wayne Zuo
2022-08-18
cmd/compile: remove OFORUNTIL
Keith Randall
2022-05-08
cmd/compile: teach prove about and operation
Wayne Zuo
2022-05-04
cmd/compile: fold constants found by prove
Jorropo
2022-04-14
cmd/compile: modify switches of strings to use jump table for lengths
Keith Randall
2022-04-11
all: gofmt main repo
Russ Cox
2022-04-01
all: fix various doc comment formatting nits
Russ Cox
2022-03-27
cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegative
Keith Randall
2021-04-28
cmd/compile/ssa: optimize the derivable known branch of If block
eric fang
2021-02-23
cmd/compile: use transitive relations for slice len/cap in poset
Cuong Manh Le
2020-11-07
cmd/compile: check indirect connection between if block and phi block in addL...
Cholerae Hu
2020-08-13
cmd/compile: correct type of CvtBoolToUint8 values
Josh Bleecher Snyder
2020-07-30
cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...
Cholerae Hu
2020-05-11
cmd/compile: in prove, zero right shifts of positive int by #bits - 1
Keith Randall
2020-03-09
cmd/compile: use only bit patterns in isNonNegative
Josh Bleecher Snyder
2020-02-27
cmd/compile: ignore div/mod in prove on non-x86 architectures
Josh Bleecher Snyder
2020-02-27
cmd/compile: handle more cases in isNonNegative
Josh Bleecher Snyder
2020-02-26
cmd/compile: remove Greater* and Geq* generic integer ops
Michael Munday
2020-02-21
cmd/compile: clarify division bounds check optimization
Josh Bleecher Snyder
2019-11-05
cmd/compile: fix liveness for open-coded defer args for infinite loops
Dan Scales
2019-10-20
cmd/compile: in prove, give a different name to each poset
Giovanni Bajo
2019-10-04
cmd/compile: attempt to preserve statements when prove removes code
David Chase
2019-10-02
cmd/compile: allow multiple SSA block control values
Michael Munday
2019-09-26
cmd/compile: in prove, learn facts from OpSliceMake
Giovanni Bajo
2019-08-27
cmd/compile: handle sign/zero extensions in prove, via update method
zdjones
2019-06-12
cmd/compile: fix range analysis of small signed integers
Matthew Dempsky
2019-03-31
cmd/compile: update stale comment in prove
zdjones
2019-03-30
cmd/compile: make prove learn index >= 0 from successful bounds checks
zdjones
2019-03-29
cmd/compile: preempt repeated checks for the zero constant in prove
zdjones
2019-03-29
cmd/compile: make prove use poset to check non-negatives
zdjones
2019-01-02
cmd/compile: fix deriving from x+d >= w on overflow in prove pass
Cherry Zhang
2018-10-23
cmd/compile: use proved bounds to remove signed division fix-ups
ChrisALiles
2018-09-24
cmd/compile/internal/ssa: fix a typo
Brad Fitzpatrick
2018-08-31
cmd/compile: in prove, fix fence-post implications for unsigned domain
Giovanni Bajo
2018-05-22
cmd/compile: detect OFORUNTIL inductive facts in prove
Austin Clements
2018-05-22
cmd/compile: derive len/cap relations in factsTable.update
Austin Clements
2018-05-22
cmd/compile: teach prove about relations between constants
Austin Clements
2018-05-14
cmd/compile: reduce allocations in prove by reusing posets
Giovanni Bajo
2018-05-01
cmd/compile: recognize some OpRsh64Ux64 Values as non-negative
Josh Bleecher Snyder
2018-04-30
cmd/compile: use AuxInt to store shift boundedness
Josh Bleecher Snyder
2018-04-29
cmd/compile: simplify shifts using bounds from prove pass
Josh Bleecher Snyder
2018-04-29
cmd/compile: teach prove to handle expressions like len(s)-delta
Giovanni Bajo
2018-04-29
cmd/compile: in prove, detect loops with negative increments
Giovanni Bajo
2018-04-29
cmd/compile: implement loop BCE in prove
Giovanni Bajo
[next]