diff options
| author | khr@golang.org <khr@golang.org> | 2024-07-11 12:36:32 -0700 |
|---|---|---|
| committer | Keith Randall <khr@golang.org> | 2024-08-07 16:08:11 +0000 |
| commit | aba16d17c5c674416a322c16f8baba063fafa988 (patch) | |
| tree | 1a25a44de5ded3e5c5b4679aa1f58a97825347ee /src | |
| parent | f32ec41df52379f957a5544cdc53992c57bb629e (diff) | |
| download | go-aba16d17c5c674416a322c16f8baba063fafa988.tar.xz | |
cmd/compile: simplify jump table case in prove pass
Change-Id: I01e0c4953667594b84daaa38082fad1175343861
Reviewed-on: https://go-review.googlesource.com/c/go/+/599196
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: David Chase <drchase@google.com>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
Diffstat (limited to 'src')
| -rw-r--r-- | src/cmd/compile/internal/ssa/prove.go | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go index 0bf4e32729..51bb6adff0 100644 --- a/src/cmd/compile/internal/ssa/prove.go +++ b/src/cmd/compile/internal/ssa/prove.go @@ -1869,19 +1869,7 @@ func addBranchRestrictions(ft *factsTable, b *Block, br branch) { c = v val -= off } - old := ft.limits[c.ID] - ft.limitStack = append(ft.limitStack, limitFact{c.ID, old}) - if val < old.min || val > old.max || uint64(val) < old.umin || uint64(val) > old.umax { - ft.unsat = true - if b.Func.pass.debug > 2 { - b.Func.Warnl(b.Pos, "block=%s outedge=%d %s=%d unsat", b, idx, c, val) - } - } else { - ft.limits[c.ID] = limit{val, val, uint64(val), uint64(val)} - if b.Func.pass.debug > 2 { - b.Func.Warnl(b.Pos, "block=%s outedge=%d %s=%d", b, idx, c, val) - } - } + ft.newLimit(c, limit{min: val, max: val, umin: uint64(val), umax: uint64(val)}) default: panic("unknown branch") } |