aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/ssa/loopbce.go
AgeCommit message (Expand)Author
2022-07-25[release-branch.go1.17] cmd/compile: fix prove pass when upper condition is <...Keith Randall
2020-02-26cmd/compile: remove Greater* and Geq* generic integer opsMichael Munday
2019-11-05cmd/compile: fix liveness for open-coded defer args for infinite loopsDan Scales
2019-10-02cmd/compile: allow multiple SSA block control valuesMichael Munday
2019-09-26cmd/compile: detect indvars that are bound by other indvarsGiovanni Bajo
2019-09-26cmd/compile: refactor some code in loopbce.goGiovanni Bajo
2019-09-08all: fix typosAinar Garipov
2019-03-29cmd/compile: enhance induction variable detection for unrolled loopsDavid Chase
2018-07-09cmd/compile: ensure that loop condition is detected correctlyKeith Randall
2018-06-25cmd/compile: avoid remainder in loopbce when increment=0David Chase
2018-05-22cmd/compile: detect OFORUNTIL inductive facts in proveAustin Clements
2018-04-29cmd/compile: teach prove to handle expressions like len(s)-deltaGiovanni Bajo
2018-04-29cmd/compile: in prove, detect loops with negative incrementsGiovanni Bajo
2018-04-29cmd/compile: improve testing of induction variablesGiovanni Bajo
2018-04-29cmd/compile: remove loopbce passGiovanni Bajo
2018-04-29cmd/compile: implement loop BCE in proveGiovanni Bajo
2017-03-17cmd/compile: move Frontend field from ssa.Config to ssa.FuncJosh Bleecher Snyder
2016-12-08[dev.inline] cmd/compile/internal/ssa: rename various fields from Line to PosRobert Griesemer
2016-09-19cmd/compile: cache CFG-dependent computationsKeith Randall
2016-05-05cmd/compile: enable constant-time CFG editingKeith Randall
2016-04-12cmd/compile: share dominator tree among many passesAlexandru Moșoi
2016-04-11cmd/compile: bce when max and limit are constsAlexandru Moșoi
2016-04-03all: fix spelling mistakesEric Engestrom
2016-04-01cmd/compile/internal/ssa: BCE for induction variablesAlexandru Moșoi