summaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/ssa/prove.go
Commit message (Expand)AuthorAgeFilesLines
* cmd/compile: use sparse algorithm for phis in large programDavid Chase2016-05-161-1/+1
* cmd/compile: enable constant-time CFG editingKeith Randall2016-05-051-3/+3
* cmd/compile: share dominator tree among many passesAlexandru Moșoi2016-04-121-6/+3
* all: fix spelling mistakesEric Engestrom2016-04-031-1/+1
* cmd/compile: handle non-negatives in proveAlexandru Moșoi2016-04-021-2/+10
* cmd/compile: extend prove pass to handle constant comparisonsKeith Randall2016-03-311-1/+189
* cmd/compile: keep value use counts in SSAKeith Randall2016-03-171-1/+1
* cmd/compile: change the type of ssa Warnl line numberTodd Neal2016-03-141-5/+5
* cmd/compile/internal/ssa: generalize prove to all booleansAlexandru Moșoi2016-03-131-151/+251
* [dev.ssa] cmd/compile: small optimization to prove using sdom tweakDavid Chase2016-02-281-9/+1
* [dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls.Alexandru Moșoi2016-02-281-0/+359