Bin.Cheng wrote: > >> The overflow check can be improved by using deeper inspection to prove the > >> equality. This patch deals with that by making below two improvements: > >> a) Handles constant cases. > >> b) Uses affine expansion as deeper inspection to check the equality.
Looks good to me. Thanks, Sebastian
