]> git.feebdaed.xyz Git - 0xmirror/go.git/commit
cmd/compile: add tests bruteforcing limit negation and improve limit addition
authorJorropo <jorropo.pgm@gmail.com>
Wed, 26 Nov 2025 08:27:45 +0000 (09:27 +0100)
committerGopher Robot <gobot@golang.org>
Wed, 26 Nov 2025 18:09:27 +0000 (10:09 -0800)
commit03fcb33c0ef76ebbdfa5e9ff483e26d5a250abd5
treebdf00c2587913f1a472375f6041cb2023594465a
parentdda7c8253dd5e4dc5732187f1c039325bca53c8c
cmd/compile: add tests bruteforcing limit negation and improve limit addition

I had to improve addition to make the tests pass.

Change-Id: I4daba2ee0f24a0dbc3929bf9afadd2116e16efae
Reviewed-on: https://go-review.googlesource.com/c/go/+/724600
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Cherry Mui <cherryyz@google.com>
Auto-Submit: Keith Randall <khr@golang.org>
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
src/cmd/compile/internal/ssa/prove.go
src/cmd/compile/internal/ssa/prove_test.go [new file with mode: 0644]