summaryrefslogtreecommitdiff
path: root/test/prove.go
Commit message (Expand)AuthorAgeFilesLines
* cmd/compile/internal/gc: improve comparison with constant stringsIlya Tocar2017-04-071-1/+3
* cmd/compile: use len(s)<=cap(s) to remove more bounds checksKeith Randall2017-02-021-0/+12
* cmd/compile: fix CSE with commutative opsKeith Randall2017-02-021-1/+14
* cmd/compile: Repurpose old sliceopt.go for prove phase.David Chase2016-10-201-1/+1
* cmd/compile: unroll comparisons to short constant stringsJosh Bleecher Snyder2016-09-151-1/+1
* cmd/compile: transform some Phis into Or8.Alexandru Moșoi2016-04-191-0/+4
* cmd/compile: handle non-negatives in proveAlexandru Moșoi2016-04-021-3/+22
* cmd/compile/internal/ssa: BCE for induction variablesAlexandru Moșoi2016-04-011-2/+2
* cmd/compile: extend prove pass to handle constant comparisonsKeith Randall2016-03-311-3/+173
* cmd/compile/internal/ssa: generalize prove to all booleansAlexandru Moșoi2016-03-131-15/+65
* [dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls.Alexandru Moșoi2016-02-281-0/+207