summaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/ssa/prove.go
Commit message (Expand)AuthorAgeFilesLines
* cmd/compile: teach prove about bitwise OR operationCuong Manh Le2023-04-101-0/+8
* cmd/compile: get more bounds info from logic operators in prove passruinan2023-04-071-0/+26
* all: fix typospgxiaolianzi2023-02-281-1/+1
* Revert "cmd/compile: teach prove about bitwise OR operation"Keith Randall2023-01-241-3/+0
* cmd/compile: teach prove about unsigned division, modulus and rshJorropo2023-01-231-0/+9
* all: add missing periods in commentscui fliter2022-11-181-1/+1
* cmd/compile: teach prove about signed domain relations of constant integer Phi'sJakub Ciolek2022-11-101-1/+46
* cmd/compile: make isConstDelta compute delta for 8 and 16 bit arithmeticJakub Ciolek2022-09-161-2/+20
* cmd/compile: teach prove about bitwise OR operationWayne Zuo2022-08-311-0/+3
* cmd/compile: derive relation between x+delta and x in proveWayne Zuo2022-08-311-6/+14
* cmd/compile: remove OFORUNTILKeith Randall2022-08-181-2/+1
* cmd/compile: teach prove about and operationWayne Zuo2022-05-081-0/+3
* cmd/compile: fold constants found by proveJorropo2022-05-041-5/+59
* cmd/compile: modify switches of strings to use jump table for lengthsKeith Randall2022-04-141-19/+63
* all: gofmt main repoRuss Cox2022-04-111-20/+20
* all: fix various doc comment formatting nitsRuss Cox2022-04-011-10/+10
* cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegativeKeith Randall2022-03-271-1/+6
* cmd/compile/ssa: optimize the derivable known branch of If blockeric fang2021-04-281-11/+15
* cmd/compile: use transitive relations for slice len/cap in posetCuong Manh Le2021-02-231-2/+14
* cmd/compile: check indirect connection between if block and phi block in addL...Cholerae Hu2020-11-071-1/+1
* cmd/compile: correct type of CvtBoolToUint8 valuesJosh Bleecher Snyder2020-08-131-1/+1
* cmd/compile: don't addLocalInductiveFacts if there is no direct edge from if ...Cholerae Hu2020-07-301-0/+8
* cmd/compile: in prove, zero right shifts of positive int by #bits - 1Keith Randall2020-05-111-5/+28
* cmd/compile: use only bit patterns in isNonNegativeJosh Bleecher Snyder2020-03-091-3/+3
* cmd/compile: ignore div/mod in prove on non-x86 architecturesJosh Bleecher Snyder2020-02-271-0/+6
* cmd/compile: handle more cases in isNonNegativeJosh Bleecher Snyder2020-02-271-3/+31
* cmd/compile: remove Greater* and Geq* generic integer opsMichael Munday2020-02-261-18/+0
* cmd/compile: clarify division bounds check optimizationJosh Bleecher Snyder2020-02-211-3/+5
* cmd/compile: fix liveness for open-coded defer args for infinite loopsDan Scales2019-11-051-3/+3
* cmd/compile: in prove, give a different name to each posetGiovanni Bajo2019-10-201-19/+21
* cmd/compile: attempt to preserve statements when prove removes codeDavid Chase2019-10-041-1/+6
* cmd/compile: allow multiple SSA block control valuesMichael Munday2019-10-021-10/+11
* cmd/compile: in prove, learn facts from OpSliceMakeGiovanni Bajo2019-09-261-0/+27
* cmd/compile: handle sign/zero extensions in prove, via update methodzdjones2019-08-271-0/+41
* cmd/compile: fix range analysis of small signed integersMatthew Dempsky2019-06-121-2/+16
* cmd/compile: update stale comment in provezdjones2019-03-311-2/+1
* cmd/compile: make prove learn index >= 0 from successful bounds checkszdjones2019-03-301-19/+29
* cmd/compile: preempt repeated checks for the zero constant in provezdjones2019-03-291-17/+1
* cmd/compile: make prove use poset to check non-negativeszdjones2019-03-291-14/+21
* cmd/compile: fix deriving from x+d >= w on overflow in prove passCherry Zhang2019-01-021-4/+15
* cmd/compile: use proved bounds to remove signed division fix-upsChrisALiles2018-10-231-0/+23
* cmd/compile/internal/ssa: fix a typoBrad Fitzpatrick2018-09-241-2/+2
* cmd/compile: in prove, fix fence-post implications for unsigned domainGiovanni Bajo2018-08-311-2/+7
* cmd/compile: detect OFORUNTIL inductive facts in proveAustin Clements2018-05-221-0/+105
* cmd/compile: derive len/cap relations in factsTable.updateAustin Clements2018-05-221-25/+31
* cmd/compile: teach prove about relations between constantsAustin Clements2018-05-221-0/+15
* cmd/compile: reduce allocations in prove by reusing posetsGiovanni Bajo2018-05-141-4/+21
* cmd/compile: recognize some OpRsh64Ux64 Values as non-negativeJosh Bleecher Snyder2018-05-011-0/+4
* cmd/compile: use AuxInt to store shift boundednessJosh Bleecher Snyder2018-04-301-1/+1
* cmd/compile: simplify shifts using bounds from prove passJosh Bleecher Snyder2018-04-291-0/+27
View Lorry Controller Status