]> Cypherpunks repositories - gostls13.git/commitdiff
cmd/compile: run fmt on ssa
authorJorropo <jorropo.pgm@gmail.com>
Fri, 4 Jul 2025 07:07:27 +0000 (09:07 +0200)
committerGopher Robot <gobot@golang.org>
Tue, 8 Jul 2025 15:03:58 +0000 (08:03 -0700)
prove.go used to make my editor and precomit checks very unhappy.

Change-Id: I25f7ffa2191480bc1b4f91fa91ccf3e4768045fa
Reviewed-on: https://go-review.googlesource.com/c/go/+/685818
Reviewed-by: Carlos Amedee <carlos@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Auto-Submit: Keith Randall <khr@golang.org>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>

src/cmd/compile/internal/ssa/prove.go

index 5617edb21f15ed101a913e26ba4651eb5d5b263f..93bd525c387b96fa72b56f18e5978748f1d15cd7 100644 (file)
@@ -1917,15 +1917,22 @@ func (ft *factsTable) flowLimit(v *Value) bool {
 
 // See if we can get any facts because v is the result of signed mod by a constant.
 // The mod operation has already been rewritten, so we have to try and reconstruct it.
-//   x % d
+//
+//     x % d
+//
 // is rewritten as
-//   x - (x / d) * d
+//
+//     x - (x / d) * d
+//
 // furthermore, the divide itself gets rewritten. If d is a power of 2 (d == 1<<k), we do
-//   (x / d) * d = ((x + adj) >> k) << k
-//               = (x + adj) & (-1<<k)
+//
+//     (x / d) * d = ((x + adj) >> k) << k
+//                 = (x + adj) & (-1<<k)
+//
 // with adj being an adjustment in case x is negative (see below).
 // if d is not a power of 2, we do
-//   x / d = ... TODO ...
+//
+//     x / d = ... TODO ...
 func (ft *factsTable) detectSignedMod(v *Value) bool {
        if ft.detectSignedModByPowerOfTwo(v) {
                return true