diff options
| author | Jorropo <jorropo.pgm@gmail.com> | 2026-03-01 07:06:53 +0100 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2026-03-27 06:27:35 -0700 |
| commit | 2df8c060e833cbb60baa09b3f431006fd8bf42c4 (patch) | |
| tree | 2eff24af74fb2c405bbd865fe5eb551d39492f70 /src | |
| parent | 33504a869688907ff365372152f12c1f9527b25c (diff) | |
| download | go-2df8c060e833cbb60baa09b3f431006fd8bf42c4.tar.xz | |
cmd/compile: remove 68857 And flowLimit workaround in prove
Change-Id: Id8baeb89e6e11a01d53cd63c665f0b2966f50392
Reviewed-on: https://go-review.googlesource.com/c/go/+/750341
Reviewed-by: Mark Freeman <markfreeman@google.com>
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Cherry Mui <cherryyz@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Diffstat (limited to 'src')
| -rw-r--r-- | src/cmd/compile/internal/ssa/prove.go | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go index a57ed3ddb0..3721038b9f 100644 --- a/src/cmd/compile/internal/ssa/prove.go +++ b/src/cmd/compile/internal/ssa/prove.go @@ -1884,11 +1884,6 @@ func (ft *factsTable) flowLimit(v *Value) { // TODO: if y.umax and y.umin share a leading bit pattern, y also has that leading bit pattern. // we could compare the patterns of always set bits in a and b and learn more about minimum and maximum. // But I doubt this help any real world code. - case OpAnd64, OpAnd32, OpAnd16, OpAnd8: - // AND can only make the value smaller. - a := ft.limits[v.Args[0].ID] - b := ft.limits[v.Args[1].ID] - ft.unsignedMax(v, min(a.umax, b.umax)) case OpOr64, OpOr32, OpOr16, OpOr8: // OR can only make the value bigger and can't flip bits proved to be zero in both inputs. a := ft.limits[v.Args[0].ID] |