tree f9c34a2730439312d163a4828e85919388779956
parent c929cf6b5ce444e1fadd52f6d289142ad5b3df5a
author Max Graey <maxgraey@gmail.com> 1661565515 +0300
committer GitHub <noreply@github.com> 1661565515 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJjCXpMCRBK7hj4Ov3rIwAAo1IIAB0wruqJIyH7H+Ba/EA36UdA
 /BoRJmWtPcWepAOXgSwGNL44lJXelLsn4HDLMMsuilXGSZwMrxMhSJBX8YCMU74d
 uTz4bLfRg5GRt+1ipx0P4T/mP41ZLo/4ibmNukGGKAF4H6vYMhHNeimj7/MUSRb+
 +2CZnCtwnKZ8UX5Um2//JtJC7e+H+WSf2hicpsYxshxi4wLad36lNwJFjjYbfn/b
 qVararWqSDAM6jq9gAFARicLo0Ssm+pVmw5cVHSv2vHo/lVLFT8G0KRJ+2MNWzDI
 ibGCH3CM89m/fR6SbasuPCoHuGIlxKDdXi0LOkucojQKfQdoAjc3e+//4Uo0ri8=
 =YVP+
 -----END PGP SIGNATURE-----
 

[OptimizeInstructions] Canonicalize relational ops near min/max values (#4282)

A continuation of #4272.

```
(signed)x  < s_min + 1   ==>   x == s_min
(signed)x >= s_min + 1   ==>   x != s_min
(signed)x  > s_max - 1   ==>   x == s_max
(signed)x <= s_max - 1   ==>   x != s_max

(unsigned)x <= u_max - 1   ==>   x != u_max
(unsigned)x  > u_max - 1   ==>   x == u_max
```