diff options
| author | Josh Bleecher Snyder <josharian@gmail.com> | 2018-04-26 15:46:12 -0700 |
|---|---|---|
| committer | Josh Bleecher Snyder <josharian@gmail.com> | 2018-04-27 04:49:09 +0000 |
| commit | b9785fc844f49230c6b7a59e2b9e4114feb9ae4f (patch) | |
| tree | 7feadd40edd1aeb6f1c0d49043a87520e7002c9d /src/cmd/compile/internal/ssa/prove.go | |
| parent | 6b55407d2f342b9c291740f777b718a229690164 (diff) | |
| download | go-b9785fc844f49230c6b7a59e2b9e4114feb9ae4f.tar.gz go-b9785fc844f49230c6b7a59e2b9e4114feb9ae4f.zip | |
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>
Diffstat (limited to 'src/cmd/compile/internal/ssa/prove.go')
| -rw-r--r-- | src/cmd/compile/internal/ssa/prove.go | 3 |
1 files changed, 3 insertions, 0 deletions
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] } } |