aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/ssa/prove.go
AgeCommit message (Expand)Author
2018-03-08cmd/compile: simplify limit logic in proveAustin Clements
2018-03-08cmd/compile: more String methods for prove typesAustin Clements
2018-03-08cmd/compile: minor comment improvements/correctionsAustin Clements
2017-03-17cmd/compile: move Frontend field from ssa.Config to ssa.FuncJosh Bleecher Snyder
2017-02-02cmd/compile: use len(s)<=cap(s) to remove more bounds checksKeith Randall
2016-12-08[dev.inline] cmd/compile/internal/ssa: rename various fields from Line to PosRobert Griesemer
2016-10-27cmd/compile: use masks instead of branches for slicingKeith Randall
2016-10-20cmd/compile: Repurpose old sliceopt.go for prove phase.David Chase
2016-10-11cmd/compile: remove redundant function idomHajime Hoshi
2016-09-19cmd/compile: cache CFG-dependent computationsKeith Randall
2016-05-16cmd/compile: use sparse algorithm for phis in large programDavid Chase
2016-05-05cmd/compile: enable constant-time CFG editingKeith Randall
2016-04-12cmd/compile: share dominator tree among many passesAlexandru Moșoi
2016-04-03all: fix spelling mistakesEric Engestrom
2016-04-02cmd/compile: handle non-negatives in proveAlexandru Moșoi
2016-03-31cmd/compile: extend prove pass to handle constant comparisonsKeith Randall
2016-03-17cmd/compile: keep value use counts in SSAKeith Randall
2016-03-14cmd/compile: change the type of ssa Warnl line numberTodd Neal
2016-03-13cmd/compile/internal/ssa: generalize prove to all booleansAlexandru Moșoi
2016-02-28[dev.ssa] cmd/compile: small optimization to prove using sdom tweakDavid Chase
2016-02-28[dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls.Alexandru Moșoi