diff options
| author | Jorropo <jorropo.pgm@gmail.com> | 2025-12-04 04:17:58 +0100 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2025-12-04 08:13:28 -0800 |
| commit | 7b67b68a0da091be2d7dc3e69c4df9a1a080d0de (patch) | |
| tree | a21e82ff1e5ddec4e630a62e8f72aadeb6da95f1 /src/cmd/compile/internal/ssa | |
| parent | 2b62144069a130cc469f33009c0c392cc6de8810 (diff) | |
| download | go-7b67b68a0da091be2d7dc3e69c4df9a1a080d0de.tar.xz | |
cmd/compile: use isUnsignedPowerOfTwo rather than isPowerOfTwo for unsigneds
Fixes #76688
Change-Id: Icb8dab54a5ce7d83b656d50d5ea605d2a62b96f8
Reviewed-on: https://go-review.googlesource.com/c/go/+/726680
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
Diffstat (limited to 'src/cmd/compile/internal/ssa')
| -rw-r--r-- | src/cmd/compile/internal/ssa/prove.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go index 1aab7e3eb7..39080a015e 100644 --- a/src/cmd/compile/internal/ssa/prove.go +++ b/src/cmd/compile/internal/ssa/prove.go @@ -2885,9 +2885,9 @@ func simplifyBlock(sdom SparseTree, ft *factsTable, b *Block) { xl := ft.limits[x.ID] y := v.Args[1] yl := ft.limits[y.ID] - if xl.umin == xl.umax && isPowerOfTwo(int64(xl.umin)) || + if xl.umin == xl.umax && isUnsignedPowerOfTwo(xl.umin) || xl.min == xl.max && isPowerOfTwo(xl.min) || - yl.umin == yl.umax && isPowerOfTwo(int64(yl.umin)) || + yl.umin == yl.umax && isUnsignedPowerOfTwo(yl.umin) || yl.min == yl.max && isPowerOfTwo(yl.min) { // 0,1 * a power of two is better done as a shift break |