]> Cypherpunks repositories - gostls13.git/commitdiff
cmd/compile: use AuxInt to store shift boundedness
authorJosh Bleecher Snyder <josharian@gmail.com>
Mon, 30 Apr 2018 00:40:47 +0000 (17:40 -0700)
committerAustin Clements <austin@google.com>
Mon, 30 Apr 2018 00:59:26 +0000 (00:59 +0000)
Fixes ssacheck build.

Change-Id: Idf1d2ea9a971a1f17f2fca568099e870bb5d913f
Reviewed-on: https://go-review.googlesource.com/110122
Run-TryBot: Josh Bleecher Snyder <josharian@gmail.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Austin Clements <austin@google.com>
src/cmd/compile/internal/ssa/prove.go
src/cmd/compile/internal/ssa/rewrite.go

index 1f9445e1bd298e71e7c64cdc4ec85e91efa2a862..03f657da8a4397dc4e91bad5d62a8b0ba5abe9dc 100644 (file)
@@ -994,7 +994,7 @@ func simplifyBlock(sdom SparseTree, ft *factsTable, b *Block) {
                        }
                        bits := 8 * v.Args[0].Type.Size()
                        if lim.umax < uint64(bits) || (lim.max < bits && ft.isNonNegative(by)) {
-                               v.Aux = true
+                               v.AuxInt = 1 // see shiftIsBounded
                                if b.Func.pass.debug > 0 {
                                        b.Func.Warnl(v.Pos, "Proved %v bounded", v.Op)
                                }
index 6d53342e2a695f66bc2e9040b4e81a9e6cf590ac..c4daa7474f6eb7847b754af1cb6df307dea3fb89 100644 (file)
@@ -393,7 +393,7 @@ func b2i(b bool) int64 {
 // shiftIsBounded reports whether (left/right) shift Value v is known to be bounded.
 // A shift is bounded if it is shifting by less than the width of the shifted value.
 func shiftIsBounded(v *Value) bool {
-       return v.Aux != nil && v.Aux.(bool)
+       return v.AuxInt != 0
 }
 
 // i2f is used in rules for converting from an AuxInt to a float.