cmd/compile: more incorrect loop variable detection

This program should terminate after one iteration. Instead, it runs forever.

Related to #53600 #53653

```
package main

import "math"

//go:noinline
func f(i int64) {
	for j := int64(math.MaxInt64); j <= i-1; j++ {
		if j < 0 {
			break
		}
		println(j)
	}
}

func main() {
	f(math.MinInt64)
}
```

@dr2chase @rasky 