From b9785fc844f49230c6b7a59e2b9e4114feb9ae4f Mon Sep 17 00:00:00 2001 From: Josh Bleecher Snyder Date: Thu, 26 Apr 2018 15:46:12 -0700 Subject: [PATCH] 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 TryBot-Result: Gobot Gobot Reviewed-by: Brad Fitzpatrick --- src/cmd/compile/internal/ssa/prove.go | 3 +++ 1 file changed, 3 insertions(+) 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] } } -- 2.50.0