From: Josh Bleecher Snyder <josharian@gmail.com>
Date: Thu, 26 Apr 2018 22:46:12 +0000 (-0700)
Subject: cmd/compile: log Ctz non-zero proofs
X-Git-Tag: go1.11beta1~647
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=b9785fc844f49230c6b7a59e2b9e4114feb9ae4f;p=gostls13.git

cmd/compile: log Ctz non-zero proofs

I forgot this in CL 109358.

Change-Id: Ia5e8bd9cf43393f098b101a0d6a0c526e3e4f101
Reviewed-on: https://go-review.googlesource.com/109775
Run-TryBot: Josh Bleecher Snyder <josharian@gmail.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Brad Fitzpatrick <bradfitz@golang.org>
---

diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go
index e92f6ee079..11efbb516b 100644
--- a/src/cmd/compile/internal/ssa/prove.go
+++ b/src/cmd/compile/internal/ssa/prove.go
@@ -774,6 +774,9 @@ func simplifyBlock(sdom SparseTree, ft *factsTable, b *Block) {
 				continue
 			}
 			if lim.umin > 0 || lim.min > 0 || lim.max < 0 {
+				if b.Func.pass.debug > 0 {
+					b.Func.Warnl(v.Pos, "Proved %v non-zero", v.Op)
+				}
 				v.Op = ctzNonZeroOp[v.Op]
 			}
 		}