From: khr@golang.org <khr@golang.org>
Date: Thu, 11 Jul 2024 19:36:32 +0000 (-0700)
Subject: cmd/compile: simplify jump table case in prove pass
X-Git-Tag: go1.24rc1~1255
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=aba16d17c5c674416a322c16f8baba063fafa988;p=gostls13.git

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>
---

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")
 	}