diff options
| author | Keith Randall <khr@golang.org> | 2022-07-03 14:52:47 -0700 |
|---|---|---|
| committer | Keith Randall <khr@golang.org> | 2022-08-31 22:04:55 +0000 |
| commit | af7f067e0d7f92bcf4d0938d093725a0ac6366b1 (patch) | |
| tree | a567acc9936f6c3d8af4ab4a1b885875be87f824 /test/codegen | |
| parent | 52d9e7f543f68a46d7a69443a1ad51283d2f0d4f (diff) | |
| download | go-af7f067e0d7f92bcf4d0938d093725a0ac6366b1.tar.xz | |
cmd/compile: tighten bounds for induction variables in strided loops
for i := 0; i < 9; i += 3
Currently we compute bounds of [0,8]. Really we know that it is [0,6].
CL 415874 computed the better bound as part of overflow detection.
This CL just incorporates that better info to the prove pass.
R=go1.20
Change-Id: Ife82cc415321f6652c2b5d132a40ec23e3385766
Reviewed-on: https://go-review.googlesource.com/c/go/+/415937
Reviewed-by: Heschi Kreinick <heschi@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: David Chase <drchase@google.com>
Run-TryBot: Keith Randall <khr@golang.org>
Diffstat (limited to 'test/codegen')
0 files changed, 0 insertions, 0 deletions