diff options
| author | David Chase <drchase@google.com> | 2016-10-19 11:47:52 -0400 |
|---|---|---|
| committer | David Chase <drchase@google.com> | 2016-10-20 23:50:19 +0000 |
| commit | 0f29942489409ccd81619b5f82fce9c7de18165f (patch) | |
| tree | a4212d76f74d68d095c89f65f89dc5fcfde84975 /test/prove.go | |
| parent | c9517b1ffe7c99a3fd2a748fab51645bd674ad75 (diff) | |
| download | go-0f29942489409ccd81619b5f82fce9c7de18165f.tar.gz go-0f29942489409ccd81619b5f82fce9c7de18165f.zip | |
cmd/compile: Repurpose old sliceopt.go for prove phase.
Adapt old test for prove's bounds check elimination.
Added missing rule to generic rules that lead to differences
between 32 and 64 bit platforms on sliceopt test.
Added debugging to prove.go that was helpful-to-necessary to
discover that missing rule.
Lowered debugging level on prove.go from 3 to 1; no idea
why it was previously 3.
Change-Id: I09de206aeb2fced9f2796efe2bfd4a59927eda0c
Reviewed-on: https://go-review.googlesource.com/23290
Run-TryBot: David Chase <drchase@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Keith Randall <khr@golang.org>
Diffstat (limited to 'test/prove.go')
| -rw-r--r-- | test/prove.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/prove.go b/test/prove.go index 65eed745cb..9ced6166e0 100644 --- a/test/prove.go +++ b/test/prove.go @@ -1,5 +1,5 @@ // +build amd64 -// errorcheck -0 -d=ssa/prove/debug=3 +// errorcheck -0 -d=ssa/prove/debug=1 // Copyright 2016 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style |