cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegative
cmd/compile: upgrade prove pass to know results of math/bits ops are nonnegative

Fixes #51963

Change-Id: Ib9e0521222e6fc41e787f3150b254e058a19addc
Reviewed-on: https://go-review.googlesource.com/c/go/+/396036
Trust: Keith Randall <8c99c3a9284e493be632950b84cd789d08ed3e9d@golang.org>
Run-TryBot: Keith Randall <8c99c3a9284e493be632950b84cd789d08ed3e9d@golang.org>
TryBot-Result: Gopher Robot <66cb808b70d30c07676d5e946fee83fd561249e5@golang.org>
Reviewed-by: Jakub Ciolek <1d3764b91b902f6b45836e2498da81fe35caf6d6@ciolek.dev>
Reviewed-by: David Chase <ae171625adc8645b8b79b7e405a6da5aba5341e0@google.com>
Reviewed-by: Eric Fang <68c7b5ebe4a86ef7e52157f5950041656bf82310@arm.com>

nawawi/go,golang/go,nawawi/go,CAFxX/go,nawawi/go,CAFxX/go,golang/go,golang/go,nawawi/go,nawawi/go,CAFxX/go,CAFxX/go,golang/go,CAFxX/go,golang/go,nawawi/go,CAFxX/go,CAFxX/go,nawawi/go,golang/go,golang/go,golang/go,nawawi/go,CAFxX/go