aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/ssa/prove.go
AgeCommit message (Expand)Author
2023-01-24Revert "cmd/compile: teach prove about bitwise OR operation"Keith Randall
2023-01-23cmd/compile: teach prove about unsigned division, modulus and rshJorropo
2022-11-18all: add missing periods in commentscui fliter
2022-11-10cmd/compile: teach prove about signed domain relations of constant integer Phi'sJakub Ciolek
2022-09-16cmd/compile: make isConstDelta compute delta for 8 and 16 bit arithmeticJakub Ciolek
2022-08-31cmd/compile: teach prove about bitwise OR operationWayne Zuo
2022-08-31cmd/compile: derive relation between x+delta and x in proveWayne Zuo
2022-08-18cmd/compile: remove OFORUNTILKeith Randall
2022-05-08cmd/compile: teach prove about and operationWayne Zuo
2022-05-04cmd/compile: fold constants found by proveJorropo
2022-04-14cmd/compile: modify switches of strings to use jump table for lengthsKeith Randall
2022-04-11all: gofmt main repoRuss Cox
2022-04-01all: fix various doc comment formatting nitsRuss Cox
2022-03-27cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegativeKeith Randall
2021-04-28cmd/compile/ssa: optimize the derivable known branch of If blockeric fang
2021-02-23cmd/compile: use transitive relations for slice len/cap in posetCuong Manh Le
2020-11-07cmd/compile: check indirect connection between if block and phi block in addL...Cholerae Hu
2020-08-13cmd/compile: correct type of CvtBoolToUint8 valuesJosh Bleecher Snyder
2020-07-30cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...Cholerae Hu
2020-05-11cmd/compile: in prove, zero right shifts of positive int by #bits - 1Keith Randall
2020-03-09cmd/compile: use only bit patterns in isNonNegativeJosh Bleecher Snyder
2020-02-27cmd/compile: ignore div/mod in prove on non-x86 architecturesJosh Bleecher Snyder
2020-02-27cmd/compile: handle more cases in isNonNegativeJosh Bleecher Snyder
2020-02-26cmd/compile: remove Greater* and Geq* generic integer opsMichael Munday
2020-02-21cmd/compile: clarify division bounds check optimizationJosh Bleecher Snyder
2019-11-05cmd/compile: fix liveness for open-coded defer args for infinite loopsDan Scales
2019-10-20cmd/compile: in prove, give a different name to each posetGiovanni Bajo
2019-10-04cmd/compile: attempt to preserve statements when prove removes codeDavid Chase
2019-10-02cmd/compile: allow multiple SSA block control valuesMichael Munday
2019-09-26cmd/compile: in prove, learn facts from OpSliceMakeGiovanni Bajo
2019-08-27cmd/compile: handle sign/zero extensions in prove, via update methodzdjones
2019-06-12cmd/compile: fix range analysis of small signed integersMatthew Dempsky
2019-03-31cmd/compile: update stale comment in provezdjones
2019-03-30cmd/compile: make prove learn index >= 0 from successful bounds checkszdjones
2019-03-29cmd/compile: preempt repeated checks for the zero constant in provezdjones
2019-03-29cmd/compile: make prove use poset to check non-negativeszdjones
2019-01-02cmd/compile: fix deriving from x+d >= w on overflow in prove passCherry Zhang
2018-10-23cmd/compile: use proved bounds to remove signed division fix-upsChrisALiles
2018-09-24cmd/compile/internal/ssa: fix a typoBrad Fitzpatrick
2018-08-31cmd/compile: in prove, fix fence-post implications for unsigned domainGiovanni Bajo
2018-05-22cmd/compile: detect OFORUNTIL inductive facts in proveAustin Clements
2018-05-22cmd/compile: derive len/cap relations in factsTable.updateAustin Clements
2018-05-22cmd/compile: teach prove about relations between constantsAustin Clements
2018-05-14cmd/compile: reduce allocations in prove by reusing posetsGiovanni Bajo
2018-05-01cmd/compile: recognize some OpRsh64Ux64 Values as non-negativeJosh Bleecher Snyder
2018-04-30cmd/compile: use AuxInt to store shift boundednessJosh Bleecher Snyder
2018-04-29cmd/compile: simplify shifts using bounds from prove passJosh Bleecher Snyder
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: implement loop BCE in proveGiovanni Bajo