From d74b0d4d75d4e432aaf84d02964da4a2e12d0e1b Mon Sep 17 00:00:00 2001 From: Marcel Meyer Date: Fri, 11 Apr 2025 20:30:53 +0200 Subject: [PATCH] cmd/compile/internal/ssa: remove not needed parentheses --- src/cmd/compile/internal/ssa/prove.go | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go index f43e1f1a09..94f23a84aa 100644 --- a/src/cmd/compile/internal/ssa/prove.go +++ b/src/cmd/compile/internal/ssa/prove.go @@ -664,7 +664,7 @@ func (ft *factsTable) newLimit(v *Value, newLim limit) bool { d |= unsigned } if !isTrue { - r ^= (lt | gt | eq) + r ^= lt | gt | eq } // TODO: v.Block is wrong? addRestrictions(v.Block, ft, d, v.Args[0], v.Args[1], r) @@ -697,7 +697,7 @@ func (ft *factsTable) newLimit(v *Value, newLim limit) bool { // But in the signed domain, we can't express the || // condition, so check if a0 is non-negative instead, // to be able to learn something. - r ^= (lt | gt | eq) // >= (index) or > (slice) + r ^= lt | gt | eq // >= (index) or > (slice) if ft.isNonNegative(v.Args[0]) { ft.update(v.Block, v.Args[0], v.Args[1], signed, r) }